Language.JVM.Constant

This module contains the Constant type and the ConstantPool. These are essential for accessing data in the class-file.

Documentation

data Constant r

A constant is a multi word item in the ConstantPool. Each of the constructors are pretty much self-explanatory from the types.

Constructors

CString !SizedByteString16

CInteger !Int32

CFloat !Float

CLong !Int64

CDouble !Double

CClassRef !(Ref Text r)

CStringRef !(Ref ByteString r)

CFieldRef !(InClass FieldId r)

CMethodRef !(InClass MethodId r)

CInterfaceMethodRef !(InClass MethodId r)

CNameAndType !(Ref Text r) !(Ref Text r)

CMethodHandle !(MethodHandle r)

CMethodType !(Ref MethodDescriptor r)

CInvokeDynamic !(InvokeDynamic r)

Instances

Staged Constant

Methods

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

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

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

Eq (Constant High)

Methods

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

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

Eq (Constant Low)

Methods

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

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

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

Show (Constant High)

Methods

showsPrec :: Int -> Constant High -> ShowS

show :: Constant High -> String

showList :: [Constant High] -> ShowS

Show (Constant Low)

Methods

showsPrec :: Int -> Constant Low -> ShowS

show :: Constant Low -> String

showList :: [Constant Low] -> ShowS

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 (Constant Low)

Associated Types

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

Methods

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

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

Binary (Constant Low)

Methods

put :: Constant Low -> Put

get :: Get (Constant Low)

putList :: [Constant Low] -> Put

NFData (Constant High)

Methods

rnf :: Constant High -> ()

NFData (Constant Low)

Methods

rnf :: Constant Low -> ()

Referenceable (Constant High)

Methods

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

toConst :: Monad m => Constant High -> m (Constant 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 (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))))))))

constantSize :: Constant r -> Int

Some of the Constants take up more space in the constant pool than other. Notice that String and MethodType is not of size 32, but is still awarded value 1. This is due to an inconsistency in JVM.

typeToStr :: Constant r -> String

Hack that returns the name of a constant.

class Referenceable a where

Referenceable is something that can exist in the constant pool.

Minimal complete definition

fromConst, toConst

Methods

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

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

Instances

Referenceable ByteString

Methods

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

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

Referenceable Text

Methods

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

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

Referenceable FieldDescriptor

Methods

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

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

Referenceable MethodDescriptor

Methods

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

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

Referenceable ClassName

Methods

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

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

Referenceable FieldId

Methods

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

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

Referenceable MethodId

Methods

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

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

Referenceable JValue

Methods

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

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

TypeParse a => Referenceable (NameAndType a)

Methods

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

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

Referenceable (InvokeDynamic High)

Methods

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

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

Referenceable (MethodHandle High)

Methods

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

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

Referenceable (AbsVariableMethodId High)

Methods

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

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

Referenceable (AbsInterfaceMethodId High)

Methods

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

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

Referenceable (Constant High)

Methods

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

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

Referenceable (InClass FieldId High)

Methods

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

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

Referenceable (InClass MethodId High)

Methods

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

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

data JValue

A constant pool value in java

Constructors

VInteger Int32

VLong Int64

VFloat Float

VDouble Double

VString ByteString

VClass ClassName

VMethodType MethodDescriptor

VMethodHandle (MethodHandle High)

Instances

Eq JValue

Methods

(==) :: JValue -> JValue -> Bool

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

Show JValue

Methods

showsPrec :: Int -> JValue -> ShowS

show :: JValue -> String

showList :: [JValue] -> ShowS

Generic JValue

Associated Types

type Rep JValue :: * -> *

Methods

from :: JValue -> Rep JValue x

to :: Rep JValue x -> JValue

NFData JValue

Methods

rnf :: JValue -> ()

Referenceable JValue

Methods

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

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

type Rep JValue

