Copyright	(c) Christian Gram Kalhauge 2017
License	MIT
Maintainer	kalhuage@cs.ucla.edu
Safe Haskell	None
Language	Haskell2010

Language.JVM.Attribute

Contents

Subattributes

Description

This is the main module for accessing all kinds of Attributes.

Synopsis

module Language.JVM.Attribute.Base
data BootstrapMethods r
data Code r
data ConstantValue r
data Exceptions r
data LineNumberTable r
data StackMapTable r
data Signature a

Documentation

module Language.JVM.Attribute.Base

Subattributes

data BootstrapMethods r Source #

Is a list of bootstrapped methods.

Instances

Staged BootstrapMethods Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> BootstrapMethods r -> m (BootstrapMethods r') Source # evolve :: EvolveM m => BootstrapMethods Low -> m (BootstrapMethods High) Source # devolve :: DevolveM m => BootstrapMethods High -> m (BootstrapMethods Low) Source #
Eq (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods (==) :: BootstrapMethods High -> BootstrapMethods High -> Bool # (/=) :: BootstrapMethods High -> BootstrapMethods High -> Bool #
Eq (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods (==) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (/=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool #
Ord (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods compare :: BootstrapMethods Low -> BootstrapMethods Low -> Ordering # (<) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (<=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (>) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (>=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # max :: BootstrapMethods Low -> BootstrapMethods Low -> BootstrapMethods Low # min :: BootstrapMethods Low -> BootstrapMethods Low -> BootstrapMethods Low #
Show (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods showsPrec :: Int -> BootstrapMethods High -> ShowS # show :: BootstrapMethods High -> String # showList :: [BootstrapMethods High] -> ShowS #
Show (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods showsPrec :: Int -> BootstrapMethods Low -> ShowS # show :: BootstrapMethods Low -> String # showList :: [BootstrapMethods Low] -> ShowS #
Generic (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Associated Types type Rep (BootstrapMethods High) :: * -> * # Methods from :: BootstrapMethods High -> Rep (BootstrapMethods High) x # to :: Rep (BootstrapMethods High) x -> BootstrapMethods High #
Generic (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Associated Types type Rep (BootstrapMethods Low) :: * -> * # Methods from :: BootstrapMethods Low -> Rep (BootstrapMethods Low) x # to :: Rep (BootstrapMethods Low) x -> BootstrapMethods Low #
Binary (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods put :: BootstrapMethods Low -> Put # get :: Get (BootstrapMethods Low) # putList :: [BootstrapMethods Low] -> Put #
NFData (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods rnf :: BootstrapMethods High -> () #
NFData (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods rnf :: BootstrapMethods Low -> () #
IsAttribute (BootstrapMethods Low) Source #	`BootstrapMethods` is an Attribute.
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods attrName :: Const Text (BootstrapMethods Low) Source #
type Rep (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods type Rep (BootstrapMethods High) = D1 (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" True) (C1 (MetaCons "BootstrapMethods" PrefixI True) (S1 (MetaSel (Just "methods'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (BootstrapMethod High)))))
type Rep (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods type Rep (BootstrapMethods Low) = D1 (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" True) (C1 (MetaCons "BootstrapMethods" PrefixI True) (S1 (MetaSel (Just "methods'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (BootstrapMethod Low)))))

data Code r Source #

Code contains the actual byte-code. The i type parameter is added to allow indicate the two stages of the code file, before and after access to the ConstantPool. i should be either Ref or Deref.

Instances

Staged Code Source #
Instance details Defined in Language.JVM.Attribute.Code Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Code r -> m (Code r') Source # evolve :: EvolveM m => Code Low -> m (Code High) Source # devolve :: DevolveM m => Code High -> m (Code Low) Source #
Eq (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods (==) :: Code High -> Code High -> Bool # (/=) :: Code High -> Code High -> Bool #
Eq (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods (==) :: Code Low -> Code Low -> Bool # (/=) :: Code Low -> Code Low -> Bool #
Ord (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods compare :: Code Low -> Code Low -> Ordering # (<) :: Code Low -> Code Low -> Bool # (<=) :: Code Low -> Code Low -> Bool # (>) :: Code Low -> Code Low -> Bool # (>=) :: Code Low -> Code Low -> Bool # max :: Code Low -> Code Low -> Code Low # min :: Code Low -> Code Low -> Code Low #
Show (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods showsPrec :: Int -> Code High -> ShowS # show :: Code High -> String # showList :: [Code High] -> ShowS #
Show (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods showsPrec :: Int -> Code Low -> ShowS # show :: Code Low -> String # showList :: [Code Low] -> ShowS #
Generic (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code Associated Types type Rep (Code High) :: * -> * # Methods from :: Code High -> Rep (Code High) x # to :: Rep (Code High) x -> Code High #
Generic (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Associated Types type Rep (Code Low) :: * -> * # Methods from :: Code Low -> Rep (Code Low) x # to :: Rep (Code Low) x -> Code Low #
Binary (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods put :: Code Low -> Put # get :: Get (Code Low) # putList :: [Code Low] -> Put #
NFData (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods rnf :: Code High -> () #
NFData (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods rnf :: Code Low -> () #
IsAttribute (Code Low) Source #	`Code` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Code Methods attrName :: Const Text (Code Low) Source #
type Rep (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code type Rep (Code High) = D1 (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "Code" PrefixI True) ((S1 (MetaSel (Just "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :: S1 (MetaSel (Just "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :: (S1 (MetaSel (Just "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCode High)) :: (S1 (MetaSel (Just "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (ExceptionTable High))) :: S1 (MetaSel (Just "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes CodeAttributes High))))))
type Rep (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code type Rep (Code Low) = D1 (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "Code" PrefixI True) ((S1 (MetaSel (Just "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :: S1 (MetaSel (Just "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :: (S1 (MetaSel (Just "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCode Low)) :: (S1 (MetaSel (Just "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (ExceptionTable Low))) :: S1 (MetaSel (Just "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes CodeAttributes Low))))))

data ConstantValue r Source #

A constant value is just a index into the constant pool.

Instances

Staged ConstantValue Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> ConstantValue r -> m (ConstantValue r') Source # evolve :: EvolveM m => ConstantValue Low -> m (ConstantValue High) Source # devolve :: DevolveM m => ConstantValue High -> m (ConstantValue Low) Source #
Eq (ConstantValue High) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods (==) :: ConstantValue High -> ConstantValue High -> Bool # (/=) :: ConstantValue High -> ConstantValue High -> Bool #
Eq (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods (==) :: ConstantValue Low -> ConstantValue Low -> Bool # (/=) :: ConstantValue Low -> ConstantValue Low -> Bool #
Ord (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods compare :: ConstantValue Low -> ConstantValue Low -> Ordering # (<) :: ConstantValue Low -> ConstantValue Low -> Bool # (<=) :: ConstantValue Low -> ConstantValue Low -> Bool # (>) :: ConstantValue Low -> ConstantValue Low -> Bool # (>=) :: ConstantValue Low -> ConstantValue Low -> Bool # max :: ConstantValue Low -> ConstantValue Low -> ConstantValue Low # min :: ConstantValue Low -> ConstantValue Low -> ConstantValue Low #
Show (ConstantValue High) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods showsPrec :: Int -> ConstantValue High -> ShowS # show :: ConstantValue High -> String # showList :: [ConstantValue High] -> ShowS #
Show (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods showsPrec :: Int -> ConstantValue Low -> ShowS # show :: ConstantValue Low -> String # showList :: [ConstantValue Low] -> ShowS #
Generic (ConstantValue High) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Associated Types type Rep (ConstantValue High) :: * -> * # Methods from :: ConstantValue High -> Rep (ConstantValue High) x # to :: Rep (ConstantValue High) x -> ConstantValue High #
Generic (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Associated Types type Rep (ConstantValue Low) :: * -> * # Methods from :: ConstantValue Low -> Rep (ConstantValue Low) x # to :: Rep (ConstantValue Low) x -> ConstantValue Low #
Binary (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods put :: ConstantValue Low -> Put # get :: Get (ConstantValue Low) # putList :: [ConstantValue Low] -> Put #
NFData (ConstantValue High) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods rnf :: ConstantValue High -> () #
NFData (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods rnf :: ConstantValue Low -> () #
IsAttribute (ConstantValue Low) Source #	`ConstantValue` is an Attribute.
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods attrName :: Const Text (ConstantValue Low) Source #
type Rep (ConstantValue High) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue type Rep (ConstantValue High) = D1 (MetaData "ConstantValue" "Language.JVM.Attribute.ConstantValue" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "ConstantValue" PrefixI True) (S1 (MetaSel (Just "constantValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref JValue High))))
type Rep (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue type Rep (ConstantValue Low) = D1 (MetaData "ConstantValue" "Language.JVM.Attribute.ConstantValue" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "ConstantValue" PrefixI True) (S1 (MetaSel (Just "constantValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref JValue Low))))

data Exceptions r Source #

An Exceptions attribute is a list of references into the constant pool.

Instances

Staged Exceptions Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Exceptions r -> m (Exceptions r') Source # evolve :: EvolveM m => Exceptions Low -> m (Exceptions High) Source # devolve :: DevolveM m => Exceptions High -> m (Exceptions Low) Source #
Eq (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods (==) :: Exceptions High -> Exceptions High -> Bool # (/=) :: Exceptions High -> Exceptions High -> Bool #
Eq (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods (==) :: Exceptions Low -> Exceptions Low -> Bool # (/=) :: Exceptions Low -> Exceptions Low -> Bool #
Ord (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods compare :: Exceptions Low -> Exceptions Low -> Ordering # (<) :: Exceptions Low -> Exceptions Low -> Bool # (<=) :: Exceptions Low -> Exceptions Low -> Bool # (>) :: Exceptions Low -> Exceptions Low -> Bool # (>=) :: Exceptions Low -> Exceptions Low -> Bool # max :: Exceptions Low -> Exceptions Low -> Exceptions Low # min :: Exceptions Low -> Exceptions Low -> Exceptions Low #
Show (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods showsPrec :: Int -> Exceptions High -> ShowS # show :: Exceptions High -> String # showList :: [Exceptions High] -> ShowS #
Show (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods showsPrec :: Int -> Exceptions Low -> ShowS # show :: Exceptions Low -> String # showList :: [Exceptions Low] -> ShowS #
Generic (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Associated Types type Rep (Exceptions High) :: * -> * # Methods from :: Exceptions High -> Rep (Exceptions High) x # to :: Rep (Exceptions High) x -> Exceptions High #
Generic (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Associated Types type Rep (Exceptions Low) :: * -> * # Methods from :: Exceptions Low -> Rep (Exceptions Low) x # to :: Rep (Exceptions Low) x -> Exceptions Low #
Binary (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods put :: Exceptions Low -> Put # get :: Get (Exceptions Low) # putList :: [Exceptions Low] -> Put #
NFData (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods rnf :: Exceptions High -> () #
NFData (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods rnf :: Exceptions Low -> () #
IsAttribute (Exceptions Low) Source #	`Exceptions` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Exceptions Methods attrName :: Const Text (Exceptions Low) Source #
type Rep (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions type Rep (Exceptions High) = D1 (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" True) (C1 (MetaCons "Exceptions" PrefixI True) (S1 (MetaSel (Just "exceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Ref ClassName High)))))
type Rep (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions type Rep (Exceptions Low) = D1 (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" True) (C1 (MetaCons "Exceptions" PrefixI True) (S1 (MetaSel (Just "exceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Ref ClassName Low)))))

data LineNumberTable r Source #

The LineNumberTable is just a mapping from offsets to linenumbers.

Instances

ByteCodeStaged LineNumberTable Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> LineNumberTable Low -> m (LineNumberTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> LineNumberTable High -> m (LineNumberTable Low) Source #
Eq (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods (==) :: LineNumberTable r -> LineNumberTable r -> Bool # (/=) :: LineNumberTable r -> LineNumberTable r -> Bool #
Ord (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods compare :: LineNumberTable r -> LineNumberTable r -> Ordering # (<) :: LineNumberTable r -> LineNumberTable r -> Bool # (<=) :: LineNumberTable r -> LineNumberTable r -> Bool # (>) :: LineNumberTable r -> LineNumberTable r -> Bool # (>=) :: LineNumberTable r -> LineNumberTable r -> Bool # max :: LineNumberTable r -> LineNumberTable r -> LineNumberTable r # min :: LineNumberTable r -> LineNumberTable r -> LineNumberTable r #
Show (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods showsPrec :: Int -> LineNumberTable r -> ShowS # show :: LineNumberTable r -> String # showList :: [LineNumberTable r] -> ShowS #
Generic (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Associated Types type Rep (LineNumberTable r) :: * -> * # Methods from :: LineNumberTable r -> Rep (LineNumberTable r) x # to :: Rep (LineNumberTable r) x -> LineNumberTable r #
Binary (LineNumberTable Low) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods put :: LineNumberTable Low -> Put # get :: Get (LineNumberTable Low) # putList :: [LineNumberTable Low] -> Put #
NFData (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods rnf :: LineNumberTable r -> () #
IsAttribute (LineNumberTable Low) Source #	`Signature` is an Attribute.
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods attrName :: Const Text (LineNumberTable Low) Source #
type Rep (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable type Rep (LineNumberTable r) = D1 (MetaData "LineNumberTable" "Language.JVM.Attribute.LineNumberTable" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" True) (C1 (MetaCons "LineNumberTable" PrefixI True) (S1 (MetaSel (Just "lineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (IntMap LineNumber))))

data StackMapTable r Source #

An Exceptions attribute is a list of references into the constant pool.

Instances

ByteCodeStaged StackMapTable Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> StackMapTable Low -> m (StackMapTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> StackMapTable High -> m (StackMapTable Low) Source #
Eq (StackMapTable High) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods (==) :: StackMapTable High -> StackMapTable High -> Bool # (/=) :: StackMapTable High -> StackMapTable High -> Bool #
Eq (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods (==) :: StackMapTable Low -> StackMapTable Low -> Bool # (/=) :: StackMapTable Low -> StackMapTable Low -> Bool #
Ord (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods compare :: StackMapTable Low -> StackMapTable Low -> Ordering # (<) :: StackMapTable Low -> StackMapTable Low -> Bool # (<=) :: StackMapTable Low -> StackMapTable Low -> Bool # (>) :: StackMapTable Low -> StackMapTable Low -> Bool # (>=) :: StackMapTable Low -> StackMapTable Low -> Bool # max :: StackMapTable Low -> StackMapTable Low -> StackMapTable Low # min :: StackMapTable Low -> StackMapTable Low -> StackMapTable Low #
Show (StackMapTable High) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods showsPrec :: Int -> StackMapTable High -> ShowS # show :: StackMapTable High -> String # showList :: [StackMapTable High] -> ShowS #
Show (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods showsPrec :: Int -> StackMapTable Low -> ShowS # show :: StackMapTable Low -> String # showList :: [StackMapTable Low] -> ShowS #
Generic (StackMapTable High) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Associated Types type Rep (StackMapTable High) :: * -> * # Methods from :: StackMapTable High -> Rep (StackMapTable High) x # to :: Rep (StackMapTable High) x -> StackMapTable High #
Generic (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Associated Types type Rep (StackMapTable Low) :: * -> * # Methods from :: StackMapTable Low -> Rep (StackMapTable Low) x # to :: Rep (StackMapTable Low) x -> StackMapTable Low #
Binary (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods put :: StackMapTable Low -> Put # get :: Get (StackMapTable Low) # putList :: [StackMapTable Low] -> Put #
NFData (StackMapTable High) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods rnf :: StackMapTable High -> () #
NFData (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods rnf :: StackMapTable Low -> () #
IsAttribute (StackMapTable Low) Source #	`StackMapTable` is an Attribute.
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods attrName :: Const Text (StackMapTable Low) Source #
type Rep (StackMapTable High) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable type Rep (StackMapTable High) = D1 (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" True) (C1 (MetaCons "StackMapTable" PrefixI True) (S1 (MetaSel (Just "stackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] High))))
type Rep (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable type Rep (StackMapTable Low) = D1 (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" True) (C1 (MetaCons "StackMapTable" PrefixI True) (S1 (MetaSel (Just "stackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] Low))))

data Signature a Source #

Instances

Staged Signature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Signature r -> m (Signature r') Source # evolve :: EvolveM m => Signature Low -> m (Signature High) Source # devolve :: DevolveM m => Signature High -> m (Signature Low) Source #
Eq (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: Signature High -> Signature High -> Bool # (/=) :: Signature High -> Signature High -> Bool #
Eq (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: Signature Low -> Signature Low -> Bool # (/=) :: Signature Low -> Signature Low -> Bool #
Ord (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods compare :: Signature Low -> Signature Low -> Ordering # (<) :: Signature Low -> Signature Low -> Bool # (<=) :: Signature Low -> Signature Low -> Bool # (>) :: Signature Low -> Signature Low -> Bool # (>=) :: Signature Low -> Signature Low -> Bool # max :: Signature Low -> Signature Low -> Signature Low # min :: Signature Low -> Signature Low -> Signature Low #
Show (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> Signature High -> ShowS # show :: Signature High -> String # showList :: [Signature High] -> ShowS #
Show (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> Signature Low -> ShowS # show :: Signature Low -> String # showList :: [Signature Low] -> ShowS #
Generic (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep (Signature High) :: * -> * # Methods from :: Signature High -> Rep (Signature High) x # to :: Rep (Signature High) x -> Signature High #
Generic (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep (Signature Low) :: * -> * # Methods from :: Signature Low -> Rep (Signature Low) x # to :: Rep (Signature Low) x -> Signature Low #
Binary (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods put :: Signature Low -> Put # get :: Get (Signature Low) # putList :: [Signature Low] -> Put #
NFData (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: Signature High -> () #
NFData (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: Signature Low -> () #
IsAttribute (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods attrName :: Const Text (Signature Low) Source #
type Rep (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep (Signature High) = D1 (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "Signature" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref Text High))))
type Rep (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep (Signature Low) = D1 (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "Signature" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref Text Low))))