Language.JVM.ByteCode

Documentation

newtype ByteCode i

ByteCode is a newtype wrapper around a list of ByteCode instructions. if the ByteCode is in the Low stage then the byte code instructions are annotated with the byte code offsets.

Constructors

ByteCode

Fields

• unByteCode :: Choice (Word32, Vector (ByteCodeInst Low)) (Vector (ByteCodeOpr High)) i

Instances

Eq (ByteCode High)

Methods

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

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

Eq (ByteCode Low)

Methods

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

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

Ord (ByteCode Low)

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)

Methods

showsPrec :: Int -> ByteCode High -> ShowS

show :: ByteCode High -> String

showList :: [ByteCode High] -> ShowS

Show (ByteCode Low)

Methods

showsPrec :: Int -> ByteCode Low -> ShowS

show :: ByteCode Low -> String

showList :: [ByteCode Low] -> ShowS

Generic (ByteCode High)

Associated Types

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

Methods

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

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

Generic (ByteCode Low)

Associated Types

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

Methods

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

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

Binary (ByteCode Low)

Methods

put :: ByteCode Low -> Put

get :: Get (ByteCode Low)

putList :: [ByteCode Low] -> Put

NFData (ByteCode High)

Methods

rnf :: ByteCode High -> ()

NFData (ByteCode Low)

Methods

rnf :: ByteCode Low -> ()

type Rep (ByteCode High)