type Rep JValue = D1 * (MetaData "JValue" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "VInteger" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int32))) (C1 * (MetaCons "VLong" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int64)))) ((:+:) * (C1 * (MetaCons "VFloat" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Float))) (C1 * (MetaCons "VDouble" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Double))))) ((:+:) * ((:+:) * (C1 * (MetaCons "VString" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ByteString))) (C1 * (MetaCons "VClass" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ClassName)))) ((:+:) * (C1 * (MetaCons "VMethodType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MethodDescriptor))) (C1 * (MetaCons "VMethodHandle" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (MethodHandle High)))))))

Special constants

newtype ClassName

A class name

Constructors

ClassName

Fields

• classNameAsText :: Text

Instances

Eq ClassName

Methods

(==) :: ClassName -> ClassName -> Bool

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

Ord ClassName

Methods

compare :: ClassName -> ClassName -> Ordering

(<) :: ClassName -> ClassName -> Bool

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

(>) :: ClassName -> ClassName -> Bool

(>=) :: ClassName -> ClassName -> Bool

max :: ClassName -> ClassName -> ClassName

min :: ClassName -> ClassName -> ClassName

Show ClassName

Methods

showsPrec :: Int -> ClassName -> ShowS

show :: ClassName -> String

showList :: [ClassName] -> ShowS

IsString ClassName

Methods

fromString :: String -> ClassName

Generic ClassName

Associated Types

type Rep ClassName :: * -> *

Methods

from :: ClassName -> Rep ClassName x

to :: Rep ClassName x -> ClassName

NFData ClassName

Methods

rnf :: ClassName -> ()

Referenceable ClassName

Methods

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

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

type Rep ClassName

type Rep ClassName = D1 * (MetaData "ClassName" "Language.JVM.Type" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "ClassName" PrefixI True) (S1 * (MetaSel (Just Symbol "classNameAsText") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

data InClass a r

Anything pointing inside a class

Constructors

InClass

Fields

• inClassName :: !(Ref ClassName r)
• inClassId :: !(Ref a r)

Instances

Referenceable r => Staged (InClass r)

Methods

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

evolve :: EvolveM m => InClass r Low -> m (InClass r High)

devolve :: DevolveM m => InClass r High -> m (InClass r Low)

Eq (InClass FieldId High)

Methods

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

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

Eq (InClass FieldId Low)

Methods

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

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

Eq (InClass MethodId High)

Methods

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

(/=) :: InClass MethodId High -> InClass MethodId High -> 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 High)

Methods

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

show :: InClass FieldId High -> String

showList :: [InClass FieldId High] -> ShowS

Show (InClass FieldId Low)

Methods

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

show :: InClass FieldId Low -> String

showList :: [InClass FieldId Low] -> ShowS

Show (InClass MethodId High)

Methods

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

show :: InClass MethodId High -> String

showList :: [InClass MethodId High] -> 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 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 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 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

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

Methods

rnf :: InClass FieldId High -> ()

NFData (InClass FieldId Low)

Methods

rnf :: InClass FieldId Low -> ()

NFData (InClass MethodId High)

Methods

rnf :: InClass MethodId High -> ()

NFData (InClass MethodId Low)

Methods

rnf :: InClass MethodId Low -> ()

Referenceable (InClass FieldId High)

Methods

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

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

Referenceable (InClass MethodId High)

Methods

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

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

type 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 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 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 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)))))

type AbsMethodId = InClass MethodId

A method id in a class.

type AbsFieldId = InClass FieldId

A field id in a class

newtype AbsInterfaceMethodId r

An interface method, which is a class in a method.

Constructors

AbsInterfaceMethodId

Fields

• interfaceMethodId :: InClass MethodId r

Instances

Eq (AbsInterfaceMethodId High)

Methods

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

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

Eq (AbsInterfaceMethodId Low)

Methods

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

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

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

Show (AbsInterfaceMethodId High)

Methods

showsPrec :: Int -> AbsInterfaceMethodId High -> ShowS

show :: AbsInterfaceMethodId High -> String

showList :: [AbsInterfaceMethodId High] -> ShowS

Show (AbsInterfaceMethodId Low)

Methods

showsPrec :: Int -> AbsInterfaceMethodId Low -> ShowS

show :: AbsInterfaceMethodId Low -> String

showList :: [AbsInterfaceMethodId Low] -> ShowS

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 (AbsInterfaceMethodId Low)

Associated Types

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

Methods

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

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

Binary (AbsInterfaceMethodId Low)

Methods

