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

Language.JVM.ByteCode

Contents

evolve and devolve
Managing offsets
ByteCode Operations
Operations
Type sets
Renames

Description

Synopsis

Documentation

newtype ByteCode i Source #

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) Source #
Methods (==) :: ByteCode High -> ByteCode High -> Bool # (/=) :: ByteCode High -> ByteCode High -> Bool #
Eq (ByteCode Low) Source #
Methods (==) :: ByteCode Low -> ByteCode Low -> Bool # (/=) :: ByteCode Low -> ByteCode Low -> Bool #
Ord (ByteCode Low) Source #
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) Source #
Methods showsPrec :: Int -> ByteCode High -> ShowS # show :: ByteCode High -> String # showList :: [ByteCode High] -> ShowS #
Show (ByteCode Low) Source #
Methods showsPrec :: Int -> ByteCode Low -> ShowS # show :: ByteCode Low -> String # showList :: [ByteCode Low] -> ShowS #
Generic (ByteCode High) Source #
Associated Types type Rep (ByteCode High) :: * -> * # Methods from :: ByteCode High -> Rep (ByteCode High) x # to :: Rep (ByteCode High) x -> ByteCode High #
Generic (ByteCode Low) Source #
Associated Types type Rep (ByteCode Low) :: * -> * # Methods from :: ByteCode Low -> Rep (ByteCode Low) x # to :: Rep (ByteCode Low) x -> ByteCode Low #
Binary (ByteCode Low) Source #
Methods put :: ByteCode Low -> Put # get :: Get (ByteCode Low) # putList :: [ByteCode Low] -> Put #
NFData (ByteCode High) Source #
Methods rnf :: ByteCode High -> () #
NFData (ByteCode Low) Source #
Methods rnf :: ByteCode Low -> () #
type Rep (ByteCode High) Source #
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) Source #
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) Source #

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

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

Given an OffsetMap turn a offset into a bytecode index

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

Given an OffsetMap turn a offset into a bytecode index

class ByteCodeStaged s where Source #

Minimal complete definition

evolveBC, devolveBC

Methods

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

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

Instances