type Rep (ByteCode High) = D1 * (MetaData "ByteCode" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "ByteCode" PrefixI True) (S1 * (MetaSel (Just Symbol "unByteCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Choice (Word32, Vector (ByteCodeInst Low)) (Vector (ByteCodeOpr High)) High))))

type Rep (ByteCode Low)

type Rep (ByteCode Low) = D1 * (MetaData "ByteCode" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "ByteCode" PrefixI True) (S1 * (MetaSel (Just Symbol "unByteCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Choice (Word32, Vector (ByteCodeInst Low)) (Vector (ByteCodeOpr High)) Low))))

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

Minimal complete definition

evolveBC, devolveBC

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

Methods

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

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

ByteCodeStaged 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

Methods

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

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

ByteCodeStaged ExceptionTable

Methods

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

devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> ExceptionTable High -> m (ExceptionTable 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

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)

Methods

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

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

Eq (ByteCodeInst Low)

Methods

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

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

Ord (ByteCodeInst Low)

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)

Methods

showsPrec :: Int -> ByteCodeInst High -> ShowS

show :: ByteCodeInst High -> String

showList :: [ByteCodeInst High] -> ShowS

Show (ByteCodeInst Low)

Methods

showsPrec :: Int -> ByteCodeInst Low -> ShowS

show :: ByteCodeInst Low -> String

showList :: [ByteCodeInst Low] -> ShowS

Generic (ByteCodeInst High)

Associated Types

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

Methods

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

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

Generic (ByteCodeInst Low)

Associated Types

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

Methods

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

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

Binary (ByteCodeInst Low)

Methods

put :: ByteCodeInst Low -> Put

get :: Get (ByteCodeInst Low)

putList :: [ByteCodeInst Low] -> Put

NFData (ByteCodeInst High)

Methods

rnf :: ByteCodeInst High -> ()

NFData (ByteCodeInst Low)

Methods

rnf :: ByteCodeInst Low -> ()

type Rep (ByteCodeInst High)

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

type Rep (ByteCodeInst Low)

type Rep (ByteCodeInst Low) = D1 * (MetaData "ByteCodeInst" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ByteCodeInst" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "offset") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * ByteCodeOffset)) (S1 * (MetaSel (Just Symbol "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

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 Int32 (SwitchTable r)

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

LookupSwitch Int32 (Vector (Int32, Int32))

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

Get FieldAccess (DeepRef (InClass FieldId) r)

Put FieldAccess (DeepRef (InClass FieldId) r)

Invoke (Invocation r)

New (Ref ClassName r)

NewArray (ExactArrayType r)

ArrayLength

Throw

CheckCast (Ref ClassName r)

InstanceOf (Ref ClassName r)

Monitor Bool

True => Enter, False => Exit

MultiNewArray (Ref ClassName r) Word8

Create a new multi array of 2 dimensions ^ This might point to an array type.

Return (Maybe LocalType)

Nop

Pop WordSize

Dup WordSize

DupX1 WordSize

DupX2 WordSize

Swap

Instances

Eq (ByteCodeOpr High)

Methods

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

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

Eq (ByteCodeOpr Low)

Methods

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

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

Ord (ByteCodeOpr Low)

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)

Methods

showsPrec :: Int -> ByteCodeOpr High -> ShowS

show :: ByteCodeOpr High -> String

showList :: [ByteCodeOpr High] -> ShowS

Show (ByteCodeOpr Low)

Methods

showsPrec :: Int -> ByteCodeOpr Low -> ShowS

show :: ByteCodeOpr Low -> String

showList :: [ByteCodeOpr Low] -> ShowS

Generic (ByteCodeOpr High)

Associated Types

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

Methods

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

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

Generic (ByteCodeOpr Low)

Associated Types

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

Methods

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

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

Binary (ByteCodeOpr Low)

Methods

put :: ByteCodeOpr Low -> Put

get :: Get (ByteCodeOpr Low)

putList :: [ByteCodeOpr Low] -> Put

NFData (ByteCodeOpr High)

Methods

rnf :: ByteCodeOpr High -> ()

NFData (ByteCodeOpr Low)

Methods

rnf :: ByteCodeOpr Low -> ()

type Rep (ByteCodeOpr High)

type Rep (ByteCodeOpr High)

type Rep (ByteCodeOpr Low)

type Rep (ByteCodeOpr Low)

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

Methods

stage :: LabelM m => (forall (s' :: * -> *). 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)

Methods

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

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

Eq (CConstant Low)

Methods

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

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

Ord (CConstant Low)

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)

Methods

showsPrec :: Int -> CConstant High -> ShowS

show :: CConstant High -> String

showList :: [CConstant High] -> ShowS

Show (CConstant Low)

Methods

showsPrec :: Int -> CConstant Low -> ShowS

show :: CConstant Low -> String

showList :: [CConstant Low] -> ShowS

Generic (CConstant High)

Associated Types

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

Methods

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

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

Generic (CConstant Low)

Associated Types

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

Methods

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

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

NFData (CConstant High)

Methods

rnf :: CConstant High -> ()

NFData (CConstant Low)

Methods

rnf :: CConstant Low -> ()

type Rep (CConstant High)

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

type Rep (CConstant Low)

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

data OneOrTwo

Constructors

One

Two

Instances

Bounded OneOrTwo

Methods

minBound :: OneOrTwo

maxBound :: OneOrTwo

Enum OneOrTwo

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

Methods

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

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

Ord OneOrTwo

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

Methods

showsPrec :: Int -> OneOrTwo -> ShowS

show :: OneOrTwo -> String

showList :: [OneOrTwo] -> ShowS

Generic OneOrTwo

Associated Types

type Rep OneOrTwo :: * -> *

Methods

from :: OneOrTwo -> Rep OneOrTwo x

to :: Rep OneOrTwo x -> OneOrTwo

NFData OneOrTwo

Methods

rnf :: OneOrTwo -> ()

type Rep OneOrTwo

type Rep OneOrTwo = D1 * (MetaData "OneOrTwo" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * (C1 * (MetaCons "One" PrefixI False) (U1 *)) (C1 * (MetaCons "Two" PrefixI False) (U1 *)))

data SwitchTable r

Constructors

SwitchTable

Fields

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

Instances

Eq (SwitchTable High)

Methods

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

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

Eq (SwitchTable Low)

Methods

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

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

Ord (SwitchTable Low)

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)

Methods

showsPrec :: Int -> SwitchTable High -> ShowS

show :: SwitchTable High -> String

showList :: [SwitchTable High] -> ShowS

Show (SwitchTable Low)

Methods

showsPrec :: Int -> SwitchTable Low -> ShowS

show :: SwitchTable Low -> String

showList :: [SwitchTable Low] -> ShowS

Generic (SwitchTable High)

Associated Types

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

Methods

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

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

Generic (SwitchTable Low)

Associated Types

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

Methods

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

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

NFData (SwitchTable High)

Methods

rnf :: SwitchTable High -> ()

NFData (SwitchTable Low)

Methods

rnf :: SwitchTable Low -> ()

type Rep (SwitchTable High)

type Rep (SwitchTable High)

type Rep (SwitchTable Low)

type Rep (SwitchTable Low)

switchHigh :: SwitchTable Low -> Int32

data FieldAccess

Constructors

FldStatic

FldField

Instances

Eq FieldAccess

Methods

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

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

Ord FieldAccess

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

Methods

showsPrec :: Int -> FieldAccess -> ShowS

show :: FieldAccess -> String

showList :: [FieldAccess] -> ShowS

Generic FieldAccess

Associated Types

type Rep FieldAccess :: * -> *

Methods

from :: FieldAccess -> Rep FieldAccess x

to :: Rep FieldAccess x -> FieldAccess

NFData FieldAccess

Methods

rnf :: FieldAccess -> ()

type Rep FieldAccess

type Rep FieldAccess = D1 * (MetaData "FieldAccess" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * (C1 * (MetaCons "FldStatic" PrefixI False) (U1 *)) (C1 * (MetaCons "FldField" PrefixI False) (U1 *)))

data Invocation r

Constructors

InvkSpecial (DeepRef AbsVariableMethodId r)

Variable since 52.0

InvkVirtual (DeepRef AbsMethodId r)

InvkStatic (DeepRef AbsVariableMethodId r)

Variable since 52.0

InvkInterface Word8 (DeepRef AbsInterfaceMethodId r)

Should be a positive number

InvkDynamic (DeepRef InvokeDynamic r)

Instances

Staged Invocation

Methods

stage :: LabelM m => (forall (s' :: * -> *). 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)

Methods

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

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

Eq (Invocation Low)

Methods

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

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

Ord (Invocation Low)

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)

Methods

showsPrec :: Int -> Invocation High -> ShowS

show :: Invocation High -> String

showList :: [Invocation High] -> ShowS

Show (Invocation Low)

Methods

showsPrec :: Int -> Invocation Low -> ShowS

show :: Invocation Low -> String

showList :: [Invocation Low] -> ShowS

Generic (Invocation High)

Associated Types

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

Methods

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

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

Generic (Invocation Low)

Associated Types

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

Methods

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

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

NFData (Invocation High)

Methods

rnf :: Invocation High -> ()

NFData (Invocation Low)

Methods

rnf :: Invocation Low -> ()

type Rep (Invocation High)

type Rep (Invocation High) = D1 * (MetaData "Invocation" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "InvkSpecial" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsVariableMethodId High)))) (C1 * (MetaCons "InvkVirtual" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsMethodId High))))) ((:+:) * (C1 * (MetaCons "InvkStatic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsVariableMethodId High)))) ((:+:) * (C1 * (MetaCons "InvkInterface" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word8)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsInterfaceMethodId High))))) (C1 * (MetaCons "InvkDynamic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef InvokeDynamic High)))))))