put :: AbsInterfaceMethodId Low -> Put

get :: Get (AbsInterfaceMethodId Low)

putList :: [AbsInterfaceMethodId Low] -> Put

NFData (AbsInterfaceMethodId High)

Methods

rnf :: AbsInterfaceMethodId High -> ()

NFData (AbsInterfaceMethodId Low)

Methods

rnf :: AbsInterfaceMethodId Low -> ()

Referenceable (AbsInterfaceMethodId High)

Methods

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

toConst :: Monad m => AbsInterfaceMethodId High -> m (Constant 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 (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))))

data AbsVariableMethodId r

In some cases we can both point to interface methods and regular methods.

Constructors

VInterfaceMethodId !(AbsInterfaceMethodId r)

VMethodId !(AbsMethodId r)

Instances

Eq (AbsVariableMethodId High)

Methods

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

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

Eq (AbsVariableMethodId Low)

Methods

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

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

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

Show (AbsVariableMethodId High)

Methods

showsPrec :: Int -> AbsVariableMethodId High -> ShowS

show :: AbsVariableMethodId High -> String

showList :: [AbsVariableMethodId High] -> ShowS

Show (AbsVariableMethodId Low)

Methods

showsPrec :: Int -> AbsVariableMethodId Low -> ShowS

show :: AbsVariableMethodId Low -> String

showList :: [AbsVariableMethodId Low] -> ShowS

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 (AbsVariableMethodId Low)

Associated Types

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

Methods

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

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

Binary (AbsVariableMethodId Low)

Methods

put :: AbsVariableMethodId Low -> Put

get :: Get (AbsVariableMethodId Low)

putList :: [AbsVariableMethodId Low] -> Put

NFData (AbsVariableMethodId High)

Methods

rnf :: AbsVariableMethodId High -> ()

NFData (AbsVariableMethodId Low)

Methods

rnf :: AbsVariableMethodId Low -> ()

Referenceable (AbsVariableMethodId High)

Methods

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

toConst :: Monad m => AbsVariableMethodId High -> m (Constant 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 (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)))))

newtype MethodId

Constructors

MethodId (NameAndType MethodDescriptor)

Instances

Eq MethodId

Methods

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

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

Ord MethodId

Methods

compare :: MethodId -> MethodId -> Ordering

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

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

(>) :: MethodId -> MethodId -> Bool

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

max :: MethodId -> MethodId -> MethodId

min :: MethodId -> MethodId -> MethodId

Show MethodId

Methods

showsPrec :: Int -> MethodId -> ShowS

show :: MethodId -> String

showList :: [MethodId] -> ShowS

IsString MethodId

Methods

fromString :: String -> MethodId

Generic MethodId

Associated Types

type Rep MethodId :: * -> *

Methods

from :: MethodId -> Rep MethodId x

to :: Rep MethodId x -> MethodId

NFData MethodId

Methods

rnf :: MethodId -> ()

Referenceable MethodId

Methods

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

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

Eq (InClass MethodId High)

Methods

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

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

Eq (InClass MethodId Low)

Methods

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

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

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 MethodId High)

Methods

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

show :: InClass MethodId High -> String

showList :: [InClass MethodId High] -> ShowS

Show (InClass MethodId Low)

Methods

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

show :: InClass MethodId Low -> String

showList :: [InClass MethodId Low] -> ShowS

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

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 MethodId Low)

Methods

put :: InClass MethodId Low -> Put

get :: Get (InClass MethodId Low)

putList :: [InClass MethodId Low] -> Put

NFData (InClass MethodId High)

Methods

rnf :: InClass MethodId High -> ()

NFData (InClass MethodId Low)

Methods

rnf :: InClass MethodId Low -> ()

Referenceable (InClass MethodId High)

Methods

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

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

type Rep MethodId

type Rep MethodId = D1 * (MetaData "MethodId" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "MethodId" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (NameAndType MethodDescriptor))))

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 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)))))

newtype FieldId

Constructors

FieldId (NameAndType FieldDescriptor)

Instances

Eq FieldId

Methods

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

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

Ord FieldId

Methods

compare :: FieldId -> FieldId -> Ordering

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

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