ByteCodeStaged ByteCodeInst Source #
Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> ByteCodeInst Low -> m (ByteCodeInst High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> ByteCodeInst High -> m (ByteCodeInst Low) Source #
ByteCodeStaged StackMapTable Source #
Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> StackMapTable Low -> m (StackMapTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> StackMapTable High -> m (StackMapTable Low) Source #
ByteCodeStaged LineNumberTable Source #
Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> LineNumberTable Low -> m (LineNumberTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> LineNumberTable High -> m (LineNumberTable Low) Source #
ByteCodeStaged ExceptionTable Source #
Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> ExceptionTable Low -> m (ExceptionTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> ExceptionTable High -> m (ExceptionTable Low) Source #

Managing offsets

data ByteCodeInst r Source #

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 Source #
Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> ByteCodeInst Low -> m (ByteCodeInst High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> ByteCodeInst High -> m (ByteCodeInst Low) Source #
Eq (ByteCodeInst High) Source #
Methods (==) :: ByteCodeInst High -> ByteCodeInst High -> Bool # (/=) :: ByteCodeInst High -> ByteCodeInst High -> Bool #
Eq (ByteCodeInst Low) Source #
Methods (==) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool # (/=) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool #
Ord (ByteCodeInst Low) Source #
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) Source #
Methods showsPrec :: Int -> ByteCodeInst High -> ShowS # show :: ByteCodeInst High -> String # showList :: [ByteCodeInst High] -> ShowS #
Show (ByteCodeInst Low) Source #
Methods showsPrec :: Int -> ByteCodeInst Low -> ShowS # show :: ByteCodeInst Low -> String # showList :: [ByteCodeInst Low] -> ShowS #
Generic (ByteCodeInst High) Source #
Associated Types type Rep (ByteCodeInst High) :: * -> * # Methods from :: ByteCodeInst High -> Rep (ByteCodeInst High) x # to :: Rep (ByteCodeInst High) x -> ByteCodeInst High #
Generic (ByteCodeInst Low) Source #
Associated Types type Rep (ByteCodeInst Low) :: * -> * # Methods from :: ByteCodeInst Low -> Rep (ByteCodeInst Low) x # to :: Rep (ByteCodeInst Low) x -> ByteCodeInst Low #
Binary (ByteCodeInst Low) Source #
Methods put :: ByteCodeInst Low -> Put # get :: Get (ByteCodeInst Low) # putList :: [ByteCodeInst Low] -> Put #
NFData (ByteCodeInst High) Source #
Methods rnf :: ByteCodeInst High -> () #
NFData (ByteCodeInst Low) Source #
Methods rnf :: ByteCodeInst Low -> () #
type Rep (ByteCodeInst High) Source #
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) Source #
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 Source #

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

type ByteCodeOffset = Word16 Source #

The offset in the byte code

type ByteCodeIndex = Int Source #

The index of the byte code.

type OffsetMap = IntMap ByteCodeIndex Source #

The offset map, maps offset to instruction ids.

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

Return the bytecode offset from the bytecode.

offsetIndex :: OffsetMap -> ByteCodeOffset -> Maybe ByteCodeIndex Source #

Given an OffsetMap turn a offset into a bytecode index

offsetMap :: ByteCode Low -> OffsetMap Source #

Given low byte code we can create an OffsetMap

ByteCode Operations

data ByteCodeOpr r Source #

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) Source #
Methods (==) :: ByteCodeOpr High -> ByteCodeOpr High -> Bool # (/=) :: ByteCodeOpr High -> ByteCodeOpr High -> Bool #
Eq (ByteCodeOpr Low) Source #
Methods (==) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool # (/=) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool #
Ord (ByteCodeOpr Low) Source #
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) Source #
Methods showsPrec :: Int -> ByteCodeOpr High -> ShowS # show :: ByteCodeOpr High -> String # showList :: [ByteCodeOpr High] -> ShowS #
Show (ByteCodeOpr Low) Source #
Methods showsPrec :: Int -> ByteCodeOpr Low -> ShowS # show :: ByteCodeOpr Low -> String # showList :: [ByteCodeOpr Low] -> ShowS #
Generic (ByteCodeOpr High) Source #
Associated Types type Rep (ByteCodeOpr High) :: * -> * # Methods from :: ByteCodeOpr High -> Rep (ByteCodeOpr High) x # to :: Rep (ByteCodeOpr High) x -> ByteCodeOpr High #
Generic (ByteCodeOpr Low) Source #
Associated Types type Rep (ByteCodeOpr Low) :: * -> * # Methods from :: ByteCodeOpr Low -> Rep (ByteCodeOpr Low) x # to :: Rep (ByteCodeOpr Low) x -> ByteCodeOpr Low #
Binary (ByteCodeOpr Low) Source #
Methods put :: ByteCodeOpr Low -> Put # get :: Get (ByteCodeOpr Low) # putList :: [ByteCodeOpr Low] -> Put #
NFData (ByteCodeOpr High) Source #
Methods rnf :: ByteCodeOpr High -> () #
NFData (ByteCodeOpr Low) Source #
Methods rnf :: ByteCodeOpr Low -> () #
type Rep (ByteCodeOpr High) Source #
type Rep (ByteCodeOpr High)
type Rep (ByteCodeOpr Low) Source #
type Rep (ByteCodeOpr Low)

data CConstant r Source #

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 Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> CConstant r -> m (CConstant r') Source # evolve :: EvolveM m => CConstant Low -> m (CConstant High) Source # devolve :: DevolveM m => CConstant High -> m (CConstant Low) Source #
Eq (CConstant High) Source #
Methods (==) :: CConstant High -> CConstant High -> Bool # (/=) :: CConstant High -> CConstant High -> Bool #
Eq (CConstant Low) Source #
Methods (==) :: CConstant Low -> CConstant Low -> Bool # (/=) :: CConstant Low -> CConstant Low -> Bool #
Ord (CConstant Low) Source #
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) Source #
Methods showsPrec :: Int -> CConstant High -> ShowS # show :: CConstant High -> String # showList :: [CConstant High] -> ShowS #
Show (CConstant Low) Source #
Methods showsPrec :: Int -> CConstant Low -> ShowS # show :: CConstant Low -> String # showList :: [CConstant Low] -> ShowS #
Generic (CConstant High) Source #
Associated Types type Rep (CConstant High) :: * -> * # Methods from :: CConstant High -> Rep (CConstant High) x # to :: Rep (CConstant High) x -> CConstant High #
Generic (CConstant Low) Source #
Associated Types type Rep (CConstant Low) :: * -> * # Methods from :: CConstant Low -> Rep (CConstant Low) x # to :: Rep (CConstant Low) x -> CConstant Low #
NFData (CConstant High) Source #
Methods rnf :: CConstant High -> () #
NFData (CConstant Low) Source #
Methods rnf :: CConstant Low -> () #
type Rep (CConstant High) Source #
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) Source #
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 Source #

Constructors

One
Two

Instances