type Rep (Invocation Low)

type Rep (Invocation Low) = D1 * (MetaData "Invocation" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "InvkSpecial" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsVariableMethodId Low)))) (C1 * (MetaCons "InvkVirtual" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsMethodId Low))))) ((:+:) * (C1 * (MetaCons "InvkStatic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsVariableMethodId Low)))) ((:+:) * (C1 * (MetaCons "InvkInterface" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word8)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsInterfaceMethodId Low))))) (C1 * (MetaCons "InvkDynamic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef InvokeDynamic Low)))))))

Operations

data BinOpr

Constructors

Add

Sub

Mul

Div

Rem

Instances

Eq BinOpr

Methods

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

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

Ord BinOpr

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

Methods

showsPrec :: Int -> BinOpr -> ShowS

show :: BinOpr -> String

showList :: [BinOpr] -> ShowS

Generic BinOpr

Associated Types

type Rep BinOpr :: * -> *

Methods

from :: BinOpr -> Rep BinOpr x

to :: Rep BinOpr x -> BinOpr

NFData BinOpr

Methods

rnf :: BinOpr -> ()

type Rep BinOpr

type Rep BinOpr = D1 * (MetaData "BinOpr" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "Add" PrefixI False) (U1 *)) (C1 * (MetaCons "Sub" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Mul" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Div" PrefixI False) (U1 *)) (C1 * (MetaCons "Rem" PrefixI False) (U1 *)))))

data BitOpr

Constructors

ShL

ShR

UShR

And

Or

XOr

Instances

Eq BitOpr

Methods

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

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

Ord BitOpr

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

Methods

showsPrec :: Int -> BitOpr -> ShowS

show :: BitOpr -> String

showList :: [BitOpr] -> ShowS

Generic BitOpr

Associated Types

type Rep BitOpr :: * -> *

Methods

from :: BitOpr -> Rep BitOpr x

to :: Rep BitOpr x -> BitOpr

NFData BitOpr

Methods

rnf :: BitOpr -> ()

type Rep BitOpr