(>) :: FieldId -> FieldId -> Bool

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

max :: FieldId -> FieldId -> FieldId

min :: FieldId -> FieldId -> FieldId

Show FieldId

Methods

showsPrec :: Int -> FieldId -> ShowS

show :: FieldId -> String

showList :: [FieldId] -> ShowS

IsString FieldId

Methods

fromString :: String -> FieldId

Generic FieldId

Associated Types

type Rep FieldId :: * -> *

Methods

from :: FieldId -> Rep FieldId x

to :: Rep FieldId x -> FieldId

NFData FieldId

Methods

rnf :: FieldId -> ()

Referenceable FieldId

Methods

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

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

Eq (InClass FieldId High)

Methods

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

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

Eq (InClass FieldId Low)

Methods

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

(/=) :: InClass FieldId Low -> InClass FieldId 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

Show (InClass FieldId High)

Methods

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

show :: InClass FieldId High -> String

showList :: [InClass FieldId High] -> ShowS

Show (InClass FieldId Low)

Methods

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

show :: InClass FieldId Low -> String

showList :: [InClass FieldId Low] -> 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 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

Binary (InClass FieldId Low)

Methods

put :: InClass FieldId Low -> Put

get :: Get (InClass FieldId Low)

putList :: [InClass FieldId Low] -> Put

NFData (InClass FieldId High)

Methods

rnf :: InClass FieldId High -> ()

NFData (InClass FieldId Low)

Methods

rnf :: InClass FieldId Low -> ()

Referenceable (InClass FieldId High)

Methods

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

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

type Rep FieldId

type Rep FieldId = D1 * (MetaData "FieldId" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "FieldId" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (NameAndType FieldDescriptor))))

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 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)))))

data NameAndType a

A name and a type

Constructors

NameAndType

Fields

• ntName :: Text
• ntDescriptor :: a

Instances

Eq a => Eq (NameAndType a)

Methods

(==) :: NameAndType a -> NameAndType a -> Bool

(/=) :: NameAndType a -> NameAndType a -> Bool

Ord a => Ord (NameAndType a)

Methods

compare :: NameAndType a -> NameAndType a -> Ordering

(<) :: NameAndType a -> NameAndType a -> Bool

(<=) :: NameAndType a -> NameAndType a -> Bool

(>) :: NameAndType a -> NameAndType a -> Bool

(>=) :: NameAndType a -> NameAndType a -> Bool

max :: NameAndType a -> NameAndType a -> NameAndType a

min :: NameAndType a -> NameAndType a -> NameAndType a

Show a => Show (NameAndType a)

Methods

showsPrec :: Int -> NameAndType a -> ShowS

show :: NameAndType a -> String

showList :: [NameAndType a] -> ShowS

TypeParse t => IsString (NameAndType t)

Methods

fromString :: String -> NameAndType t

Generic (NameAndType a)

Associated Types

type Rep (NameAndType a) :: * -> *

Methods

from :: NameAndType a -> Rep (NameAndType a) x

to :: Rep (NameAndType a) x -> NameAndType a

NFData a => NFData (NameAndType a)

Methods

rnf :: NameAndType a -> ()

TypeParse t => TypeParse (NameAndType t)

Methods

fromText :: Text -> Either String (NameAndType t)

parseText :: Parser (NameAndType t)

toText :: NameAndType t -> Text

TypeParse a => Referenceable (NameAndType a)

Methods

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

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

type Rep (NameAndType a)

type Rep (NameAndType a) = D1 * (MetaData "NameAndType" "Language.JVM.Type" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "NameAndType" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "ntName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "ntDescriptor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a))))

data MethodDescriptor

Method Descriptor

Instances

Eq MethodDescriptor

Methods

(==) :: MethodDescriptor -> MethodDescriptor -> Bool

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

Ord MethodDescriptor

Methods

compare :: MethodDescriptor -> MethodDescriptor -> Ordering

(<) :: MethodDescriptor -> MethodDescriptor -> Bool

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

(>) :: MethodDescriptor -> MethodDescriptor -> Bool

(>=) :: MethodDescriptor -> MethodDescriptor -> Bool

max :: MethodDescriptor -> MethodDescriptor -> MethodDescriptor