Bounded OneOrTwo Source #
Methods minBound :: OneOrTwo # maxBound :: OneOrTwo #
Enum OneOrTwo Source #
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 Source #
Methods (==) :: OneOrTwo -> OneOrTwo -> Bool # (/=) :: OneOrTwo -> OneOrTwo -> Bool #
Ord OneOrTwo Source #
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 Source #
Methods showsPrec :: Int -> OneOrTwo -> ShowS # show :: OneOrTwo -> String # showList :: [OneOrTwo] -> ShowS #
Generic OneOrTwo Source #
Associated Types type Rep OneOrTwo :: * -> * # Methods from :: OneOrTwo -> Rep OneOrTwo x # to :: Rep OneOrTwo x -> OneOrTwo #
NFData OneOrTwo Source #
Methods rnf :: OneOrTwo -> () #
type Rep OneOrTwo Source #
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 Source #

Constructors

SwitchTable
Fields switchLow :: Int32 switchOffsets :: Vector (LongRelativeRef r)

Instances

Eq (SwitchTable High) Source #
Methods (==) :: SwitchTable High -> SwitchTable High -> Bool # (/=) :: SwitchTable High -> SwitchTable High -> Bool #
Eq (SwitchTable Low) Source #
Methods (==) :: SwitchTable Low -> SwitchTable Low -> Bool # (/=) :: SwitchTable Low -> SwitchTable Low -> Bool #
Ord (SwitchTable Low) Source #
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) Source #
Methods showsPrec :: Int -> SwitchTable High -> ShowS # show :: SwitchTable High -> String # showList :: [SwitchTable High] -> ShowS #
Show (SwitchTable Low) Source #
Methods showsPrec :: Int -> SwitchTable Low -> ShowS # show :: SwitchTable Low -> String # showList :: [SwitchTable Low] -> ShowS #
Generic (SwitchTable High) Source #
Associated Types type Rep (SwitchTable High) :: * -> * # Methods from :: SwitchTable High -> Rep (SwitchTable High) x # to :: Rep (SwitchTable High) x -> SwitchTable High #
Generic (SwitchTable Low) Source #
Associated Types type Rep (SwitchTable Low) :: * -> * # Methods from :: SwitchTable Low -> Rep (SwitchTable Low) x # to :: Rep (SwitchTable Low) x -> SwitchTable Low #
NFData (SwitchTable High) Source #
Methods rnf :: SwitchTable High -> () #
NFData (SwitchTable Low) Source #
Methods rnf :: SwitchTable Low -> () #
type Rep (SwitchTable High) Source #
type Rep (SwitchTable High)
type Rep (SwitchTable Low) Source #
type Rep (SwitchTable Low)

switchHigh :: SwitchTable Low -> Int32 Source #

data FieldAccess Source #

Constructors

FldStatic
FldField

Instances

Eq FieldAccess Source #
Methods (==) :: FieldAccess -> FieldAccess -> Bool # (/=) :: FieldAccess -> FieldAccess -> Bool #
Ord FieldAccess Source #
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 Source #
Methods showsPrec :: Int -> FieldAccess -> ShowS # show :: FieldAccess -> String # showList :: [FieldAccess] -> ShowS #
Generic FieldAccess Source #
Associated Types type Rep FieldAccess :: * -> * # Methods from :: FieldAccess -> Rep FieldAccess x # to :: Rep FieldAccess x -> FieldAccess #
NFData FieldAccess Source #
Methods rnf :: FieldAccess -> () #
type Rep FieldAccess Source #
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 Source #

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 Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Invocation r -> m (Invocation r') Source # evolve :: EvolveM m => Invocation Low -> m (Invocation High) Source # devolve :: DevolveM m => Invocation High -> m (Invocation Low) Source #
Eq (Invocation High) Source #
Methods (==) :: Invocation High -> Invocation High -> Bool # (/=) :: Invocation High -> Invocation High -> Bool #
Eq (Invocation Low) Source #
Methods (==) :: Invocation Low -> Invocation Low -> Bool # (/=) :: Invocation Low -> Invocation Low -> Bool #
Ord (Invocation Low) Source #
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) Source #
Methods showsPrec :: Int -> Invocation High -> ShowS # show :: Invocation High -> String # showList :: [Invocation High] -> ShowS #
Show (Invocation Low) Source #
Methods showsPrec :: Int -> Invocation Low -> ShowS # show :: Invocation Low -> String # showList :: [Invocation Low] -> ShowS #
Generic (Invocation High) Source #
Associated Types type Rep (Invocation High) :: * -> * # Methods from :: Invocation High -> Rep (Invocation High) x # to :: Rep (Invocation High) x -> Invocation High #
Generic (Invocation Low) Source #
Associated Types type Rep (Invocation Low) :: * -> * # Methods from :: Invocation Low -> Rep (Invocation Low) x # to :: Rep (Invocation Low) x -> Invocation Low #
NFData (Invocation High) Source #
Methods rnf :: Invocation High -> () #
NFData (Invocation Low) Source #
Methods rnf :: Invocation Low -> () #
type Rep (Invocation High) Source #
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) Source #
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 Source #

