Language.JVM.Attribute

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

Documentation

module Language.JVM.Attribute.Base

Subattributes

data BootstrapMethods r

Is a list of bootstrapped methods.

Instances

Staged BootstrapMethods

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> BootstrapMethods r -> m (BootstrapMethods r')

evolve :: EvolveM m => BootstrapMethods Low -> m (BootstrapMethods High)

devolve :: DevolveM m => BootstrapMethods High -> m (BootstrapMethods Low)

Eq (BootstrapMethods High)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

(==) :: BootstrapMethods High -> BootstrapMethods High -> Bool

(/=) :: BootstrapMethods High -> BootstrapMethods High -> Bool

Eq (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

(==) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool

(/=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool

Ord (BootstrapMethods Low)

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)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

showsPrec :: Int -> BootstrapMethods High -> ShowS

show :: BootstrapMethods High -> String

showList :: [BootstrapMethods High] -> ShowS

Show (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

showsPrec :: Int -> BootstrapMethods Low -> ShowS

show :: BootstrapMethods Low -> String

showList :: [BootstrapMethods Low] -> ShowS

Generic (BootstrapMethods High)

Defined in Language.JVM.Attribute.BootstrapMethods

Associated Types

type Rep (BootstrapMethods High) :: Type -> Type

Methods

from :: BootstrapMethods High -> Rep (BootstrapMethods High) x

to :: Rep (BootstrapMethods High) x -> BootstrapMethods High

Generic (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Associated Types

type Rep (BootstrapMethods Low) :: Type -> Type

Methods

from :: BootstrapMethods Low -> Rep (BootstrapMethods Low) x

to :: Rep (BootstrapMethods Low) x -> BootstrapMethods Low

Binary (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

put :: BootstrapMethods Low -> Put

get :: Get (BootstrapMethods Low)

putList :: [BootstrapMethods Low] -> Put

NFData (BootstrapMethods High)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

rnf :: BootstrapMethods High -> ()

NFData (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

rnf :: BootstrapMethods Low -> ()

IsAttribute (BootstrapMethods Low)

BootstrapMethods is an Attribute.

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

attrName :: Const Text (BootstrapMethods Low)

type Rep (BootstrapMethods High)

Defined in Language.JVM.Attribute.BootstrapMethods

type Rep (BootstrapMethods High) = D1 (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "BootstrapMethods" PrefixI True) (S1 (MetaSel (Just "methods'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (BootstrapMethod High)))))

type Rep (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

type Rep (BootstrapMethods Low) = D1 (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "BootstrapMethods" PrefixI True) (S1 (MetaSel (Just "methods'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (BootstrapMethod Low)))))

data Code r

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

Defined in Language.JVM.Attribute.Code

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> Code r -> m (Code r')

evolve :: EvolveM m => Code Low -> m (Code High)

devolve :: DevolveM m => Code High -> m (Code Low)

Eq (Code High)

Defined in Language.JVM.Attribute.Code

Methods

(==) :: Code High -> Code High -> Bool

(/=) :: Code High -> Code High -> Bool

Eq (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

(==) :: Code Low -> Code Low -> Bool

(/=) :: Code Low -> Code Low -> Bool

Ord (Code Low)

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)

Defined in Language.JVM.Attribute.Code

Methods

showsPrec :: Int -> Code High -> ShowS

show :: Code High -> String

showList :: [Code High] -> ShowS

Show (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

showsPrec :: Int -> Code Low -> ShowS

show :: Code Low -> String

showList :: [Code Low] -> ShowS

Generic (Code High)

Defined in Language.JVM.Attribute.Code

Associated Types

type Rep (Code High) :: Type -> Type

Methods

from :: Code High -> Rep (Code High) x

to :: Rep (Code High) x -> Code High

Generic (Code Low)

Defined in Language.JVM.Attribute.Code

Associated Types

type Rep (Code Low) :: Type -> Type

Methods

from :: Code Low -> Rep (Code Low) x

to :: Rep (Code Low) x -> Code Low

Binary (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

put :: Code Low -> Put

get :: Get (Code Low)

putList :: [Code Low] -> Put

NFData (Code High)

Defined in Language.JVM.Attribute.Code

Methods

rnf :: Code High -> ()

NFData (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

rnf :: Code Low -> ()

IsAttribute (Code Low)

Code is an Attribute.

Defined in Language.JVM.Attribute.Code

Methods

attrName :: Const Text (Code Low)

type Rep (Code High)

Defined in Language.JVM.Attribute.Code

type Rep (Code High) = D1 (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" 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)

Defined in Language.JVM.Attribute.Code

type Rep (Code Low) = D1 (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" 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

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

Instances

Staged ConstantValue

Defined in Language.JVM.Attribute.ConstantValue

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> ConstantValue r -> m (ConstantValue r')

evolve :: EvolveM m => ConstantValue Low -> m (ConstantValue High)

devolve :: DevolveM m => ConstantValue High -> m (ConstantValue Low)

Eq (ConstantValue High)

Defined in Language.JVM.Attribute.ConstantValue

Methods

(==) :: ConstantValue High -> ConstantValue High -> Bool

(/=) :: ConstantValue High -> ConstantValue High -> Bool

Eq (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

(==) :: ConstantValue Low -> ConstantValue Low -> Bool

(/=) :: ConstantValue Low -> ConstantValue Low -> Bool

Ord (ConstantValue Low)

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)

Defined in Language.JVM.Attribute.ConstantValue

Methods

showsPrec :: Int -> ConstantValue High -> ShowS

show :: ConstantValue High -> String

showList :: [ConstantValue High] -> ShowS

Show (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

showsPrec :: Int -> ConstantValue Low -> ShowS

show :: ConstantValue Low -> String

showList :: [ConstantValue Low] -> ShowS

Generic (ConstantValue High)

Defined in Language.JVM.Attribute.ConstantValue

Associated Types

type Rep (ConstantValue High) :: Type -> Type

Methods

from :: ConstantValue High -> Rep (ConstantValue High) x

to :: Rep (ConstantValue High) x -> ConstantValue High

Generic (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Associated Types

type Rep (ConstantValue Low) :: Type -> Type

Methods

from :: ConstantValue Low -> Rep (ConstantValue Low) x

to :: Rep (ConstantValue Low) x -> ConstantValue Low

Binary (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

put :: ConstantValue Low -> Put

get :: Get (ConstantValue Low)

putList :: [ConstantValue Low] -> Put

NFData (ConstantValue High)

Defined in Language.JVM.Attribute.ConstantValue

Methods

rnf :: ConstantValue High -> ()

NFData (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

rnf :: ConstantValue Low -> ()

IsAttribute (ConstantValue Low)

ConstantValue is an Attribute.

Defined in Language.JVM.Attribute.ConstantValue

Methods

attrName :: Const Text (ConstantValue Low)

type Rep (ConstantValue High)

Defined in Language.JVM.Attribute.ConstantValue

type Rep (ConstantValue High) = D1 (MetaData "ConstantValue" "Language.JVM.Attribute.ConstantValue" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "ConstantValue" PrefixI True) (S1 (MetaSel (Just "constantValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref JValue High))))

type Rep (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

type Rep (ConstantValue Low) = D1 (MetaData "ConstantValue" "Language.JVM.Attribute.ConstantValue" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "ConstantValue" PrefixI True) (S1 (MetaSel (Just "constantValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref JValue Low))))

data Exceptions r

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

Instances

Staged Exceptions

Defined in Language.JVM.Attribute.Exceptions

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> Exceptions r -> m (Exceptions r')

evolve :: EvolveM m => Exceptions Low -> m (Exceptions High)

devolve :: DevolveM m => Exceptions High -> m (Exceptions Low)

Eq (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

Methods

(==) :: Exceptions High -> Exceptions High -> Bool

(/=) :: Exceptions High -> Exceptions High -> Bool

Eq (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

(==) :: Exceptions Low -> Exceptions Low -> Bool

(/=) :: Exceptions Low -> Exceptions Low -> Bool

Ord (Exceptions Low)

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)

Defined in Language.JVM.Attribute.Exceptions

Methods

showsPrec :: Int -> Exceptions High -> ShowS

show :: Exceptions High -> String

showList :: [Exceptions High] -> ShowS

Show (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

showsPrec :: Int -> Exceptions Low -> ShowS

show :: Exceptions Low -> String

showList :: [Exceptions Low] -> ShowS

Generic (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

Associated Types

type Rep (Exceptions High) :: Type -> Type

Methods

from :: Exceptions High -> Rep (Exceptions High) x

to :: Rep (Exceptions High) x -> Exceptions High

Generic (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Associated Types

type Rep (Exceptions Low) :: Type -> Type

Methods

from :: Exceptions Low -> Rep (Exceptions Low) x

to :: Rep (Exceptions Low) x -> Exceptions Low

Binary (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

put :: Exceptions Low -> Put

get :: Get (Exceptions Low)

putList :: [Exceptions Low] -> Put

NFData (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

Methods

rnf :: Exceptions High -> ()

NFData (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

rnf :: Exceptions Low -> ()

IsAttribute (Exceptions Low)

Exceptions is an Attribute.

Defined in Language.JVM.Attribute.Exceptions

Methods

attrName :: Const Text (Exceptions Low)

type Rep (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

type Rep (Exceptions High) = D1 (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "Exceptions" PrefixI True) (S1 (MetaSel (Just "exceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Ref ClassName High)))))

type Rep (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

type Rep (Exceptions Low) = D1 (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "Exceptions" PrefixI True) (S1 (MetaSel (Just "exceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Ref ClassName Low)))))

data LineNumberTable r

The LineNumberTable is just a mapping from offsets to linenumbers.

Instances

ByteCodeStaged LineNumberTable

Defined in Language.JVM.Attribute.LineNumberTable

Methods

evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> LineNumberTable Low -> m (LineNumberTable High)

devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> LineNumberTable High -> m (LineNumberTable Low)

Eq (LineNumberTable r)

Defined in Language.JVM.Attribute.LineNumberTable

Methods

(==) :: LineNumberTable r -> LineNumberTable r -> Bool

(/=) :: LineNumberTable r -> LineNumberTable r -> Bool

Ord (LineNumberTable r)

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)

Defined in Language.JVM.Attribute.LineNumberTable

Methods

showsPrec :: Int -> LineNumberTable r -> ShowS

show :: LineNumberTable r -> String

showList :: [LineNumberTable r] -> ShowS

Generic (LineNumberTable r)

Defined in Language.JVM.Attribute.LineNumberTable

Associated Types

type Rep (LineNumberTable r) :: Type -> Type

Methods

from :: LineNumberTable r -> Rep (LineNumberTable r) x

to :: Rep (LineNumberTable r) x -> LineNumberTable r

Binary (LineNumberTable Low)

Defined in Language.JVM.Attribute.LineNumberTable

Methods

put :: LineNumberTable Low -> Put

get :: Get (LineNumberTable Low)

putList :: [LineNumberTable Low] -> Put

NFData (LineNumberTable r)

Defined in Language.JVM.Attribute.LineNumberTable

Methods

rnf :: LineNumberTable r -> ()

IsAttribute (LineNumberTable Low)

Signature is an Attribute.

Defined in Language.JVM.Attribute.LineNumberTable

Methods

attrName :: Const Text (LineNumberTable Low)

type Rep (LineNumberTable r)

Defined in Language.JVM.Attribute.LineNumberTable

type Rep (LineNumberTable r) = D1 (MetaData "LineNumberTable" "Language.JVM.Attribute.LineNumberTable" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "LineNumberTable" PrefixI True) (S1 (MetaSel (Just "lineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (IntMap LineNumber))))

data StackMapTable r

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

Instances

ByteCodeStaged StackMapTable

Defined in Language.JVM.Attribute.StackMapTable

Methods

evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> StackMapTable Low -> m (StackMapTable High)

devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> StackMapTable High -> m (StackMapTable Low)

Eq (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

(==) :: StackMapTable High -> StackMapTable High -> Bool

(/=) :: StackMapTable High -> StackMapTable High -> Bool

Eq (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

(==) :: StackMapTable Low -> StackMapTable Low -> Bool

(/=) :: StackMapTable Low -> StackMapTable Low -> Bool

Ord (StackMapTable Low)

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)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapTable High -> ShowS

show :: StackMapTable High -> String

showList :: [StackMapTable High] -> ShowS

Show (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapTable Low -> ShowS

show :: StackMapTable Low -> String

showList :: [StackMapTable Low] -> ShowS

Generic (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

type Rep (StackMapTable High) :: Type -> Type

Methods

from :: StackMapTable High -> Rep (StackMapTable High) x

to :: Rep (StackMapTable High) x -> StackMapTable High

Generic (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

type Rep (StackMapTable Low) :: Type -> Type

Methods

from :: StackMapTable Low -> Rep (StackMapTable Low) x

to :: Rep (StackMapTable Low) x -> StackMapTable Low

Binary (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

put :: StackMapTable Low -> Put

get :: Get (StackMapTable Low)

putList :: [StackMapTable Low] -> Put

NFData (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapTable High -> ()

NFData (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapTable Low -> ()

IsAttribute (StackMapTable Low)

StackMapTable is an Attribute.

Defined in Language.JVM.Attribute.StackMapTable

Methods

attrName :: Const Text (StackMapTable Low)

type Rep (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapTable High) = D1 (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" 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)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapTable Low) = D1 (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "StackMapTable" PrefixI True) (S1 (MetaSel (Just "stackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] Low))))

data Signature a

Instances

Staged Signature

Defined in Language.JVM.Attribute.Signature

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> Signature r -> m (Signature r')

evolve :: EvolveM m => Signature Low -> m (Signature High)

devolve :: DevolveM m => Signature High -> m (Signature Low)

Eq (Signature High)

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: Signature High -> Signature High -> Bool

(/=) :: Signature High -> Signature High -> Bool

Eq (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: Signature Low -> Signature Low -> Bool

(/=) :: Signature Low -> Signature Low -> Bool

Ord (Signature Low)

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)

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> Signature High -> ShowS

show :: Signature High -> String

showList :: [Signature High] -> ShowS

Show (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> Signature Low -> ShowS

show :: Signature Low -> String

showList :: [Signature Low] -> ShowS

Generic (Signature High)

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep (Signature High) :: Type -> Type

Methods

from :: Signature High -> Rep (Signature High) x

to :: Rep (Signature High) x -> Signature High

Generic (Signature Low)

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep (Signature Low) :: Type -> Type

Methods

from :: Signature Low -> Rep (Signature Low) x

to :: Rep (Signature Low) x -> Signature Low

Binary (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

put :: Signature Low -> Put

get :: Get (Signature Low)

putList :: [Signature Low] -> Put

NFData (Signature High)

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: Signature High -> ()

NFData (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: Signature Low -> ()

IsAttribute (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

attrName :: Const Text (Signature Low)

type Rep (Signature High)

Defined in Language.JVM.Attribute.Signature

type Rep (Signature High) = D1 (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "Signature" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref Text High))))

type Rep (Signature Low)

Defined in Language.JVM.Attribute.Signature

type Rep (Signature Low) = D1 (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "Signature" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref Text Low))))