min :: MethodDescriptor -> MethodDescriptor -> MethodDescriptor

Show MethodDescriptor

Methods

showsPrec :: Int -> MethodDescriptor -> ShowS

show :: MethodDescriptor -> String

showList :: [MethodDescriptor] -> ShowS

IsString MethodDescriptor

Methods

fromString :: String -> MethodDescriptor

Generic MethodDescriptor

Associated Types

type Rep MethodDescriptor :: * -> *

Methods

from :: MethodDescriptor -> Rep MethodDescriptor x

to :: Rep MethodDescriptor x -> MethodDescriptor

NFData MethodDescriptor

Methods

rnf :: MethodDescriptor -> ()

TypeParse MethodDescriptor

Methods

fromText :: Text -> Either String MethodDescriptor

parseText :: Parser MethodDescriptor

toText :: MethodDescriptor -> Text

Referenceable MethodDescriptor

Methods

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

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

type Rep MethodDescriptor

type Rep MethodDescriptor = D1 * (MetaData "MethodDescriptor" "Language.JVM.Type" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "MethodDescriptor" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "methodDescriptorArguments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [JType])) (S1 * (MetaSel (Just Symbol "methodDescriptorReturnType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe JType)))))

data FieldDescriptor

Field Descriptor

Instances

Eq FieldDescriptor

Methods

(==) :: FieldDescriptor -> FieldDescriptor -> Bool

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

Ord FieldDescriptor

Methods

compare :: FieldDescriptor -> FieldDescriptor -> Ordering

(<) :: FieldDescriptor -> FieldDescriptor -> Bool

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

(>) :: FieldDescriptor -> FieldDescriptor -> Bool

(>=) :: FieldDescriptor -> FieldDescriptor -> Bool

max :: FieldDescriptor -> FieldDescriptor -> FieldDescriptor

min :: FieldDescriptor -> FieldDescriptor -> FieldDescriptor

Show FieldDescriptor

Methods

showsPrec :: Int -> FieldDescriptor -> ShowS

show :: FieldDescriptor -> String

showList :: [FieldDescriptor] -> ShowS

IsString FieldDescriptor

Methods

fromString :: String -> FieldDescriptor

Generic FieldDescriptor

Associated Types

type Rep FieldDescriptor :: * -> *

Methods

from :: FieldDescriptor -> Rep FieldDescriptor x

to :: Rep FieldDescriptor x -> FieldDescriptor

NFData FieldDescriptor

Methods

rnf :: FieldDescriptor -> ()

TypeParse FieldDescriptor

Methods

fromText :: Text -> Either String FieldDescriptor

parseText :: Parser FieldDescriptor

toText :: FieldDescriptor -> Text

Referenceable FieldDescriptor

Methods

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

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

type Rep FieldDescriptor

type Rep FieldDescriptor = D1 * (MetaData "FieldDescriptor" "Language.JVM.Type" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "FieldDescriptor" PrefixI True) (S1 * (MetaSel (Just Symbol "fieldDescriptorType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * JType)))

data MethodHandle r

The union type over the different method handles.

Constructors

MHField !(MethodHandleField r)

MHMethod !(MethodHandleMethod r)

MHInterface !(MethodHandleInterface r)

Instances

Staged MethodHandle

Methods

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

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

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

Eq (MethodHandle High)

Methods

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

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

Eq (MethodHandle Low)

Methods

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

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

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

Show (MethodHandle High)

Methods

showsPrec :: Int -> MethodHandle High -> ShowS

show :: MethodHandle High -> String

showList :: [MethodHandle High] -> ShowS

Show (MethodHandle Low)

Methods

showsPrec :: Int -> MethodHandle Low -> ShowS

show :: MethodHandle Low -> String

showList :: [MethodHandle Low] -> ShowS

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 (MethodHandle Low)

Associated Types

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

Methods

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

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

Binary (MethodHandle Low)

Methods

put :: MethodHandle Low -> Put

get :: Get (MethodHandle Low)

putList :: [MethodHandle Low] -> Put

NFData (MethodHandle High)

Methods

rnf :: MethodHandle High -> ()

NFData (MethodHandle Low)

Methods

rnf :: MethodHandle Low -> ()

Referenceable (MethodHandle High)

Methods

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

toConst :: Monad m => MethodHandle High -> m (Constant 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 (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))))))