Constructors

Add
Sub
Mul
Div
Rem

Instances

Eq BinOpr Source #
Methods (==) :: BinOpr -> BinOpr -> Bool # (/=) :: BinOpr -> BinOpr -> Bool #
Ord BinOpr Source #
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 Source #
Methods showsPrec :: Int -> BinOpr -> ShowS # show :: BinOpr -> String # showList :: [BinOpr] -> ShowS #
Generic BinOpr Source #
Associated Types type Rep BinOpr :: * -> * # Methods from :: BinOpr -> Rep BinOpr x # to :: Rep BinOpr x -> BinOpr #
NFData BinOpr Source #
Methods rnf :: BinOpr -> () #
type Rep BinOpr Source #
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 Source #

Constructors

ShL
ShR
UShR
And
Or
XOr

Instances

Eq BitOpr Source #
Methods (==) :: BitOpr -> BitOpr -> Bool # (/=) :: BitOpr -> BitOpr -> Bool #
Ord BitOpr Source #
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 Source #
Methods showsPrec :: Int -> BitOpr -> ShowS # show :: BitOpr -> String # showList :: [BitOpr] -> ShowS #
Generic BitOpr Source #
Associated Types type Rep BitOpr :: * -> * # Methods from :: BitOpr -> Rep BitOpr x # to :: Rep BitOpr x -> BitOpr #
NFData BitOpr Source #
Methods rnf :: BitOpr -> () #
type Rep BitOpr Source #
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 Source #

Constructors

CEq
CNe
CLt
CGe
CGt
CLe

Instances

Eq CmpOpr Source #
Methods (==) :: CmpOpr -> CmpOpr -> Bool # (/=) :: CmpOpr -> CmpOpr -> Bool #
Ord CmpOpr Source #
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 Source #
Methods showsPrec :: Int -> CmpOpr -> ShowS # show :: CmpOpr -> String # showList :: [CmpOpr] -> ShowS #
Generic CmpOpr Source #
Associated Types type Rep CmpOpr :: * -> * # Methods from :: CmpOpr -> Rep CmpOpr x # to :: Rep CmpOpr x -> CmpOpr #
NFData CmpOpr Source #
Methods rnf :: CmpOpr -> () #
type Rep CmpOpr Source #
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 Source #

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 Source #
Methods (==) :: CastOpr -> CastOpr -> Bool # (/=) :: CastOpr -> CastOpr -> Bool #
Ord CastOpr Source #
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 Source #
Methods showsPrec :: Int -> CastOpr -> ShowS # show :: CastOpr -> String # showList :: [CastOpr] -> ShowS #
Generic CastOpr Source #
Associated Types type Rep CastOpr :: * -> * # Methods from :: CastOpr -> Rep CastOpr x # to :: Rep CastOpr x -> CastOpr #
NFData CastOpr Source #
Methods rnf :: CastOpr -> () #
type Rep CastOpr Source #
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 Source #

Constructors

MInt
MLong
MFloat
MDouble

Instances

Bounded ArithmeticType Source #
Methods minBound :: ArithmeticType # maxBound :: ArithmeticType #
Enum ArithmeticType Source #
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 Source #
Methods (==) :: ArithmeticType -> ArithmeticType -> Bool # (/=) :: ArithmeticType -> ArithmeticType -> Bool #
Ord ArithmeticType Source #
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 Source #
Methods showsPrec :: Int -> ArithmeticType -> ShowS # show :: ArithmeticType -> String # showList :: [ArithmeticType] -> ShowS #
Generic ArithmeticType Source #
Associated Types type Rep ArithmeticType :: * -> * # Methods from :: ArithmeticType -> Rep ArithmeticType x # to :: Rep ArithmeticType x -> ArithmeticType #
NFData ArithmeticType Source #
Methods rnf :: ArithmeticType -> () #
type Rep ArithmeticType Source #
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 Source #

Constructors

MByte
MChar
MShort

Instances

