Language.JVM.ByteCode

Documentation

data ByteCode i

ByteCode constains a list of ByteCode instructions and the size of the bytecode. if the ByteCode is in the Low stage then the byte code instructions are annotated with the byte code offsets.

Constructors

ByteCode

Fields

• byteCodeSize :: !Word32
• byteCodeInstructions :: Vector (ByteCodeInst i)

Instances

Eq (ByteCode High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (ByteCode Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Ord (ByteCode Low)

Defined in Language.JVM.ByteCode

Methods

compare :: ByteCode Low -> ByteCode Low -> Ordering

(<) :: ByteCode Low -> ByteCode Low -> Bool

(<=) :: ByteCode Low -> ByteCode Low -> Bool

(>) :: ByteCode Low -> ByteCode Low -> Bool

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

max :: ByteCode Low -> ByteCode Low -> ByteCode Low

min :: ByteCode Low -> ByteCode Low -> ByteCode Low

Show (ByteCode High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCode High -> ShowS

show :: ByteCode High -> String

showList :: [ByteCode High] -> ShowS

Show (ByteCode Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCode Low -> ShowS

show :: ByteCode Low -> String

showList :: [ByteCode Low] -> ShowS

Generic (ByteCode High)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

Generic (ByteCode Low)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

Binary (ByteCode Low)

Defined in Language.JVM.ByteCode

Methods

put :: ByteCode Low -> Put

get :: Get (ByteCode Low)

putList :: [ByteCode Low] -> Put

NFData (ByteCode High)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCode High -> ()

NFData (ByteCode Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCode Low -> ()

type Rep (ByteCode High)

Defined in Language.JVM.ByteCode

type Rep (ByteCode High) = D1 ('MetaData "ByteCode" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "ByteCode" 'PrefixI 'True) (S1 ('MetaSel ('Just "byteCodeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "byteCodeInstructions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector (ByteCodeInst High)))))

type Rep (ByteCode Low)

Defined in Language.JVM.ByteCode

type Rep (ByteCode Low) = D1 ('MetaData "ByteCode" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "ByteCode" 'PrefixI 'True) (S1 ('MetaSel ('Just "byteCodeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "byteCodeInstructions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector (ByteCodeInst Low)))))

unByteCode :: ByteCode i -> Vector (ByteCodeInst i)

evolve and devolve

evolveByteCode :: EvolveM m => ByteCode Low -> m (OffsetMap, ByteCode High)

devolveByteCode :: DevolveM m => ByteCode High -> m (ByteCode Low)

evolveOffset :: EvolveM m => OffsetMap -> ByteCodeOffset -> m ByteCodeIndex

Given an OffsetMap turn a offset into a bytecode index

devolveOffset :: DevolveM m => ByteCode Low -> ByteCodeIndex -> m ByteCodeOffset

Given an OffsetMap turn a offset into a bytecode index

class ByteCodeStaged s where

Methods

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

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

Instances

ByteCodeStaged ByteCodeInst

Defined in Language.JVM.ByteCode

Methods

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

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

ByteCodeStaged VerificationTypeInfo

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

ByteCodeStaged StackMapFrameType

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

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)

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)

ByteCodeStaged TypeArgumentTarget

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

ByteCodeStaged LocalvarEntry

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

ByteCodeStaged CodeTypeAnnotation

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

ByteCodeStaged ExceptionTable

Defined in Language.JVM.Attribute.Code

Methods

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

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

ByteCodeStaged m => ByteCodeStaged (RuntimeInvisibleTypeAnnotations m)

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

ByteCodeStaged m => ByteCodeStaged (RuntimeVisibleTypeAnnotations m)

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

ByteCodeStaged m => ByteCodeStaged (TypeAnnotation m)

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

Managing offsets

data ByteCodeInst r

The byte code instruction is mostly used to succinctly read and write an bytecode instruction from a bytestring.

Constructors

ByteCodeInst

Fields

• offset :: !ByteCodeOffset
• opcode :: !(ByteCodeOpr r)

Instances

ByteCodeStaged ByteCodeInst

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (ByteCodeInst High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Ord (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

Methods

compare :: ByteCodeInst Low -> ByteCodeInst Low -> Ordering

(<) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool

(<=) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool

(>) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool

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

max :: ByteCodeInst Low -> ByteCodeInst Low -> ByteCodeInst Low

min :: ByteCodeInst Low -> ByteCodeInst Low -> ByteCodeInst Low

Show (ByteCodeInst High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCodeInst High -> ShowS

show :: ByteCodeInst High -> String

showList :: [ByteCodeInst High] -> ShowS

Show (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCodeInst Low -> ShowS

show :: ByteCodeInst Low -> String

showList :: [ByteCodeInst Low] -> ShowS

Generic (ByteCodeInst High)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

Generic (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

Binary (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

Methods

put :: ByteCodeInst Low -> Put

get :: Get (ByteCodeInst Low)

putList :: [ByteCodeInst Low] -> Put

NFData (ByteCodeInst High)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCodeInst High -> ()

NFData (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCodeInst Low -> ()

type Rep (ByteCodeInst High)

Defined in Language.JVM.ByteCode

type Rep (ByteCodeInst High) = D1 ('MetaData "ByteCodeInst" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "ByteCodeInst" 'PrefixI 'True) (S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteCodeOffset) :*: S1 ('MetaSel ('Just "opcode") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ByteCodeOpr High))))

type Rep (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

type Rep (ByteCodeInst Low) = D1 ('MetaData "ByteCodeInst" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "ByteCodeInst" 'PrefixI 'True) (S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteCodeOffset) :*: S1 ('MetaSel ('Just "opcode") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ByteCodeOpr Low))))

type ByteCodeRef i = Choice ByteCodeOffset ByteCodeIndex i

A ByteCode reference is either byte code offset in the low stage, and a byte code index in the high state

type ByteCodeOffset = Word16

The offset in the byte code

type ByteCodeIndex = Int

The index of the byte code.

type OffsetMap = IntMap ByteCodeIndex

The offset map, maps offset to instruction ids.

indexOffset :: ByteCode Low -> ByteCodeIndex -> Maybe ByteCodeOffset

Return the bytecode offset from the bytecode.

offsetIndex :: OffsetMap -> ByteCodeOffset -> Maybe ByteCodeIndex

Given an OffsetMap turn a offset into a bytecode index

offsetMap :: ByteCode Low -> OffsetMap

Given low byte code we can create an OffsetMap

generateOffsets :: DevolveM m => Vector (ByteCodeOpr High) -> m (Word16, Vector ByteCodeOffset)

ByteCode Operations

data ByteCodeOpr r

Constructors

ArrayLoad !ArrayType

aaload baload ...

ArrayStore !ArrayType

aastore bastore ...

Push !(BConstant r)

Load !LocalType !LocalAddress

aload_0, bload_2, iload 5 ...

Store !LocalType !LocalAddress

aload, bload ...

BinaryOpr !BinOpr !ArithmeticType

iadd ...

Neg !ArithmeticType

ineg ...

BitOpr !BitOpr !WordSize

Exclusively on int and long, identified by the word-size

IncrLocal !LocalAddress !IncrementAmount

Only works on ints, increment local 2

Cast !CastOpr

Only valid on different types

CompareLongs

CompareFloating !Bool !WordSize

Compare two floating values, 2 is if float or double should be used.

If !CmpOpr !OneOrTwo !(ShortRelativeRef r)

compare with 0 if #2 is False, and two ints from the stack if True. the last value is the offset

IfRef !Bool !OneOrTwo !(ShortRelativeRef r)

check if two objects are equal, or not equal. If #2 is True, compare with null.

Goto !(LongRelativeRef r)

Jsr !(LongRelativeRef r)

Ret !LocalAddress

TableSwitch !(LongRelativeRef r) !(SwitchTable r)

a table switch has 2 values a `default` and a SwitchTable

LookupSwitch !(LongRelativeRef r) (Vector (Int32, LongRelativeRef r))

a lookup switch has a `default` value and a list of pairs.

Get !FieldAccess !(Ref AbsFieldId r)

Put !FieldAccess !(Ref AbsFieldId r)

Invoke !(Invocation r)

New !(Ref ClassName r)

NewArray !(Choice LowNewArrayType NewArrayType r)

the first argument is the number of dimentions of the array that have to be instantiatied. The JType indicates the type of the instantiated array

ArrayLength

Throw

CheckCast !(Ref JRefType r)

InstanceOf !(Ref JRefType r)

Monitor !Bool

True => Enter, False => Exit

Return !(Maybe LocalType)

Nop

Pop !WordSize

Dup !WordSize

DupX1 !WordSize

DupX2 !WordSize

Swap

Instances

Eq (ByteCodeOpr High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Ord (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

Methods

compare :: ByteCodeOpr Low -> ByteCodeOpr Low -> Ordering

(<) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool

(<=) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool

(>) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool

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

max :: ByteCodeOpr Low -> ByteCodeOpr Low -> ByteCodeOpr Low

min :: ByteCodeOpr Low -> ByteCodeOpr Low -> ByteCodeOpr Low

Show (ByteCodeOpr High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCodeOpr High -> ShowS

show :: ByteCodeOpr High -> String

showList :: [ByteCodeOpr High] -> ShowS

Show (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCodeOpr Low -> ShowS

show :: ByteCodeOpr Low -> String

showList :: [ByteCodeOpr Low] -> ShowS

Generic (ByteCodeOpr High)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

Generic (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

Binary (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

Methods

put :: ByteCodeOpr Low -> Put

get :: Get (ByteCodeOpr Low)

putList :: [ByteCodeOpr Low] -> Put

NFData (ByteCodeOpr High)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCodeOpr High -> ()

NFData (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCodeOpr Low -> ()

type Rep (ByteCodeOpr High)

Defined in Language.JVM.ByteCode

type Rep (ByteCodeOpr High) = D1 ('MetaData "ByteCodeOpr" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (((((C1 ('MetaCons "ArrayLoad" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ArrayType)) :+: C1 ('MetaCons "ArrayStore" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ArrayType))) :+: (C1 ('MetaCons "Push" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BConstant High))) :+: C1 ('MetaCons "Load" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalAddress)))) :+: ((C1 ('MetaCons "Store" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalAddress)) :+: C1 ('MetaCons "BinaryOpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BinOpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ArithmeticType))) :+: (C1 ('MetaCons "Neg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ArithmeticType)) :+: (C1 ('MetaCons "BitOpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BitOpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize)) :+: C1 ('MetaCons "IncrLocal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalAddress) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IncrementAmount)))))) :+: (((C1 ('MetaCons "Cast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CastOpr)) :+: C1 ('MetaCons "CompareLongs" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CompareFloating" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize)) :+: C1 ('MetaCons "If" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CmpOpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OneOrTwo) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShortRelativeRef High)))))) :+: ((C1 ('MetaCons "IfRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OneOrTwo) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShortRelativeRef High)))) :+: C1 ('MetaCons "Goto" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LongRelativeRef High)))) :+: (C1 ('MetaCons "Jsr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LongRelativeRef High))) :+: (C1 ('MetaCons "Ret" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalAddress)) :+: C1 ('MetaCons "TableSwitch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LongRelativeRef High)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SwitchTable High)))))))) :+: ((((C1 ('MetaCons "LookupSwitch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LongRelativeRef High)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector (Int32, LongRelativeRef High)))) :+: C1 ('MetaCons "Get" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FieldAccess) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref AbsFieldId High)))) :+: (C1 ('MetaCons "Put" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FieldAccess) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref AbsFieldId High))) :+: C1 ('MetaCons "Invoke" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Invocation High))))) :+: ((C1 ('MetaCons "New" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref ClassName High))) :+: C1 ('MetaCons "NewArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Choice LowNewArrayType NewArrayType High)))) :+: (C1 ('MetaCons "ArrayLength" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Throw" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CheckCast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref JRefType High))))))) :+: (((C1 ('MetaCons "InstanceOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref JRefType High))) :+: C1 ('MetaCons "Monitor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))) :+: (C1 ('MetaCons "Return" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe LocalType))) :+: C1 ('MetaCons "Nop" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Pop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize)) :+: C1 ('MetaCons "Dup" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize))) :+: (C1 ('MetaCons "DupX1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize)) :+: (C1 ('MetaCons "DupX2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize)) :+: C1 ('MetaCons "Swap" 'PrefixI 'False) (U1 :: Type -> Type)))))))

type Rep (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

type Rep (ByteCodeOpr Low) = D1 ('MetaData "ByteCodeOpr" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (((((C1 ('MetaCons "ArrayLoad" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ArrayType)) :+: C1 ('MetaCons "ArrayStore" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ArrayType))) :+: (C1 ('MetaCons "Push" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BConstant Low))) :+: C1 ('MetaCons "Load" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalAddress)))) :+: ((C1 ('MetaCons "Store" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalAddress)) :+: C1 ('MetaCons "BinaryOpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BinOpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ArithmeticType))) :+: (C1 ('MetaCons "Neg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ArithmeticType)) :+: (C1 ('MetaCons "BitOpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BitOpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize)) :+: C1 ('MetaCons "IncrLocal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalAddress) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IncrementAmount)))))) :+: (((C1 ('MetaCons "Cast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CastOpr)) :+: C1 ('MetaCons "CompareLongs" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CompareFloating" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize)) :+: C1 ('MetaCons "If" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CmpOpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OneOrTwo) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShortRelativeRef Low)))))) :+: ((C1 ('MetaCons "IfRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OneOrTwo) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShortRelativeRef Low)))) :+: C1 ('MetaCons "Goto" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LongRelativeRef Low)))) :+: (C1 ('MetaCons "Jsr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LongRelativeRef Low))) :+: (C1 ('MetaCons "Ret" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalAddress)) :+: C1 ('MetaCons "TableSwitch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LongRelativeRef Low)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SwitchTable Low)))))))) :+: ((((C1 ('MetaCons "LookupSwitch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LongRelativeRef Low)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector (Int32, LongRelativeRef Low)))) :+: C1 ('MetaCons "Get" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FieldAccess) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref AbsFieldId Low)))) :+: (C1 ('MetaCons "Put" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FieldAccess) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref AbsFieldId Low))) :+: C1 ('MetaCons "Invoke" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Invocation Low))))) :+: ((C1 ('MetaCons "New" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref ClassName Low))) :+: C1 ('MetaCons "NewArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Choice LowNewArrayType NewArrayType Low)))) :+: (C1 ('MetaCons "ArrayLength" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Throw" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CheckCast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref JRefType Low))))))) :+: (((C1 ('MetaCons "InstanceOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref JRefType Low))) :+: C1 ('MetaCons "Monitor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))) :+: (C1 ('MetaCons "Return" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe LocalType))) :+: C1 ('MetaCons "Nop" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Pop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize)) :+: C1 ('MetaCons "Dup" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize))) :+: (C1 ('MetaCons "DupX1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize)) :+: (C1 ('MetaCons "DupX2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WordSize)) :+: C1 ('MetaCons "Swap" 'PrefixI 'False) (U1 :: Type -> Type)))))))

type BConstant r = Choice (CConstant r) (Maybe JValue) r

A Wrapper around CConstant.

data CConstant r

Constructors

CNull

CIntM1

• 1

CInt0

CInt1

CInt2

CInt3

CInt4

CInt5

CLong0

CLong1

CFloat0

CFloat1

CFloat2

CDouble0

CDouble1

CByte Int8

CShort Int16

CRef (Maybe WordSize) (Ref JValue r)

Instances

Staged CConstant

Defined in Language.JVM.ByteCode

Methods

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

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

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

Eq (CConstant High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (CConstant Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Ord (CConstant Low)

Defined in Language.JVM.ByteCode

Methods

compare :: CConstant Low -> CConstant Low -> Ordering

(<) :: CConstant Low -> CConstant Low -> Bool

(<=) :: CConstant Low -> CConstant Low -> Bool

(>) :: CConstant Low -> CConstant Low -> Bool

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

max :: CConstant Low -> CConstant Low -> CConstant Low

min :: CConstant Low -> CConstant Low -> CConstant Low

Show (CConstant High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> CConstant High -> ShowS

show :: CConstant High -> String

showList :: [CConstant High] -> ShowS

Show (CConstant Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> CConstant Low -> ShowS

show :: CConstant Low -> String

showList :: [CConstant Low] -> ShowS

Generic (CConstant High)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

Generic (CConstant Low)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

NFData (CConstant High)

Defined in Language.JVM.ByteCode

Methods

rnf :: CConstant High -> ()

NFData (CConstant Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: CConstant Low -> ()

type Rep (CConstant High)

Defined in Language.JVM.ByteCode

type Rep (CConstant High) = D1 ('MetaData "CConstant" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) ((((C1 ('MetaCons "CNull" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CIntM1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CInt0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CInt1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CInt2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CInt3" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CInt4" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CInt5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CLong0" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CLong1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFloat0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CFloat1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFloat2" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CDouble0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CDouble1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CByte" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int8)) :+: (C1 ('MetaCons "CShort" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int16)) :+: C1 ('MetaCons "CRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe WordSize)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Ref JValue High))))))))