data MethodHandleField r

Constructors

MethodHandleField

Fields

• methodHandleFieldKind :: !MethodHandleFieldKind
• methodHandleFieldRef :: !(DeepRef AbsFieldId r)

Instances

Staged MethodHandleField

Methods

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

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

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

Eq (MethodHandleField High)

Methods

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

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

Eq (MethodHandleField Low)

Methods

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

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

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

Show (MethodHandleField High)

Methods

showsPrec :: Int -> MethodHandleField High -> ShowS

show :: MethodHandleField High -> String

showList :: [MethodHandleField High] -> ShowS

Show (MethodHandleField Low)

Methods

showsPrec :: Int -> MethodHandleField Low -> ShowS

show :: MethodHandleField Low -> String

showList :: [MethodHandleField Low] -> ShowS

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 (MethodHandleField Low)

Associated Types

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

Methods

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

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

NFData (MethodHandleField High)

Methods

rnf :: MethodHandleField High -> ()

NFData (MethodHandleField Low)

Methods

rnf :: MethodHandleField Low -> ()

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

data MethodHandleMethod r

Constructors

MHInvokeVirtual !(DeepRef AbsMethodId r)

MHInvokeStatic !(DeepRef AbsVariableMethodId r)

Since version 52.0

MHInvokeSpecial !(DeepRef AbsVariableMethodId r)

Since version 52.0

MHNewInvokeSpecial !(DeepRef AbsMethodId r)

Instances

Staged MethodHandleMethod

Methods

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

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

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

Eq (MethodHandleMethod High)

Methods

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

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

Eq (MethodHandleMethod Low)

Methods

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

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

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

Show (MethodHandleMethod High)

Methods

showsPrec :: Int -> MethodHandleMethod High -> ShowS

show :: MethodHandleMethod High -> String

showList :: [MethodHandleMethod High] -> ShowS

Show (MethodHandleMethod Low)

Methods

showsPrec :: Int -> MethodHandleMethod Low -> ShowS

show :: MethodHandleMethod Low -> String

showList :: [MethodHandleMethod Low] -> ShowS

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 (MethodHandleMethod Low)

Associated Types

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

Methods

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

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

NFData (MethodHandleMethod High)

Methods

rnf :: MethodHandleMethod High -> ()

NFData (MethodHandleMethod Low)

Methods

rnf :: MethodHandleMethod Low -> ()

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

data MethodHandleInterface r

Constructors

MethodHandleInterface

Fields

• methodHandleInterfaceRef :: !(DeepRef AbsInterfaceMethodId r)

Instances

Staged MethodHandleInterface

Methods

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

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

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

Eq (MethodHandleInterface High)

Methods

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

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

Eq (MethodHandleInterface Low)

Methods

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

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

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

Show (MethodHandleInterface High)

Methods

showsPrec :: Int -> MethodHandleInterface High -> ShowS

show :: MethodHandleInterface High -> String

showList :: [MethodHandleInterface High] -> ShowS

Show (MethodHandleInterface Low)

Methods

showsPrec :: Int -> MethodHandleInterface Low -> ShowS

show :: MethodHandleInterface Low -> String

showList :: [MethodHandleInterface Low] -> ShowS

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 (MethodHandleInterface Low)

Associated Types

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

Methods

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

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

NFData (MethodHandleInterface High)

Methods

rnf :: MethodHandleInterface High -> ()

NFData (MethodHandleInterface Low)

Methods

rnf :: MethodHandleInterface Low -> ()

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

data MethodHandleFieldKind

Constructors

MHGetField

MHGetStatic

MHPutField

MHPutStatic

Instances

Eq MethodHandleFieldKind

Methods

(==) :: MethodHandleFieldKind -> MethodHandleFieldKind -> Bool

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

Ord MethodHandleFieldKind

Methods

compare :: MethodHandleFieldKind -> MethodHandleFieldKind -> Ordering

(<) :: MethodHandleFieldKind -> MethodHandleFieldKind -> Bool

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