Bounded SmallArithmeticType Source #
Methods minBound :: SmallArithmeticType # maxBound :: SmallArithmeticType #
Enum SmallArithmeticType Source #
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 Source #
Methods (==) :: SmallArithmeticType -> SmallArithmeticType -> Bool # (/=) :: SmallArithmeticType -> SmallArithmeticType -> Bool #
Ord SmallArithmeticType Source #
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 Source #
Methods showsPrec :: Int -> SmallArithmeticType -> ShowS # show :: SmallArithmeticType -> String # showList :: [SmallArithmeticType] -> ShowS #
Generic SmallArithmeticType Source #
Associated Types type Rep SmallArithmeticType :: * -> * # Methods from :: SmallArithmeticType -> Rep SmallArithmeticType x # to :: Rep SmallArithmeticType x -> SmallArithmeticType #
NFData SmallArithmeticType Source #
Methods rnf :: SmallArithmeticType -> () #
type Rep SmallArithmeticType Source #
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 Source #

Constructors

LInt
LLong
LFloat
LDouble
LRef

Instances

Bounded LocalType Source #
Methods minBound :: LocalType # maxBound :: LocalType #
Enum LocalType Source #
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 Source #
Methods (==) :: LocalType -> LocalType -> Bool # (/=) :: LocalType -> LocalType -> Bool #
Ord LocalType Source #
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 Source #
Methods showsPrec :: Int -> LocalType -> ShowS # show :: LocalType -> String # showList :: [LocalType] -> ShowS #
Generic LocalType Source #
Associated Types type Rep LocalType :: * -> * # Methods from :: LocalType -> Rep LocalType x # to :: Rep LocalType x -> LocalType #
NFData LocalType Source #
Methods rnf :: LocalType -> () #
type Rep LocalType Source #
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 Source #

Constructors

AByte
AChar
AShort
AInt
ALong
AFloat
ADouble
ARef

Instances

Eq ArrayType Source #
Methods (==) :: ArrayType -> ArrayType -> Bool # (/=) :: ArrayType -> ArrayType -> Bool #
Ord ArrayType Source #
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 Source #
Methods showsPrec :: Int -> ArrayType -> ShowS # show :: ArrayType -> String # showList :: [ArrayType] -> ShowS #
Generic ArrayType Source #
Associated Types type Rep ArrayType :: * -> * # Methods from :: ArrayType -> Rep ArrayType x # to :: Rep ArrayType x -> ArrayType #
NFData ArrayType Source #
Methods rnf :: ArrayType -> () #
type Rep ArrayType Source #
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 Source #

Constructors

EABoolean
EAByte
EAChar
EAShort
EAInt
EALong
EAFloat
EADouble
EARef (Ref ClassName r)

Instances

Staged ExactArrayType Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> ExactArrayType r -> m (ExactArrayType r') Source # evolve :: EvolveM m => ExactArrayType Low -> m (ExactArrayType High) Source # devolve :: DevolveM m => ExactArrayType High -> m (ExactArrayType Low) Source #
Eq (ExactArrayType High) Source #
Methods (==) :: ExactArrayType High -> ExactArrayType High -> Bool # (/=) :: ExactArrayType High -> ExactArrayType High -> Bool #
Eq (ExactArrayType Low) Source #
Methods (==) :: ExactArrayType Low -> ExactArrayType Low -> Bool # (/=) :: ExactArrayType Low -> ExactArrayType Low -> Bool #
Ord (ExactArrayType Low) Source #
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) Source #
Methods showsPrec :: Int -> ExactArrayType High -> ShowS # show :: ExactArrayType High -> String # showList :: [ExactArrayType High] -> ShowS #
Show (ExactArrayType Low) Source #
Methods showsPrec :: Int -> ExactArrayType Low -> ShowS # show :: ExactArrayType Low -> String # showList :: [ExactArrayType Low] -> ShowS #
Generic (ExactArrayType High) Source #
Associated Types type Rep (ExactArrayType High) :: * -> * # Methods from :: ExactArrayType High -> Rep (ExactArrayType High) x # to :: Rep (ExactArrayType High) x -> ExactArrayType High #
Generic (ExactArrayType Low) Source #
Associated Types type Rep (ExactArrayType Low) :: * -> * # Methods from :: ExactArrayType Low -> Rep (ExactArrayType Low) x # to :: Rep (ExactArrayType Low) x -> ExactArrayType Low #
NFData (ExactArrayType High) Source #
Methods rnf :: ExactArrayType High -> () #
NFData (ExactArrayType Low) Source #
Methods rnf :: ExactArrayType Low -> () #
type Rep (ExactArrayType High) Source #
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) Source #
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 Source #

type ByteOffset = Int64 #

An offset, counted in bytes.

type LocalAddress = Word16 Source #

type IncrementAmount = Int16 Source #