type Rep BitOpr = D1 * (MetaData "BitOpr" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "ShL" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "ShR" PrefixI False) (U1 *)) (C1 * (MetaCons "UShR" PrefixI False) (U1 *)))) ((:+:) * (C1 * (MetaCons "And" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Or" PrefixI False) (U1 *)) (C1 * (MetaCons "XOr" PrefixI False) (U1 *)))))

data CmpOpr

Constructors

CEq

CNe

CLt

CGe

CGt

CLe

Instances

Eq CmpOpr

Methods

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

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

Ord CmpOpr

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

Methods

showsPrec :: Int -> CmpOpr -> ShowS

show :: CmpOpr -> String

showList :: [CmpOpr] -> ShowS

Generic CmpOpr

Associated Types

type Rep CmpOpr :: * -> *

Methods

from :: CmpOpr -> Rep CmpOpr x

to :: Rep CmpOpr x -> CmpOpr

NFData CmpOpr

Methods

rnf :: CmpOpr -> ()

type Rep CmpOpr

type Rep CmpOpr = D1 * (MetaData "CmpOpr" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "CEq" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "CNe" PrefixI False) (U1 *)) (C1 * (MetaCons "CLt" PrefixI False) (U1 *)))) ((:+:) * (C1 * (MetaCons "CGe" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "CGt" PrefixI False) (U1 *)) (C1 * (MetaCons "CLe" PrefixI False) (U1 *)))))

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

Methods

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

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

Ord CastOpr

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

Methods

showsPrec :: Int -> CastOpr -> ShowS

show :: CastOpr -> String

showList :: [CastOpr] -> ShowS

Generic CastOpr

Associated Types

type Rep CastOpr :: * -> *

Methods

from :: CastOpr -> Rep CastOpr x

to :: Rep CastOpr x -> CastOpr

NFData CastOpr

Methods

rnf :: CastOpr -> ()

type Rep CastOpr

type Rep CastOpr = D1 * (MetaData "CastOpr" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * (C1 * (MetaCons "CastDown" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SmallArithmeticType))) (C1 * (MetaCons "CastTo" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ArithmeticType)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ArithmeticType)))))

Type sets

data ArithmeticType

Constructors

MInt

MLong

MFloat

MDouble

Instances

Bounded ArithmeticType

Methods

minBound :: ArithmeticType

maxBound :: ArithmeticType

Enum ArithmeticType

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

Methods

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

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

Ord ArithmeticType

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

Methods

showsPrec :: Int -> ArithmeticType -> ShowS

show :: ArithmeticType -> String

showList :: [ArithmeticType] -> ShowS

Generic ArithmeticType

Associated Types

type Rep ArithmeticType :: * -> *

Methods

from :: ArithmeticType -> Rep ArithmeticType x

to :: Rep ArithmeticType x -> ArithmeticType

NFData ArithmeticType

Methods

rnf :: ArithmeticType -> ()

type Rep ArithmeticType

type Rep ArithmeticType = D1 * (MetaData "ArithmeticType" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "MInt" PrefixI False) (U1 *)) (C1 * (MetaCons "MLong" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "MFloat" PrefixI False) (U1 *)) (C1 * (MetaCons "MDouble" PrefixI False) (U1 *))))

data SmallArithmeticType

Constructors

MByte

MChar

MShort

Instances

Bounded SmallArithmeticType

Methods

minBound :: SmallArithmeticType

maxBound :: SmallArithmeticType

Enum SmallArithmeticType

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

Methods

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

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

Ord SmallArithmeticType

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

Methods

showsPrec :: Int -> SmallArithmeticType -> ShowS

show :: SmallArithmeticType -> String

showList :: [SmallArithmeticType] -> ShowS

Generic SmallArithmeticType

Associated Types

type Rep SmallArithmeticType :: * -> *

Methods

from :: SmallArithmeticType -> Rep SmallArithmeticType x

to :: Rep SmallArithmeticType x -> SmallArithmeticType

NFData SmallArithmeticType

Methods

rnf :: SmallArithmeticType -> ()

type Rep SmallArithmeticType

type Rep SmallArithmeticType = D1 * (MetaData "SmallArithmeticType" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * (C1 * (MetaCons "MByte" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "MChar" PrefixI False) (U1 *)) (C1 * (MetaCons "MShort" PrefixI False) (U1 *))))

data LocalType

Constructors

LInt

LLong

LFloat

LDouble

LRef

Instances

Bounded LocalType

Methods

minBound :: LocalType

maxBound :: LocalType

Enum LocalType

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

Methods

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

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

Ord LocalType

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

Methods

showsPrec :: Int -> LocalType -> ShowS

show :: LocalType -> String

showList :: [LocalType] -> ShowS

Generic LocalType

Associated Types