(>) :: MethodHandleFieldKind -> MethodHandleFieldKind -> Bool

(>=) :: MethodHandleFieldKind -> MethodHandleFieldKind -> Bool

max :: MethodHandleFieldKind -> MethodHandleFieldKind -> MethodHandleFieldKind

min :: MethodHandleFieldKind -> MethodHandleFieldKind -> MethodHandleFieldKind

Show MethodHandleFieldKind

Methods

showsPrec :: Int -> MethodHandleFieldKind -> ShowS

show :: MethodHandleFieldKind -> String

showList :: [MethodHandleFieldKind] -> ShowS

Generic MethodHandleFieldKind

Associated Types

type Rep MethodHandleFieldKind :: * -> *

Methods

from :: MethodHandleFieldKind -> Rep MethodHandleFieldKind x

to :: Rep MethodHandleFieldKind x -> MethodHandleFieldKind

NFData MethodHandleFieldKind

Methods

rnf :: MethodHandleFieldKind -> ()

type Rep MethodHandleFieldKind

type Rep MethodHandleFieldKind = D1 * (MetaData "MethodHandleFieldKind" "Language.JVM.Constant" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * (C1 * (MetaCons "MHGetField" PrefixI False) (U1 *)) (C1 * (MetaCons "MHGetStatic" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "MHPutField" PrefixI False) (U1 *)) (C1 * (MetaCons "MHPutStatic" PrefixI False) (U1 *))))

data InvokeDynamic r

Constructors

InvokeDynamic

Fields

• invokeDynamicAttrIndex :: !Word16
• invokeDynamicMethod :: !(Ref MethodId r)

Instances

Staged InvokeDynamic

Methods

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

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

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

Eq (InvokeDynamic High)

Methods

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

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

Eq (InvokeDynamic Low)

Methods

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

(/=) :: InvokeDynamic Low -> InvokeDynamic 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

Show (InvokeDynamic High)

Methods

showsPrec :: Int -> InvokeDynamic High -> ShowS

show :: InvokeDynamic High -> String

showList :: [InvokeDynamic High] -> ShowS

Show (InvokeDynamic Low)

Methods

showsPrec :: Int -> InvokeDynamic Low -> ShowS

show :: InvokeDynamic Low -> String

showList :: [InvokeDynamic Low] -> 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 (InvokeDynamic Low)

Associated Types

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

Methods

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

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

Binary (InvokeDynamic Low)

Methods

put :: InvokeDynamic Low -> Put

get :: Get (InvokeDynamic Low)

putList :: [InvokeDynamic Low] -> Put

NFData (InvokeDynamic High)

Methods

rnf :: InvokeDynamic High -> ()

NFData (InvokeDynamic Low)

Methods

rnf :: InvokeDynamic Low -> ()

Referenceable (InvokeDynamic High)

Methods

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

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

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

re-exports

data High

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)

Methods

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

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

Referenceable (MethodHandle High)

Methods

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

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

Referenceable (AbsVariableMethodId High)

Methods

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

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

Referenceable (AbsInterfaceMethodId High)

Methods

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

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

Referenceable (Constant High)

Methods

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

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

Eq (InClass FieldId High)

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)

Methods

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

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

Referenceable (InClass MethodId High)

Methods

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

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

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

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)))))

data Low

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)

StackMapTable is an Attribute.

Methods

attrName :: Const Text (StackMapTable Low)

IsAttribute (Signature Low)

Methods

attrName :: Const Text (Signature Low)

IsAttribute (LineNumberTable Low)

Signature is an Attribute.

Methods

attrName :: Const Text (LineNumberTable Low)

IsAttribute (Exceptions Low)

Exceptions is an Attribute.

Methods

attrName :: Const Text (Exceptions Low)

IsAttribute (ConstantValue Low)

ConstantValue is an Attribute.

Methods

attrName :: Const Text (ConstantValue Low)

IsAttribute (Code Low)

Code is an Attribute.

Methods

attrName :: Const Text (Code Low)

IsAttribute (BootstrapMethods Low)

BootstrapMethods is an Attribute.

Methods

attrName :: Const Text (BootstrapMethods Low)

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

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)))))