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

Documentation

module Language.JVM.Attribute.Base

Subattributes

data BootstrapMethods r Source #

Is a list of bootstrapped methods.

Instances

Staged BootstrapMethods Source #
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 #
Methods (==) :: BootstrapMethods High -> BootstrapMethods High -> Bool # (/=) :: BootstrapMethods High -> BootstrapMethods High -> Bool #
Eq (BootstrapMethods Low) Source #
Methods (==) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (/=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool #
Ord (BootstrapMethods Low) Source #
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 #
Methods showsPrec :: Int -> BootstrapMethods High -> ShowS # show :: BootstrapMethods High -> String # showList :: [BootstrapMethods High] -> ShowS #
Show (BootstrapMethods Low) Source #
Methods showsPrec :: Int -> BootstrapMethods Low -> ShowS # show :: BootstrapMethods Low -> String # showList :: [BootstrapMethods Low] -> ShowS #
Generic (BootstrapMethods High) Source #
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 #
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 #
Methods put :: BootstrapMethods Low -> Put # get :: Get (BootstrapMethods Low) # putList :: [BootstrapMethods Low] -> Put #
NFData (BootstrapMethods High) Source #
Methods rnf :: BootstrapMethods High -> () #
NFData (BootstrapMethods Low) Source #
Methods rnf :: BootstrapMethods Low -> () #
IsAttribute (BootstrapMethods Low) Source #	`BootstrapMethods` is an Attribute.
Methods attrName :: Const Text (BootstrapMethods Low) Source #
type Rep (BootstrapMethods High) Source #
type Rep (BootstrapMethods High) = D1 * (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "BootstrapMethods" PrefixI True) (S1 * (MetaSel (Just Symbol "methods'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SizedList16 (BootstrapMethod High)))))
type Rep (BootstrapMethods Low) Source #
type Rep (BootstrapMethods Low) = D1 * (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "BootstrapMethods" PrefixI True) (S1 * (MetaSel (Just Symbol "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 #
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 #
Methods (==) :: Code High -> Code High -> Bool # (/=) :: Code High -> Code High -> Bool #
Eq (Code Low) Source #
Methods (==) :: Code Low -> Code Low -> Bool # (/=) :: Code Low -> Code Low -> Bool #
Ord (Code Low) Source #
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 #
Methods showsPrec :: Int -> Code High -> ShowS # show :: Code High -> String # showList :: [Code High] -> ShowS #
Show (Code Low) Source #
Methods showsPrec :: Int -> Code Low -> ShowS # show :: Code Low -> String # showList :: [Code Low] -> ShowS #
Generic (Code High) Source #
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 #
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 #
Methods put :: Code Low -> Put # get :: Get (Code Low) # putList :: [Code Low] -> Put #
NFData (Code High) Source #
Methods rnf :: Code High -> () #
NFData (Code Low) Source #
Methods rnf :: Code Low -> () #
IsAttribute (Code Low) Source #	`Code` is an Attribute.
Methods attrName :: Const Text (Code Low) Source #
type Rep (Code High) Source #
type Rep (Code High) = D1 * (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Code" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) (S1 * (MetaSel (Just Symbol "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16))) ((::) (S1 * (MetaSel (Just Symbol "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCode High))) ((::) (S1 * (MetaSel (Just Symbol "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (ExceptionTable High)))) (S1 * (MetaSel (Just Symbol "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes CodeAttributes High)))))))
type Rep (Code Low) Source #
type Rep (Code Low) = D1 * (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Code" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) (S1 * (MetaSel (Just Symbol "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16))) ((::) (S1 * (MetaSel (Just Symbol "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCode Low))) ((::) (S1 * (MetaSel (Just Symbol "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (ExceptionTable Low)))) (S1 * (MetaSel (Just Symbol "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 #
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 #
Methods (==) :: ConstantValue High -> ConstantValue High -> Bool # (/=) :: ConstantValue High -> ConstantValue High -> Bool #
Eq (ConstantValue Low) Source #
Methods (==) :: ConstantValue Low -> ConstantValue Low -> Bool # (/=) :: ConstantValue Low -> ConstantValue Low -> Bool #
Ord (ConstantValue Low) Source #
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 #
Methods showsPrec :: Int -> ConstantValue High -> ShowS # show :: ConstantValue High -> String # showList :: [ConstantValue High] -> ShowS #
Show (ConstantValue Low) Source #
Methods showsPrec :: Int -> ConstantValue Low -> ShowS # show :: ConstantValue Low -> String # showList :: [ConstantValue Low] -> ShowS #
Generic (ConstantValue High) Source #
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 #
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 #
Methods put :: ConstantValue Low -> Put # get :: Get (ConstantValue Low) # putList :: [ConstantValue Low] -> Put #
NFData (ConstantValue High) Source #
Methods rnf :: ConstantValue High -> () #
NFData (ConstantValue Low) Source #
Methods rnf :: ConstantValue Low -> () #
IsAttribute (ConstantValue Low) Source #	`ConstantValue` is an Attribute.
Methods attrName :: Const Text (ConstantValue Low) Source #
type Rep (ConstantValue High) Source #
type Rep (ConstantValue High) = D1 * (MetaData "ConstantValue" "Language.JVM.Attribute.ConstantValue" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ConstantValue" PrefixI True) (S1 * (MetaSel (Just Symbol "constantValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref JValue High))))
type Rep (ConstantValue Low) Source #
type Rep (ConstantValue Low) = D1 * (MetaData "ConstantValue" "Language.JVM.Attribute.ConstantValue" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ConstantValue" PrefixI True) (S1 * (MetaSel (Just Symbol "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 #
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 #
Methods (==) :: Exceptions High -> Exceptions High -> Bool # (/=) :: Exceptions High -> Exceptions High -> Bool #
Eq (Exceptions Low) Source #
Methods (==) :: Exceptions Low -> Exceptions Low -> Bool # (/=) :: Exceptions Low -> Exceptions Low -> Bool #
Ord (Exceptions Low) Source #
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 #
Methods showsPrec :: Int -> Exceptions High -> ShowS # show :: Exceptions High -> String # showList :: [Exceptions High] -> ShowS #
Show (Exceptions Low) Source #
Methods showsPrec :: Int -> Exceptions Low -> ShowS # show :: Exceptions Low -> String # showList :: [Exceptions Low] -> ShowS #
Generic (Exceptions High) Source #
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 #
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 #
Methods put :: Exceptions Low -> Put # get :: Get (Exceptions Low) # putList :: [Exceptions Low] -> Put #
NFData (Exceptions High) Source #
Methods rnf :: Exceptions High -> () #
NFData (Exceptions Low) Source #
Methods rnf :: Exceptions Low -> () #
IsAttribute (Exceptions Low) Source #	`Exceptions` is an Attribute.
Methods attrName :: Const Text (Exceptions Low) Source #
type Rep (Exceptions High) Source #
type Rep (Exceptions High) = D1 * (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "Exceptions" PrefixI True) (S1 * (MetaSel (Just Symbol "exceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SizedList16 (Ref ClassName High)))))
type Rep (Exceptions Low) Source #
type Rep (Exceptions Low) = D1 * (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "Exceptions" PrefixI True) (S1 * (MetaSel (Just Symbol "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 #
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 #
Methods (==) :: LineNumberTable r -> LineNumberTable r -> Bool # (/=) :: LineNumberTable r -> LineNumberTable r -> Bool #
Ord (LineNumberTable r) Source #
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 #
Methods showsPrec :: Int -> LineNumberTable r -> ShowS # show :: LineNumberTable r -> String # showList :: [LineNumberTable r] -> ShowS #
Generic (LineNumberTable r) Source #
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 #
Methods put :: LineNumberTable Low -> Put # get :: Get (LineNumberTable Low) # putList :: [LineNumberTable Low] -> Put #
NFData (LineNumberTable r) Source #
Methods rnf :: LineNumberTable r -> () #
IsAttribute (LineNumberTable Low) Source #	`Signature` is an Attribute.
Methods attrName :: Const Text (LineNumberTable Low) Source #
type Rep (LineNumberTable r) Source #
type Rep (LineNumberTable r) = D1 * (MetaData "LineNumberTable" "Language.JVM.Attribute.LineNumberTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "LineNumberTable" PrefixI True) (S1 * (MetaSel (Just Symbol "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 #
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 #
Methods (==) :: StackMapTable High -> StackMapTable High -> Bool # (/=) :: StackMapTable High -> StackMapTable High -> Bool #
Eq (StackMapTable Low) Source #
Methods (==) :: StackMapTable Low -> StackMapTable Low -> Bool # (/=) :: StackMapTable Low -> StackMapTable Low -> Bool #
Ord (StackMapTable Low) Source #
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 #
Methods showsPrec :: Int -> StackMapTable High -> ShowS # show :: StackMapTable High -> String # showList :: [StackMapTable High] -> ShowS #
Show (StackMapTable Low) Source #
Methods showsPrec :: Int -> StackMapTable Low -> ShowS # show :: StackMapTable Low -> String # showList :: [StackMapTable Low] -> ShowS #
Generic (StackMapTable High) Source #
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 #
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 #
Methods put :: StackMapTable Low -> Put # get :: Get (StackMapTable Low) # putList :: [StackMapTable Low] -> Put #
NFData (StackMapTable High) Source #
Methods rnf :: StackMapTable High -> () #
NFData (StackMapTable Low) Source #
Methods rnf :: StackMapTable Low -> () #
IsAttribute (StackMapTable Low) Source #	`StackMapTable` is an Attribute.
Methods attrName :: Const Text (StackMapTable Low) Source #
type Rep (StackMapTable High) Source #
type Rep (StackMapTable High) = D1 * (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "StackMapTable" PrefixI True) (S1 * (MetaSel (Just Symbol "stackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] High))))
type Rep (StackMapTable Low) Source #
type Rep (StackMapTable Low) = D1 * (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "StackMapTable" PrefixI True) (S1 * (MetaSel (Just Symbol "stackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] Low))))

data Signature a Source #

Instances

Staged Signature Source #
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 #
Methods (==) :: Signature High -> Signature High -> Bool # (/=) :: Signature High -> Signature High -> Bool #
Eq (Signature Low) Source #
Methods (==) :: Signature Low -> Signature Low -> Bool # (/=) :: Signature Low -> Signature Low -> Bool #
Ord (Signature Low) Source #
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 #
Methods showsPrec :: Int -> Signature High -> ShowS # show :: Signature High -> String # showList :: [Signature High] -> ShowS #
Show (Signature Low) Source #
Methods showsPrec :: Int -> Signature Low -> ShowS # show :: Signature Low -> String # showList :: [Signature Low] -> ShowS #
Generic (Signature High) Source #
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 #
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 #
Methods put :: Signature Low -> Put # get :: Get (Signature Low) # putList :: [Signature Low] -> Put #
NFData (Signature High) Source #
Methods rnf :: Signature High -> () #
NFData (Signature Low) Source #
Methods rnf :: Signature Low -> () #
IsAttribute (Signature Low) Source #
Methods attrName :: Const Text (Signature Low) Source #
type Rep (Signature High) Source #
type Rep (Signature High) = D1 * (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Signature" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref Text High))))
type Rep (Signature Low) Source #
type Rep (Signature Low) = D1 * (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Signature" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref Text Low))))