Language.JVM.Stage

This module contains the stages, there are two stages; Low and High. Low represents closest to the metal and High represents closer to the conceptual representation.

Documentation

data Low

Any data structure that is in the low stage should be serializable using the binary library.

Instances

Eq (InvokeDynamic Low)

Defined in Language.JVM.Constant

Methods

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

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

Eq (MethodHandleInterface Low)

Defined in Language.JVM.Constant

Methods

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

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

Eq (MethodHandleMethod Low)

Defined in Language.JVM.Constant

Methods

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

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

Eq (MethodHandleField Low)

Defined in Language.JVM.Constant

Methods

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

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

Eq (MethodHandle Low)

Defined in Language.JVM.Constant

Methods

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

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

Eq (AbsVariableMethodId Low)

Defined in Language.JVM.Constant

Methods

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

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

Eq (AbsInterfaceMethodId Low)

Defined in Language.JVM.Constant

Methods

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

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

Eq (Constant Low)

Defined in Language.JVM.Constant

Methods

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

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

Eq (ConstantPool Low)

Defined in Language.JVM.ConstantPool

Methods

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

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

Eq (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (SwitchTable Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (CConstant Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (Invocation Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (ByteCode Low)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (Attribute Low)

Defined in Language.JVM.Attribute.Base

Methods

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

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

Eq (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

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

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

Eq (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

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

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

Eq (EnclosingMethod Low)

Defined in Language.JVM.Attribute.EnclosingMethod

Methods

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

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

Eq (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

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

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

Eq (CodeAttributes Low)

Defined in Language.JVM.Attribute.Code

Methods

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

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

Eq (ExceptionTable Low)

Defined in Language.JVM.Attribute.Code

Methods

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

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

Eq (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

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

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

Eq (BootstrapMethod Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

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

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

Eq (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

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

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

Eq (MethodAttributes Low)

Defined in Language.JVM.Method

Methods

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

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

Eq (Method Low)

Defined in Language.JVM.Method

Methods

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

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

Eq (FieldAttributes Low)

Defined in Language.JVM.Field

Methods

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

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

Eq (Field Low)

Defined in Language.JVM.Field

Methods

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

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

Eq (InnerClass Low)

Defined in Language.JVM.Attribute.InnerClasses

Methods

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

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

Eq (InnerClasses Low)

Defined in Language.JVM.Attribute.InnerClasses

Methods

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

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

Eq (ClassAttributes Low)

Defined in Language.JVM.ClassFile

Methods

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

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

Eq (ClassFile Low)

Defined in Language.JVM.ClassFile

Methods

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

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

Ord (InvokeDynamic Low)

Defined in Language.JVM.Constant

Methods

compare :: InvokeDynamic Low -> InvokeDynamic Low -> Ordering

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

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

(>) :: InvokeDynamic Low -> InvokeDynamic Low -> Bool

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

max :: InvokeDynamic Low -> InvokeDynamic Low -> InvokeDynamic Low

min :: InvokeDynamic Low -> InvokeDynamic Low -> InvokeDynamic Low

Ord (MethodHandleInterface Low)

Defined in Language.JVM.Constant

Methods

compare :: MethodHandleInterface Low -> MethodHandleInterface Low -> Ordering

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

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

(>) :: MethodHandleInterface Low -> MethodHandleInterface Low -> Bool

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

max :: MethodHandleInterface Low -> MethodHandleInterface Low -> MethodHandleInterface Low

min :: MethodHandleInterface Low -> MethodHandleInterface Low -> MethodHandleInterface Low

Ord (MethodHandleMethod Low)

Defined in Language.JVM.Constant

Methods

compare :: MethodHandleMethod Low -> MethodHandleMethod Low -> Ordering

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

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

(>) :: MethodHandleMethod Low -> MethodHandleMethod Low -> Bool

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

max :: MethodHandleMethod Low -> MethodHandleMethod Low -> MethodHandleMethod Low

min :: MethodHandleMethod Low -> MethodHandleMethod Low -> MethodHandleMethod Low

Ord (MethodHandleField Low)

Defined in Language.JVM.Constant

Methods

compare :: MethodHandleField Low -> MethodHandleField Low -> Ordering

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

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

(>) :: MethodHandleField Low -> MethodHandleField Low -> Bool

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

max :: MethodHandleField Low -> MethodHandleField Low -> MethodHandleField Low

min :: MethodHandleField Low -> MethodHandleField Low -> MethodHandleField Low

Ord (MethodHandle Low)

Defined in Language.JVM.Constant

Methods

compare :: MethodHandle Low -> MethodHandle Low -> Ordering

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

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

(>) :: MethodHandle Low -> MethodHandle Low -> Bool

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

max :: MethodHandle Low -> MethodHandle Low -> MethodHandle Low

min :: MethodHandle Low -> MethodHandle Low -> MethodHandle Low

Ord (AbsVariableMethodId Low)

Defined in Language.JVM.Constant

Methods

compare :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Ordering

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

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

(>) :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Bool

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

max :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> AbsVariableMethodId Low

min :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> AbsVariableMethodId Low

Ord (AbsInterfaceMethodId Low)

Defined in Language.JVM.Constant

Methods

compare :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Ordering

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

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

(>) :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Bool

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

max :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low

min :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low

Ord (Constant Low)

Defined in Language.JVM.Constant

Methods

compare :: Constant Low -> Constant Low -> Ordering

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

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

(>) :: Constant Low -> Constant Low -> Bool

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

max :: Constant Low -> Constant Low -> Constant Low

min :: Constant Low -> Constant Low -> Constant Low

Ord (ConstantPool Low)

Defined in Language.JVM.ConstantPool

Methods

compare :: ConstantPool Low -> ConstantPool Low -> Ordering

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

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

(>) :: ConstantPool Low -> ConstantPool Low -> Bool

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

max :: ConstantPool Low -> ConstantPool Low -> ConstantPool Low

min :: ConstantPool Low -> ConstantPool Low -> ConstantPool Low

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

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

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

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

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

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

Ord (Attribute Low)

Defined in Language.JVM.Attribute.Base

Methods

compare :: Attribute Low -> Attribute Low -> Ordering

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

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

(>) :: Attribute Low -> Attribute Low -> Bool

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

max :: Attribute Low -> Attribute Low -> Attribute Low

min :: Attribute Low -> Attribute Low -> Attribute Low

Ord (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

compare :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> Ordering

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

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

(>) :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> Bool

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

max :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> VerificationTypeInfo Low

min :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> VerificationTypeInfo Low

Ord (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

compare :: StackMapFrameType Low -> StackMapFrameType Low -> Ordering

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

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

(>) :: StackMapFrameType Low -> StackMapFrameType Low -> Bool

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

max :: StackMapFrameType Low -> StackMapFrameType Low -> StackMapFrameType Low

min :: StackMapFrameType Low -> StackMapFrameType Low -> StackMapFrameType Low

Ord (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

compare :: StackMapFrame Low -> StackMapFrame Low -> Ordering

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

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

(>) :: StackMapFrame Low -> StackMapFrame Low -> Bool

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

max :: StackMapFrame Low -> StackMapFrame Low -> StackMapFrame Low

min :: StackMapFrame Low -> StackMapFrame Low -> StackMapFrame Low

Ord (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

compare :: StackMapTable Low -> StackMapTable Low -> Ordering

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

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

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

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

max :: StackMapTable Low -> StackMapTable Low -> StackMapTable Low

min :: StackMapTable Low -> StackMapTable Low -> StackMapTable Low

Ord (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

compare :: Signature Low -> Signature Low -> Ordering

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

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

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

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

max :: Signature Low -> Signature Low -> Signature Low

min :: Signature Low -> Signature Low -> Signature Low

Ord (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

compare :: Exceptions Low -> Exceptions Low -> Ordering

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

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

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

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

max :: Exceptions Low -> Exceptions Low -> Exceptions Low

min :: Exceptions Low -> Exceptions Low -> Exceptions Low

Ord (EnclosingMethod Low)

Defined in Language.JVM.Attribute.EnclosingMethod

Methods

compare :: EnclosingMethod Low -> EnclosingMethod Low -> Ordering

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

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

(>) :: EnclosingMethod Low -> EnclosingMethod Low -> Bool

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

max :: EnclosingMethod Low -> EnclosingMethod Low -> EnclosingMethod Low

min :: EnclosingMethod Low -> EnclosingMethod Low -> EnclosingMethod Low

Ord (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

compare :: ConstantValue Low -> ConstantValue Low -> Ordering

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

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

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

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

max :: ConstantValue Low -> ConstantValue Low -> ConstantValue Low

min :: ConstantValue Low -> ConstantValue Low -> ConstantValue Low

Ord (CodeAttributes Low)

Defined in Language.JVM.Attribute.Code

Methods

compare :: CodeAttributes Low -> CodeAttributes Low -> Ordering

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

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

(>) :: CodeAttributes Low -> CodeAttributes Low -> Bool

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

max :: CodeAttributes Low -> CodeAttributes Low -> CodeAttributes Low

min :: CodeAttributes Low -> CodeAttributes Low -> CodeAttributes Low

Ord (ExceptionTable Low)

Defined in Language.JVM.Attribute.Code

Methods

compare :: ExceptionTable Low -> ExceptionTable Low -> Ordering

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

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

(>) :: ExceptionTable Low -> ExceptionTable Low -> Bool

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

max :: ExceptionTable Low -> ExceptionTable Low -> ExceptionTable Low

min :: ExceptionTable Low -> ExceptionTable Low -> ExceptionTable Low

Ord (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

compare :: Code Low -> Code Low -> Ordering

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

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

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

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

max :: Code Low -> Code Low -> Code Low

min :: Code Low -> Code Low -> Code Low

Ord (BootstrapMethod Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

compare :: BootstrapMethod Low -> BootstrapMethod Low -> Ordering

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

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

(>) :: BootstrapMethod Low -> BootstrapMethod Low -> Bool

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

max :: BootstrapMethod Low -> BootstrapMethod Low -> BootstrapMethod Low

min :: BootstrapMethod Low -> BootstrapMethod Low -> BootstrapMethod Low

Ord (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

compare :: BootstrapMethods Low -> BootstrapMethods Low -> Ordering

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

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

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

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

max :: BootstrapMethods Low -> BootstrapMethods Low -> BootstrapMethods Low

min :: BootstrapMethods Low -> BootstrapMethods Low -> BootstrapMethods Low

Ord (MethodAttributes Low)

Defined in Language.JVM.Method

Methods

compare :: MethodAttributes Low -> MethodAttributes Low -> Ordering

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

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

(>) :: MethodAttributes Low -> MethodAttributes Low -> Bool

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

max :: MethodAttributes Low -> MethodAttributes Low -> MethodAttributes Low

min :: MethodAttributes Low -> MethodAttributes Low -> MethodAttributes Low

Ord (Method Low)

Defined in Language.JVM.Method

Methods

compare :: Method Low -> Method Low -> Ordering

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

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

(>) :: Method Low -> Method Low -> Bool

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

max :: Method Low -> Method Low -> Method Low

min :: Method Low -> Method Low -> Method Low

Ord (FieldAttributes Low)

Defined in Language.JVM.Field

Methods

compare :: FieldAttributes Low -> FieldAttributes Low -> Ordering

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

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

(>) :: FieldAttributes Low -> FieldAttributes Low -> Bool

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

max :: FieldAttributes Low -> FieldAttributes Low -> FieldAttributes Low

min :: FieldAttributes Low -> FieldAttributes Low -> FieldAttributes Low

Ord (Field Low)

Defined in Language.JVM.Field

Methods

compare :: Field Low -> Field Low -> Ordering

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

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

(>) :: Field Low -> Field Low -> Bool

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

max :: Field Low -> Field Low -> Field Low

min :: Field Low -> Field Low -> Field Low

Ord (InnerClass Low)

Defined in Language.JVM.Attribute.InnerClasses

Methods

compare :: InnerClass Low -> InnerClass Low -> Ordering

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

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

(>) :: InnerClass Low -> InnerClass Low -> Bool

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

max :: InnerClass Low -> InnerClass Low -> InnerClass Low

min :: InnerClass Low -> InnerClass Low -> InnerClass Low

Ord (InnerClasses Low)

Defined in Language.JVM.Attribute.InnerClasses

Methods

compare :: InnerClasses Low -> InnerClasses Low -> Ordering

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

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

(>) :: InnerClasses Low -> InnerClasses Low -> Bool

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

max :: InnerClasses Low -> InnerClasses Low -> InnerClasses Low

min :: InnerClasses Low -> InnerClasses Low -> InnerClasses Low

Ord (ClassAttributes Low)

Defined in Language.JVM.ClassFile

Methods

compare :: ClassAttributes Low -> ClassAttributes Low -> Ordering

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

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

(>) :: ClassAttributes Low -> ClassAttributes Low -> Bool

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

max :: ClassAttributes Low -> ClassAttributes Low -> ClassAttributes Low

min :: ClassAttributes Low -> ClassAttributes Low -> ClassAttributes Low

Ord (ClassFile Low)

Defined in Language.JVM.ClassFile

Methods

compare :: ClassFile Low -> ClassFile Low -> Ordering

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

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

(>) :: ClassFile Low -> ClassFile Low -> Bool

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

max :: ClassFile Low -> ClassFile Low -> ClassFile Low

min :: ClassFile Low -> ClassFile Low -> ClassFile Low

Show (InvokeDynamic Low)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> InvokeDynamic Low -> ShowS

show :: InvokeDynamic Low -> String

showList :: [InvokeDynamic Low] -> ShowS

Show (MethodHandleInterface Low)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> MethodHandleInterface Low -> ShowS

show :: MethodHandleInterface Low -> String

showList :: [MethodHandleInterface Low] -> ShowS

Show (MethodHandleMethod Low)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> MethodHandleMethod Low -> ShowS

show :: MethodHandleMethod Low -> String

showList :: [MethodHandleMethod Low] -> ShowS

Show (MethodHandleField Low)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> MethodHandleField Low -> ShowS

show :: MethodHandleField Low -> String

showList :: [MethodHandleField Low] -> ShowS

Show (MethodHandle Low)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> MethodHandle Low -> ShowS

show :: MethodHandle Low -> String

showList :: [MethodHandle Low] -> ShowS

Show (AbsVariableMethodId Low)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> AbsVariableMethodId Low -> ShowS

show :: AbsVariableMethodId Low -> String

showList :: [AbsVariableMethodId Low] -> ShowS

Show (AbsInterfaceMethodId Low)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> AbsInterfaceMethodId Low -> ShowS

show :: AbsInterfaceMethodId Low -> String

showList :: [AbsInterfaceMethodId Low] -> ShowS

Show (Constant Low)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> Constant Low -> ShowS

show :: Constant Low -> String

showList :: [Constant Low] -> ShowS

Show (ConstantPool Low)

Defined in Language.JVM.ConstantPool

Methods

showsPrec :: Int -> ConstantPool Low -> ShowS

show :: ConstantPool Low -> String

showList :: [ConstantPool Low] -> ShowS

Show (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCodeOpr Low -> ShowS

show :: ByteCodeOpr Low -> String

showList :: [ByteCodeOpr Low] -> ShowS

Show (SwitchTable Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> SwitchTable Low -> ShowS

show :: SwitchTable Low -> String

showList :: [SwitchTable Low] -> ShowS

Show (CConstant Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> CConstant Low -> ShowS

show :: CConstant Low -> String

showList :: [CConstant Low] -> ShowS

Show (Invocation Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> Invocation Low -> ShowS

show :: Invocation Low -> String

showList :: [Invocation Low] -> ShowS

Show (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCodeInst Low -> ShowS

show :: ByteCodeInst Low -> String

showList :: [ByteCodeInst Low] -> ShowS

Show (ByteCode Low)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCode Low -> ShowS

show :: ByteCode Low -> String

showList :: [ByteCode Low] -> ShowS

Show (Attribute Low)

Defined in Language.JVM.Attribute.Base

Methods

showsPrec :: Int -> Attribute Low -> ShowS

show :: Attribute Low -> String

showList :: [Attribute Low] -> ShowS

Show (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> VerificationTypeInfo Low -> ShowS

show :: VerificationTypeInfo Low -> String

showList :: [VerificationTypeInfo Low] -> ShowS

Show (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrameType Low -> ShowS

show :: StackMapFrameType Low -> String

showList :: [StackMapFrameType Low] -> ShowS

Show (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrame Low -> ShowS

show :: StackMapFrame Low -> String

showList :: [StackMapFrame Low] -> ShowS

Show (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapTable Low -> ShowS

show :: StackMapTable Low -> String

showList :: [StackMapTable Low] -> ShowS

Show (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> Signature Low -> ShowS

show :: Signature Low -> String

showList :: [Signature Low] -> ShowS

Show (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

showsPrec :: Int -> Exceptions Low -> ShowS

show :: Exceptions Low -> String

showList :: [Exceptions Low] -> ShowS

Show (EnclosingMethod Low)

Defined in Language.JVM.Attribute.EnclosingMethod

Methods

showsPrec :: Int -> EnclosingMethod Low -> ShowS

show :: EnclosingMethod Low -> String

showList :: [EnclosingMethod Low] -> ShowS

Show (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

showsPrec :: Int -> ConstantValue Low -> ShowS

show :: ConstantValue Low -> String

showList :: [ConstantValue Low] -> ShowS

Show (CodeAttributes Low)

Defined in Language.JVM.Attribute.Code

Methods

showsPrec :: Int -> CodeAttributes Low -> ShowS

show :: CodeAttributes Low -> String

showList :: [CodeAttributes Low] -> ShowS

Show (ExceptionTable Low)

Defined in Language.JVM.Attribute.Code

Methods

showsPrec :: Int -> ExceptionTable Low -> ShowS

show :: ExceptionTable Low -> String

showList :: [ExceptionTable Low] -> ShowS

Show (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

showsPrec :: Int -> Code Low -> ShowS

show :: Code Low -> String

showList :: [Code Low] -> ShowS

Show (BootstrapMethod Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

showsPrec :: Int -> BootstrapMethod Low -> ShowS

show :: BootstrapMethod Low -> String

showList :: [BootstrapMethod Low] -> ShowS

Show (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

showsPrec :: Int -> BootstrapMethods Low -> ShowS

show :: BootstrapMethods Low -> String

showList :: [BootstrapMethods Low] -> ShowS

Show (MethodAttributes Low)

Defined in Language.JVM.Method

Methods

showsPrec :: Int -> MethodAttributes Low -> ShowS

show :: MethodAttributes Low -> String

showList :: [MethodAttributes Low] -> ShowS

Show (Method Low)

Defined in Language.JVM.Method

Methods

showsPrec :: Int -> Method Low -> ShowS

show :: Method Low -> String

showList :: [Method Low] -> ShowS

Show (FieldAttributes Low)

Defined in Language.JVM.Field

Methods

showsPrec :: Int -> FieldAttributes Low -> ShowS

show :: FieldAttributes Low -> String

showList :: [FieldAttributes Low] -> ShowS

Show (Field Low)

Defined in Language.JVM.Field

Methods

showsPrec :: Int -> Field Low -> ShowS

show :: Field Low -> String

showList :: [Field Low] -> ShowS

Show (InnerClass Low)

Defined in Language.JVM.Attribute.InnerClasses

Methods

showsPrec :: Int -> InnerClass Low -> ShowS

show :: InnerClass Low -> String

showList :: [InnerClass Low] -> ShowS

Show (InnerClasses Low)

Defined in Language.JVM.Attribute.InnerClasses

Methods

showsPrec :: Int -> InnerClasses Low -> ShowS

show :: InnerClasses Low -> String

showList :: [InnerClasses Low] -> ShowS

Show (ClassAttributes Low)

Defined in Language.JVM.ClassFile

Methods

showsPrec :: Int -> ClassAttributes Low -> ShowS

show :: ClassAttributes Low -> String

showList :: [ClassAttributes Low] -> ShowS

Show (ClassFile Low)

Defined in Language.JVM.ClassFile

Methods

showsPrec :: Int -> ClassFile Low -> ShowS

show :: ClassFile Low -> String

showList :: [ClassFile Low] -> ShowS

Generic (InvokeDynamic Low)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (MethodHandleInterface Low)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (MethodHandleMethod Low)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (MethodHandleField Low)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (MethodHandle Low)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (AbsVariableMethodId Low)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (AbsInterfaceMethodId Low)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (Constant Low)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (ConstantPool Low)

Defined in Language.JVM.ConstantPool

Associated Types

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

Methods

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

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

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

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

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

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

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

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

Generic (Attribute Low)

Defined in Language.JVM.Attribute.Base

Associated Types

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

Methods

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

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

Generic (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (Signature Low)

Defined in Language.JVM.Attribute.Signature

Associated Types

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

Methods

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

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

Generic (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Associated Types

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

Methods

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

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

Generic (EnclosingMethod Low)

Defined in Language.JVM.Attribute.EnclosingMethod

Associated Types

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

Methods

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

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

Generic (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Associated Types

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

Methods

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

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

Generic (CodeAttributes Low)

Defined in Language.JVM.Attribute.Code

Associated Types

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

Methods

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

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

Generic (ExceptionTable Low)

Defined in Language.JVM.Attribute.Code

Associated Types

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

Methods

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

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

Generic (Code Low)

Defined in Language.JVM.Attribute.Code

Associated Types

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

Methods

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

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

Generic (BootstrapMethod Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Associated Types

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

Methods

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

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

Generic (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Associated Types

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

Methods

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

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

Generic (MethodAttributes Low)

Defined in Language.JVM.Method

Associated Types

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

Methods

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

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

Generic (Method Low)

Defined in Language.JVM.Method

Associated Types

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

Methods

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

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

Generic (FieldAttributes Low)

Defined in Language.JVM.Field

Associated Types

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

Methods

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

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

Generic (Field Low)

Defined in Language.JVM.Field

Associated Types

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

Methods

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

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

Generic (InnerClass Low)

Defined in Language.JVM.Attribute.InnerClasses

Associated Types

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

Methods

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

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

Generic (InnerClasses Low)

Defined in Language.JVM.Attribute.InnerClasses

Associated Types

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

Methods

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

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

Generic (ClassAttributes Low)

Defined in Language.JVM.ClassFile

Associated Types

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

Methods

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

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

Generic (ClassFile Low)

Defined in Language.JVM.ClassFile

Associated Types

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

Methods

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

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

Binary (InvokeDynamic Low)

Defined in Language.JVM.Constant

Methods

put :: InvokeDynamic Low -> Put

get :: Get (InvokeDynamic Low)

putList :: [InvokeDynamic Low] -> Put

Binary (MethodHandle Low)

Defined in Language.JVM.Constant

Methods

put :: MethodHandle Low -> Put

get :: Get (MethodHandle Low)

putList :: [MethodHandle Low] -> Put

Binary (AbsVariableMethodId Low)

Defined in Language.JVM.Constant

Methods

put :: AbsVariableMethodId Low -> Put

get :: Get (AbsVariableMethodId Low)

putList :: [AbsVariableMethodId Low] -> Put

Binary (AbsInterfaceMethodId Low)

Defined in Language.JVM.Constant

Methods

put :: AbsInterfaceMethodId Low -> Put

get :: Get (AbsInterfaceMethodId Low)

putList :: [AbsInterfaceMethodId Low] -> Put

Binary (Constant Low)

Defined in Language.JVM.Constant

Methods

put :: Constant Low -> Put

get :: Get (Constant Low)

putList :: [Constant Low] -> Put

Binary (ConstantPool Low)

Defined in Language.JVM.ConstantPool

Methods

put :: ConstantPool Low -> Put

get :: Get (ConstantPool Low)

putList :: [ConstantPool Low] -> Put

Binary (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

Methods

put :: ByteCodeOpr Low -> Put

get :: Get (ByteCodeOpr Low)

putList :: [ByteCodeOpr Low] -> Put

Binary (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

Methods

put :: ByteCodeInst Low -> Put

get :: Get (ByteCodeInst Low)

putList :: [ByteCodeInst Low] -> Put

Binary (ByteCode Low)

Defined in Language.JVM.ByteCode

Methods

put :: ByteCode Low -> Put

get :: Get (ByteCode Low)

putList :: [ByteCode Low] -> Put

Binary (Attribute Low)

Defined in Language.JVM.Attribute.Base

Methods

put :: Attribute Low -> Put

get :: Get (Attribute Low)

putList :: [Attribute Low] -> Put

Binary (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

put :: VerificationTypeInfo Low -> Put

get :: Get (VerificationTypeInfo Low)

putList :: [VerificationTypeInfo Low] -> Put

Binary (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

put :: StackMapFrame Low -> Put

get :: Get (StackMapFrame Low)

putList :: [StackMapFrame Low] -> Put

Binary (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

put :: StackMapTable Low -> Put

get :: Get (StackMapTable Low)

putList :: [StackMapTable Low] -> Put

Binary (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

put :: Signature Low -> Put

get :: Get (Signature Low)

putList :: [Signature Low] -> Put

Binary (LineNumberTable Low)

Defined in Language.JVM.Attribute.LineNumberTable

Methods

put :: LineNumberTable Low -> Put

get :: Get (LineNumberTable Low)

putList :: [LineNumberTable Low] -> Put

Binary (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

put :: Exceptions Low -> Put

get :: Get (Exceptions Low)

putList :: [Exceptions Low] -> Put

Binary (EnclosingMethod Low)

Defined in Language.JVM.Attribute.EnclosingMethod

Methods

put :: EnclosingMethod Low -> Put

get :: Get (EnclosingMethod Low)

putList :: [EnclosingMethod Low] -> Put

Binary (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

put :: ConstantValue Low -> Put

get :: Get (ConstantValue Low)

putList :: [ConstantValue Low] -> Put

Binary (ExceptionTable Low)

Defined in Language.JVM.Attribute.Code

Methods

put :: ExceptionTable Low -> Put

get :: Get (ExceptionTable Low)

putList :: [ExceptionTable Low] -> Put

Binary (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

put :: Code Low -> Put

get :: Get (Code Low)

putList :: [Code Low] -> Put

Binary (BootstrapMethod Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

put :: BootstrapMethod Low -> Put

get :: Get (BootstrapMethod Low)

putList :: [BootstrapMethod Low] -> Put

Binary (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

put :: BootstrapMethods Low -> Put

get :: Get (BootstrapMethods Low)

putList :: [BootstrapMethods Low] -> Put

Binary (Method Low)

Defined in Language.JVM.Method

Methods

put :: Method Low -> Put

get :: Get (Method Low)

putList :: [Method Low] -> Put

Binary (Field Low)

Defined in Language.JVM.Field

Methods

put :: Field Low -> Put

get :: Get (Field Low)

putList :: [Field Low] -> Put

Binary (InnerClass Low)

Defined in Language.JVM.Attribute.InnerClasses

Methods

put :: InnerClass Low -> Put

get :: Get (InnerClass Low)

putList :: [InnerClass Low] -> Put

Binary (InnerClasses Low)

Defined in Language.JVM.Attribute.InnerClasses

Methods

put :: InnerClasses Low -> Put

get :: Get (InnerClasses Low)

putList :: [InnerClasses Low] -> Put

Binary (ClassFile Low)

Defined in Language.JVM.ClassFile

Methods

put :: ClassFile Low -> Put

get :: Get (ClassFile Low)

putList :: [ClassFile Low] -> Put

NFData (InvokeDynamic Low)

Defined in Language.JVM.Constant

Methods

rnf :: InvokeDynamic Low -> ()

NFData (MethodHandleInterface Low)

Defined in Language.JVM.Constant

Methods

rnf :: MethodHandleInterface Low -> ()

NFData (MethodHandleMethod Low)

Defined in Language.JVM.Constant

Methods

rnf :: MethodHandleMethod Low -> ()

NFData (MethodHandleField Low)

Defined in Language.JVM.Constant

Methods

rnf :: MethodHandleField Low -> ()

NFData (MethodHandle Low)

Defined in Language.JVM.Constant

Methods

rnf :: MethodHandle Low -> ()

NFData (AbsVariableMethodId Low)

Defined in Language.JVM.Constant

Methods

rnf :: AbsVariableMethodId Low -> ()

NFData (AbsInterfaceMethodId Low)

Defined in Language.JVM.Constant

Methods

rnf :: AbsInterfaceMethodId Low -> ()

NFData (Constant Low)

Defined in Language.JVM.Constant

Methods

rnf :: Constant Low -> ()

NFData (ConstantPool Low)

Defined in Language.JVM.ConstantPool

Methods

rnf :: ConstantPool Low -> ()

NFData (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCodeOpr Low -> ()

NFData (SwitchTable Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: SwitchTable Low -> ()

NFData (CConstant Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: CConstant Low -> ()

NFData (Invocation Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: Invocation Low -> ()

NFData (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCodeInst Low -> ()

NFData (ByteCode Low)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCode Low -> ()

NFData (Attribute Low)

Defined in Language.JVM.Attribute.Base

Methods

rnf :: Attribute Low -> ()

NFData (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: VerificationTypeInfo Low -> ()

NFData (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrameType Low -> ()

NFData (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrame Low -> ()

NFData (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapTable Low -> ()

NFData (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: Signature Low -> ()

NFData (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

rnf :: Exceptions Low -> ()

NFData (EnclosingMethod Low)

Defined in Language.JVM.Attribute.EnclosingMethod

Methods

rnf :: EnclosingMethod Low -> ()

NFData (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

rnf :: ConstantValue Low -> ()

NFData (CodeAttributes Low)

Defined in Language.JVM.Attribute.Code

Methods

rnf :: CodeAttributes Low -> ()

NFData (ExceptionTable Low)

Defined in Language.JVM.Attribute.Code

Methods

rnf :: ExceptionTable Low -> ()

NFData (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

rnf :: Code Low -> ()

NFData (BootstrapMethod Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

rnf :: BootstrapMethod Low -> ()

NFData (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

rnf :: BootstrapMethods Low -> ()

NFData (MethodAttributes Low)

Defined in Language.JVM.Method

Methods

rnf :: MethodAttributes Low -> ()

NFData (Method Low)

Defined in Language.JVM.Method

Methods

rnf :: Method Low -> ()

NFData (FieldAttributes Low)

Defined in Language.JVM.Field

Methods

rnf :: FieldAttributes Low -> ()

NFData (Field Low)

Defined in Language.JVM.Field

Methods

rnf :: Field Low -> ()

NFData (InnerClass Low)

Defined in Language.JVM.Attribute.InnerClasses

Methods

rnf :: InnerClass Low -> ()

NFData (InnerClasses Low)

Defined in Language.JVM.Attribute.InnerClasses

Methods

rnf :: InnerClasses Low -> ()

NFData (ClassAttributes Low)

Defined in Language.JVM.ClassFile

Methods

rnf :: ClassAttributes Low -> ()

NFData (ClassFile Low)

Defined in Language.JVM.ClassFile

Methods

rnf :: ClassFile Low -> ()

IsAttribute (StackMapTable Low)

StackMapTable is an Attribute.

Defined in Language.JVM.Attribute.StackMapTable

Methods

attrName :: Const Text (StackMapTable Low)

IsAttribute (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

attrName :: Const Text (Signature Low)

IsAttribute (LineNumberTable Low)

Signature is an Attribute.

Defined in Language.JVM.Attribute.LineNumberTable

Methods

attrName :: Const Text (LineNumberTable Low)

IsAttribute (Exceptions Low)

Exceptions is an Attribute.

Defined in Language.JVM.Attribute.Exceptions

Methods

attrName :: Const Text (Exceptions Low)

IsAttribute (EnclosingMethod Low)

EnclosingMethod is an Attribute.

Defined in Language.JVM.Attribute.EnclosingMethod

Methods

attrName :: Const Text (EnclosingMethod Low)

IsAttribute (ConstantValue Low)

ConstantValue is an Attribute.

Defined in Language.JVM.Attribute.ConstantValue

Methods

attrName :: Const Text (ConstantValue Low)

IsAttribute (Code Low)

Code is an Attribute.

Defined in Language.JVM.Attribute.Code

Methods

attrName :: Const Text (Code Low)

IsAttribute (BootstrapMethods Low)

BootstrapMethods is an Attribute.

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

attrName :: Const Text (BootstrapMethods Low)

IsAttribute (InnerClasses Low)

InnerClasses is an Attribute.

Defined in Language.JVM.Attribute.InnerClasses

Methods

attrName :: Const Text (InnerClasses Low)

Eq (InClass FieldId Low)

Defined in Language.JVM.Constant

Methods

(==) :: InClass FieldId Low -> InClass FieldId Low -> Bool

(/=) :: InClass FieldId Low -> InClass FieldId Low -> Bool

Eq (InClass MethodId Low)

Defined in Language.JVM.Constant

Methods

(==) :: InClass MethodId Low -> InClass MethodId Low -> Bool

(/=) :: InClass MethodId Low -> InClass MethodId Low -> Bool

Ord (InClass FieldId Low)

Defined in Language.JVM.Constant

Methods

compare :: InClass FieldId Low -> InClass FieldId Low -> Ordering

(<) :: InClass FieldId Low -> InClass FieldId Low -> Bool

(<=) :: InClass FieldId Low -> InClass FieldId Low -> Bool

(>) :: InClass FieldId Low -> InClass FieldId Low -> Bool

(>=) :: InClass FieldId Low -> InClass FieldId Low -> Bool

max :: InClass FieldId Low -> InClass FieldId Low -> InClass FieldId Low

min :: InClass FieldId Low -> InClass FieldId Low -> InClass FieldId Low

Ord (InClass MethodId Low)

Defined in Language.JVM.Constant

Methods

compare :: InClass MethodId Low -> InClass MethodId Low -> Ordering

(<) :: InClass MethodId Low -> InClass MethodId Low -> Bool

(<=) :: InClass MethodId Low -> InClass MethodId Low -> Bool

(>) :: InClass MethodId Low -> InClass MethodId Low -> Bool

(>=) :: InClass MethodId Low -> InClass MethodId Low -> Bool

max :: InClass MethodId Low -> InClass MethodId Low -> InClass MethodId Low

min :: InClass MethodId Low -> InClass MethodId Low -> InClass MethodId Low

Show (InClass FieldId Low)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> InClass FieldId Low -> ShowS

show :: InClass FieldId Low -> String

showList :: [InClass FieldId Low] -> ShowS

Show (InClass MethodId Low)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> InClass MethodId Low -> ShowS

show :: InClass MethodId Low -> String

showList :: [InClass MethodId Low] -> ShowS

Generic (InClass FieldId Low)

Defined in Language.JVM.Constant

Associated Types

type Rep (InClass FieldId Low) :: Type -> Type

Methods

from :: InClass FieldId Low -> Rep (InClass FieldId Low) x

to :: Rep (InClass FieldId Low) x -> InClass FieldId Low

Generic (InClass MethodId Low)

Defined in Language.JVM.Constant

Associated Types

type Rep (InClass MethodId Low) :: Type -> Type

Methods

from :: InClass MethodId Low -> Rep (InClass MethodId Low) x

to :: Rep (InClass MethodId Low) x -> InClass MethodId Low

Binary (InClass FieldId Low)

Defined in Language.JVM.Constant

Methods

put :: InClass FieldId Low -> Put

get :: Get (InClass FieldId Low)

putList :: [InClass FieldId Low] -> Put

Binary (InClass MethodId Low)

Defined in Language.JVM.Constant

Methods

put :: InClass MethodId Low -> Put

get :: Get (InClass MethodId Low)

putList :: [InClass MethodId Low] -> Put

NFData (InClass FieldId Low)

Defined in Language.JVM.Constant

Methods

rnf :: InClass FieldId Low -> ()

NFData (InClass MethodId Low)

Defined in Language.JVM.Constant

Methods

rnf :: InClass MethodId Low -> ()

type Choice a b Low

Defined in Language.JVM.Stage

type Choice a b Low = a

type Rep (InvokeDynamic Low)

Defined in Language.JVM.Constant

type Rep (InvokeDynamic Low) = D1 (MetaData "InvokeDynamic" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InvokeDynamic" PrefixI True) (S1 (MetaSel (Just "invokeDynamicAttrIndex") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :*: S1 (MetaSel (Just "invokeDynamicMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodId Low))))

type Rep (MethodHandleInterface Low)

Defined in Language.JVM.Constant

type Rep (MethodHandleInterface Low) = D1 (MetaData "MethodHandleInterface" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MethodHandleInterface" PrefixI True) (S1 (MetaSel (Just "methodHandleInterfaceRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsInterfaceMethodId Low))))

type Rep (MethodHandleMethod Low)

Defined in Language.JVM.Constant

type Rep (MethodHandleMethod Low) = D1 (MetaData "MethodHandleMethod" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) ((C1 (MetaCons "MHInvokeVirtual" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsMethodId Low))) :+: C1 (MetaCons "MHInvokeStatic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsVariableMethodId Low)))) :+: (C1 (MetaCons "MHInvokeSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsVariableMethodId Low))) :+: C1 (MetaCons "MHNewInvokeSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsMethodId Low)))))

type Rep (MethodHandleField Low)

Defined in Language.JVM.Constant

type Rep (MethodHandleField Low) = D1 (MetaData "MethodHandleField" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MethodHandleField" PrefixI True) (S1 (MetaSel (Just "methodHandleFieldKind") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 MethodHandleFieldKind) :*: S1 (MetaSel (Just "methodHandleFieldRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsFieldId Low))))

type Rep (MethodHandle Low)

Defined in Language.JVM.Constant

type Rep (MethodHandle Low) = D1 (MetaData "MethodHandle" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MHField" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleField Low))) :+: (C1 (MetaCons "MHMethod" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleMethod Low))) :+: C1 (MetaCons "MHInterface" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleInterface Low)))))

type Rep (AbsVariableMethodId Low)

Defined in Language.JVM.Constant

type Rep (AbsVariableMethodId Low) = D1 (MetaData "AbsVariableMethodId" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "AbsVariableMethodId" PrefixI True) (S1 (MetaSel (Just "variableIsInterface") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool) :*: S1 (MetaSel (Just "variableMethodId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId Low))))

type Rep (AbsInterfaceMethodId Low)

Defined in Language.JVM.Constant

type Rep (AbsInterfaceMethodId Low) = D1 (MetaData "AbsInterfaceMethodId" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "AbsInterfaceMethodId" PrefixI True) (S1 (MetaSel (Just "interfaceMethodId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InClass MethodId Low))))

type Rep (Constant Low)

Defined in Language.JVM.Constant

type Rep (Constant Low) = D1 (MetaData "Constant" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (((C1 (MetaCons "CString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SizedByteString16)) :+: (C1 (MetaCons "CInteger" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int32)) :+: C1 (MetaCons "CFloat" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Float)))) :+: ((C1 (MetaCons "CLong" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int64)) :+: C1 (MetaCons "CDouble" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double))) :+: (C1 (MetaCons "CClassRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low))) :+: C1 (MetaCons "CStringRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ByteString Low)))))) :+: ((C1 (MetaCons "CFieldRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass FieldId Low))) :+: (C1 (MetaCons "CMethodRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId Low))) :+: C1 (MetaCons "CInterfaceMethodRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId Low))))) :+: ((C1 (MetaCons "CNameAndType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low))) :+: C1 (MetaCons "CMethodHandle" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandle Low)))) :+: (C1 (MetaCons "CMethodType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodDescriptor Low))) :+: C1 (MetaCons "CInvokeDynamic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InvokeDynamic Low)))))))

type Rep (ConstantPool Low)

Defined in Language.JVM.ConstantPool

type Rep (ConstantPool Low) = D1 (MetaData "ConstantPool" "Language.JVM.ConstantPool" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "ConstantPool" PrefixI True) (S1 (MetaSel (Just "unConstantPool") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (IntMap (Constant Low)))))

type Rep (ByteCodeOpr Low)

Defined in Language.JVM.ByteCode

type Rep (ByteCodeOpr Low)

type Rep (SwitchTable Low)

Defined in Language.JVM.ByteCode

type Rep (SwitchTable Low)

type Rep (CConstant Low)

Defined in Language.JVM.ByteCode

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

type Rep (Invocation Low)

Defined in Language.JVM.ByteCode

type Rep (Invocation Low) = D1 (MetaData "Invocation" "Language.JVM.ByteCode" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) ((C1 (MetaCons "InvkSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsVariableMethodId Low))) :+: C1 (MetaCons "InvkVirtual" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsMethodId Low)))) :+: (C1 (MetaCons "InvkStatic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef 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 (DeepRef AbsInterfaceMethodId Low))) :+: C1 (MetaCons "InvkDynamic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef InvokeDynamic Low))))))

type Rep (ByteCodeInst Low)

Defined in Language.JVM.ByteCode

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

Defined in Language.JVM.ByteCode

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

type Rep (Attribute Low)

Defined in Language.JVM.Attribute.Base

type Rep (Attribute Low) = D1 (MetaData "Attribute" "Language.JVM.Attribute.Base" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "Attribute" PrefixI True) (S1 (MetaSel (Just "aName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low)) :*: S1 (MetaSel (Just "aInfo'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SizedByteString32)))

type Rep (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (VerificationTypeInfo Low) = D1 (MetaData "VerificationTypeInfo" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (((C1 (MetaCons "VTTop" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "VTInteger" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "VTFloat" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "VTLong" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "VTDouble" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "VTNull" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "VTUninitializedThis" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "VTObject" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref ClassName Low))) :+: C1 (MetaCons "VTUninitialized" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16))))))

type Rep (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrameType Low) = D1 (MetaData "StackMapFrameType" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) ((C1 (MetaCons "SameFrame" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SameLocals1StackItemFrame" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (VerificationTypeInfo Low)))) :+: (C1 (MetaCons "ChopFrame" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)) :+: (C1 (MetaCons "AppendFrame" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [VerificationTypeInfo Low])) :+: C1 (MetaCons "FullFrame" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (VerificationTypeInfo Low))) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (VerificationTypeInfo Low)))))))

type Rep (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrame Low) = D1 (MetaData "StackMapFrame" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "StackMapFrame" PrefixI True) (S1 (MetaSel (Just "deltaOffset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DeltaOffset Low)) :*: S1 (MetaSel (Just "frameType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (StackMapFrameType Low))))

type Rep (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

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

type Rep (Signature Low)

Defined in Language.JVM.Attribute.Signature

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

type Rep (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

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

type Rep (EnclosingMethod Low)

Defined in Language.JVM.Attribute.EnclosingMethod

type Rep (EnclosingMethod Low) = D1 (MetaData "EnclosingMethod" "Language.JVM.Attribute.EnclosingMethod" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "EnclosingMethod" PrefixI True) (S1 (MetaSel (Just "enclosingClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :*: S1 (MetaSel (Just "enclosingMethodName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe MethodId) Low))))

type Rep (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

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

type Rep (CodeAttributes Low)

Defined in Language.JVM.Attribute.Code

type Rep (CodeAttributes Low) = D1 (MetaData "CodeAttributes" "Language.JVM.Attribute.Code" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "CodeAttributes" PrefixI True) (S1 (MetaSel (Just "caStackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [StackMapTable Low]) :*: (S1 (MetaSel (Just "caLineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LineNumberTable Low]) :*: S1 (MetaSel (Just "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute Low]))))

type Rep (ExceptionTable Low)

Defined in Language.JVM.Attribute.Code

type Rep (ExceptionTable Low) = D1 (MetaData "ExceptionTable" "Language.JVM.Attribute.Code" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "ExceptionTable" PrefixI True) ((S1 (MetaSel (Just "start") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef Low)) :*: S1 (MetaSel (Just "end") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef Low))) :*: (S1 (MetaSel (Just "handler") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef Low)) :*: S1 (MetaSel (Just "catchType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe ClassName) Low)))))

type Rep (Code Low)

Defined in Language.JVM.Attribute.Code

type Rep (Code Low) = D1 (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "Code" PrefixI True) ((S1 (MetaSel (Just "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :*: S1 (MetaSel (Just "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :*: (S1 (MetaSel (Just "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCode Low)) :*: (S1 (MetaSel (Just "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (ExceptionTable Low))) :*: S1 (MetaSel (Just "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes CodeAttributes Low))))))

type Rep (BootstrapMethod Low)

Defined in Language.JVM.Attribute.BootstrapMethods

type Rep (BootstrapMethod Low) = D1 (MetaData "BootstrapMethod" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "BootstrapMethod" PrefixI True) (S1 (MetaSel (Just "method") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef MethodHandle Low)) :*: S1 (MetaSel (Just "arguments") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Ref JValue Low)))))

type Rep (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

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

type Rep (MethodAttributes Low)

Defined in Language.JVM.Method

type Rep (MethodAttributes Low) = D1 (MetaData "MethodAttributes" "Language.JVM.Method" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MethodAttributes" PrefixI True) ((S1 (MetaSel (Just "maCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Code Low]) :*: S1 (MetaSel (Just "maExceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exceptions Low])) :*: (S1 (MetaSel (Just "maSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature Low]) :*: S1 (MetaSel (Just "maOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute Low]))))

type Rep (Method Low)

Defined in Language.JVM.Method

type Rep (Method Low) = D1 (MetaData "Method" "Language.JVM.Method" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "Method" PrefixI True) ((S1 (MetaSel (Just "mAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 MAccessFlag)) :*: S1 (MetaSel (Just "mName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low))) :*: (S1 (MetaSel (Just "mDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodDescriptor Low)) :*: S1 (MetaSel (Just "mAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes MethodAttributes Low)))))

type Rep (FieldAttributes Low)

Defined in Language.JVM.Field

type Rep (FieldAttributes Low) = D1 (MetaData "FieldAttributes" "Language.JVM.Field" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "FieldAttributes" PrefixI True) (S1 (MetaSel (Just "faConstantValues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ConstantValue Low]) :*: (S1 (MetaSel (Just "faSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature Low]) :*: S1 (MetaSel (Just "faOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute Low]))))

type Rep (Field Low)

Defined in Language.JVM.Field

type Rep (Field Low) = D1 (MetaData "Field" "Language.JVM.Field" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "Field" PrefixI True) ((S1 (MetaSel (Just "fAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 FAccessFlag)) :*: S1 (MetaSel (Just "fName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low))) :*: (S1 (MetaSel (Just "fDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref FieldDescriptor Low)) :*: S1 (MetaSel (Just "fAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes FieldAttributes Low)))))

type Rep (InnerClass Low)

Defined in Language.JVM.Attribute.InnerClasses

type Rep (InnerClass Low) = D1 (MetaData "InnerClass" "Language.JVM.Attribute.InnerClasses" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InnerClass" PrefixI True) ((S1 (MetaSel (Just "icClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :*: S1 (MetaSel (Just "icOuterClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe ClassName) Low))) :*: (S1 (MetaSel (Just "icInnerName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe Text) Low)) :*: S1 (MetaSel (Just "icInnerAccessFlags") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 ICAccessFlag)))))

type Rep (InnerClasses Low)

Defined in Language.JVM.Attribute.InnerClasses

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

type Rep (ClassAttributes Low)

Defined in Language.JVM.ClassFile

type Rep (ClassAttributes Low) = D1 (MetaData "ClassAttributes" "Language.JVM.ClassFile" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "ClassAttributes" PrefixI True) ((S1 (MetaSel (Just "caBootstrapMethods") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [BootstrapMethods Low]) :*: S1 (MetaSel (Just "caSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature Low])) :*: (S1 (MetaSel (Just "caEnclosingMethod") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [EnclosingMethod Low]) :*: (S1 (MetaSel (Just "caInnerClasses") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [InnerClasses Low]) :*: S1 (MetaSel (Just "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute Low])))))

type Rep (ClassFile Low)

Defined in Language.JVM.ClassFile

type Rep (ClassFile Low) = D1 (MetaData "ClassFile" "Language.JVM.ClassFile" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "ClassFile" PrefixI True) (((S1 (MetaSel (Just "cMagicNumber") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word32) :*: S1 (MetaSel (Just "cMinorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :*: (S1 (MetaSel (Just "cMajorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :*: (S1 (MetaSel (Just "cConstantPool") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Choice (ConstantPool Low) () Low)) :*: S1 (MetaSel (Just "cAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 CAccessFlag))))) :*: ((S1 (MetaSel (Just "cThisClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :*: (S1 (MetaSel (Just "cSuperClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :*: S1 (MetaSel (Just "cInterfaces") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Ref ClassName Low))))) :*: (S1 (MetaSel (Just "cFields'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Field Low))) :*: (S1 (MetaSel (Just "cMethods'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Method Low))) :*: S1 (MetaSel (Just "cAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes ClassAttributes Low)))))))

type Rep (InClass FieldId Low)

Defined in Language.JVM.Constant

type Rep (InClass FieldId Low) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref FieldId Low))))

type Rep (InClass MethodId Low)

Defined in Language.JVM.Constant

type Rep (InClass MethodId Low) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodId Low))))

data High

Any data structure in the High stage, is easier to read.

Instances

Eq (InvokeDynamic High)

Defined in Language.JVM.Constant

Methods

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

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

Eq (MethodHandleInterface High)

Defined in Language.JVM.Constant

Methods

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

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

Eq (MethodHandleMethod High)

Defined in Language.JVM.Constant

Methods

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

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

Eq (MethodHandleField High)

Defined in Language.JVM.Constant

Methods

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

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

Eq (MethodHandle High)

Defined in Language.JVM.Constant

Methods

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

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

Eq (AbsVariableMethodId High)

Defined in Language.JVM.Constant

Methods

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

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

Eq (AbsInterfaceMethodId High)

Defined in Language.JVM.Constant

Methods

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

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

Eq (Constant High)

Defined in Language.JVM.Constant

Methods

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

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

Eq (ConstantPool High)

Defined in Language.JVM.ConstantPool

Methods

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

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

Eq (ByteCodeOpr High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (SwitchTable High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (CConstant High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (Invocation High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (ByteCodeInst High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (ByteCode High)

Defined in Language.JVM.ByteCode

Methods

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

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

Eq (Attribute High)

Defined in Language.JVM.Attribute.Base

Methods

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

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

Eq (VerificationTypeInfo High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapFrameType High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapFrame High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (Signature High)

Defined in Language.JVM.Attribute.Signature

Methods

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

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

Eq (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

Methods

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

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

Eq (EnclosingMethod High)

Defined in Language.JVM.Attribute.EnclosingMethod

Methods

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

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

Eq (ConstantValue High)

Defined in Language.JVM.Attribute.ConstantValue

Methods

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

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

Eq (CodeAttributes High)

Defined in Language.JVM.Attribute.Code

Methods

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

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

Eq (ExceptionTable High)

Defined in Language.JVM.Attribute.Code

Methods

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

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

Eq (Code High)

Defined in Language.JVM.Attribute.Code

Methods

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

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

Eq (BootstrapMethod High)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

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

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

Eq (BootstrapMethods High)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

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

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

Eq (MethodAttributes High)

Defined in Language.JVM.Method

Methods

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

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

Eq (Method High)

Defined in Language.JVM.Method

Methods

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

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

Eq (FieldAttributes High)

Defined in Language.JVM.Field

Methods

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

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

Eq (Field High)

Defined in Language.JVM.Field

Methods

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

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

Eq (InnerClass High)

Defined in Language.JVM.Attribute.InnerClasses

Methods

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

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

Eq (InnerClasses High)

Defined in Language.JVM.Attribute.InnerClasses

Methods

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

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

Eq (ClassAttributes High)

Defined in Language.JVM.ClassFile

Methods

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

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

Eq (ClassFile High)

Defined in Language.JVM.ClassFile

Methods

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

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

Show (InvokeDynamic High)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> InvokeDynamic High -> ShowS

show :: InvokeDynamic High -> String

showList :: [InvokeDynamic High] -> ShowS

Show (MethodHandleInterface High)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> MethodHandleInterface High -> ShowS

show :: MethodHandleInterface High -> String

showList :: [MethodHandleInterface High] -> ShowS

Show (MethodHandleMethod High)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> MethodHandleMethod High -> ShowS

show :: MethodHandleMethod High -> String

showList :: [MethodHandleMethod High] -> ShowS

Show (MethodHandleField High)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> MethodHandleField High -> ShowS

show :: MethodHandleField High -> String

showList :: [MethodHandleField High] -> ShowS

Show (MethodHandle High)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> MethodHandle High -> ShowS

show :: MethodHandle High -> String

showList :: [MethodHandle High] -> ShowS

Show (AbsVariableMethodId High)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> AbsVariableMethodId High -> ShowS

show :: AbsVariableMethodId High -> String

showList :: [AbsVariableMethodId High] -> ShowS

Show (AbsInterfaceMethodId High)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> AbsInterfaceMethodId High -> ShowS

show :: AbsInterfaceMethodId High -> String

showList :: [AbsInterfaceMethodId High] -> ShowS

Show (Constant High)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> Constant High -> ShowS

show :: Constant High -> String

showList :: [Constant High] -> ShowS

Show (ConstantPool High)

Defined in Language.JVM.ConstantPool

Methods

showsPrec :: Int -> ConstantPool High -> ShowS

show :: ConstantPool High -> String

showList :: [ConstantPool High] -> ShowS

Show (ByteCodeOpr High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCodeOpr High -> ShowS

show :: ByteCodeOpr High -> String

showList :: [ByteCodeOpr High] -> ShowS

Show (SwitchTable High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> SwitchTable High -> ShowS

show :: SwitchTable High -> String

showList :: [SwitchTable High] -> ShowS

Show (CConstant High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> CConstant High -> ShowS

show :: CConstant High -> String

showList :: [CConstant High] -> ShowS

Show (Invocation High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> Invocation High -> ShowS

show :: Invocation High -> String

showList :: [Invocation High] -> ShowS

Show (ByteCodeInst High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCodeInst High -> ShowS

show :: ByteCodeInst High -> String

showList :: [ByteCodeInst High] -> ShowS

Show (ByteCode High)

Defined in Language.JVM.ByteCode

Methods

showsPrec :: Int -> ByteCode High -> ShowS

show :: ByteCode High -> String

showList :: [ByteCode High] -> ShowS

Show (Attribute High)

Defined in Language.JVM.Attribute.Base

Methods

showsPrec :: Int -> Attribute High -> ShowS

show :: Attribute High -> String

showList :: [Attribute High] -> ShowS

Show (VerificationTypeInfo High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> VerificationTypeInfo High -> ShowS

show :: VerificationTypeInfo High -> String

showList :: [VerificationTypeInfo High] -> ShowS

Show (StackMapFrameType High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrameType High -> ShowS

show :: StackMapFrameType High -> String

showList :: [StackMapFrameType High] -> ShowS

Show (StackMapFrame High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrame High -> ShowS

show :: StackMapFrame High -> String

showList :: [StackMapFrame High] -> ShowS

Show (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapTable High -> ShowS

show :: StackMapTable High -> String

showList :: [StackMapTable High] -> ShowS

Show (Signature High)

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> Signature High -> ShowS

show :: Signature High -> String

showList :: [Signature High] -> ShowS

Show (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

Methods

showsPrec :: Int -> Exceptions High -> ShowS

show :: Exceptions High -> String

showList :: [Exceptions High] -> ShowS

Show (EnclosingMethod High)

Defined in Language.JVM.Attribute.EnclosingMethod

Methods

showsPrec :: Int -> EnclosingMethod High -> ShowS

show :: EnclosingMethod High -> String

showList :: [EnclosingMethod High] -> ShowS

Show (ConstantValue High)

Defined in Language.JVM.Attribute.ConstantValue

Methods

showsPrec :: Int -> ConstantValue High -> ShowS

show :: ConstantValue High -> String

showList :: [ConstantValue High] -> ShowS

Show (CodeAttributes High)

Defined in Language.JVM.Attribute.Code

Methods

showsPrec :: Int -> CodeAttributes High -> ShowS

show :: CodeAttributes High -> String

showList :: [CodeAttributes High] -> ShowS

Show (ExceptionTable High)

Defined in Language.JVM.Attribute.Code

Methods

showsPrec :: Int -> ExceptionTable High -> ShowS

show :: ExceptionTable High -> String

showList :: [ExceptionTable High] -> ShowS

Show (Code High)

Defined in Language.JVM.Attribute.Code

Methods

showsPrec :: Int -> Code High -> ShowS

show :: Code High -> String

showList :: [Code High] -> ShowS

Show (BootstrapMethod High)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

showsPrec :: Int -> BootstrapMethod High -> ShowS

show :: BootstrapMethod High -> String

showList :: [BootstrapMethod High] -> ShowS

Show (BootstrapMethods High)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

showsPrec :: Int -> BootstrapMethods High -> ShowS

show :: BootstrapMethods High -> String

showList :: [BootstrapMethods High] -> ShowS

Show (MethodAttributes High)

Defined in Language.JVM.Method

Methods

showsPrec :: Int -> MethodAttributes High -> ShowS

show :: MethodAttributes High -> String

showList :: [MethodAttributes High] -> ShowS

Show (Method High)

Defined in Language.JVM.Method

Methods

showsPrec :: Int -> Method High -> ShowS

show :: Method High -> String

showList :: [Method High] -> ShowS

Show (FieldAttributes High)

Defined in Language.JVM.Field

Methods

showsPrec :: Int -> FieldAttributes High -> ShowS

show :: FieldAttributes High -> String

showList :: [FieldAttributes High] -> ShowS

Show (Field High)

Defined in Language.JVM.Field

Methods

showsPrec :: Int -> Field High -> ShowS

show :: Field High -> String

showList :: [Field High] -> ShowS

Show (InnerClass High)

Defined in Language.JVM.Attribute.InnerClasses

Methods

showsPrec :: Int -> InnerClass High -> ShowS

show :: InnerClass High -> String

showList :: [InnerClass High] -> ShowS

Show (InnerClasses High)

Defined in Language.JVM.Attribute.InnerClasses

Methods

showsPrec :: Int -> InnerClasses High -> ShowS

show :: InnerClasses High -> String

showList :: [InnerClasses High] -> ShowS

Show (ClassAttributes High)

Defined in Language.JVM.ClassFile

Methods

showsPrec :: Int -> ClassAttributes High -> ShowS

show :: ClassAttributes High -> String

showList :: [ClassAttributes High] -> ShowS

Show (ClassFile High)

Defined in Language.JVM.ClassFile

Methods

showsPrec :: Int -> ClassFile High -> ShowS

show :: ClassFile High -> String

showList :: [ClassFile High] -> ShowS

Generic (InvokeDynamic High)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (MethodHandleInterface High)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (MethodHandleMethod High)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (MethodHandleField High)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (MethodHandle High)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (AbsVariableMethodId High)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (AbsInterfaceMethodId High)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (Constant High)

Defined in Language.JVM.Constant

Associated Types

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

Methods

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

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

Generic (ConstantPool High)

Defined in Language.JVM.ConstantPool

Associated Types

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

Methods

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

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

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 (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 (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 (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 (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 (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 (Attribute High)

Defined in Language.JVM.Attribute.Base

Associated Types

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

Methods

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

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

Generic (VerificationTypeInfo High)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (StackMapFrameType High)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (StackMapFrame High)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (Signature High)

Defined in Language.JVM.Attribute.Signature

Associated Types

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

Methods

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

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

Generic (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

Associated Types

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

Methods

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

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

Generic (EnclosingMethod High)

Defined in Language.JVM.Attribute.EnclosingMethod

Associated Types

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

Methods

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

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

Generic (ConstantValue High)

Defined in Language.JVM.Attribute.ConstantValue

Associated Types

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

Methods

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

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

Generic (CodeAttributes High)

Defined in Language.JVM.Attribute.Code

Associated Types

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

Methods

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

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

Generic (ExceptionTable High)

Defined in Language.JVM.Attribute.Code

Associated Types

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

Methods

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

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

Generic (Code High)

Defined in Language.JVM.Attribute.Code

Associated Types

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

Methods

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

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

Generic (BootstrapMethod High)

Defined in Language.JVM.Attribute.BootstrapMethods

Associated Types

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

Methods

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

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

Generic (BootstrapMethods High)

Defined in Language.JVM.Attribute.BootstrapMethods

Associated Types

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

Methods

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

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

Generic (MethodAttributes High)

Defined in Language.JVM.Method

Associated Types

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

Methods

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

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

Generic (Method High)

Defined in Language.JVM.Method

Associated Types

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

Methods

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

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

Generic (FieldAttributes High)

Defined in Language.JVM.Field

Associated Types

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

Methods

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

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

Generic (Field High)

Defined in Language.JVM.Field

Associated Types

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

Methods

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

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

Generic (InnerClass High)

Defined in Language.JVM.Attribute.InnerClasses

Associated Types

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

Methods

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

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

Generic (InnerClasses High)

Defined in Language.JVM.Attribute.InnerClasses

Associated Types

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

Methods

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

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

Generic (ClassAttributes High)

Defined in Language.JVM.ClassFile

Associated Types

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

Methods

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

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

Generic (ClassFile High)

Defined in Language.JVM.ClassFile

Associated Types

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

Methods

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

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

NFData (InvokeDynamic High)

Defined in Language.JVM.Constant

Methods

rnf :: InvokeDynamic High -> ()

NFData (MethodHandleInterface High)

Defined in Language.JVM.Constant

Methods

rnf :: MethodHandleInterface High -> ()

NFData (MethodHandleMethod High)

Defined in Language.JVM.Constant

Methods

rnf :: MethodHandleMethod High -> ()

NFData (MethodHandleField High)

Defined in Language.JVM.Constant

Methods

rnf :: MethodHandleField High -> ()

NFData (MethodHandle High)

Defined in Language.JVM.Constant

Methods

rnf :: MethodHandle High -> ()

NFData (AbsVariableMethodId High)

Defined in Language.JVM.Constant

Methods

rnf :: AbsVariableMethodId High -> ()

NFData (AbsInterfaceMethodId High)

Defined in Language.JVM.Constant

Methods

rnf :: AbsInterfaceMethodId High -> ()

NFData (Constant High)

Defined in Language.JVM.Constant

Methods

rnf :: Constant High -> ()

NFData (ConstantPool High)

Defined in Language.JVM.ConstantPool

Methods

rnf :: ConstantPool High -> ()

NFData (ByteCodeOpr High)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCodeOpr High -> ()

NFData (SwitchTable High)

Defined in Language.JVM.ByteCode

Methods

rnf :: SwitchTable High -> ()

NFData (CConstant High)

Defined in Language.JVM.ByteCode

Methods

rnf :: CConstant High -> ()

NFData (Invocation High)

Defined in Language.JVM.ByteCode

Methods

rnf :: Invocation High -> ()

NFData (ByteCodeInst High)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCodeInst High -> ()

NFData (ByteCode High)

Defined in Language.JVM.ByteCode

Methods

rnf :: ByteCode High -> ()

NFData (Attribute High)

Defined in Language.JVM.Attribute.Base

Methods

rnf :: Attribute High -> ()

NFData (VerificationTypeInfo High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: VerificationTypeInfo High -> ()

NFData (StackMapFrameType High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrameType High -> ()

NFData (StackMapFrame High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrame High -> ()

NFData (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapTable High -> ()

NFData (Signature High)

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: Signature High -> ()

NFData (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

Methods

rnf :: Exceptions High -> ()

NFData (EnclosingMethod High)

Defined in Language.JVM.Attribute.EnclosingMethod

Methods

rnf :: EnclosingMethod High -> ()

NFData (ConstantValue High)

Defined in Language.JVM.Attribute.ConstantValue

Methods

rnf :: ConstantValue High -> ()

NFData (CodeAttributes High)

Defined in Language.JVM.Attribute.Code

Methods

rnf :: CodeAttributes High -> ()

NFData (ExceptionTable High)

Defined in Language.JVM.Attribute.Code

Methods

rnf :: ExceptionTable High -> ()

NFData (Code High)

Defined in Language.JVM.Attribute.Code

Methods

rnf :: Code High -> ()

NFData (BootstrapMethod High)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

rnf :: BootstrapMethod High -> ()

NFData (BootstrapMethods High)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

rnf :: BootstrapMethods High -> ()

NFData (MethodAttributes High)

Defined in Language.JVM.Method

Methods

rnf :: MethodAttributes High -> ()

NFData (Method High)

Defined in Language.JVM.Method

Methods

rnf :: Method High -> ()

NFData (FieldAttributes High)

Defined in Language.JVM.Field

Methods

rnf :: FieldAttributes High -> ()

NFData (Field High)

Defined in Language.JVM.Field

Methods

rnf :: Field High -> ()

NFData (InnerClass High)

Defined in Language.JVM.Attribute.InnerClasses

Methods

rnf :: InnerClass High -> ()

NFData (InnerClasses High)

Defined in Language.JVM.Attribute.InnerClasses

Methods

rnf :: InnerClasses High -> ()

NFData (ClassAttributes High)

Defined in Language.JVM.ClassFile

Methods

rnf :: ClassAttributes High -> ()

NFData (ClassFile High)

Defined in Language.JVM.ClassFile

Methods

rnf :: ClassFile High -> ()

Referenceable (InvokeDynamic High)

Defined in Language.JVM.Constant

Methods

fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InvokeDynamic High)

toConst :: Monad m => InvokeDynamic High -> m (Constant High)

Referenceable (MethodHandle High)

Defined in Language.JVM.Constant

Methods

fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (MethodHandle High)

toConst :: Monad m => MethodHandle High -> m (Constant High)

Referenceable (AbsVariableMethodId High)

Defined in Language.JVM.Constant

Methods

fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (AbsVariableMethodId High)

toConst :: Monad m => AbsVariableMethodId High -> m (Constant High)

Referenceable (AbsInterfaceMethodId High)

Defined in Language.JVM.Constant

Methods

fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (AbsInterfaceMethodId High)

toConst :: Monad m => AbsInterfaceMethodId High -> m (Constant High)

Referenceable (Constant High)

Defined in Language.JVM.Constant

Methods

fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (Constant High)

toConst :: Monad m => Constant High -> m (Constant High)

Eq (InClass FieldId High)

Defined in Language.JVM.Constant

Methods

(==) :: InClass FieldId High -> InClass FieldId High -> Bool

(/=) :: InClass FieldId High -> InClass FieldId High -> Bool

Eq (InClass MethodId High)

Defined in Language.JVM.Constant

Methods

(==) :: InClass MethodId High -> InClass MethodId High -> Bool

(/=) :: InClass MethodId High -> InClass MethodId High -> Bool

Show (InClass FieldId High)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> InClass FieldId High -> ShowS

show :: InClass FieldId High -> String

showList :: [InClass FieldId High] -> ShowS

Show (InClass MethodId High)

Defined in Language.JVM.Constant

Methods

showsPrec :: Int -> InClass MethodId High -> ShowS

show :: InClass MethodId High -> String

showList :: [InClass MethodId High] -> ShowS

Generic (InClass FieldId High)

Defined in Language.JVM.Constant

Associated Types

type Rep (InClass FieldId High) :: Type -> Type

Methods

from :: InClass FieldId High -> Rep (InClass FieldId High) x

to :: Rep (InClass FieldId High) x -> InClass FieldId High

Generic (InClass MethodId High)

Defined in Language.JVM.Constant

Associated Types

type Rep (InClass MethodId High) :: Type -> Type

Methods

from :: InClass MethodId High -> Rep (InClass MethodId High) x

to :: Rep (InClass MethodId High) x -> InClass MethodId High

NFData (InClass FieldId High)

Defined in Language.JVM.Constant

Methods

rnf :: InClass FieldId High -> ()

NFData (InClass MethodId High)

Defined in Language.JVM.Constant

Methods

rnf :: InClass MethodId High -> ()

Referenceable (InClass FieldId High)

Defined in Language.JVM.Constant

Methods

fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InClass FieldId High)

toConst :: Monad m => InClass FieldId High -> m (Constant High)

Referenceable (InClass MethodId High)

Defined in Language.JVM.Constant

Methods

fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InClass MethodId High)

toConst :: Monad m => InClass MethodId High -> m (Constant High)

type Choice a b High

Defined in Language.JVM.Stage

type Choice a b High = b

type Rep (InvokeDynamic High)

Defined in Language.JVM.Constant

type Rep (InvokeDynamic High) = D1 (MetaData "InvokeDynamic" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InvokeDynamic" PrefixI True) (S1 (MetaSel (Just "invokeDynamicAttrIndex") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :*: S1 (MetaSel (Just "invokeDynamicMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodId High))))

type Rep (MethodHandleInterface High)

Defined in Language.JVM.Constant

type Rep (MethodHandleInterface High) = D1 (MetaData "MethodHandleInterface" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MethodHandleInterface" PrefixI True) (S1 (MetaSel (Just "methodHandleInterfaceRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsInterfaceMethodId High))))

type Rep (MethodHandleMethod High)

Defined in Language.JVM.Constant

type Rep (MethodHandleMethod High) = D1 (MetaData "MethodHandleMethod" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) ((C1 (MetaCons "MHInvokeVirtual" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsMethodId High))) :+: C1 (MetaCons "MHInvokeStatic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsVariableMethodId High)))) :+: (C1 (MetaCons "MHInvokeSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsVariableMethodId High))) :+: C1 (MetaCons "MHNewInvokeSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsMethodId High)))))

type Rep (MethodHandleField High)

Defined in Language.JVM.Constant

type Rep (MethodHandleField High) = D1 (MetaData "MethodHandleField" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MethodHandleField" PrefixI True) (S1 (MetaSel (Just "methodHandleFieldKind") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 MethodHandleFieldKind) :*: S1 (MetaSel (Just "methodHandleFieldRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsFieldId High))))

type Rep (MethodHandle High)

Defined in Language.JVM.Constant

type Rep (MethodHandle High) = D1 (MetaData "MethodHandle" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MHField" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleField High))) :+: (C1 (MetaCons "MHMethod" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleMethod High))) :+: C1 (MetaCons "MHInterface" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleInterface High)))))

type Rep (AbsVariableMethodId High)

Defined in Language.JVM.Constant

type Rep (AbsVariableMethodId High) = D1 (MetaData "AbsVariableMethodId" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "AbsVariableMethodId" PrefixI True) (S1 (MetaSel (Just "variableIsInterface") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool) :*: S1 (MetaSel (Just "variableMethodId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId High))))

type Rep (AbsInterfaceMethodId High)

Defined in Language.JVM.Constant

type Rep (AbsInterfaceMethodId High) = D1 (MetaData "AbsInterfaceMethodId" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "AbsInterfaceMethodId" PrefixI True) (S1 (MetaSel (Just "interfaceMethodId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InClass MethodId High))))

type Rep (Constant High)

Defined in Language.JVM.Constant

type Rep (Constant High) = D1 (MetaData "Constant" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (((C1 (MetaCons "CString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SizedByteString16)) :+: (C1 (MetaCons "CInteger" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int32)) :+: C1 (MetaCons "CFloat" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Float)))) :+: ((C1 (MetaCons "CLong" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int64)) :+: C1 (MetaCons "CDouble" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double))) :+: (C1 (MetaCons "CClassRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High))) :+: C1 (MetaCons "CStringRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ByteString High)))))) :+: ((C1 (MetaCons "CFieldRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass FieldId High))) :+: (C1 (MetaCons "CMethodRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId High))) :+: C1 (MetaCons "CInterfaceMethodRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId High))))) :+: ((C1 (MetaCons "CNameAndType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High))) :+: C1 (MetaCons "CMethodHandle" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandle High)))) :+: (C1 (MetaCons "CMethodType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodDescriptor High))) :+: C1 (MetaCons "CInvokeDynamic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InvokeDynamic High)))))))

type Rep (ConstantPool High)

Defined in Language.JVM.ConstantPool

type Rep (ConstantPool High) = D1 (MetaData "ConstantPool" "Language.JVM.ConstantPool" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "ConstantPool" PrefixI True) (S1 (MetaSel (Just "unConstantPool") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (IntMap (Constant High)))))

type Rep (ByteCodeOpr High)

Defined in Language.JVM.ByteCode

type Rep (ByteCodeOpr High)

type Rep (SwitchTable High)

Defined in Language.JVM.ByteCode

type Rep (SwitchTable High)

type Rep (CConstant High)

Defined in Language.JVM.ByteCode

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

Defined in Language.JVM.ByteCode

type Rep (Invocation High) = D1 (MetaData "Invocation" "Language.JVM.ByteCode" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) ((C1 (MetaCons "InvkSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsVariableMethodId High))) :+: C1 (MetaCons "InvkVirtual" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsMethodId High)))) :+: (C1 (MetaCons "InvkStatic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef 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 (DeepRef AbsInterfaceMethodId High))) :+: C1 (MetaCons "InvkDynamic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef InvokeDynamic High))))))

type Rep (ByteCodeInst High)

Defined in Language.JVM.ByteCode

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

Defined in Language.JVM.ByteCode

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

Defined in Language.JVM.Attribute.Base

type Rep (Attribute High) = D1 (MetaData "Attribute" "Language.JVM.Attribute.Base" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "Attribute" PrefixI True) (S1 (MetaSel (Just "aName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High)) :*: S1 (MetaSel (Just "aInfo'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SizedByteString32)))

type Rep (VerificationTypeInfo High)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (VerificationTypeInfo High) = D1 (MetaData "VerificationTypeInfo" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (((C1 (MetaCons "VTTop" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "VTInteger" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "VTFloat" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "VTLong" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "VTDouble" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "VTNull" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "VTUninitializedThis" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "VTObject" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref ClassName High))) :+: C1 (MetaCons "VTUninitialized" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16))))))

type Rep (StackMapFrameType High)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrameType High) = D1 (MetaData "StackMapFrameType" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) ((C1 (MetaCons "SameFrame" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SameLocals1StackItemFrame" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (VerificationTypeInfo High)))) :+: (C1 (MetaCons "ChopFrame" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)) :+: (C1 (MetaCons "AppendFrame" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [VerificationTypeInfo High])) :+: C1 (MetaCons "FullFrame" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (VerificationTypeInfo High))) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (VerificationTypeInfo High)))))))

type Rep (StackMapFrame High)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrame High) = D1 (MetaData "StackMapFrame" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "StackMapFrame" PrefixI True) (S1 (MetaSel (Just "deltaOffset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DeltaOffset High)) :*: S1 (MetaSel (Just "frameType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (StackMapFrameType High))))

type Rep (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

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

type Rep (Signature High)

Defined in Language.JVM.Attribute.Signature

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

type Rep (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

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

type Rep (EnclosingMethod High)

Defined in Language.JVM.Attribute.EnclosingMethod

type Rep (EnclosingMethod High) = D1 (MetaData "EnclosingMethod" "Language.JVM.Attribute.EnclosingMethod" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "EnclosingMethod" PrefixI True) (S1 (MetaSel (Just "enclosingClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :*: S1 (MetaSel (Just "enclosingMethodName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe MethodId) High))))

type Rep (ConstantValue High)

Defined in Language.JVM.Attribute.ConstantValue

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

type Rep (CodeAttributes High)

Defined in Language.JVM.Attribute.Code

type Rep (CodeAttributes High) = D1 (MetaData "CodeAttributes" "Language.JVM.Attribute.Code" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "CodeAttributes" PrefixI True) (S1 (MetaSel (Just "caStackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [StackMapTable High]) :*: (S1 (MetaSel (Just "caLineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LineNumberTable High]) :*: S1 (MetaSel (Just "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute High]))))

type Rep (ExceptionTable High)

Defined in Language.JVM.Attribute.Code

type Rep (ExceptionTable High) = D1 (MetaData "ExceptionTable" "Language.JVM.Attribute.Code" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "ExceptionTable" PrefixI True) ((S1 (MetaSel (Just "start") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef High)) :*: S1 (MetaSel (Just "end") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef High))) :*: (S1 (MetaSel (Just "handler") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef High)) :*: S1 (MetaSel (Just "catchType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe ClassName) High)))))

type Rep (Code High)

Defined in Language.JVM.Attribute.Code

type Rep (Code High) = D1 (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "Code" PrefixI True) ((S1 (MetaSel (Just "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :*: S1 (MetaSel (Just "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :*: (S1 (MetaSel (Just "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCode High)) :*: (S1 (MetaSel (Just "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (ExceptionTable High))) :*: S1 (MetaSel (Just "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes CodeAttributes High))))))

type Rep (BootstrapMethod High)

Defined in Language.JVM.Attribute.BootstrapMethods

type Rep (BootstrapMethod High) = D1 (MetaData "BootstrapMethod" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "BootstrapMethod" PrefixI True) (S1 (MetaSel (Just "method") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef MethodHandle High)) :*: S1 (MetaSel (Just "arguments") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Ref JValue High)))))

type Rep (BootstrapMethods High)

Defined in Language.JVM.Attribute.BootstrapMethods

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

type Rep (MethodAttributes High)

Defined in Language.JVM.Method

type Rep (MethodAttributes High) = D1 (MetaData "MethodAttributes" "Language.JVM.Method" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MethodAttributes" PrefixI True) ((S1 (MetaSel (Just "maCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Code High]) :*: S1 (MetaSel (Just "maExceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exceptions High])) :*: (S1 (MetaSel (Just "maSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature High]) :*: S1 (MetaSel (Just "maOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute High]))))

type Rep (Method High)

Defined in Language.JVM.Method

type Rep (Method High) = D1 (MetaData "Method" "Language.JVM.Method" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "Method" PrefixI True) ((S1 (MetaSel (Just "mAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 MAccessFlag)) :*: S1 (MetaSel (Just "mName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High))) :*: (S1 (MetaSel (Just "mDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodDescriptor High)) :*: S1 (MetaSel (Just "mAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes MethodAttributes High)))))

type Rep (FieldAttributes High)

Defined in Language.JVM.Field

type Rep (FieldAttributes High) = D1 (MetaData "FieldAttributes" "Language.JVM.Field" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "FieldAttributes" PrefixI True) (S1 (MetaSel (Just "faConstantValues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ConstantValue High]) :*: (S1 (MetaSel (Just "faSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature High]) :*: S1 (MetaSel (Just "faOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute High]))))

type Rep (Field High)

Defined in Language.JVM.Field

type Rep (Field High) = D1 (MetaData "Field" "Language.JVM.Field" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "Field" PrefixI True) ((S1 (MetaSel (Just "fAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 FAccessFlag)) :*: S1 (MetaSel (Just "fName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High))) :*: (S1 (MetaSel (Just "fDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref FieldDescriptor High)) :*: S1 (MetaSel (Just "fAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes FieldAttributes High)))))

type Rep (InnerClass High)

Defined in Language.JVM.Attribute.InnerClasses

type Rep (InnerClass High) = D1 (MetaData "InnerClass" "Language.JVM.Attribute.InnerClasses" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InnerClass" PrefixI True) ((S1 (MetaSel (Just "icClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :*: S1 (MetaSel (Just "icOuterClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe ClassName) High))) :*: (S1 (MetaSel (Just "icInnerName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe Text) High)) :*: S1 (MetaSel (Just "icInnerAccessFlags") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 ICAccessFlag)))))

type Rep (InnerClasses High)

Defined in Language.JVM.Attribute.InnerClasses

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

type Rep (ClassAttributes High)

Defined in Language.JVM.ClassFile

type Rep (ClassAttributes High) = D1 (MetaData "ClassAttributes" "Language.JVM.ClassFile" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "ClassAttributes" PrefixI True) ((S1 (MetaSel (Just "caBootstrapMethods") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [BootstrapMethods High]) :*: S1 (MetaSel (Just "caSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature High])) :*: (S1 (MetaSel (Just "caEnclosingMethod") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [EnclosingMethod High]) :*: (S1 (MetaSel (Just "caInnerClasses") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [InnerClasses High]) :*: S1 (MetaSel (Just "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute High])))))

type Rep (ClassFile High)

Defined in Language.JVM.ClassFile

type Rep (ClassFile High) = D1 (MetaData "ClassFile" "Language.JVM.ClassFile" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "ClassFile" PrefixI True) (((S1 (MetaSel (Just "cMagicNumber") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word32) :*: S1 (MetaSel (Just "cMinorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :*: (S1 (MetaSel (Just "cMajorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :*: (S1 (MetaSel (Just "cConstantPool") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Choice (ConstantPool High) () High)) :*: S1 (MetaSel (Just "cAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 CAccessFlag))))) :*: ((S1 (MetaSel (Just "cThisClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :*: (S1 (MetaSel (Just "cSuperClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :*: S1 (MetaSel (Just "cInterfaces") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Ref ClassName High))))) :*: (S1 (MetaSel (Just "cFields'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Field High))) :*: (S1 (MetaSel (Just "cMethods'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Method High))) :*: S1 (MetaSel (Just "cAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes ClassAttributes High)))))))

type Rep (InClass FieldId High)

Defined in Language.JVM.Constant

type Rep (InClass FieldId High) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref FieldId High))))

type Rep (InClass MethodId High)

Defined in Language.JVM.Constant

type Rep (InClass MethodId High) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodId High))))

type Ref v r = Choice Index v r

A reference is a choice between an index and a value.

type Index = Word16

An index into the constant pool.

type DeepRef v r = Ref (v r) r

A deep reference points to something that itself is staged.

type family Choice a b r

The basic part of the stage system is the choice. The Choice chooses between two types depending on the stage.

Instances

type Choice a b Low

Defined in Language.JVM.Stage

type Choice a b Low = a

type Choice a b High

Defined in Language.JVM.Stage

type Choice a b High = b