type Rep (CConstant Low)

Defined in Language.JVM.ByteCode

type Rep (CConstant Low) = D1 ('MetaData "CConstant" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) ((((C1 ('MetaCons "CNull" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CIntM1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CInt0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CInt1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CInt2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CInt3" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CInt4" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CInt5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CLong0" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CLong1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFloat0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CFloat1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFloat2" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CDouble0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CDouble1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CByte" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int8)) :+: (C1 ('MetaCons "CShort" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int16)) :+: C1 ('MetaCons "CRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe WordSize)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Ref JValue Low))))))))

data OneOrTwo

Constructors

One

Two

Instances

Bounded OneOrTwo

Defined in Language.JVM.ByteCode

Methods

minBound :: OneOrTwo

maxBound :: OneOrTwo

Enum OneOrTwo

Defined in Language.JVM.ByteCode

Methods

succ :: OneOrTwo -> OneOrTwo

pred :: OneOrTwo -> OneOrTwo

toEnum :: Int -> OneOrTwo

fromEnum :: OneOrTwo -> Int

enumFrom :: OneOrTwo -> [OneOrTwo]

enumFromThen :: OneOrTwo -> OneOrTwo -> [OneOrTwo]

enumFromTo :: OneOrTwo -> OneOrTwo -> [OneOrTwo]

