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

Language.JVM.Stage

Description

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.

Synopsis

Documentation

data Low Source #

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

Instances

Eq (InvokeDynamic Low) #
Methods (==) :: InvokeDynamic Low -> InvokeDynamic Low -> Bool # (/=) :: InvokeDynamic Low -> InvokeDynamic Low -> Bool #
Eq (MethodHandleInterface Low) #
Methods (==) :: MethodHandleInterface Low -> MethodHandleInterface Low -> Bool # (/=) :: MethodHandleInterface Low -> MethodHandleInterface Low -> Bool #
Eq (MethodHandleMethod Low) #
Methods (==) :: MethodHandleMethod Low -> MethodHandleMethod Low -> Bool # (/=) :: MethodHandleMethod Low -> MethodHandleMethod Low -> Bool #
Eq (MethodHandleField Low) #
Methods (==) :: MethodHandleField Low -> MethodHandleField Low -> Bool # (/=) :: MethodHandleField Low -> MethodHandleField Low -> Bool #
Eq (MethodHandle Low) #
Methods (==) :: MethodHandle Low -> MethodHandle Low -> Bool # (/=) :: MethodHandle Low -> MethodHandle Low -> Bool #
Eq (AbsVariableMethodId Low) #
Methods (==) :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Bool # (/=) :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Bool #
Eq (AbsInterfaceMethodId Low) #
Methods (==) :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Bool # (/=) :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Bool #
Eq (Constant Low) #
Methods (==) :: Constant Low -> Constant Low -> Bool # (/=) :: Constant Low -> Constant Low -> Bool #
Eq (ConstantPool Low) #
Methods (==) :: ConstantPool Low -> ConstantPool Low -> Bool # (/=) :: ConstantPool Low -> ConstantPool Low -> Bool #
Eq (ByteCodeOpr Low) #
Methods (==) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool # (/=) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool #
Eq (SwitchTable Low) #
Methods (==) :: SwitchTable Low -> SwitchTable Low -> Bool # (/=) :: SwitchTable Low -> SwitchTable Low -> Bool #
Eq (CConstant Low) #
Methods (==) :: CConstant Low -> CConstant Low -> Bool # (/=) :: CConstant Low -> CConstant Low -> Bool #
Eq (Invocation Low) #
Methods (==) :: Invocation Low -> Invocation Low -> Bool # (/=) :: Invocation Low -> Invocation Low -> Bool #
Eq (ExactArrayType Low) #
Methods (==) :: ExactArrayType Low -> ExactArrayType Low -> Bool # (/=) :: ExactArrayType Low -> ExactArrayType Low -> Bool #
Eq (ByteCodeInst Low) #
Methods (==) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool # (/=) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool #
Eq (ByteCode Low) #
Methods (==) :: ByteCode Low -> ByteCode Low -> Bool # (/=) :: ByteCode Low -> ByteCode Low -> Bool #
Eq (Attribute Low) #
Methods (==) :: Attribute Low -> Attribute Low -> Bool # (/=) :: Attribute Low -> Attribute Low -> Bool #
Eq (VerificationTypeInfo Low) #
Methods (==) :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> Bool # (/=) :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> Bool #
Eq (StackMapFrameType Low) #
Methods (==) :: StackMapFrameType Low -> StackMapFrameType Low -> Bool # (/=) :: StackMapFrameType Low -> StackMapFrameType Low -> Bool #
Eq (StackMapFrame Low) #
Methods (==) :: StackMapFrame Low -> StackMapFrame Low -> Bool # (/=) :: StackMapFrame Low -> StackMapFrame Low -> Bool #
Eq (StackMapTable Low) #
Methods (==) :: StackMapTable Low -> StackMapTable Low -> Bool # (/=) :: StackMapTable Low -> StackMapTable Low -> Bool #
Eq (Signature Low) #
Methods (==) :: Signature Low -> Signature Low -> Bool # (/=) :: Signature Low -> Signature Low -> Bool #
Eq (Exceptions Low) #
Methods (==) :: Exceptions Low -> Exceptions Low -> Bool # (/=) :: Exceptions Low -> Exceptions Low -> Bool #
Eq (ConstantValue Low) #
Methods (==) :: ConstantValue Low -> ConstantValue Low -> Bool # (/=) :: ConstantValue Low -> ConstantValue Low -> Bool #
Eq (CodeAttributes Low) #
Methods (==) :: CodeAttributes Low -> CodeAttributes Low -> Bool # (/=) :: CodeAttributes Low -> CodeAttributes Low -> Bool #
Eq (ExceptionTable Low) #
Methods (==) :: ExceptionTable Low -> ExceptionTable Low -> Bool # (/=) :: ExceptionTable Low -> ExceptionTable Low -> Bool #
Eq (Code Low) #
Methods (==) :: Code Low -> Code Low -> Bool # (/=) :: Code Low -> Code Low -> Bool #
Eq (BootstrapMethod Low) #
Methods (==) :: BootstrapMethod Low -> BootstrapMethod Low -> Bool # (/=) :: BootstrapMethod Low -> BootstrapMethod Low -> Bool #
Eq (BootstrapMethods Low) #
Methods (==) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (/=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool #
Eq (MethodAttributes Low) #
Methods (==) :: MethodAttributes Low -> MethodAttributes Low -> Bool # (/=) :: MethodAttributes Low -> MethodAttributes Low -> Bool #
Eq (Method Low) #
Methods (==) :: Method Low -> Method Low -> Bool # (/=) :: Method Low -> Method Low -> Bool #
Eq (FieldAttributes Low) #
Methods (==) :: FieldAttributes Low -> FieldAttributes Low -> Bool # (/=) :: FieldAttributes Low -> FieldAttributes Low -> Bool #
Eq (Field Low) #
Methods (==) :: Field Low -> Field Low -> Bool # (/=) :: Field Low -> Field Low -> Bool #
Eq (ClassAttributes Low) #
Methods (==) :: ClassAttributes Low -> ClassAttributes Low -> Bool # (/=) :: ClassAttributes Low -> ClassAttributes Low -> Bool #
Eq (ClassFile Low) #
Methods (==) :: ClassFile Low -> ClassFile Low -> Bool # (/=) :: ClassFile Low -> ClassFile Low -> Bool #
Ord (InvokeDynamic Low) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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 (ExactArrayType Low) #
Methods compare :: ExactArrayType Low -> ExactArrayType Low -> Ordering # (<) :: ExactArrayType Low -> ExactArrayType Low -> Bool # (<=) :: ExactArrayType Low -> ExactArrayType Low -> Bool # (>) :: ExactArrayType Low -> ExactArrayType Low -> Bool # (>=) :: ExactArrayType Low -> ExactArrayType Low -> Bool # max :: ExactArrayType Low -> ExactArrayType Low -> ExactArrayType Low # min :: ExactArrayType Low -> ExactArrayType Low -> ExactArrayType Low #
Ord (ByteCodeInst Low) #
Methods compare :: ByteCodeInst Low -> ByteCodeInst Low -> Ordering # (<) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool # (<=) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool # (>) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool # (>=) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool # max :: ByteCodeInst Low -> ByteCodeInst Low -> ByteCodeInst Low # min :: ByteCodeInst Low -> ByteCodeInst Low -> ByteCodeInst Low #
Ord (ByteCode Low) #
Methods compare :: ByteCode Low -> ByteCode Low -> Ordering # (<) :: ByteCode Low -> ByteCode Low -> Bool # (<=) :: ByteCode Low -> ByteCode Low -> Bool # (>) :: ByteCode Low -> ByteCode Low -> Bool # (>=) :: ByteCode Low -> ByteCode Low -> Bool # max :: ByteCode Low -> ByteCode Low -> ByteCode Low # min :: ByteCode Low -> ByteCode Low -> ByteCode Low #
Ord (Attribute Low) #
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) #
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) #
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) #
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) #
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) #
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) #
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 (ConstantValue Low) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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 (ClassAttributes Low) #
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) #
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) #
Methods showsPrec :: Int -> InvokeDynamic Low -> ShowS # show :: InvokeDynamic Low -> String # showList :: [InvokeDynamic Low] -> ShowS #
Show (MethodHandleInterface Low) #
Methods showsPrec :: Int -> MethodHandleInterface Low -> ShowS # show :: MethodHandleInterface Low -> String # showList :: [MethodHandleInterface Low] -> ShowS #
Show (MethodHandleMethod Low) #
Methods showsPrec :: Int -> MethodHandleMethod Low -> ShowS # show :: MethodHandleMethod Low -> String # showList :: [MethodHandleMethod Low] -> ShowS #
Show (MethodHandleField Low) #
Methods showsPrec :: Int -> MethodHandleField Low -> ShowS # show :: MethodHandleField Low -> String # showList :: [MethodHandleField Low] -> ShowS #
Show (MethodHandle Low) #
Methods showsPrec :: Int -> MethodHandle Low -> ShowS # show :: MethodHandle Low -> String # showList :: [MethodHandle Low] -> ShowS #
Show (AbsVariableMethodId Low) #
Methods showsPrec :: Int -> AbsVariableMethodId Low -> ShowS # show :: AbsVariableMethodId Low -> String # showList :: [AbsVariableMethodId Low] -> ShowS #
Show (AbsInterfaceMethodId Low) #
Methods showsPrec :: Int -> AbsInterfaceMethodId Low -> ShowS # show :: AbsInterfaceMethodId Low -> String # showList :: [AbsInterfaceMethodId Low] -> ShowS #
Show (Constant Low) #
Methods showsPrec :: Int -> Constant Low -> ShowS # show :: Constant Low -> String # showList :: [Constant Low] -> ShowS #
Show (ConstantPool Low) #
Methods showsPrec :: Int -> ConstantPool Low -> ShowS # show :: ConstantPool Low -> String # showList :: [ConstantPool Low] -> ShowS #
Show (ByteCodeOpr Low) #
Methods showsPrec :: Int -> ByteCodeOpr Low -> ShowS # show :: ByteCodeOpr Low -> String # showList :: [ByteCodeOpr Low] -> ShowS #
Show (SwitchTable Low) #
Methods showsPrec :: Int -> SwitchTable Low -> ShowS # show :: SwitchTable Low -> String # showList :: [SwitchTable Low] -> ShowS #
Show (CConstant Low) #
Methods showsPrec :: Int -> CConstant Low -> ShowS # show :: CConstant Low -> String # showList :: [CConstant Low] -> ShowS #
Show (Invocation Low) #
Methods showsPrec :: Int -> Invocation Low -> ShowS # show :: Invocation Low -> String # showList :: [Invocation Low] -> ShowS #
Show (ExactArrayType Low) #
Methods showsPrec :: Int -> ExactArrayType Low -> ShowS # show :: ExactArrayType Low -> String # showList :: [ExactArrayType Low] -> ShowS #
Show (ByteCodeInst Low) #
Methods showsPrec :: Int -> ByteCodeInst Low -> ShowS # show :: ByteCodeInst Low -> String # showList :: [ByteCodeInst Low] -> ShowS #
Show (ByteCode Low) #
Methods showsPrec :: Int -> ByteCode Low -> ShowS # show :: ByteCode Low -> String # showList :: [ByteCode Low] -> ShowS #
Show (Attribute Low) #
Methods showsPrec :: Int -> Attribute Low -> ShowS # show :: Attribute Low -> String # showList :: [Attribute Low] -> ShowS #
Show (VerificationTypeInfo Low) #
Methods showsPrec :: Int -> VerificationTypeInfo Low -> ShowS # show :: VerificationTypeInfo Low -> String # showList :: [VerificationTypeInfo Low] -> ShowS #
Show (StackMapFrameType Low) #
Methods showsPrec :: Int -> StackMapFrameType Low -> ShowS # show :: StackMapFrameType Low -> String # showList :: [StackMapFrameType Low] -> ShowS #
Show (StackMapFrame Low) #
Methods showsPrec :: Int -> StackMapFrame Low -> ShowS # show :: StackMapFrame Low -> String # showList :: [StackMapFrame Low] -> ShowS #
Show (StackMapTable Low) #
Methods showsPrec :: Int -> StackMapTable Low -> ShowS # show :: StackMapTable Low -> String # showList :: [StackMapTable Low] -> ShowS #
Show (Signature Low) #
Methods showsPrec :: Int -> Signature Low -> ShowS # show :: Signature Low -> String # showList :: [Signature Low] -> ShowS #
Show (Exceptions Low) #
Methods showsPrec :: Int -> Exceptions Low -> ShowS # show :: Exceptions Low -> String # showList :: [Exceptions Low] -> ShowS #
Show (ConstantValue Low) #
Methods showsPrec :: Int -> ConstantValue Low -> ShowS # show :: ConstantValue Low -> String # showList :: [ConstantValue Low] -> ShowS #
Show (CodeAttributes Low) #
Methods showsPrec :: Int -> CodeAttributes Low -> ShowS # show :: CodeAttributes Low -> String # showList :: [CodeAttributes Low] -> ShowS #
Show (ExceptionTable Low) #
Methods showsPrec :: Int -> ExceptionTable Low -> ShowS # show :: ExceptionTable Low -> String # showList :: [ExceptionTable Low] -> ShowS #
Show (Code Low) #
Methods showsPrec :: Int -> Code Low -> ShowS # show :: Code Low -> String # showList :: [Code Low] -> ShowS #
Show (BootstrapMethod Low) #
Methods showsPrec :: Int -> BootstrapMethod Low -> ShowS # show :: BootstrapMethod Low -> String # showList :: [BootstrapMethod Low] -> ShowS #
Show (BootstrapMethods Low) #
Methods showsPrec :: Int -> BootstrapMethods Low -> ShowS # show :: BootstrapMethods Low -> String # showList :: [BootstrapMethods Low] -> ShowS #
Show (MethodAttributes Low) #
Methods showsPrec :: Int -> MethodAttributes Low -> ShowS # show :: MethodAttributes Low -> String # showList :: [MethodAttributes Low] -> ShowS #
Show (Method Low) #
Methods showsPrec :: Int -> Method Low -> ShowS # show :: Method Low -> String # showList :: [Method Low] -> ShowS #
Show (FieldAttributes Low) #
Methods showsPrec :: Int -> FieldAttributes Low -> ShowS # show :: FieldAttributes Low -> String # showList :: [FieldAttributes Low] -> ShowS #
Show (Field Low) #
Methods showsPrec :: Int -> Field Low -> ShowS # show :: Field Low -> String # showList :: [Field Low] -> ShowS #
Show (ClassAttributes Low) #
Methods showsPrec :: Int -> ClassAttributes Low -> ShowS # show :: ClassAttributes Low -> String # showList :: [ClassAttributes Low] -> ShowS #
Show (ClassFile Low) #
Methods showsPrec :: Int -> ClassFile Low -> ShowS # show :: ClassFile Low -> String # showList :: [ClassFile Low] -> ShowS #
Generic (InvokeDynamic Low) #
Associated Types type Rep (InvokeDynamic Low) :: * -> * # Methods from :: InvokeDynamic Low -> Rep (InvokeDynamic Low) x # to :: Rep (InvokeDynamic Low) x -> InvokeDynamic Low #
Generic (MethodHandleInterface Low) #
Associated Types type Rep (MethodHandleInterface Low) :: * -> * # Methods from :: MethodHandleInterface Low -> Rep (MethodHandleInterface Low) x # to :: Rep (MethodHandleInterface Low) x -> MethodHandleInterface Low #
Generic (MethodHandleMethod Low) #
Associated Types type Rep (MethodHandleMethod Low) :: * -> * # Methods from :: MethodHandleMethod Low -> Rep (MethodHandleMethod Low) x # to :: Rep (MethodHandleMethod Low) x -> MethodHandleMethod Low #
Generic (MethodHandleField Low) #
Associated Types type Rep (MethodHandleField Low) :: * -> * # Methods from :: MethodHandleField Low -> Rep (MethodHandleField Low) x # to :: Rep (MethodHandleField Low) x -> MethodHandleField Low #
Generic (MethodHandle Low) #
Associated Types type Rep (MethodHandle Low) :: * -> * # Methods from :: MethodHandle Low -> Rep (MethodHandle Low) x # to :: Rep (MethodHandle Low) x -> MethodHandle Low #
Generic (AbsVariableMethodId Low) #
Associated Types type Rep (AbsVariableMethodId Low) :: * -> * # Methods from :: AbsVariableMethodId Low -> Rep (AbsVariableMethodId Low) x # to :: Rep (AbsVariableMethodId Low) x -> AbsVariableMethodId Low #
Generic (AbsInterfaceMethodId Low) #
Associated Types type Rep (AbsInterfaceMethodId Low) :: * -> * # Methods from :: AbsInterfaceMethodId Low -> Rep (AbsInterfaceMethodId Low) x # to :: Rep (AbsInterfaceMethodId Low) x -> AbsInterfaceMethodId Low #
Generic (Constant Low) #
Associated Types type Rep (Constant Low) :: * -> * # Methods from :: Constant Low -> Rep (Constant Low) x # to :: Rep (Constant Low) x -> Constant Low #
Generic (ConstantPool Low) #
Associated Types type Rep (ConstantPool Low) :: * -> * # Methods from :: ConstantPool Low -> Rep (ConstantPool Low) x # to :: Rep (ConstantPool Low) x -> ConstantPool Low #
Generic (ByteCodeOpr Low) #
Associated Types type Rep (ByteCodeOpr Low) :: * -> * # Methods from :: ByteCodeOpr Low -> Rep (ByteCodeOpr Low) x # to :: Rep (ByteCodeOpr Low) x -> ByteCodeOpr Low #
Generic (SwitchTable Low) #
Associated Types type Rep (SwitchTable Low) :: * -> * # Methods from :: SwitchTable Low -> Rep (SwitchTable Low) x # to :: Rep (SwitchTable Low) x -> SwitchTable Low #
Generic (CConstant Low) #
Associated Types type Rep (CConstant Low) :: * -> * # Methods from :: CConstant Low -> Rep (CConstant Low) x # to :: Rep (CConstant Low) x -> CConstant Low #
Generic (Invocation Low) #
Associated Types type Rep (Invocation Low) :: * -> * # Methods from :: Invocation Low -> Rep (Invocation Low) x # to :: Rep (Invocation Low) x -> Invocation Low #
Generic (ExactArrayType Low) #
Associated Types type Rep (ExactArrayType Low) :: * -> * # Methods from :: ExactArrayType Low -> Rep (ExactArrayType Low) x # to :: Rep (ExactArrayType Low) x -> ExactArrayType Low #
Generic (ByteCodeInst Low) #
Associated Types type Rep (ByteCodeInst Low) :: * -> * # Methods from :: ByteCodeInst Low -> Rep (ByteCodeInst Low) x # to :: Rep (ByteCodeInst Low) x -> ByteCodeInst Low #
Generic (ByteCode Low) #
Associated Types type Rep (ByteCode Low) :: * -> * # Methods from :: ByteCode Low -> Rep (ByteCode Low) x # to :: Rep (ByteCode Low) x -> ByteCode Low #
Generic (Attribute Low) #
Associated Types type Rep (Attribute Low) :: * -> * # Methods from :: Attribute Low -> Rep (Attribute Low) x # to :: Rep (Attribute Low) x -> Attribute Low #
Generic (VerificationTypeInfo Low) #
Associated Types type Rep (VerificationTypeInfo Low) :: * -> * # Methods from :: VerificationTypeInfo Low -> Rep (VerificationTypeInfo Low) x # to :: Rep (VerificationTypeInfo Low) x -> VerificationTypeInfo Low #
Generic (StackMapFrameType Low) #
Associated Types type Rep (StackMapFrameType Low) :: * -> * # Methods from :: StackMapFrameType Low -> Rep (StackMapFrameType Low) x # to :: Rep (StackMapFrameType Low) x -> StackMapFrameType Low #
Generic (StackMapFrame Low) #
Associated Types type Rep (StackMapFrame Low) :: * -> * # Methods from :: StackMapFrame Low -> Rep (StackMapFrame Low) x # to :: Rep (StackMapFrame Low) x -> StackMapFrame Low #
Generic (StackMapTable Low) #
Associated Types type Rep (StackMapTable Low) :: * -> * # Methods from :: StackMapTable Low -> Rep (StackMapTable Low) x # to :: Rep (StackMapTable Low) x -> StackMapTable Low #
Generic (Signature Low) #
Associated Types type Rep (Signature Low) :: * -> * # Methods from :: Signature Low -> Rep (Signature Low) x # to :: Rep (Signature Low) x -> Signature Low #
Generic (Exceptions Low) #
Associated Types type Rep (Exceptions Low) :: * -> * # Methods from :: Exceptions Low -> Rep (Exceptions Low) x # to :: Rep (Exceptions Low) x -> Exceptions Low #
Generic (ConstantValue Low) #
Associated Types type Rep (ConstantValue Low) :: * -> * # Methods from :: ConstantValue Low -> Rep (ConstantValue Low) x # to :: Rep (ConstantValue Low) x -> ConstantValue Low #
Generic (CodeAttributes Low) #
Associated Types type Rep (CodeAttributes Low) :: * -> * # Methods from :: CodeAttributes Low -> Rep (CodeAttributes Low) x # to :: Rep (CodeAttributes Low) x -> CodeAttributes Low #
Generic (ExceptionTable Low) #
Associated Types type Rep (ExceptionTable Low) :: * -> * # Methods from :: ExceptionTable Low -> Rep (ExceptionTable Low) x # to :: Rep (ExceptionTable Low) x -> ExceptionTable Low #
Generic (Code Low) #
Associated Types type Rep (Code Low) :: * -> * # Methods from :: Code Low -> Rep (Code Low) x # to :: Rep (Code Low) x -> Code Low #
Generic (BootstrapMethod Low) #
Associated Types type Rep (BootstrapMethod Low) :: * -> * # Methods from :: BootstrapMethod Low -> Rep (BootstrapMethod Low) x # to :: Rep (BootstrapMethod Low) x -> BootstrapMethod Low #
Generic (BootstrapMethods Low) #
Associated Types type Rep (BootstrapMethods Low) :: * -> * # Methods from :: BootstrapMethods Low -> Rep (BootstrapMethods Low) x # to :: Rep (BootstrapMethods Low) x -> BootstrapMethods Low #
Generic (MethodAttributes Low) #
Associated Types type Rep (MethodAttributes Low) :: * -> * # Methods from :: MethodAttributes Low -> Rep (MethodAttributes Low) x # to :: Rep (MethodAttributes Low) x -> MethodAttributes Low #
Generic (Method Low) #
Associated Types type Rep (Method Low) :: * -> * # Methods from :: Method Low -> Rep (Method Low) x # to :: Rep (Method Low) x -> Method Low #
Generic (FieldAttributes Low) #
Associated Types type Rep (FieldAttributes Low) :: * -> * # Methods from :: FieldAttributes Low -> Rep (FieldAttributes Low) x # to :: Rep (FieldAttributes Low) x -> FieldAttributes Low #
Generic (Field Low) #
Associated Types type Rep (Field Low) :: * -> * # Methods from :: Field Low -> Rep (Field Low) x # to :: Rep (Field Low) x -> Field Low #
Generic (ClassAttributes Low) #
Associated Types type Rep (ClassAttributes Low) :: * -> * # Methods from :: ClassAttributes Low -> Rep (ClassAttributes Low) x # to :: Rep (ClassAttributes Low) x -> ClassAttributes Low #
Generic (ClassFile Low) #
Associated Types type Rep (ClassFile Low) :: * -> * # Methods from :: ClassFile Low -> Rep (ClassFile Low) x # to :: Rep (ClassFile Low) x -> ClassFile Low #
Binary (InvokeDynamic Low) #
Methods put :: InvokeDynamic Low -> Put # get :: Get (InvokeDynamic Low) # putList :: [InvokeDynamic Low] -> Put #
Binary (MethodHandle Low) #
Methods put :: MethodHandle Low -> Put # get :: Get (MethodHandle Low) # putList :: [MethodHandle Low] -> Put #
Binary (AbsVariableMethodId Low) #
Methods put :: AbsVariableMethodId Low -> Put # get :: Get (AbsVariableMethodId Low) # putList :: [AbsVariableMethodId Low] -> Put #
Binary (AbsInterfaceMethodId Low) #
Methods put :: AbsInterfaceMethodId Low -> Put # get :: Get (AbsInterfaceMethodId Low) # putList :: [AbsInterfaceMethodId Low] -> Put #
Binary (Constant Low) #
Methods put :: Constant Low -> Put # get :: Get (Constant Low) # putList :: [Constant Low] -> Put #
Binary (ConstantPool Low) #
Methods put :: ConstantPool Low -> Put # get :: Get (ConstantPool Low) # putList :: [ConstantPool Low] -> Put #
Binary (ByteCodeOpr Low) #
Methods put :: ByteCodeOpr Low -> Put # get :: Get (ByteCodeOpr Low) # putList :: [ByteCodeOpr Low] -> Put #
Binary (ByteCodeInst Low) #
Methods put :: ByteCodeInst Low -> Put # get :: Get (ByteCodeInst Low) # putList :: [ByteCodeInst Low] -> Put #
Binary (ByteCode Low) #
Methods put :: ByteCode Low -> Put # get :: Get (ByteCode Low) # putList :: [ByteCode Low] -> Put #
Binary (Attribute Low) #
Methods put :: Attribute Low -> Put # get :: Get (Attribute Low) # putList :: [Attribute Low] -> Put #
Binary (VerificationTypeInfo Low) #
Methods put :: VerificationTypeInfo Low -> Put # get :: Get (VerificationTypeInfo Low) # putList :: [VerificationTypeInfo Low] -> Put #
Binary (StackMapFrame Low) #
Methods put :: StackMapFrame Low -> Put # get :: Get (StackMapFrame Low) # putList :: [StackMapFrame Low] -> Put #
Binary (StackMapTable Low) #
Methods put :: StackMapTable Low -> Put # get :: Get (StackMapTable Low) # putList :: [StackMapTable Low] -> Put #
Binary (Signature Low) #
Methods put :: Signature Low -> Put # get :: Get (Signature Low) # putList :: [Signature Low] -> Put #
Binary (LineNumberTable Low) #
Methods put :: LineNumberTable Low -> Put # get :: Get (LineNumberTable Low) # putList :: [LineNumberTable Low] -> Put #
Binary (Exceptions Low) #
Methods put :: Exceptions Low -> Put # get :: Get (Exceptions Low) # putList :: [Exceptions Low] -> Put #
Binary (ConstantValue Low) #
Methods put :: ConstantValue Low -> Put # get :: Get (ConstantValue Low) # putList :: [ConstantValue Low] -> Put #
Binary (ExceptionTable Low) #
Methods put :: ExceptionTable Low -> Put # get :: Get (ExceptionTable Low) # putList :: [ExceptionTable Low] -> Put #
Binary (Code Low) #
Methods put :: Code Low -> Put # get :: Get (Code Low) # putList :: [Code Low] -> Put #
Binary (BootstrapMethod Low) #
Methods put :: BootstrapMethod Low -> Put # get :: Get (BootstrapMethod Low) # putList :: [BootstrapMethod Low] -> Put #
Binary (BootstrapMethods Low) #
Methods put :: BootstrapMethods Low -> Put # get :: Get (BootstrapMethods Low) # putList :: [BootstrapMethods Low] -> Put #
Binary (Method Low) #
Methods put :: Method Low -> Put # get :: Get (Method Low) # putList :: [Method Low] -> Put #
Binary (Field Low) #
Methods put :: Field Low -> Put # get :: Get (Field Low) # putList :: [Field Low] -> Put #
Binary (ClassFile Low) #
Methods put :: ClassFile Low -> Put # get :: Get (ClassFile Low) # putList :: [ClassFile Low] -> Put #
NFData (InvokeDynamic Low) #
Methods rnf :: InvokeDynamic Low -> () #
NFData (MethodHandleInterface Low) #
Methods rnf :: MethodHandleInterface Low -> () #
NFData (MethodHandleMethod Low) #
Methods rnf :: MethodHandleMethod Low -> () #
NFData (MethodHandleField Low) #
Methods rnf :: MethodHandleField Low -> () #
NFData (MethodHandle Low) #
Methods rnf :: MethodHandle Low -> () #
NFData (AbsVariableMethodId Low) #
Methods rnf :: AbsVariableMethodId Low -> () #
NFData (AbsInterfaceMethodId Low) #
Methods rnf :: AbsInterfaceMethodId Low -> () #
NFData (Constant Low) #
Methods rnf :: Constant Low -> () #
NFData (ConstantPool Low) #
Methods rnf :: ConstantPool Low -> () #
NFData (ByteCodeOpr Low) #
Methods rnf :: ByteCodeOpr Low -> () #
NFData (SwitchTable Low) #
Methods rnf :: SwitchTable Low -> () #
NFData (CConstant Low) #
Methods rnf :: CConstant Low -> () #
NFData (Invocation Low) #
Methods rnf :: Invocation Low -> () #
NFData (ExactArrayType Low) #
Methods rnf :: ExactArrayType Low -> () #
NFData (ByteCodeInst Low) #
Methods rnf :: ByteCodeInst Low -> () #
NFData (ByteCode Low) #
Methods rnf :: ByteCode Low -> () #
NFData (Attribute Low) #
Methods rnf :: Attribute Low -> () #
NFData (VerificationTypeInfo Low) #
Methods rnf :: VerificationTypeInfo Low -> () #
NFData (StackMapFrameType Low) #
Methods rnf :: StackMapFrameType Low -> () #
NFData (StackMapFrame Low) #
Methods rnf :: StackMapFrame Low -> () #
NFData (StackMapTable Low) #
Methods rnf :: StackMapTable Low -> () #
NFData (Signature Low) #
Methods rnf :: Signature Low -> () #
NFData (Exceptions Low) #
Methods rnf :: Exceptions Low -> () #
NFData (ConstantValue Low) #
Methods rnf :: ConstantValue Low -> () #
NFData (CodeAttributes Low) #
Methods rnf :: CodeAttributes Low -> () #
NFData (ExceptionTable Low) #
Methods rnf :: ExceptionTable Low -> () #
NFData (Code Low) #
Methods rnf :: Code Low -> () #
NFData (BootstrapMethod Low) #
Methods rnf :: BootstrapMethod Low -> () #
NFData (BootstrapMethods Low) #
Methods rnf :: BootstrapMethods Low -> () #
NFData (MethodAttributes Low) #
Methods rnf :: MethodAttributes Low -> () #
NFData (Method Low) #
Methods rnf :: Method Low -> () #
NFData (FieldAttributes Low) #
Methods rnf :: FieldAttributes Low -> () #
NFData (Field Low) #
Methods rnf :: Field Low -> () #
NFData (ClassAttributes Low) #
Methods rnf :: ClassAttributes Low -> () #
NFData (ClassFile Low) #
Methods rnf :: ClassFile Low -> () #
IsAttribute (StackMapTable Low) Source #	`StackMapTable` is an Attribute.
Methods attrName :: Const Text (StackMapTable Low) Source #
IsAttribute (Signature Low) Source #
Methods attrName :: Const Text (Signature Low) Source #
IsAttribute (LineNumberTable Low) Source #	`Signature` is an Attribute.
Methods attrName :: Const Text (LineNumberTable Low) Source #
IsAttribute (Exceptions Low) Source #	`Exceptions` is an Attribute.
Methods attrName :: Const Text (Exceptions Low) Source #
IsAttribute (ConstantValue Low) Source #	`ConstantValue` is an Attribute.
Methods attrName :: Const Text (ConstantValue Low) Source #
IsAttribute (Code Low) Source #	`Code` is an Attribute.
Methods attrName :: Const Text (Code Low) Source #
IsAttribute (BootstrapMethods Low) Source #	`BootstrapMethods` is an Attribute.
Methods attrName :: Const Text (BootstrapMethods Low) Source #
Eq (InClass FieldId Low) #
Methods (==) :: InClass FieldId Low -> InClass FieldId Low -> Bool # (/=) :: InClass FieldId Low -> InClass FieldId Low -> Bool #
Eq (InClass MethodId Low) #
Methods (==) :: InClass MethodId Low -> InClass MethodId Low -> Bool # (/=) :: InClass MethodId Low -> InClass MethodId Low -> Bool #
Ord (InClass FieldId Low) #
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) #
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) #
Methods showsPrec :: Int -> InClass FieldId Low -> ShowS # show :: InClass FieldId Low -> String # showList :: [InClass FieldId Low] -> ShowS #
Show (InClass MethodId Low) #
Methods showsPrec :: Int -> InClass MethodId Low -> ShowS # show :: InClass MethodId Low -> String # showList :: [InClass MethodId Low] -> ShowS #
Generic (InClass FieldId Low) #
Associated Types type Rep (InClass FieldId Low) :: * -> * # Methods from :: InClass FieldId Low -> Rep (InClass FieldId Low) x # to :: Rep (InClass FieldId Low) x -> InClass FieldId Low #
Generic (InClass MethodId Low) #
Associated Types type Rep (InClass MethodId Low) :: * -> * # Methods from :: InClass MethodId Low -> Rep (InClass MethodId Low) x # to :: Rep (InClass MethodId Low) x -> InClass MethodId Low #
Binary (InClass FieldId Low) #
Methods put :: InClass FieldId Low -> Put # get :: Get (InClass FieldId Low) # putList :: [InClass FieldId Low] -> Put #
Binary (InClass MethodId Low) #
Methods put :: InClass MethodId Low -> Put # get :: Get (InClass MethodId Low) # putList :: [InClass MethodId Low] -> Put #
NFData (InClass FieldId Low) #
Methods rnf :: InClass FieldId Low -> () #
NFData (InClass MethodId Low) #
Methods rnf :: InClass MethodId Low -> () #
type Choice a b Low Source #
type Choice a b Low = a
type Rep (InvokeDynamic Low) #
type Rep (InvokeDynamic Low) = D1 * (MetaData "InvokeDynamic" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "InvokeDynamic" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "invokeDynamicAttrIndex") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) (S1 * (MetaSel (Just Symbol "invokeDynamicMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref MethodId Low)))))
type Rep (MethodHandleInterface Low) #
type Rep (MethodHandleInterface Low) = D1 * (MetaData "MethodHandleInterface" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "MethodHandleInterface" PrefixI True) (S1 * (MetaSel (Just Symbol "methodHandleInterfaceRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsInterfaceMethodId Low))))
type Rep (MethodHandleMethod Low) #
type Rep (MethodHandleMethod Low) = D1 * (MetaData "MethodHandleMethod" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "MHInvokeVirtual" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsMethodId Low)))) (C1 * (MetaCons "MHInvokeStatic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsVariableMethodId Low))))) ((:+:) * (C1 * (MetaCons "MHInvokeSpecial" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsVariableMethodId Low)))) (C1 * (MetaCons "MHNewInvokeSpecial" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsMethodId Low))))))
type Rep (MethodHandleField Low) #
type Rep (MethodHandleField Low) = D1 * (MetaData "MethodHandleField" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "MethodHandleField" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "methodHandleFieldKind") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * MethodHandleFieldKind)) (S1 * (MetaSel (Just Symbol "methodHandleFieldRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsFieldId Low)))))
type Rep (MethodHandle Low) #
type Rep (MethodHandle Low) = D1 * (MetaData "MethodHandle" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * (C1 * (MetaCons "MHField" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (MethodHandleField Low)))) ((:+:) * (C1 * (MetaCons "MHMethod" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (MethodHandleMethod Low)))) (C1 * (MetaCons "MHInterface" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (MethodHandleInterface Low))))))
type Rep (AbsVariableMethodId Low) #
type Rep (AbsVariableMethodId Low) = D1 * (MetaData "AbsVariableMethodId" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * (C1 * (MetaCons "VInterfaceMethodId" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (AbsInterfaceMethodId Low)))) (C1 * (MetaCons "VMethodId" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (AbsMethodId Low)))))
type Rep (AbsInterfaceMethodId Low) #
type Rep (AbsInterfaceMethodId Low) = D1 * (MetaData "AbsInterfaceMethodId" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "AbsInterfaceMethodId" PrefixI True) (S1 * (MetaSel (Just Symbol "interfaceMethodId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (InClass MethodId Low))))
type Rep (Constant Low) #
type Rep (Constant Low) = D1 * (MetaData "Constant" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "CString" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * SizedByteString16))) ((:+:) * (C1 * (MetaCons "CInteger" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int32))) (C1 * (MetaCons "CFloat" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Float))))) ((:+:) * ((:+:) * (C1 * (MetaCons "CLong" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int64))) (C1 * (MetaCons "CDouble" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)))) ((:+:) * (C1 * (MetaCons "CClassRef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text Low)))) (C1 * (MetaCons "CStringRef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ByteString Low))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "CFieldRef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (InClass FieldId Low)))) ((:+:) * (C1 * (MetaCons "CMethodRef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (InClass MethodId Low)))) (C1 * (MetaCons "CInterfaceMethodRef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (InClass MethodId Low)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "CNameAndType" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text Low))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text Low))))) (C1 * (MetaCons "CMethodHandle" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (MethodHandle Low))))) ((:+:) * (C1 * (MetaCons "CMethodType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref MethodDescriptor Low)))) (C1 * (MetaCons "CInvokeDynamic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (InvokeDynamic Low))))))))
type Rep (ConstantPool Low) #
type Rep (ConstantPool Low) = D1 * (MetaData "ConstantPool" "Language.JVM.ConstantPool" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "ConstantPool" PrefixI True) (S1 * (MetaSel (Just Symbol "unConstantPool") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (IntMap (Constant Low)))))
type Rep (ByteCodeOpr Low) #
type Rep (ByteCodeOpr Low)
type Rep (SwitchTable Low) #
type Rep (SwitchTable Low)
type Rep (CConstant Low) #
type Rep (CConstant Low) = D1 * (MetaData "CConstant" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "CNull" PrefixI False) (U1 )) (C1 (MetaCons "CIntM1" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "CInt0" PrefixI False) (U1 )) (C1 (MetaCons "CInt1" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "CInt2" PrefixI False) (U1 )) (C1 (MetaCons "CInt3" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "CInt4" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "CInt5" PrefixI False) (U1 )) (C1 (MetaCons "CLong0" PrefixI False) (U1 )))))) ((:+:) ((:+:) * ((:+:) * (C1 * (MetaCons "CLong1" PrefixI False) (U1 )) (C1 (MetaCons "CFloat0" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "CFloat1" PrefixI False) (U1 )) (C1 (MetaCons "CFloat2" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "CDouble0" PrefixI False) (U1 )) (C1 (MetaCons "CDouble1" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "CByte" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int8))) ((:+:) * (C1 * (MetaCons "CShort" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int16))) (C1 * (MetaCons "CRef" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe WordSize))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref JValue Low))))))))))
type Rep (Invocation Low) #
type Rep (Invocation Low) = D1 * (MetaData "Invocation" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "InvkSpecial" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsVariableMethodId Low)))) (C1 * (MetaCons "InvkVirtual" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsMethodId Low))))) ((:+:) * (C1 * (MetaCons "InvkStatic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsVariableMethodId Low)))) ((:+:) * (C1 * (MetaCons "InvkInterface" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word8)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsInterfaceMethodId Low))))) (C1 * (MetaCons "InvkDynamic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef InvokeDynamic Low)))))))
type Rep (ExactArrayType Low) #
type Rep (ExactArrayType Low) = D1 * (MetaData "ExactArrayType" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "EABoolean" PrefixI False) (U1 )) (C1 (MetaCons "EAByte" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "EAChar" PrefixI False) (U1 )) (C1 (MetaCons "EAShort" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "EAInt" PrefixI False) (U1 )) (C1 (MetaCons "EALong" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "EAFloat" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "EADouble" PrefixI False) (U1 )) (C1 (MetaCons "EARef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref ClassName Low))))))))
type Rep (ByteCodeInst Low) #
type Rep (ByteCodeInst Low) = D1 * (MetaData "ByteCodeInst" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ByteCodeInst" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "offset") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * ByteCodeOffset)) (S1 * (MetaSel (Just Symbol "opcode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeOpr Low)))))
type Rep (ByteCode Low) #
type Rep (ByteCode Low) = D1 * (MetaData "ByteCode" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "ByteCode" PrefixI True) (S1 * (MetaSel (Just Symbol "unByteCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Choice (Word32, Vector (ByteCodeInst Low)) (Vector (ByteCodeOpr High)) Low))))
type Rep (Attribute Low) #
type Rep (Attribute Low) = D1 * (MetaData "Attribute" "Language.JVM.Attribute.Base" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Attribute" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "aName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text Low))) (S1 * (MetaSel (Just Symbol "aInfo'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * SizedByteString32))))
type Rep (VerificationTypeInfo Low) #
type Rep (VerificationTypeInfo Low) = D1 * (MetaData "VerificationTypeInfo" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "VTTop" PrefixI False) (U1 )) (C1 (MetaCons "VTInteger" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "VTFloat" PrefixI False) (U1 )) (C1 (MetaCons "VTLong" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "VTDouble" PrefixI False) (U1 )) (C1 (MetaCons "VTNull" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "VTUninitializedThis" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "VTObject" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref ClassName Low)))) (C1 * (MetaCons "VTUninitialized" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)))))))
type Rep (StackMapFrameType Low) #
type Rep (StackMapFrameType Low) = D1 * (MetaData "StackMapFrameType" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "SameFrame" PrefixI False) (U1 )) (C1 (MetaCons "SameLocals1StackItemFrame" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (VerificationTypeInfo Low))))) ((:+:) * (C1 * (MetaCons "ChopFrame" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word8))) ((:+:) * (C1 * (MetaCons "AppendFrame" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [VerificationTypeInfo Low]))) (C1 * (MetaCons "FullFrame" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SizedList16 (VerificationTypeInfo Low)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SizedList16 (VerificationTypeInfo Low)))))))))
type Rep (StackMapFrame Low) #
type Rep (StackMapFrame Low) = D1 * (MetaData "StackMapFrame" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "StackMapFrame" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "deltaOffset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeltaOffset Low))) (S1 * (MetaSel (Just Symbol "frameType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (StackMapFrameType Low)))))
type Rep (StackMapTable Low) #
type Rep (StackMapTable Low) = D1 * (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "StackMapTable" PrefixI True) (S1 * (MetaSel (Just Symbol "stackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] Low))))
type Rep (Signature Low) #
type Rep (Signature Low) = D1 * (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Signature" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref Text Low))))
type Rep (Exceptions Low) #
type Rep (Exceptions Low) = D1 * (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "Exceptions" PrefixI True) (S1 * (MetaSel (Just Symbol "exceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SizedList16 (Ref ClassName Low)))))
type Rep (ConstantValue Low) #
type Rep (ConstantValue Low) = D1 * (MetaData "ConstantValue" "Language.JVM.Attribute.ConstantValue" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ConstantValue" PrefixI True) (S1 * (MetaSel (Just Symbol "constantValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref JValue Low))))
type Rep (CodeAttributes Low) #
type Rep (CodeAttributes Low) = D1 * (MetaData "CodeAttributes" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "CodeAttributes" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "caStackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [StackMapTable Low])) ((::) (S1 * (MetaSel (Just Symbol "caLineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LineNumberTable Low])) (S1 * (MetaSel (Just Symbol "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute Low])))))
type Rep (ExceptionTable Low) #
type Rep (ExceptionTable Low) = D1 * (MetaData "ExceptionTable" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ExceptionTable" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "start") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef Low))) (S1 * (MetaSel (Just Symbol "end") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef Low)))) ((::) (S1 * (MetaSel (Just Symbol "handler") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef Low))) (S1 * (MetaSel (Just Symbol "catchType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref (Maybe ClassName) Low))))))
type Rep (Code Low) #
type Rep (Code Low) = D1 * (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Code" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) (S1 * (MetaSel (Just Symbol "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16))) ((::) (S1 * (MetaSel (Just Symbol "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCode Low))) ((::) (S1 * (MetaSel (Just Symbol "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (ExceptionTable Low)))) (S1 * (MetaSel (Just Symbol "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes CodeAttributes Low)))))))
type Rep (BootstrapMethod Low) #
type Rep (BootstrapMethod Low) = D1 * (MetaData "BootstrapMethod" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "BootstrapMethod" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "method") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef MethodHandle Low))) (S1 * (MetaSel (Just Symbol "arguments") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Ref JValue Low))))))
type Rep (BootstrapMethods Low) #
type Rep (BootstrapMethods Low) = D1 * (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "BootstrapMethods" PrefixI True) (S1 * (MetaSel (Just Symbol "methods'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SizedList16 (BootstrapMethod Low)))))
type Rep (MethodAttributes Low) #
type Rep (MethodAttributes Low) = D1 * (MetaData "MethodAttributes" "Language.JVM.Method" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "MethodAttributes" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "maCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Code Low])) (S1 * (MetaSel (Just Symbol "maExceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Exceptions Low]))) ((::) (S1 * (MetaSel (Just Symbol "maSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Signature Low])) (S1 * (MetaSel (Just Symbol "maOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute Low])))))
type Rep (Method Low) #
type Rep (Method Low) = D1 * (MetaData "Method" "Language.JVM.Method" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Method" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "mAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (BitSet16 MAccessFlag))) (S1 * (MetaSel (Just Symbol "mName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text Low)))) ((::) (S1 * (MetaSel (Just Symbol "mDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref MethodDescriptor Low))) (S1 * (MetaSel (Just Symbol "mAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes MethodAttributes Low))))))
type Rep (FieldAttributes Low) #
type Rep (FieldAttributes Low) = D1 * (MetaData "FieldAttributes" "Language.JVM.Field" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "FieldAttributes" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "faConstantValues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ConstantValue Low])) ((::) (S1 * (MetaSel (Just Symbol "faSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Signature Low])) (S1 * (MetaSel (Just Symbol "faOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute Low])))))
type Rep (Field Low) #
type Rep (Field Low) = D1 * (MetaData "Field" "Language.JVM.Field" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Field" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "fAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (BitSet16 FAccessFlag))) (S1 * (MetaSel (Just Symbol "fName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text Low)))) ((::) (S1 * (MetaSel (Just Symbol "fDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref FieldDescriptor Low))) (S1 * (MetaSel (Just Symbol "fAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes FieldAttributes Low))))))
type Rep (ClassAttributes Low) #
type Rep (ClassAttributes Low) = D1 * (MetaData "ClassAttributes" "Language.JVM.ClassFile" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ClassAttributes" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "caBootstrapMethods") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [BootstrapMethods Low])) ((::) (S1 * (MetaSel (Just Symbol "caSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Signature Low])) (S1 * (MetaSel (Just Symbol "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute Low])))))
type Rep (ClassFile Low) #
type Rep (ClassFile Low) = D1 * (MetaData "ClassFile" "Language.JVM.ClassFile" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ClassFile" PrefixI True) ((::) ((::) ((::) (S1 * (MetaSel (Just Symbol "cMagicNumber") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word32)) (S1 * (MetaSel (Just Symbol "cMinorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16))) ((::) (S1 * (MetaSel (Just Symbol "cMajorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) ((::) (S1 * (MetaSel (Just Symbol "cConstantPool") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Choice (ConstantPool Low) () Low))) (S1 * (MetaSel (Just Symbol "cAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (BitSet16 CAccessFlag)))))) ((::) ((::) (S1 * (MetaSel (Just Symbol "cThisClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName Low))) ((::) (S1 * (MetaSel (Just Symbol "cSuperClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName Low))) (S1 * (MetaSel (Just Symbol "cInterfaces") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Ref ClassName Low)))))) ((::) (S1 * (MetaSel (Just Symbol "cFields'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Field Low)))) ((::) (S1 * (MetaSel (Just Symbol "cMethods'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Method Low)))) (S1 * (MetaSel (Just Symbol "cAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes ClassAttributes Low))))))))
type Rep (InClass FieldId Low) #
type Rep (InClass FieldId Low) = D1 * (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "InClass" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName Low))) (S1 * (MetaSel (Just Symbol "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref FieldId Low)))))
type Rep (InClass MethodId Low) #
type Rep (InClass MethodId Low) = D1 * (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "InClass" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName Low))) (S1 * (MetaSel (Just Symbol "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref MethodId Low)))))

data High Source #

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

Instances

Eq (InvokeDynamic High) #
Methods (==) :: InvokeDynamic High -> InvokeDynamic High -> Bool # (/=) :: InvokeDynamic High -> InvokeDynamic High -> Bool #
Eq (MethodHandleInterface High) #
Methods (==) :: MethodHandleInterface High -> MethodHandleInterface High -> Bool # (/=) :: MethodHandleInterface High -> MethodHandleInterface High -> Bool #
Eq (MethodHandleMethod High) #
Methods (==) :: MethodHandleMethod High -> MethodHandleMethod High -> Bool # (/=) :: MethodHandleMethod High -> MethodHandleMethod High -> Bool #
Eq (MethodHandleField High) #
Methods (==) :: MethodHandleField High -> MethodHandleField High -> Bool # (/=) :: MethodHandleField High -> MethodHandleField High -> Bool #
Eq (MethodHandle High) #
Methods (==) :: MethodHandle High -> MethodHandle High -> Bool # (/=) :: MethodHandle High -> MethodHandle High -> Bool #
Eq (AbsVariableMethodId High) #
Methods (==) :: AbsVariableMethodId High -> AbsVariableMethodId High -> Bool # (/=) :: AbsVariableMethodId High -> AbsVariableMethodId High -> Bool #
Eq (AbsInterfaceMethodId High) #
Methods (==) :: AbsInterfaceMethodId High -> AbsInterfaceMethodId High -> Bool # (/=) :: AbsInterfaceMethodId High -> AbsInterfaceMethodId High -> Bool #
Eq (Constant High) #
Methods (==) :: Constant High -> Constant High -> Bool # (/=) :: Constant High -> Constant High -> Bool #
Eq (ConstantPool High) #
Methods (==) :: ConstantPool High -> ConstantPool High -> Bool # (/=) :: ConstantPool High -> ConstantPool High -> Bool #
Eq (ByteCodeOpr High) #
Methods (==) :: ByteCodeOpr High -> ByteCodeOpr High -> Bool # (/=) :: ByteCodeOpr High -> ByteCodeOpr High -> Bool #
Eq (SwitchTable High) #
Methods (==) :: SwitchTable High -> SwitchTable High -> Bool # (/=) :: SwitchTable High -> SwitchTable High -> Bool #
Eq (CConstant High) #
Methods (==) :: CConstant High -> CConstant High -> Bool # (/=) :: CConstant High -> CConstant High -> Bool #
Eq (Invocation High) #
Methods (==) :: Invocation High -> Invocation High -> Bool # (/=) :: Invocation High -> Invocation High -> Bool #
Eq (ExactArrayType High) #
Methods (==) :: ExactArrayType High -> ExactArrayType High -> Bool # (/=) :: ExactArrayType High -> ExactArrayType High -> Bool #
Eq (ByteCodeInst High) #
Methods (==) :: ByteCodeInst High -> ByteCodeInst High -> Bool # (/=) :: ByteCodeInst High -> ByteCodeInst High -> Bool #
Eq (ByteCode High) #
Methods (==) :: ByteCode High -> ByteCode High -> Bool # (/=) :: ByteCode High -> ByteCode High -> Bool #
Eq (Attribute High) #
Methods (==) :: Attribute High -> Attribute High -> Bool # (/=) :: Attribute High -> Attribute High -> Bool #
Eq (VerificationTypeInfo High) #
Methods (==) :: VerificationTypeInfo High -> VerificationTypeInfo High -> Bool # (/=) :: VerificationTypeInfo High -> VerificationTypeInfo High -> Bool #
Eq (StackMapFrameType High) #
Methods (==) :: StackMapFrameType High -> StackMapFrameType High -> Bool # (/=) :: StackMapFrameType High -> StackMapFrameType High -> Bool #
Eq (StackMapFrame High) #
Methods (==) :: StackMapFrame High -> StackMapFrame High -> Bool # (/=) :: StackMapFrame High -> StackMapFrame High -> Bool #
Eq (StackMapTable High) #
Methods (==) :: StackMapTable High -> StackMapTable High -> Bool # (/=) :: StackMapTable High -> StackMapTable High -> Bool #
Eq (Signature High) #
Methods (==) :: Signature High -> Signature High -> Bool # (/=) :: Signature High -> Signature High -> Bool #
Eq (Exceptions High) #
Methods (==) :: Exceptions High -> Exceptions High -> Bool # (/=) :: Exceptions High -> Exceptions High -> Bool #
Eq (ConstantValue High) #
Methods (==) :: ConstantValue High -> ConstantValue High -> Bool # (/=) :: ConstantValue High -> ConstantValue High -> Bool #
Eq (CodeAttributes High) #
Methods (==) :: CodeAttributes High -> CodeAttributes High -> Bool # (/=) :: CodeAttributes High -> CodeAttributes High -> Bool #
Eq (ExceptionTable High) #
Methods (==) :: ExceptionTable High -> ExceptionTable High -> Bool # (/=) :: ExceptionTable High -> ExceptionTable High -> Bool #
Eq (Code High) #
Methods (==) :: Code High -> Code High -> Bool # (/=) :: Code High -> Code High -> Bool #
Eq (BootstrapMethod High) #
Methods (==) :: BootstrapMethod High -> BootstrapMethod High -> Bool # (/=) :: BootstrapMethod High -> BootstrapMethod High -> Bool #
Eq (BootstrapMethods High) #
Methods (==) :: BootstrapMethods High -> BootstrapMethods High -> Bool # (/=) :: BootstrapMethods High -> BootstrapMethods High -> Bool #
Eq (MethodAttributes High) #
Methods (==) :: MethodAttributes High -> MethodAttributes High -> Bool # (/=) :: MethodAttributes High -> MethodAttributes High -> Bool #
Eq (Method High) #
Methods (==) :: Method High -> Method High -> Bool # (/=) :: Method High -> Method High -> Bool #
Eq (FieldAttributes High) #
Methods (==) :: FieldAttributes High -> FieldAttributes High -> Bool # (/=) :: FieldAttributes High -> FieldAttributes High -> Bool #
Eq (Field High) #
Methods (==) :: Field High -> Field High -> Bool # (/=) :: Field High -> Field High -> Bool #
Eq (ClassAttributes High) #
Methods (==) :: ClassAttributes High -> ClassAttributes High -> Bool # (/=) :: ClassAttributes High -> ClassAttributes High -> Bool #
Eq (ClassFile High) #
Methods (==) :: ClassFile High -> ClassFile High -> Bool # (/=) :: ClassFile High -> ClassFile High -> Bool #
Show (InvokeDynamic High) #
Methods showsPrec :: Int -> InvokeDynamic High -> ShowS # show :: InvokeDynamic High -> String # showList :: [InvokeDynamic High] -> ShowS #
Show (MethodHandleInterface High) #
Methods showsPrec :: Int -> MethodHandleInterface High -> ShowS # show :: MethodHandleInterface High -> String # showList :: [MethodHandleInterface High] -> ShowS #
Show (MethodHandleMethod High) #
Methods showsPrec :: Int -> MethodHandleMethod High -> ShowS # show :: MethodHandleMethod High -> String # showList :: [MethodHandleMethod High] -> ShowS #
Show (MethodHandleField High) #
Methods showsPrec :: Int -> MethodHandleField High -> ShowS # show :: MethodHandleField High -> String # showList :: [MethodHandleField High] -> ShowS #
Show (MethodHandle High) #
Methods showsPrec :: Int -> MethodHandle High -> ShowS # show :: MethodHandle High -> String # showList :: [MethodHandle High] -> ShowS #
Show (AbsVariableMethodId High) #
Methods showsPrec :: Int -> AbsVariableMethodId High -> ShowS # show :: AbsVariableMethodId High -> String # showList :: [AbsVariableMethodId High] -> ShowS #
Show (AbsInterfaceMethodId High) #
Methods showsPrec :: Int -> AbsInterfaceMethodId High -> ShowS # show :: AbsInterfaceMethodId High -> String # showList :: [AbsInterfaceMethodId High] -> ShowS #
Show (Constant High) #
Methods showsPrec :: Int -> Constant High -> ShowS # show :: Constant High -> String # showList :: [Constant High] -> ShowS #
Show (ConstantPool High) #
Methods showsPrec :: Int -> ConstantPool High -> ShowS # show :: ConstantPool High -> String # showList :: [ConstantPool High] -> ShowS #
Show (ByteCodeOpr High) #
Methods showsPrec :: Int -> ByteCodeOpr High -> ShowS # show :: ByteCodeOpr High -> String # showList :: [ByteCodeOpr High] -> ShowS #
Show (SwitchTable High) #
Methods showsPrec :: Int -> SwitchTable High -> ShowS # show :: SwitchTable High -> String # showList :: [SwitchTable High] -> ShowS #
Show (CConstant High) #
Methods showsPrec :: Int -> CConstant High -> ShowS # show :: CConstant High -> String # showList :: [CConstant High] -> ShowS #
Show (Invocation High) #
Methods showsPrec :: Int -> Invocation High -> ShowS # show :: Invocation High -> String # showList :: [Invocation High] -> ShowS #
Show (ExactArrayType High) #
Methods showsPrec :: Int -> ExactArrayType High -> ShowS # show :: ExactArrayType High -> String # showList :: [ExactArrayType High] -> ShowS #
Show (ByteCodeInst High) #
Methods showsPrec :: Int -> ByteCodeInst High -> ShowS # show :: ByteCodeInst High -> String # showList :: [ByteCodeInst High] -> ShowS #
Show (ByteCode High) #
Methods showsPrec :: Int -> ByteCode High -> ShowS # show :: ByteCode High -> String # showList :: [ByteCode High] -> ShowS #
Show (Attribute High) #
Methods showsPrec :: Int -> Attribute High -> ShowS # show :: Attribute High -> String # showList :: [Attribute High] -> ShowS #
Show (VerificationTypeInfo High) #
Methods showsPrec :: Int -> VerificationTypeInfo High -> ShowS # show :: VerificationTypeInfo High -> String # showList :: [VerificationTypeInfo High] -> ShowS #
Show (StackMapFrameType High) #
Methods showsPrec :: Int -> StackMapFrameType High -> ShowS # show :: StackMapFrameType High -> String # showList :: [StackMapFrameType High] -> ShowS #
Show (StackMapFrame High) #
Methods showsPrec :: Int -> StackMapFrame High -> ShowS # show :: StackMapFrame High -> String # showList :: [StackMapFrame High] -> ShowS #
Show (StackMapTable High) #
Methods showsPrec :: Int -> StackMapTable High -> ShowS # show :: StackMapTable High -> String # showList :: [StackMapTable High] -> ShowS #
Show (Signature High) #
Methods showsPrec :: Int -> Signature High -> ShowS # show :: Signature High -> String # showList :: [Signature High] -> ShowS #
Show (Exceptions High) #
Methods showsPrec :: Int -> Exceptions High -> ShowS # show :: Exceptions High -> String # showList :: [Exceptions High] -> ShowS #
Show (ConstantValue High) #
Methods showsPrec :: Int -> ConstantValue High -> ShowS # show :: ConstantValue High -> String # showList :: [ConstantValue High] -> ShowS #
Show (CodeAttributes High) #
Methods showsPrec :: Int -> CodeAttributes High -> ShowS # show :: CodeAttributes High -> String # showList :: [CodeAttributes High] -> ShowS #
Show (ExceptionTable High) #
Methods showsPrec :: Int -> ExceptionTable High -> ShowS # show :: ExceptionTable High -> String # showList :: [ExceptionTable High] -> ShowS #
Show (Code High) #
Methods showsPrec :: Int -> Code High -> ShowS # show :: Code High -> String # showList :: [Code High] -> ShowS #
Show (BootstrapMethod High) #
Methods showsPrec :: Int -> BootstrapMethod High -> ShowS # show :: BootstrapMethod High -> String # showList :: [BootstrapMethod High] -> ShowS #
Show (BootstrapMethods High) #
Methods showsPrec :: Int -> BootstrapMethods High -> ShowS # show :: BootstrapMethods High -> String # showList :: [BootstrapMethods High] -> ShowS #
Show (MethodAttributes High) #
Methods showsPrec :: Int -> MethodAttributes High -> ShowS # show :: MethodAttributes High -> String # showList :: [MethodAttributes High] -> ShowS #
Show (Method High) #
Methods showsPrec :: Int -> Method High -> ShowS # show :: Method High -> String # showList :: [Method High] -> ShowS #
Show (FieldAttributes High) #
Methods showsPrec :: Int -> FieldAttributes High -> ShowS # show :: FieldAttributes High -> String # showList :: [FieldAttributes High] -> ShowS #
Show (Field High) #
Methods showsPrec :: Int -> Field High -> ShowS # show :: Field High -> String # showList :: [Field High] -> ShowS #
Show (ClassAttributes High) #
Methods showsPrec :: Int -> ClassAttributes High -> ShowS # show :: ClassAttributes High -> String # showList :: [ClassAttributes High] -> ShowS #
Show (ClassFile High) #
Methods showsPrec :: Int -> ClassFile High -> ShowS # show :: ClassFile High -> String # showList :: [ClassFile High] -> ShowS #
Generic (InvokeDynamic High) #
Associated Types type Rep (InvokeDynamic High) :: * -> * # Methods from :: InvokeDynamic High -> Rep (InvokeDynamic High) x # to :: Rep (InvokeDynamic High) x -> InvokeDynamic High #
Generic (MethodHandleInterface High) #
Associated Types type Rep (MethodHandleInterface High) :: * -> * # Methods from :: MethodHandleInterface High -> Rep (MethodHandleInterface High) x # to :: Rep (MethodHandleInterface High) x -> MethodHandleInterface High #
Generic (MethodHandleMethod High) #
Associated Types type Rep (MethodHandleMethod High) :: * -> * # Methods from :: MethodHandleMethod High -> Rep (MethodHandleMethod High) x # to :: Rep (MethodHandleMethod High) x -> MethodHandleMethod High #
Generic (MethodHandleField High) #
Associated Types type Rep (MethodHandleField High) :: * -> * # Methods from :: MethodHandleField High -> Rep (MethodHandleField High) x # to :: Rep (MethodHandleField High) x -> MethodHandleField High #
Generic (MethodHandle High) #
Associated Types type Rep (MethodHandle High) :: * -> * # Methods from :: MethodHandle High -> Rep (MethodHandle High) x # to :: Rep (MethodHandle High) x -> MethodHandle High #
Generic (AbsVariableMethodId High) #
Associated Types type Rep (AbsVariableMethodId High) :: * -> * # Methods from :: AbsVariableMethodId High -> Rep (AbsVariableMethodId High) x # to :: Rep (AbsVariableMethodId High) x -> AbsVariableMethodId High #
Generic (AbsInterfaceMethodId High) #
Associated Types type Rep (AbsInterfaceMethodId High) :: * -> * # Methods from :: AbsInterfaceMethodId High -> Rep (AbsInterfaceMethodId High) x # to :: Rep (AbsInterfaceMethodId High) x -> AbsInterfaceMethodId High #
Generic (Constant High) #
Associated Types type Rep (Constant High) :: * -> * # Methods from :: Constant High -> Rep (Constant High) x # to :: Rep (Constant High) x -> Constant High #
Generic (ConstantPool High) #
Associated Types type Rep (ConstantPool High) :: * -> * # Methods from :: ConstantPool High -> Rep (ConstantPool High) x # to :: Rep (ConstantPool High) x -> ConstantPool High #
Generic (ByteCodeOpr High) #
Associated Types type Rep (ByteCodeOpr High) :: * -> * # Methods from :: ByteCodeOpr High -> Rep (ByteCodeOpr High) x # to :: Rep (ByteCodeOpr High) x -> ByteCodeOpr High #
Generic (SwitchTable High) #
Associated Types type Rep (SwitchTable High) :: * -> * # Methods from :: SwitchTable High -> Rep (SwitchTable High) x # to :: Rep (SwitchTable High) x -> SwitchTable High #
Generic (CConstant High) #
Associated Types type Rep (CConstant High) :: * -> * # Methods from :: CConstant High -> Rep (CConstant High) x # to :: Rep (CConstant High) x -> CConstant High #
Generic (Invocation High) #
Associated Types type Rep (Invocation High) :: * -> * # Methods from :: Invocation High -> Rep (Invocation High) x # to :: Rep (Invocation High) x -> Invocation High #
Generic (ExactArrayType High) #
Associated Types type Rep (ExactArrayType High) :: * -> * # Methods from :: ExactArrayType High -> Rep (ExactArrayType High) x # to :: Rep (ExactArrayType High) x -> ExactArrayType High #
Generic (ByteCodeInst High) #
Associated Types type Rep (ByteCodeInst High) :: * -> * # Methods from :: ByteCodeInst High -> Rep (ByteCodeInst High) x # to :: Rep (ByteCodeInst High) x -> ByteCodeInst High #
Generic (ByteCode High) #
Associated Types type Rep (ByteCode High) :: * -> * # Methods from :: ByteCode High -> Rep (ByteCode High) x # to :: Rep (ByteCode High) x -> ByteCode High #
Generic (Attribute High) #
Associated Types type Rep (Attribute High) :: * -> * # Methods from :: Attribute High -> Rep (Attribute High) x # to :: Rep (Attribute High) x -> Attribute High #
Generic (VerificationTypeInfo High) #
Associated Types type Rep (VerificationTypeInfo High) :: * -> * # Methods from :: VerificationTypeInfo High -> Rep (VerificationTypeInfo High) x # to :: Rep (VerificationTypeInfo High) x -> VerificationTypeInfo High #
Generic (StackMapFrameType High) #
Associated Types type Rep (StackMapFrameType High) :: * -> * # Methods from :: StackMapFrameType High -> Rep (StackMapFrameType High) x # to :: Rep (StackMapFrameType High) x -> StackMapFrameType High #
Generic (StackMapFrame High) #
Associated Types type Rep (StackMapFrame High) :: * -> * # Methods from :: StackMapFrame High -> Rep (StackMapFrame High) x # to :: Rep (StackMapFrame High) x -> StackMapFrame High #
Generic (StackMapTable High) #
Associated Types type Rep (StackMapTable High) :: * -> * # Methods from :: StackMapTable High -> Rep (StackMapTable High) x # to :: Rep (StackMapTable High) x -> StackMapTable High #
Generic (Signature High) #
Associated Types type Rep (Signature High) :: * -> * # Methods from :: Signature High -> Rep (Signature High) x # to :: Rep (Signature High) x -> Signature High #
Generic (Exceptions High) #
Associated Types type Rep (Exceptions High) :: * -> * # Methods from :: Exceptions High -> Rep (Exceptions High) x # to :: Rep (Exceptions High) x -> Exceptions High #
Generic (ConstantValue High) #
Associated Types type Rep (ConstantValue High) :: * -> * # Methods from :: ConstantValue High -> Rep (ConstantValue High) x # to :: Rep (ConstantValue High) x -> ConstantValue High #
Generic (CodeAttributes High) #
Associated Types type Rep (CodeAttributes High) :: * -> * # Methods from :: CodeAttributes High -> Rep (CodeAttributes High) x # to :: Rep (CodeAttributes High) x -> CodeAttributes High #
Generic (ExceptionTable High) #
Associated Types type Rep (ExceptionTable High) :: * -> * # Methods from :: ExceptionTable High -> Rep (ExceptionTable High) x # to :: Rep (ExceptionTable High) x -> ExceptionTable High #
Generic (Code High) #
Associated Types type Rep (Code High) :: * -> * # Methods from :: Code High -> Rep (Code High) x # to :: Rep (Code High) x -> Code High #
Generic (BootstrapMethod High) #
Associated Types type Rep (BootstrapMethod High) :: * -> * # Methods from :: BootstrapMethod High -> Rep (BootstrapMethod High) x # to :: Rep (BootstrapMethod High) x -> BootstrapMethod High #
Generic (BootstrapMethods High) #
Associated Types type Rep (BootstrapMethods High) :: * -> * # Methods from :: BootstrapMethods High -> Rep (BootstrapMethods High) x # to :: Rep (BootstrapMethods High) x -> BootstrapMethods High #
Generic (MethodAttributes High) #
Associated Types type Rep (MethodAttributes High) :: * -> * # Methods from :: MethodAttributes High -> Rep (MethodAttributes High) x # to :: Rep (MethodAttributes High) x -> MethodAttributes High #
Generic (Method High) #
Associated Types type Rep (Method High) :: * -> * # Methods from :: Method High -> Rep (Method High) x # to :: Rep (Method High) x -> Method High #
Generic (FieldAttributes High) #
Associated Types type Rep (FieldAttributes High) :: * -> * # Methods from :: FieldAttributes High -> Rep (FieldAttributes High) x # to :: Rep (FieldAttributes High) x -> FieldAttributes High #
Generic (Field High) #
Associated Types type Rep (Field High) :: * -> * # Methods from :: Field High -> Rep (Field High) x # to :: Rep (Field High) x -> Field High #
Generic (ClassAttributes High) #
Associated Types type Rep (ClassAttributes High) :: * -> * # Methods from :: ClassAttributes High -> Rep (ClassAttributes High) x # to :: Rep (ClassAttributes High) x -> ClassAttributes High #
Generic (ClassFile High) #
Associated Types type Rep (ClassFile High) :: * -> * # Methods from :: ClassFile High -> Rep (ClassFile High) x # to :: Rep (ClassFile High) x -> ClassFile High #
NFData (InvokeDynamic High) #
Methods rnf :: InvokeDynamic High -> () #
NFData (MethodHandleInterface High) #
Methods rnf :: MethodHandleInterface High -> () #
NFData (MethodHandleMethod High) #
Methods rnf :: MethodHandleMethod High -> () #
NFData (MethodHandleField High) #
Methods rnf :: MethodHandleField High -> () #
NFData (MethodHandle High) #
Methods rnf :: MethodHandle High -> () #
NFData (AbsVariableMethodId High) #
Methods rnf :: AbsVariableMethodId High -> () #
NFData (AbsInterfaceMethodId High) #
Methods rnf :: AbsInterfaceMethodId High -> () #
NFData (Constant High) #
Methods rnf :: Constant High -> () #
NFData (ConstantPool High) #
Methods rnf :: ConstantPool High -> () #
NFData (ByteCodeOpr High) #
Methods rnf :: ByteCodeOpr High -> () #
NFData (SwitchTable High) #
Methods rnf :: SwitchTable High -> () #
NFData (CConstant High) #
Methods rnf :: CConstant High -> () #
NFData (Invocation High) #
Methods rnf :: Invocation High -> () #
NFData (ExactArrayType High) #
Methods rnf :: ExactArrayType High -> () #
NFData (ByteCodeInst High) #
Methods rnf :: ByteCodeInst High -> () #
NFData (ByteCode High) #
Methods rnf :: ByteCode High -> () #
NFData (Attribute High) #
Methods rnf :: Attribute High -> () #
NFData (VerificationTypeInfo High) #
Methods rnf :: VerificationTypeInfo High -> () #
NFData (StackMapFrameType High) #
Methods rnf :: StackMapFrameType High -> () #
NFData (StackMapFrame High) #
Methods rnf :: StackMapFrame High -> () #
NFData (StackMapTable High) #
Methods rnf :: StackMapTable High -> () #
NFData (Signature High) #
Methods rnf :: Signature High -> () #
NFData (Exceptions High) #
Methods rnf :: Exceptions High -> () #
NFData (ConstantValue High) #
Methods rnf :: ConstantValue High -> () #
NFData (CodeAttributes High) #
Methods rnf :: CodeAttributes High -> () #
NFData (ExceptionTable High) #
Methods rnf :: ExceptionTable High -> () #
NFData (Code High) #
Methods rnf :: Code High -> () #
NFData (BootstrapMethod High) #
Methods rnf :: BootstrapMethod High -> () #
NFData (BootstrapMethods High) #
Methods rnf :: BootstrapMethods High -> () #
NFData (MethodAttributes High) #
Methods rnf :: MethodAttributes High -> () #
NFData (Method High) #
Methods rnf :: Method High -> () #
NFData (FieldAttributes High) #
Methods rnf :: FieldAttributes High -> () #
NFData (Field High) #
Methods rnf :: Field High -> () #
NFData (ClassAttributes High) #
Methods rnf :: ClassAttributes High -> () #
NFData (ClassFile High) #
Methods rnf :: ClassFile High -> () #
Referenceable (InvokeDynamic High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InvokeDynamic High) Source # toConst :: Monad m => InvokeDynamic High -> m (Constant High) Source #
Referenceable (MethodHandle High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (MethodHandle High) Source # toConst :: Monad m => MethodHandle High -> m (Constant High) Source #
Referenceable (AbsVariableMethodId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (AbsVariableMethodId High) Source # toConst :: Monad m => AbsVariableMethodId High -> m (Constant High) Source #
Referenceable (AbsInterfaceMethodId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (AbsInterfaceMethodId High) Source # toConst :: Monad m => AbsInterfaceMethodId High -> m (Constant High) Source #
Referenceable (Constant High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (Constant High) Source # toConst :: Monad m => Constant High -> m (Constant High) Source #
Eq (InClass FieldId High) #
Methods (==) :: InClass FieldId High -> InClass FieldId High -> Bool # (/=) :: InClass FieldId High -> InClass FieldId High -> Bool #
Eq (InClass MethodId High) #
Methods (==) :: InClass MethodId High -> InClass MethodId High -> Bool # (/=) :: InClass MethodId High -> InClass MethodId High -> Bool #
Show (InClass FieldId High) #
Methods showsPrec :: Int -> InClass FieldId High -> ShowS # show :: InClass FieldId High -> String # showList :: [InClass FieldId High] -> ShowS #
Show (InClass MethodId High) #
Methods showsPrec :: Int -> InClass MethodId High -> ShowS # show :: InClass MethodId High -> String # showList :: [InClass MethodId High] -> ShowS #
Generic (InClass FieldId High) #
Associated Types type Rep (InClass FieldId High) :: * -> * # Methods from :: InClass FieldId High -> Rep (InClass FieldId High) x # to :: Rep (InClass FieldId High) x -> InClass FieldId High #
Generic (InClass MethodId High) #
Associated Types type Rep (InClass MethodId High) :: * -> * # Methods from :: InClass MethodId High -> Rep (InClass MethodId High) x # to :: Rep (InClass MethodId High) x -> InClass MethodId High #
NFData (InClass FieldId High) #
Methods rnf :: InClass FieldId High -> () #
NFData (InClass MethodId High) #
Methods rnf :: InClass MethodId High -> () #
Referenceable (InClass FieldId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InClass FieldId High) Source # toConst :: Monad m => InClass FieldId High -> m (Constant High) Source #
Referenceable (InClass MethodId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InClass MethodId High) Source # toConst :: Monad m => InClass MethodId High -> m (Constant High) Source #
MonadReader (String, ConstantPool High) Evolve #
Methods ask :: Evolve (String, ConstantPool High) # local :: ((String, ConstantPool High) -> (String, ConstantPool High)) -> Evolve a -> Evolve a # reader :: ((String, ConstantPool High) -> a) -> Evolve a #
type Choice a b High Source #
type Choice a b High = b
type Rep (InvokeDynamic High) #
type Rep (InvokeDynamic High) = D1 * (MetaData "InvokeDynamic" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "InvokeDynamic" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "invokeDynamicAttrIndex") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) (S1 * (MetaSel (Just Symbol "invokeDynamicMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref MethodId High)))))
type Rep (MethodHandleInterface High) #
type Rep (MethodHandleInterface High) = D1 * (MetaData "MethodHandleInterface" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "MethodHandleInterface" PrefixI True) (S1 * (MetaSel (Just Symbol "methodHandleInterfaceRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsInterfaceMethodId High))))
type Rep (MethodHandleMethod High) #
type Rep (MethodHandleMethod High) = D1 * (MetaData "MethodHandleMethod" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "MHInvokeVirtual" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsMethodId High)))) (C1 * (MetaCons "MHInvokeStatic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsVariableMethodId High))))) ((:+:) * (C1 * (MetaCons "MHInvokeSpecial" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsVariableMethodId High)))) (C1 * (MetaCons "MHNewInvokeSpecial" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsMethodId High))))))
type Rep (MethodHandleField High) #
type Rep (MethodHandleField High) = D1 * (MetaData "MethodHandleField" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "MethodHandleField" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "methodHandleFieldKind") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * MethodHandleFieldKind)) (S1 * (MetaSel (Just Symbol "methodHandleFieldRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef AbsFieldId High)))))
type Rep (MethodHandle High) #
type Rep (MethodHandle High) = D1 * (MetaData "MethodHandle" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * (C1 * (MetaCons "MHField" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (MethodHandleField High)))) ((:+:) * (C1 * (MetaCons "MHMethod" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (MethodHandleMethod High)))) (C1 * (MetaCons "MHInterface" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (MethodHandleInterface High))))))
type Rep (AbsVariableMethodId High) #
type Rep (AbsVariableMethodId High) = D1 * (MetaData "AbsVariableMethodId" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * (C1 * (MetaCons "VInterfaceMethodId" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (AbsInterfaceMethodId High)))) (C1 * (MetaCons "VMethodId" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (AbsMethodId High)))))
type Rep (AbsInterfaceMethodId High) #
type Rep (AbsInterfaceMethodId High) = D1 * (MetaData "AbsInterfaceMethodId" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "AbsInterfaceMethodId" PrefixI True) (S1 * (MetaSel (Just Symbol "interfaceMethodId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (InClass MethodId High))))
type Rep (Constant High) #
type Rep (Constant High) = D1 * (MetaData "Constant" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "CString" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * SizedByteString16))) ((:+:) * (C1 * (MetaCons "CInteger" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int32))) (C1 * (MetaCons "CFloat" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Float))))) ((:+:) * ((:+:) * (C1 * (MetaCons "CLong" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int64))) (C1 * (MetaCons "CDouble" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)))) ((:+:) * (C1 * (MetaCons "CClassRef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text High)))) (C1 * (MetaCons "CStringRef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ByteString High))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "CFieldRef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (InClass FieldId High)))) ((:+:) * (C1 * (MetaCons "CMethodRef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (InClass MethodId High)))) (C1 * (MetaCons "CInterfaceMethodRef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (InClass MethodId High)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "CNameAndType" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text High))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text High))))) (C1 * (MetaCons "CMethodHandle" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (MethodHandle High))))) ((:+:) * (C1 * (MetaCons "CMethodType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref MethodDescriptor High)))) (C1 * (MetaCons "CInvokeDynamic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (InvokeDynamic High))))))))
type Rep (ConstantPool High) #
type Rep (ConstantPool High) = D1 * (MetaData "ConstantPool" "Language.JVM.ConstantPool" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "ConstantPool" PrefixI True) (S1 * (MetaSel (Just Symbol "unConstantPool") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (IntMap (Constant High)))))
type Rep (ByteCodeOpr High) #
type Rep (ByteCodeOpr High)
type Rep (SwitchTable High) #
type Rep (SwitchTable High)
type Rep (CConstant High) #
type Rep (CConstant High) = D1 * (MetaData "CConstant" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "CNull" PrefixI False) (U1 )) (C1 (MetaCons "CIntM1" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "CInt0" PrefixI False) (U1 )) (C1 (MetaCons "CInt1" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "CInt2" PrefixI False) (U1 )) (C1 (MetaCons "CInt3" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "CInt4" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "CInt5" PrefixI False) (U1 )) (C1 (MetaCons "CLong0" PrefixI False) (U1 )))))) ((:+:) ((:+:) * ((:+:) * (C1 * (MetaCons "CLong1" PrefixI False) (U1 )) (C1 (MetaCons "CFloat0" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "CFloat1" PrefixI False) (U1 )) (C1 (MetaCons "CFloat2" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "CDouble0" PrefixI False) (U1 )) (C1 (MetaCons "CDouble1" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "CByte" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int8))) ((:+:) * (C1 * (MetaCons "CShort" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int16))) (C1 * (MetaCons "CRef" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe WordSize))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref JValue High))))))))))
type Rep (Invocation High) #
type Rep (Invocation High) = D1 * (MetaData "Invocation" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "InvkSpecial" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsVariableMethodId High)))) (C1 * (MetaCons "InvkVirtual" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsMethodId High))))) ((:+:) * (C1 * (MetaCons "InvkStatic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsVariableMethodId High)))) ((:+:) * (C1 * (MetaCons "InvkInterface" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word8)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef AbsInterfaceMethodId High))))) (C1 * (MetaCons "InvkDynamic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeepRef InvokeDynamic High)))))))
type Rep (ExactArrayType High) #
type Rep (ExactArrayType High) = D1 * (MetaData "ExactArrayType" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "EABoolean" PrefixI False) (U1 )) (C1 (MetaCons "EAByte" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "EAChar" PrefixI False) (U1 )) (C1 (MetaCons "EAShort" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "EAInt" PrefixI False) (U1 )) (C1 (MetaCons "EALong" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "EAFloat" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "EADouble" PrefixI False) (U1 )) (C1 (MetaCons "EARef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref ClassName High))))))))
type Rep (ByteCodeInst High) #
type Rep (ByteCodeInst High) = D1 * (MetaData "ByteCodeInst" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ByteCodeInst" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "offset") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * ByteCodeOffset)) (S1 * (MetaSel (Just Symbol "opcode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeOpr High)))))
type Rep (ByteCode High) #
type Rep (ByteCode High) = D1 * (MetaData "ByteCode" "Language.JVM.ByteCode" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "ByteCode" PrefixI True) (S1 * (MetaSel (Just Symbol "unByteCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Choice (Word32, Vector (ByteCodeInst Low)) (Vector (ByteCodeOpr High)) High))))
type Rep (Attribute High) #
type Rep (Attribute High) = D1 * (MetaData "Attribute" "Language.JVM.Attribute.Base" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Attribute" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "aName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text High))) (S1 * (MetaSel (Just Symbol "aInfo'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * SizedByteString32))))
type Rep (VerificationTypeInfo High) #
type Rep (VerificationTypeInfo High) = D1 * (MetaData "VerificationTypeInfo" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "VTTop" PrefixI False) (U1 )) (C1 (MetaCons "VTInteger" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "VTFloat" PrefixI False) (U1 )) (C1 (MetaCons "VTLong" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "VTDouble" PrefixI False) (U1 )) (C1 (MetaCons "VTNull" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "VTUninitializedThis" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "VTObject" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref ClassName High)))) (C1 * (MetaCons "VTUninitialized" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)))))))
type Rep (StackMapFrameType High) #
type Rep (StackMapFrameType High) = D1 * (MetaData "StackMapFrameType" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "SameFrame" PrefixI False) (U1 )) (C1 (MetaCons "SameLocals1StackItemFrame" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (VerificationTypeInfo High))))) ((:+:) * (C1 * (MetaCons "ChopFrame" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word8))) ((:+:) * (C1 * (MetaCons "AppendFrame" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [VerificationTypeInfo High]))) (C1 * (MetaCons "FullFrame" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SizedList16 (VerificationTypeInfo High)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SizedList16 (VerificationTypeInfo High)))))))))
type Rep (StackMapFrame High) #
type Rep (StackMapFrame High) = D1 * (MetaData "StackMapFrame" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "StackMapFrame" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "deltaOffset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeltaOffset High))) (S1 * (MetaSel (Just Symbol "frameType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (StackMapFrameType High)))))
type Rep (StackMapTable High) #
type Rep (StackMapTable High) = D1 * (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "StackMapTable" PrefixI True) (S1 * (MetaSel (Just Symbol "stackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] High))))
type Rep (Signature High) #
type Rep (Signature High) = D1 * (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Signature" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref Text High))))
type Rep (Exceptions High) #
type Rep (Exceptions High) = D1 * (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "Exceptions" PrefixI True) (S1 * (MetaSel (Just Symbol "exceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SizedList16 (Ref ClassName High)))))
type Rep (ConstantValue High) #
type Rep (ConstantValue High) = D1 * (MetaData "ConstantValue" "Language.JVM.Attribute.ConstantValue" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ConstantValue" PrefixI True) (S1 * (MetaSel (Just Symbol "constantValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref JValue High))))
type Rep (CodeAttributes High) #
type Rep (CodeAttributes High) = D1 * (MetaData "CodeAttributes" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "CodeAttributes" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "caStackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [StackMapTable High])) ((::) (S1 * (MetaSel (Just Symbol "caLineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LineNumberTable High])) (S1 * (MetaSel (Just Symbol "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute High])))))
type Rep (ExceptionTable High) #
type Rep (ExceptionTable High) = D1 * (MetaData "ExceptionTable" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ExceptionTable" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "start") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef High))) (S1 * (MetaSel (Just Symbol "end") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef High)))) ((::) (S1 * (MetaSel (Just Symbol "handler") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef High))) (S1 * (MetaSel (Just Symbol "catchType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref (Maybe ClassName) High))))))
type Rep (Code High) #
type Rep (Code High) = D1 * (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Code" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) (S1 * (MetaSel (Just Symbol "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16))) ((::) (S1 * (MetaSel (Just Symbol "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCode High))) ((::) (S1 * (MetaSel (Just Symbol "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (ExceptionTable High)))) (S1 * (MetaSel (Just Symbol "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes CodeAttributes High)))))))
type Rep (BootstrapMethod High) #
type Rep (BootstrapMethod High) = D1 * (MetaData "BootstrapMethod" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "BootstrapMethod" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "method") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef MethodHandle High))) (S1 * (MetaSel (Just Symbol "arguments") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Ref JValue High))))))
type Rep (BootstrapMethods High) #
type Rep (BootstrapMethods High) = D1 * (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "BootstrapMethods" PrefixI True) (S1 * (MetaSel (Just Symbol "methods'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SizedList16 (BootstrapMethod High)))))
type Rep (MethodAttributes High) #
type Rep (MethodAttributes High) = D1 * (MetaData "MethodAttributes" "Language.JVM.Method" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "MethodAttributes" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "maCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Code High])) (S1 * (MetaSel (Just Symbol "maExceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Exceptions High]))) ((::) (S1 * (MetaSel (Just Symbol "maSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Signature High])) (S1 * (MetaSel (Just Symbol "maOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute High])))))
type Rep (Method High) #
type Rep (Method High) = D1 * (MetaData "Method" "Language.JVM.Method" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Method" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "mAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (BitSet16 MAccessFlag))) (S1 * (MetaSel (Just Symbol "mName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text High)))) ((::) (S1 * (MetaSel (Just Symbol "mDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref MethodDescriptor High))) (S1 * (MetaSel (Just Symbol "mAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes MethodAttributes High))))))
type Rep (FieldAttributes High) #
type Rep (FieldAttributes High) = D1 * (MetaData "FieldAttributes" "Language.JVM.Field" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "FieldAttributes" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "faConstantValues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ConstantValue High])) ((::) (S1 * (MetaSel (Just Symbol "faSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Signature High])) (S1 * (MetaSel (Just Symbol "faOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute High])))))
type Rep (Field High) #
type Rep (Field High) = D1 * (MetaData "Field" "Language.JVM.Field" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Field" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "fAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (BitSet16 FAccessFlag))) (S1 * (MetaSel (Just Symbol "fName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text High)))) ((::) (S1 * (MetaSel (Just Symbol "fDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref FieldDescriptor High))) (S1 * (MetaSel (Just Symbol "fAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes FieldAttributes High))))))
type Rep (ClassAttributes High) #
type Rep (ClassAttributes High) = D1 * (MetaData "ClassAttributes" "Language.JVM.ClassFile" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ClassAttributes" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "caBootstrapMethods") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [BootstrapMethods High])) ((::) (S1 * (MetaSel (Just Symbol "caSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Signature High])) (S1 * (MetaSel (Just Symbol "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute High])))))
type Rep (ClassFile High) #
type Rep (ClassFile High) = D1 * (MetaData "ClassFile" "Language.JVM.ClassFile" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ClassFile" PrefixI True) ((::) ((::) ((::) (S1 * (MetaSel (Just Symbol "cMagicNumber") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word32)) (S1 * (MetaSel (Just Symbol "cMinorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16))) ((::) (S1 * (MetaSel (Just Symbol "cMajorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) ((::) (S1 * (MetaSel (Just Symbol "cConstantPool") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Choice (ConstantPool High) () High))) (S1 * (MetaSel (Just Symbol "cAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (BitSet16 CAccessFlag)))))) ((::) ((::) (S1 * (MetaSel (Just Symbol "cThisClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName High))) ((::) (S1 * (MetaSel (Just Symbol "cSuperClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName High))) (S1 * (MetaSel (Just Symbol "cInterfaces") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Ref ClassName High)))))) ((::) (S1 * (MetaSel (Just Symbol "cFields'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Field High)))) ((::) (S1 * (MetaSel (Just Symbol "cMethods'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Method High)))) (S1 * (MetaSel (Just Symbol "cAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes ClassAttributes High))))))))
type Rep (InClass FieldId High) #
type Rep (InClass FieldId High) = D1 * (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "InClass" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName High))) (S1 * (MetaSel (Just Symbol "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref FieldId High)))))
type Rep (InClass MethodId High) #
type Rep (InClass MethodId High) = D1 * (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "InClass" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName High))) (S1 * (MetaSel (Just Symbol "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref MethodId High)))))

type Ref v r = Choice Index v r Source #

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

type Index = Word16 Source #

An index into the constant pool.

type DeepRef v r = Ref (v r) r Source #

A deep reference points to something that itself is staged.

type family Choice a b r Source #

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 Source #
type Choice a b Low = a
type Choice a b High Source #
type Choice a b High = b