type Rep LocalType :: * -> *

Methods

from :: LocalType -> Rep LocalType x

to :: Rep LocalType x -> LocalType

NFData LocalType

Methods

rnf :: LocalType -> ()

type Rep LocalType

type Rep LocalType = D1 * (MetaData "LocalType" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "LInt" PrefixI False) (U1 *)) (C1 * (MetaCons "LLong" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "LFloat" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "LDouble" PrefixI False) (U1 *)) (C1 * (MetaCons "LRef" PrefixI False) (U1 *)))))

data ArrayType

Constructors

AByte

AChar

AShort

AInt

ALong

AFloat

ADouble

ARef

Instances

Eq ArrayType

Methods

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

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

Ord ArrayType

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

Methods

showsPrec :: Int -> ArrayType -> ShowS

show :: ArrayType -> String

showList :: [ArrayType] -> ShowS

Generic ArrayType

Associated Types

type Rep ArrayType :: * -> *

Methods

from :: ArrayType -> Rep ArrayType x

to :: Rep ArrayType x -> ArrayType

NFData ArrayType

Methods

rnf :: ArrayType -> ()

type Rep ArrayType

type Rep ArrayType = D1 * (MetaData "ArrayType" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "AByte" PrefixI False) (U1 *)) (C1 * (MetaCons "AChar" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "AShort" PrefixI False) (U1 *)) (C1 * (MetaCons "AInt" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "ALong" PrefixI False) (U1 *)) (C1 * (MetaCons "AFloat" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "ADouble" PrefixI False) (U1 *)) (C1 * (MetaCons "ARef" PrefixI False) (U1 *)))))

data ExactArrayType r

Constructors

EABoolean

EAByte

EAChar

EAShort

EAInt

EALong

EAFloat

EADouble

EARef (Ref ClassName r)

Instances

Staged ExactArrayType

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> ExactArrayType r -> m (ExactArrayType r')

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

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

Eq (ExactArrayType High)

Methods

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

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

Eq (ExactArrayType Low)

Methods

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

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

Ord (ExactArrayType Low)

Methods

compare :: ExactArrayType Low -> ExactArrayType Low -> Ordering

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

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

(>) :: ExactArrayType Low -> ExactArrayType Low -> Bool

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

max :: ExactArrayType Low -> ExactArrayType Low -> ExactArrayType Low

min :: ExactArrayType Low -> ExactArrayType Low -> ExactArrayType Low

Show (ExactArrayType High)

Methods

showsPrec :: Int -> ExactArrayType High -> ShowS

show :: ExactArrayType High -> String

showList :: [ExactArrayType High] -> ShowS

Show (ExactArrayType Low)

Methods

showsPrec :: Int -> ExactArrayType Low -> ShowS

show :: ExactArrayType Low -> String

showList :: [ExactArrayType Low] -> ShowS

Generic (ExactArrayType High)

Associated Types

type Rep (ExactArrayType High) :: * -> *

Methods

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

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

Generic (ExactArrayType Low)

Associated Types

type Rep (ExactArrayType Low) :: * -> *

Methods

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

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

NFData (ExactArrayType High)

Methods

rnf :: ExactArrayType High -> ()

NFData (ExactArrayType Low)

Methods

rnf :: ExactArrayType Low -> ()

type Rep (ExactArrayType High)

type Rep (ExactArrayType High) = D1 * (MetaData "ExactArrayType" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "EABoolean" PrefixI False) (U1 *)) (C1 * (MetaCons "EAByte" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "EAChar" PrefixI False) (U1 *)) (C1 * (MetaCons "EAShort" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "EAInt" PrefixI False) (U1 *)) (C1 * (MetaCons "EALong" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "EAFloat" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "EADouble" PrefixI False) (U1 *)) (C1 * (MetaCons "EARef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref ClassName High))))))))

type Rep (ExactArrayType Low)

type Rep (ExactArrayType Low) = D1 * (MetaData "ExactArrayType" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "EABoolean" PrefixI False) (U1 *)) (C1 * (MetaCons "EAByte" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "EAChar" PrefixI False) (U1 *)) (C1 * (MetaCons "EAShort" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "EAInt" PrefixI False) (U1 *)) (C1 * (MetaCons "EALong" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "EAFloat" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "EADouble" PrefixI False) (U1 *)) (C1 * (MetaCons "EARef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref ClassName Low))))))))

Renames

type WordSize = OneOrTwo

type ByteOffset = Int64

An offset, counted in bytes.

type LocalAddress = Word16

type IncrementAmount = Int16