enumFromThenTo :: OneOrTwo -> OneOrTwo -> OneOrTwo -> [OneOrTwo]

Eq OneOrTwo

Defined in Language.JVM.ByteCode

Methods

(==) :: OneOrTwo -> OneOrTwo -> Bool

(/=) :: OneOrTwo -> OneOrTwo -> Bool

Ord OneOrTwo

Defined in Language.JVM.ByteCode

Methods

compare :: OneOrTwo -> OneOrTwo -> Ordering

(<) :: OneOrTwo -> OneOrTwo -> Bool

(<=) :: OneOrTwo -> OneOrTwo -> Bool

(>) :: OneOrTwo -> OneOrTwo -> Bool

(>=) :: OneOrTwo -> OneOrTwo -> Bool

max :: OneOrTwo -> OneOrTwo -> OneOrTwo

min :: OneOrTwo -> OneOrTwo -> OneOrTwo

Show OneOrTwo

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> OneOrTwo -> ShowS

show :: OneOrTwo -> String

showList :: [OneOrTwo] -> ShowS

Generic OneOrTwo

Defined in Language.JVM.ByteCode

Associated Types

type Rep OneOrTwo :: Type -> Type

Methods

from :: OneOrTwo -> Rep OneOrTwo x

to :: Rep OneOrTwo x -> OneOrTwo

NFData OneOrTwo

Defined in Language.JVM.ByteCode

Methods

rnf :: OneOrTwo -> ()

type Rep OneOrTwo

Defined in Language.JVM.ByteCode

type Rep OneOrTwo = D1 ('MetaData "OneOrTwo" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "One" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Two" 'PrefixI 'False) (U1 :: Type -> Type))

data SwitchTable r

Constructors

SwitchTable

Fields

• switchLow :: Int32
• switchOffsets :: Vector (LongRelativeRef r)

Instances

Eq (SwitchTable High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (SwitchTable Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Ord (SwitchTable Low)

Defined in Language.JVM.ByteCode

Methods

compare :: SwitchTable Low -> SwitchTable Low -> Ordering

(<) :: SwitchTable Low -> SwitchTable Low -> Bool

(<=) :: SwitchTable Low -> SwitchTable Low -> Bool

(>) :: SwitchTable Low -> SwitchTable Low -> Bool

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

max :: SwitchTable Low -> SwitchTable Low -> SwitchTable Low

min :: SwitchTable Low -> SwitchTable Low -> SwitchTable Low

Show (SwitchTable High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> SwitchTable High -> ShowS

show :: SwitchTable High -> String

showList :: [SwitchTable High] -> ShowS

Show (SwitchTable Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> SwitchTable Low -> ShowS

show :: SwitchTable Low -> String

showList :: [SwitchTable Low] -> ShowS

Generic (SwitchTable High)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

Generic (SwitchTable Low)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

NFData (SwitchTable High)

Defined in Language.JVM.ByteCode

Methods

rnf :: SwitchTable High -> ()

NFData (SwitchTable Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: SwitchTable Low -> ()

type Rep (SwitchTable High)

Defined in Language.JVM.ByteCode

type Rep (SwitchTable High) = D1 ('MetaData "SwitchTable" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "SwitchTable" 'PrefixI 'True) (S1 ('MetaSel ('Just "switchLow") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int32) :*: S1 ('MetaSel ('Just "switchOffsets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector (LongRelativeRef High)))))

type Rep (SwitchTable Low)

Defined in Language.JVM.ByteCode

type Rep (SwitchTable Low) = D1 ('MetaData "SwitchTable" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "SwitchTable" 'PrefixI 'True) (S1 ('MetaSel ('Just "switchLow") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int32) :*: S1 ('MetaSel ('Just "switchOffsets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector (LongRelativeRef Low)))))

switchHigh :: SwitchTable Low -> Int32

data FieldAccess

Constructors

FldStatic

FldField

Instances

Eq FieldAccess

Defined in Language.JVM.ByteCode

Methods

(==) :: FieldAccess -> FieldAccess -> Bool

(/=) :: FieldAccess -> FieldAccess -> Bool

Ord FieldAccess

Defined in Language.JVM.ByteCode

Methods

compare :: FieldAccess -> FieldAccess -> Ordering

(<) :: FieldAccess -> FieldAccess -> Bool

(<=) :: FieldAccess -> FieldAccess -> Bool

(>) :: FieldAccess -> FieldAccess -> Bool

(>=) :: FieldAccess -> FieldAccess -> Bool

max :: FieldAccess -> FieldAccess -> FieldAccess

min :: FieldAccess -> FieldAccess -> FieldAccess

Show FieldAccess

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> FieldAccess -> ShowS

show :: FieldAccess -> String

showList :: [FieldAccess] -> ShowS

Generic FieldAccess

Defined in Language.JVM.ByteCode

Associated Types

type Rep FieldAccess :: Type -> Type

Methods

from :: FieldAccess -> Rep FieldAccess x

to :: Rep FieldAccess x -> FieldAccess

NFData FieldAccess

Defined in Language.JVM.ByteCode

Methods

rnf :: FieldAccess -> ()

type Rep FieldAccess

Defined in Language.JVM.ByteCode

type Rep FieldAccess = D1 ('MetaData "FieldAccess" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "FldStatic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FldField" 'PrefixI 'False) (U1 :: Type -> Type))

data Invocation r

Constructors

InvkSpecial !(Ref AbsVariableMethodId r)

Variable since 52.0

InvkVirtual !(Ref (InRefType MethodId) r)

InvkStatic !(Ref AbsVariableMethodId r)

Variable since 52.0

InvkInterface !Word8 !(Ref AbsInterfaceMethodId r)

Should be a positive number

InvkDynamic !(DeepRef InvokeDynamic r)

Instances

Staged Invocation

Defined in Language.JVM.ByteCode

Methods

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

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

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

Eq (Invocation High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (Invocation Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Ord (Invocation Low)

Defined in Language.JVM.ByteCode

Methods

compare :: Invocation Low -> Invocation Low -> Ordering

(<) :: Invocation Low -> Invocation Low -> Bool

(<=) :: Invocation Low -> Invocation Low -> Bool

(>) :: Invocation Low -> Invocation Low -> Bool

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

max :: Invocation Low -> Invocation Low -> Invocation Low

min :: Invocation Low -> Invocation Low -> Invocation Low

Show (Invocation High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> Invocation High -> ShowS

show :: Invocation High -> String

showList :: [Invocation High] -> ShowS

Show (Invocation Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> Invocation Low -> ShowS

show :: Invocation Low -> String

showList :: [Invocation Low] -> ShowS

Generic (Invocation High)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

Generic (Invocation Low)

Defined in Language.JVM.ByteCode

Associated Types

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

Methods

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

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

NFData (Invocation High)

Defined in Language.JVM.ByteCode

Methods

rnf :: Invocation High -> ()

NFData (Invocation Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: Invocation Low -> ()

type Rep (Invocation High)

Defined in Language.JVM.ByteCode

type Rep (Invocation High) = D1 ('MetaData "Invocation" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) ((C1 ('MetaCons "InvkSpecial" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref AbsVariableMethodId High))) :+: C1 ('MetaCons "InvkVirtual" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref (InRefType MethodId) High)))) :+: (C1 ('MetaCons "InvkStatic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref AbsVariableMethodId High))) :+: (C1 ('MetaCons "InvkInterface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref AbsInterfaceMethodId High))) :+: C1 ('MetaCons "InvkDynamic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DeepRef InvokeDynamic High))))))

type Rep (Invocation Low)

Defined in Language.JVM.ByteCode

type Rep (Invocation Low) = D1 ('MetaData "Invocation" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) ((C1 ('MetaCons "InvkSpecial" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref AbsVariableMethodId Low))) :+: C1 ('MetaCons "InvkVirtual" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref (InRefType MethodId) Low)))) :+: (C1 ('MetaCons "InvkStatic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref AbsVariableMethodId Low))) :+: (C1 ('MetaCons "InvkInterface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref AbsInterfaceMethodId Low))) :+: C1 ('MetaCons "InvkDynamic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DeepRef InvokeDynamic Low))))))

type ShortRelativeRef i = Choice Int16 ByteCodeIndex i

A short relative bytecode ref is defined in correspondence with the

type LongRelativeRef i = Choice Int32 ByteCodeIndex i

A Long relative reference. The only reason this exist because the signed nature of int, looses a bit.

data NewArrayType

Constructors

NewArrayType Word8 JType

Instances

Eq NewArrayType

Defined in Language.JVM.ByteCode

Methods

(==) :: NewArrayType -> NewArrayType -> Bool

(/=) :: NewArrayType -> NewArrayType -> Bool

Ord NewArrayType

Defined in Language.JVM.ByteCode

Methods

compare :: NewArrayType -> NewArrayType -> Ordering

(<) :: NewArrayType -> NewArrayType -> Bool

(<=) :: NewArrayType -> NewArrayType -> Bool

(>) :: NewArrayType -> NewArrayType -> Bool

(>=) :: NewArrayType -> NewArrayType -> Bool

max :: NewArrayType -> NewArrayType -> NewArrayType

min :: NewArrayType -> NewArrayType -> NewArrayType

Show NewArrayType

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> NewArrayType -> ShowS

show :: NewArrayType -> String

showList :: [NewArrayType] -> ShowS

Generic NewArrayType

Defined in Language.JVM.ByteCode

Associated Types

type Rep NewArrayType :: Type -> Type

Methods

from :: NewArrayType -> Rep NewArrayType x

to :: Rep NewArrayType x -> NewArrayType

NFData NewArrayType

Defined in Language.JVM.ByteCode

Methods

rnf :: NewArrayType -> ()

type Rep NewArrayType

Defined in Language.JVM.ByteCode

type Rep NewArrayType = D1 ('MetaData "NewArrayType" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "NewArrayType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 JType)))

newArrayTypeType :: NewArrayType -> JRefType

data LowNewArrayType

Constructors

ArrayBaseType JBaseType

ArrayReference (Ref JRefType Low) Word8

Instances

Eq LowNewArrayType

Defined in Language.JVM.ByteCode

Methods

(==) :: LowNewArrayType -> LowNewArrayType -> Bool

(/=) :: LowNewArrayType -> LowNewArrayType -> Bool

Ord LowNewArrayType

Defined in Language.JVM.ByteCode

Methods

compare :: LowNewArrayType -> LowNewArrayType -> Ordering

(<) :: LowNewArrayType -> LowNewArrayType -> Bool

(<=) :: LowNewArrayType -> LowNewArrayType -> Bool

(>) :: LowNewArrayType -> LowNewArrayType -> Bool

(>=) :: LowNewArrayType -> LowNewArrayType -> Bool

max :: LowNewArrayType -> LowNewArrayType -> LowNewArrayType

min :: LowNewArrayType -> LowNewArrayType -> LowNewArrayType

Show LowNewArrayType

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> LowNewArrayType -> ShowS

show :: LowNewArrayType -> String

showList :: [LowNewArrayType] -> ShowS

Generic LowNewArrayType

Defined in Language.JVM.ByteCode

Associated Types

type Rep LowNewArrayType :: Type -> Type

Methods

from :: LowNewArrayType -> Rep LowNewArrayType x

to :: Rep LowNewArrayType x -> LowNewArrayType

NFData LowNewArrayType

Defined in Language.JVM.ByteCode

Methods

rnf :: LowNewArrayType -> ()

type Rep LowNewArrayType

Defined in Language.JVM.ByteCode

type Rep LowNewArrayType = D1 ('MetaData "LowNewArrayType" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "ArrayBaseType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 JBaseType)) :+: C1 ('MetaCons "ArrayReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Ref JRefType Low)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8)))

Operations

data BinOpr

Constructors

Add

Sub

Mul

Div

Rem

Instances

Eq BinOpr

Defined in Language.JVM.ByteCode

Methods

(==) :: BinOpr -> BinOpr -> Bool

(/=) :: BinOpr -> BinOpr -> Bool

Ord BinOpr

Defined in Language.JVM.ByteCode

Methods

compare :: BinOpr -> BinOpr -> Ordering

(<) :: BinOpr -> BinOpr -> Bool

(<=) :: BinOpr -> BinOpr -> Bool

(>) :: BinOpr -> BinOpr -> Bool

(>=) :: BinOpr -> BinOpr -> Bool

max :: BinOpr -> BinOpr -> BinOpr

min :: BinOpr -> BinOpr -> BinOpr

Show BinOpr

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> BinOpr -> ShowS

show :: BinOpr -> String

showList :: [BinOpr] -> ShowS

Generic BinOpr

Defined in Language.JVM.ByteCode

Associated Types

type Rep BinOpr :: Type -> Type

Methods

from :: BinOpr -> Rep BinOpr x

to :: Rep BinOpr x -> BinOpr

NFData BinOpr

Defined in Language.JVM.ByteCode

Methods

rnf :: BinOpr -> ()

type Rep BinOpr

Defined in Language.JVM.ByteCode

type Rep BinOpr = D1 ('MetaData "BinOpr" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) ((C1 ('MetaCons "Add" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sub" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Mul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Div" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rem" 'PrefixI 'False) (U1 :: Type -> Type))))

data BitOpr

Constructors

ShL

ShR

UShR

And

Or

XOr

Instances

Eq BitOpr

Defined in Language.JVM.ByteCode

Methods

(==) :: BitOpr -> BitOpr -> Bool

(/=) :: BitOpr -> BitOpr -> Bool

Ord BitOpr

Defined in Language.JVM.ByteCode

Methods

compare :: BitOpr -> BitOpr -> Ordering

(<) :: BitOpr -> BitOpr -> Bool

(<=) :: BitOpr -> BitOpr -> Bool

(>) :: BitOpr -> BitOpr -> Bool

(>=) :: BitOpr -> BitOpr -> Bool

max :: BitOpr -> BitOpr -> BitOpr

min :: BitOpr -> BitOpr -> BitOpr

Show BitOpr

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> BitOpr -> ShowS

show :: BitOpr -> String

showList :: [BitOpr] -> ShowS

Generic BitOpr

Defined in Language.JVM.ByteCode

Associated Types

type Rep BitOpr :: Type -> Type

Methods

from :: BitOpr -> Rep BitOpr x

to :: Rep BitOpr x -> BitOpr

NFData BitOpr

Defined in Language.JVM.ByteCode

Methods

rnf :: BitOpr -> ()

type Rep BitOpr

Defined in Language.JVM.ByteCode

type Rep BitOpr = D1 ('MetaData "BitOpr" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) ((C1 ('MetaCons "ShL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ShR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UShR" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "And" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Or" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XOr" 'PrefixI 'False) (U1 :: Type -> Type))))

data CmpOpr

Constructors

CEq

CNe

CLt

CGe

CGt

CLe

Instances

Eq CmpOpr

Defined in Language.JVM.ByteCode

Methods

(==) :: CmpOpr -> CmpOpr -> Bool

(/=) :: CmpOpr -> CmpOpr -> Bool

Ord CmpOpr

Defined in Language.JVM.ByteCode

Methods

compare :: CmpOpr -> CmpOpr -> Ordering

(<) :: CmpOpr -> CmpOpr -> Bool

(<=) :: CmpOpr -> CmpOpr -> Bool

(>) :: CmpOpr -> CmpOpr -> Bool

(>=) :: CmpOpr -> CmpOpr -> Bool

max :: CmpOpr -> CmpOpr -> CmpOpr

min :: CmpOpr -> CmpOpr -> CmpOpr

Show CmpOpr

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> CmpOpr -> ShowS

show :: CmpOpr -> String

showList :: [CmpOpr] -> ShowS

Generic CmpOpr

Defined in Language.JVM.ByteCode

Associated Types

type Rep CmpOpr :: Type -> Type

Methods

from :: CmpOpr -> Rep CmpOpr x

to :: Rep CmpOpr x -> CmpOpr

NFData CmpOpr

Defined in Language.JVM.ByteCode

Methods

rnf :: CmpOpr -> ()

type Rep CmpOpr

Defined in Language.JVM.ByteCode

type Rep CmpOpr = D1 ('MetaData "CmpOpr" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) ((C1 ('MetaCons "CEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CNe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CLt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CGe" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CGt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CLe" 'PrefixI 'False) (U1 :: Type -> Type))))

data CastOpr

Constructors

CastDown SmallArithmeticType

Cast from Int to a smaller type

CastTo ArithmeticType ArithmeticType

Cast from any to any arithmetic type. Cannot be the same type.

Instances

Eq CastOpr

Defined in Language.JVM.ByteCode

Methods

(==) :: CastOpr -> CastOpr -> Bool

(/=) :: CastOpr -> CastOpr -> Bool

Ord CastOpr

Defined in Language.JVM.ByteCode

Methods

compare :: CastOpr -> CastOpr -> Ordering

(<) :: CastOpr -> CastOpr -> Bool

(<=) :: CastOpr -> CastOpr -> Bool

(>) :: CastOpr -> CastOpr -> Bool

(>=) :: CastOpr -> CastOpr -> Bool

max :: CastOpr -> CastOpr -> CastOpr

min :: CastOpr -> CastOpr -> CastOpr

Show CastOpr

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> CastOpr -> ShowS

show :: CastOpr -> String

showList :: [CastOpr] -> ShowS

Generic CastOpr

Defined in Language.JVM.ByteCode

Associated Types

type Rep CastOpr :: Type -> Type

Methods

from :: CastOpr -> Rep CastOpr x

to :: Rep CastOpr x -> CastOpr

NFData CastOpr

Defined in Language.JVM.ByteCode

Methods

rnf :: CastOpr -> ()

type Rep CastOpr

Defined in Language.JVM.ByteCode

type Rep CastOpr = D1 ('MetaData "CastOpr" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "CastDown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SmallArithmeticType)) :+: C1 ('MetaCons "CastTo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ArithmeticType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ArithmeticType)))

Type sets

data ArithmeticType

Constructors

MInt

MLong

MFloat

MDouble

Instances

Bounded ArithmeticType

Defined in Language.JVM.ByteCode

Methods

minBound :: ArithmeticType

maxBound :: ArithmeticType

Enum ArithmeticType

Defined in Language.JVM.ByteCode

Methods

succ :: ArithmeticType -> ArithmeticType

pred :: ArithmeticType -> ArithmeticType

toEnum :: Int -> ArithmeticType

fromEnum :: ArithmeticType -> Int

enumFrom :: ArithmeticType -> [ArithmeticType]

enumFromThen :: ArithmeticType -> ArithmeticType -> [ArithmeticType]

enumFromTo :: ArithmeticType -> ArithmeticType -> [ArithmeticType]

enumFromThenTo :: ArithmeticType -> ArithmeticType -> ArithmeticType -> [ArithmeticType]

Eq ArithmeticType

Defined in Language.JVM.ByteCode

Methods

(==) :: ArithmeticType -> ArithmeticType -> Bool

(/=) :: ArithmeticType -> ArithmeticType -> Bool

Ord ArithmeticType

Defined in Language.JVM.ByteCode

Methods

compare :: ArithmeticType -> ArithmeticType -> Ordering

(<) :: ArithmeticType -> ArithmeticType -> Bool

(<=) :: ArithmeticType -> ArithmeticType -> Bool

(>) :: ArithmeticType -> ArithmeticType -> Bool

(>=) :: ArithmeticType -> ArithmeticType -> Bool

max :: ArithmeticType -> ArithmeticType -> ArithmeticType

min :: ArithmeticType -> ArithmeticType -> ArithmeticType

Show ArithmeticType

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ArithmeticType -> ShowS

show :: ArithmeticType -> String

showList :: [ArithmeticType] -> ShowS

Generic ArithmeticType

Defined in Language.JVM.ByteCode

Associated Types

type Rep ArithmeticType :: Type -> Type

Methods

from :: ArithmeticType -> Rep ArithmeticType x

to :: Rep ArithmeticType x -> ArithmeticType

NFData ArithmeticType

Defined in Language.JVM.ByteCode

Methods

rnf :: ArithmeticType -> ()

type Rep ArithmeticType

Defined in Language.JVM.ByteCode

type Rep ArithmeticType = D1 ('MetaData "ArithmeticType" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) ((C1 ('MetaCons "MInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MLong" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MFloat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MDouble" 'PrefixI 'False) (U1 :: Type -> Type)))

data SmallArithmeticType

Constructors

MByte

MChar

MShort

Instances

Bounded SmallArithmeticType

Defined in Language.JVM.ByteCode

Methods

minBound :: SmallArithmeticType

maxBound :: SmallArithmeticType

Enum SmallArithmeticType

Defined in Language.JVM.ByteCode

Methods

succ :: SmallArithmeticType -> SmallArithmeticType

pred :: SmallArithmeticType -> SmallArithmeticType

toEnum :: Int -> SmallArithmeticType

fromEnum :: SmallArithmeticType -> Int

enumFrom :: SmallArithmeticType -> [SmallArithmeticType]

enumFromThen :: SmallArithmeticType -> SmallArithmeticType -> [SmallArithmeticType]

enumFromTo :: SmallArithmeticType -> SmallArithmeticType -> [SmallArithmeticType]

enumFromThenTo :: SmallArithmeticType -> SmallArithmeticType -> SmallArithmeticType -> [SmallArithmeticType]

Eq SmallArithmeticType

Defined in Language.JVM.ByteCode

Methods

(==) :: SmallArithmeticType -> SmallArithmeticType -> Bool

(/=) :: SmallArithmeticType -> SmallArithmeticType -> Bool

Ord SmallArithmeticType

Defined in Language.JVM.ByteCode

Methods

compare :: SmallArithmeticType -> SmallArithmeticType -> Ordering

(<) :: SmallArithmeticType -> SmallArithmeticType -> Bool

(<=) :: SmallArithmeticType -> SmallArithmeticType -> Bool

(>) :: SmallArithmeticType -> SmallArithmeticType -> Bool

(>=) :: SmallArithmeticType -> SmallArithmeticType -> Bool

max :: SmallArithmeticType -> SmallArithmeticType -> SmallArithmeticType

min :: SmallArithmeticType -> SmallArithmeticType -> SmallArithmeticType

Show SmallArithmeticType

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> SmallArithmeticType -> ShowS

show :: SmallArithmeticType -> String

showList :: [SmallArithmeticType] -> ShowS

Generic SmallArithmeticType

Defined in Language.JVM.ByteCode

Associated Types

type Rep SmallArithmeticType :: Type -> Type

Methods

from :: SmallArithmeticType -> Rep SmallArithmeticType x

to :: Rep SmallArithmeticType x -> SmallArithmeticType

NFData SmallArithmeticType

Defined in Language.JVM.ByteCode

Methods

rnf :: SmallArithmeticType -> ()

type Rep SmallArithmeticType

Defined in Language.JVM.ByteCode

type Rep SmallArithmeticType = D1 ('MetaData "SmallArithmeticType" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "MByte" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MChar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MShort" 'PrefixI 'False) (U1 :: Type -> Type)))

data LocalType

Constructors

LInt

LLong

LFloat

LDouble

LRef

Instances

Bounded LocalType

Defined in Language.JVM.ByteCode

Methods

minBound :: LocalType

maxBound :: LocalType

Enum LocalType

Defined in Language.JVM.ByteCode

Methods

succ :: LocalType -> LocalType

pred :: LocalType -> LocalType

toEnum :: Int -> LocalType

fromEnum :: LocalType -> Int

enumFrom :: LocalType -> [LocalType]

enumFromThen :: LocalType -> LocalType -> [LocalType]

enumFromTo :: LocalType -> LocalType -> [LocalType]

enumFromThenTo :: LocalType -> LocalType -> LocalType -> [LocalType]

Eq LocalType

Defined in Language.JVM.ByteCode

Methods

(==) :: LocalType -> LocalType -> Bool

(/=) :: LocalType -> LocalType -> Bool

Ord LocalType

Defined in Language.JVM.ByteCode

Methods

compare :: LocalType -> LocalType -> Ordering

(<) :: LocalType -> LocalType -> Bool

(<=) :: LocalType -> LocalType -> Bool

(>) :: LocalType -> LocalType -> Bool

(>=) :: LocalType -> LocalType -> Bool

max :: LocalType -> LocalType -> LocalType

min :: LocalType -> LocalType -> LocalType

Show LocalType

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> LocalType -> ShowS

show :: LocalType -> String

showList :: [LocalType] -> ShowS

Generic LocalType

Defined in Language.JVM.ByteCode

Associated Types

type Rep LocalType :: Type -> Type

Methods

from :: LocalType -> Rep LocalType x

to :: Rep LocalType x -> LocalType

NFData LocalType

Defined in Language.JVM.ByteCode

Methods

rnf :: LocalType -> ()

type Rep LocalType

Defined in Language.JVM.ByteCode

type Rep LocalType = D1 ('MetaData "LocalType" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) ((C1 ('MetaCons "LInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LLong" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LFloat" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LDouble" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LRef" 'PrefixI 'False) (U1 :: Type -> Type))))

data ArrayType

Constructors

AByte

AChar

AShort

AInt

ALong

AFloat

ADouble

ARef

Instances

Eq ArrayType

Defined in Language.JVM.ByteCode

Methods

(==) :: ArrayType -> ArrayType -> Bool

(/=) :: ArrayType -> ArrayType -> Bool

Ord ArrayType

Defined in Language.JVM.ByteCode

Methods

compare :: ArrayType -> ArrayType -> Ordering

(<) :: ArrayType -> ArrayType -> Bool

(<=) :: ArrayType -> ArrayType -> Bool

(>) :: ArrayType -> ArrayType -> Bool

(>=) :: ArrayType -> ArrayType -> Bool

max :: ArrayType -> ArrayType -> ArrayType

min :: ArrayType -> ArrayType -> ArrayType

Show ArrayType

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ArrayType -> ShowS

show :: ArrayType -> String

showList :: [ArrayType] -> ShowS

Generic ArrayType

Defined in Language.JVM.ByteCode

Associated Types

type Rep ArrayType :: Type -> Type

Methods

from :: ArrayType -> Rep ArrayType x

to :: Rep ArrayType x -> ArrayType

NFData ArrayType

Defined in Language.JVM.ByteCode

Methods

rnf :: ArrayType -> ()

type Rep ArrayType

Defined in Language.JVM.ByteCode

type Rep ArrayType = D1 ('MetaData "ArrayType" "Language.JVM.ByteCode" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (((C1 ('MetaCons "AByte" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AChar" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AShort" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AInt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ALong" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AFloat" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ADouble" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ARef" 'PrefixI 'False) (U1 :: Type -> Type))))

Renames

type WordSize = OneOrTwo

type ByteOffset = Int64

An offset, counted in bytes.

type LocalAddress = Word16

type IncrementAmount = Int16