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

Language.JVM.Constant

Contents

Special constants
re-exports

Description

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

Synopsis

Documentation

data Constant r Source #

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

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 Source #

Hack that returns the name of a constant.

class Referenceable a where Source #

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 Source #

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

Instances

Referenceable ByteString Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m ByteString Source # toConst :: Monad m => ByteString -> m (Constant High) Source #
Referenceable Text Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m Text Source # toConst :: Monad m => Text -> m (Constant High) Source #
Referenceable FieldDescriptor Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m FieldDescriptor Source # toConst :: Monad m => FieldDescriptor -> m (Constant High) Source #
Referenceable MethodDescriptor Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m MethodDescriptor Source # toConst :: Monad m => MethodDescriptor -> m (Constant High) Source #
Referenceable ClassName Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m ClassName Source # toConst :: Monad m => ClassName -> m (Constant High) Source #
Referenceable FieldId Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m FieldId Source # toConst :: Monad m => FieldId -> m (Constant High) Source #
Referenceable MethodId Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m MethodId Source # toConst :: Monad m => MethodId -> m (Constant High) Source #
Referenceable JValue Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m JValue Source # toConst :: Monad m => JValue -> m (Constant High) Source #
TypeParse a => Referenceable (NameAndType a) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (NameAndType a) Source # toConst :: Monad m => NameAndType a -> m (Constant High) Source #
Referenceable (InvokeDynamic High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InvokeDynamic High) Source # toConst :: Monad m => InvokeDynamic High -> m (Constant High) Source #
Referenceable (MethodHandle High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (MethodHandle High) Source # toConst :: Monad m => MethodHandle High -> m (Constant High) Source #
Referenceable (AbsVariableMethodId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (AbsVariableMethodId High) Source # toConst :: Monad m => AbsVariableMethodId High -> m (Constant High) Source #
Referenceable (AbsInterfaceMethodId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (AbsInterfaceMethodId High) Source # toConst :: Monad m => AbsInterfaceMethodId High -> m (Constant High) Source #
Referenceable (Constant High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (Constant High) Source # toConst :: Monad m => Constant High -> m (Constant High) Source #
Referenceable (InClass FieldId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InClass FieldId High) Source # toConst :: Monad m => InClass FieldId High -> m (Constant High) Source #
Referenceable (InClass MethodId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InClass MethodId High) Source # toConst :: Monad m => InClass MethodId High -> m (Constant High) Source #

data JValue Source #

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 Source #
Methods (==) :: JValue -> JValue -> Bool # (/=) :: JValue -> JValue -> Bool #
Show JValue Source #
Methods showsPrec :: Int -> JValue -> ShowS # show :: JValue -> String # showList :: [JValue] -> ShowS #
Generic JValue Source #
Associated Types type Rep JValue :: * -> * # Methods from :: JValue -> Rep JValue x # to :: Rep JValue x -> JValue #
NFData JValue Source #
Methods rnf :: JValue -> () #
Referenceable JValue Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m JValue Source # toConst :: Monad m => JValue -> m (Constant High) Source #
type Rep JValue Source #
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 Source #

A class name

Constructors

ClassName
Fields classNameAsText :: Text

Instances

Eq ClassName Source #
Methods (==) :: ClassName -> ClassName -> Bool # (/=) :: ClassName -> ClassName -> Bool #
Ord ClassName Source #
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 Source #
Methods showsPrec :: Int -> ClassName -> ShowS # show :: ClassName -> String # showList :: [ClassName] -> ShowS #
IsString ClassName Source #
Methods fromString :: String -> ClassName #
Generic ClassName Source #
Associated Types type Rep ClassName :: * -> * # Methods from :: ClassName -> Rep ClassName x # to :: Rep ClassName x -> ClassName #
NFData ClassName Source #
Methods rnf :: ClassName -> () #
Referenceable ClassName Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m ClassName Source # toConst :: Monad m => ClassName -> m (Constant High) Source #
type Rep ClassName Source #
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 Source #

Anything pointing inside a class

Constructors

InClass
Fields inClassName :: !(Ref ClassName r) inClassId :: !(Ref a r)

Instances

Referenceable r => Staged (InClass r) Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> InClass r r -> m (InClass r r') Source # evolve :: EvolveM m => InClass r Low -> m (InClass r High) Source # devolve :: DevolveM m => InClass r High -> m (InClass r Low) Source #
Eq (InClass FieldId High) Source #
Methods (==) :: InClass FieldId High -> InClass FieldId High -> Bool # (/=) :: InClass FieldId High -> InClass FieldId High -> Bool #
Eq (InClass FieldId Low) Source #
Methods (==) :: InClass FieldId Low -> InClass FieldId Low -> Bool # (/=) :: InClass FieldId Low -> InClass FieldId Low -> Bool #
Eq (InClass MethodId High) Source #
Methods (==) :: InClass MethodId High -> InClass MethodId High -> Bool # (/=) :: InClass MethodId High -> InClass MethodId High -> Bool #
Eq (InClass MethodId Low) Source #
Methods (==) :: InClass MethodId Low -> InClass MethodId Low -> Bool # (/=) :: InClass MethodId Low -> InClass MethodId Low -> Bool #
Ord (InClass FieldId Low) Source #
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) Source #
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) Source #
Methods showsPrec :: Int -> InClass FieldId High -> ShowS # show :: InClass FieldId High -> String # showList :: [InClass FieldId High] -> ShowS #
Show (InClass FieldId Low) Source #
Methods showsPrec :: Int -> InClass FieldId Low -> ShowS # show :: InClass FieldId Low -> String # showList :: [InClass FieldId Low] -> ShowS #
Show (InClass MethodId High) Source #
Methods showsPrec :: Int -> InClass MethodId High -> ShowS # show :: InClass MethodId High -> String # showList :: [InClass MethodId High] -> ShowS #
Show (InClass MethodId Low) Source #
Methods showsPrec :: Int -> InClass MethodId Low -> ShowS # show :: InClass MethodId Low -> String # showList :: [InClass MethodId Low] -> ShowS #
Generic (InClass FieldId High) Source #
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) Source #
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) Source #
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) Source #
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) Source #
Methods put :: InClass FieldId Low -> Put # get :: Get (InClass FieldId Low) # putList :: [InClass FieldId Low] -> Put #
Binary (InClass MethodId Low) Source #
Methods put :: InClass MethodId Low -> Put # get :: Get (InClass MethodId Low) # putList :: [InClass MethodId Low] -> Put #
NFData (InClass FieldId High) Source #
Methods rnf :: InClass FieldId High -> () #
NFData (InClass FieldId Low) Source #
Methods rnf :: InClass FieldId Low -> () #
NFData (InClass MethodId High) Source #
Methods rnf :: InClass MethodId High -> () #
NFData (InClass MethodId Low) Source #
Methods rnf :: InClass MethodId Low -> () #
Referenceable (InClass FieldId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InClass FieldId High) Source # toConst :: Monad m => InClass FieldId High -> m (Constant High) Source #
Referenceable (InClass MethodId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InClass MethodId High) Source # toConst :: Monad m => InClass MethodId High -> m (Constant High) Source #
type Rep (InClass FieldId High) Source #
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) Source #
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) Source #
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) Source #
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 Source #

A method id in a class.

type AbsFieldId = InClass FieldId Source #

A field id in a class

newtype AbsInterfaceMethodId r Source #

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

Constructors

AbsInterfaceMethodId
Fields interfaceMethodId :: InClass MethodId r

Instances

Eq (AbsInterfaceMethodId High) Source #
Methods (==) :: AbsInterfaceMethodId High -> AbsInterfaceMethodId High -> Bool # (/=) :: AbsInterfaceMethodId High -> AbsInterfaceMethodId High -> Bool #
Eq (AbsInterfaceMethodId Low) Source #
Methods (==) :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Bool # (/=) :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Bool #
Ord (AbsInterfaceMethodId Low) Source #
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) Source #
Methods showsPrec :: Int -> AbsInterfaceMethodId High -> ShowS # show :: AbsInterfaceMethodId High -> String # showList :: [AbsInterfaceMethodId High] -> ShowS #
Show (AbsInterfaceMethodId Low) Source #
Methods showsPrec :: Int -> AbsInterfaceMethodId Low -> ShowS # show :: AbsInterfaceMethodId Low -> String # showList :: [AbsInterfaceMethodId Low] -> ShowS #
Generic (AbsInterfaceMethodId High) Source #
Associated Types type Rep (AbsInterfaceMethodId High) :: * -> * # Methods from :: AbsInterfaceMethodId High -> Rep (AbsInterfaceMethodId High) x # to :: Rep (AbsInterfaceMethodId High) x -> AbsInterfaceMethodId High #
Generic (AbsInterfaceMethodId Low) Source #
Associated Types type Rep (AbsInterfaceMethodId Low) :: * -> * # Methods from :: AbsInterfaceMethodId Low -> Rep (AbsInterfaceMethodId Low) x # to :: Rep (AbsInterfaceMethodId Low) x -> AbsInterfaceMethodId Low #
Binary (AbsInterfaceMethodId Low) Source #
Methods put :: AbsInterfaceMethodId Low -> Put # get :: Get (AbsInterfaceMethodId Low) # putList :: [AbsInterfaceMethodId Low] -> Put #
NFData (AbsInterfaceMethodId High) Source #
Methods rnf :: AbsInterfaceMethodId High -> () #
NFData (AbsInterfaceMethodId Low) Source #
Methods rnf :: AbsInterfaceMethodId Low -> () #
Referenceable (AbsInterfaceMethodId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (AbsInterfaceMethodId High) Source # toConst :: Monad m => AbsInterfaceMethodId High -> m (Constant High) Source #
type Rep (AbsInterfaceMethodId High) Source #
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) Source #
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 Source #

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

Constructors

VInterfaceMethodId !(AbsInterfaceMethodId r)
VMethodId !(AbsMethodId r)

Instances

Eq (AbsVariableMethodId High) Source #
Methods (==) :: AbsVariableMethodId High -> AbsVariableMethodId High -> Bool # (/=) :: AbsVariableMethodId High -> AbsVariableMethodId High -> Bool #
Eq (AbsVariableMethodId Low) Source #
Methods (==) :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Bool # (/=) :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Bool #
Ord (AbsVariableMethodId Low) Source #
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) Source #
Methods showsPrec :: Int -> AbsVariableMethodId High -> ShowS # show :: AbsVariableMethodId High -> String # showList :: [AbsVariableMethodId High] -> ShowS #
Show (AbsVariableMethodId Low) Source #
Methods showsPrec :: Int -> AbsVariableMethodId Low -> ShowS # show :: AbsVariableMethodId Low -> String # showList :: [AbsVariableMethodId Low] -> ShowS #
Generic (AbsVariableMethodId High) Source #
Associated Types type Rep (AbsVariableMethodId High) :: * -> * # Methods from :: AbsVariableMethodId High -> Rep (AbsVariableMethodId High) x # to :: Rep (AbsVariableMethodId High) x -> AbsVariableMethodId High #
Generic (AbsVariableMethodId Low) Source #
Associated Types type Rep (AbsVariableMethodId Low) :: * -> * # Methods from :: AbsVariableMethodId Low -> Rep (AbsVariableMethodId Low) x # to :: Rep (AbsVariableMethodId Low) x -> AbsVariableMethodId Low #
Binary (AbsVariableMethodId Low) Source #
Methods put :: AbsVariableMethodId Low -> Put # get :: Get (AbsVariableMethodId Low) # putList :: [AbsVariableMethodId Low] -> Put #
NFData (AbsVariableMethodId High) Source #
Methods rnf :: AbsVariableMethodId High -> () #
NFData (AbsVariableMethodId Low) Source #
Methods rnf :: AbsVariableMethodId Low -> () #
Referenceable (AbsVariableMethodId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (AbsVariableMethodId High) Source # toConst :: Monad m => AbsVariableMethodId High -> m (Constant High) Source #
type Rep (AbsVariableMethodId High) Source #
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) Source #
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 Source #

Constructors

MethodId (NameAndType MethodDescriptor)

Instances

Eq MethodId Source #
Methods (==) :: MethodId -> MethodId -> Bool # (/=) :: MethodId -> MethodId -> Bool #
Ord MethodId Source #
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 Source #
Methods showsPrec :: Int -> MethodId -> ShowS # show :: MethodId -> String # showList :: [MethodId] -> ShowS #
IsString MethodId Source #
Methods fromString :: String -> MethodId #
Generic MethodId Source #
Associated Types type Rep MethodId :: * -> * # Methods from :: MethodId -> Rep MethodId x # to :: Rep MethodId x -> MethodId #
NFData MethodId Source #
Methods rnf :: MethodId -> () #
Referenceable MethodId Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m MethodId Source # toConst :: Monad m => MethodId -> m (Constant High) Source #
Eq (InClass MethodId High) Source #
Methods (==) :: InClass MethodId High -> InClass MethodId High -> Bool # (/=) :: InClass MethodId High -> InClass MethodId High -> Bool #
Eq (InClass MethodId Low) Source #
Methods (==) :: InClass MethodId Low -> InClass MethodId Low -> Bool # (/=) :: InClass MethodId Low -> InClass MethodId Low -> Bool #
Ord (InClass MethodId Low) Source #
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) Source #
Methods showsPrec :: Int -> InClass MethodId High -> ShowS # show :: InClass MethodId High -> String # showList :: [InClass MethodId High] -> ShowS #
Show (InClass MethodId Low) Source #
Methods showsPrec :: Int -> InClass MethodId Low -> ShowS # show :: InClass MethodId Low -> String # showList :: [InClass MethodId Low] -> ShowS #
Generic (InClass MethodId High) Source #
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) Source #
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) Source #
Methods put :: InClass MethodId Low -> Put # get :: Get (InClass MethodId Low) # putList :: [InClass MethodId Low] -> Put #
NFData (InClass MethodId High) Source #
Methods rnf :: InClass MethodId High -> () #
NFData (InClass MethodId Low) Source #
Methods rnf :: InClass MethodId Low -> () #
Referenceable (InClass MethodId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InClass MethodId High) Source # toConst :: Monad m => InClass MethodId High -> m (Constant High) Source #
type Rep MethodId Source #
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) Source #
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) Source #
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 Source #

Constructors

FieldId (NameAndType FieldDescriptor)

Instances

Eq FieldId Source #
Methods (==) :: FieldId -> FieldId -> Bool # (/=) :: FieldId -> FieldId -> Bool #
Ord FieldId Source #
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 Source #
Methods showsPrec :: Int -> FieldId -> ShowS # show :: FieldId -> String # showList :: [FieldId] -> ShowS #
IsString FieldId Source #
Methods fromString :: String -> FieldId #
Generic FieldId Source #
Associated Types type Rep FieldId :: * -> * # Methods from :: FieldId -> Rep FieldId x # to :: Rep FieldId x -> FieldId #
NFData FieldId Source #
Methods rnf :: FieldId -> () #
Referenceable FieldId Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m FieldId Source # toConst :: Monad m => FieldId -> m (Constant High) Source #
Eq (InClass FieldId High) Source #
Methods (==) :: InClass FieldId High -> InClass FieldId High -> Bool # (/=) :: InClass FieldId High -> InClass FieldId High -> Bool #
Eq (InClass FieldId Low) Source #
Methods (==) :: InClass FieldId Low -> InClass FieldId Low -> Bool # (/=) :: InClass FieldId Low -> InClass FieldId Low -> Bool #
Ord (InClass FieldId Low) Source #
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) Source #
Methods showsPrec :: Int -> InClass FieldId High -> ShowS # show :: InClass FieldId High -> String # showList :: [InClass FieldId High] -> ShowS #
Show (InClass FieldId Low) Source #
Methods showsPrec :: Int -> InClass FieldId Low -> ShowS # show :: InClass FieldId Low -> String # showList :: [InClass FieldId Low] -> ShowS #
Generic (InClass FieldId High) Source #
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) Source #
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) Source #
Methods put :: InClass FieldId Low -> Put # get :: Get (InClass FieldId Low) # putList :: [InClass FieldId Low] -> Put #
NFData (InClass FieldId High) Source #
Methods rnf :: InClass FieldId High -> () #
NFData (InClass FieldId Low) Source #
Methods rnf :: InClass FieldId Low -> () #
Referenceable (InClass FieldId High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InClass FieldId High) Source # toConst :: Monad m => InClass FieldId High -> m (Constant High) Source #
type Rep FieldId Source #
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) Source #
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) Source #
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 Source #

A name and a type

Constructors

NameAndType
Fields ntName :: Text ntDescriptor :: a

Instances

Eq a => Eq (NameAndType a) Source #
Methods (==) :: NameAndType a -> NameAndType a -> Bool # (/=) :: NameAndType a -> NameAndType a -> Bool #
Ord a => Ord (NameAndType a) Source #
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) Source #
Methods showsPrec :: Int -> NameAndType a -> ShowS # show :: NameAndType a -> String # showList :: [NameAndType a] -> ShowS #
TypeParse t => IsString (NameAndType t) Source #
Methods fromString :: String -> NameAndType t #
Generic (NameAndType a) Source #
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) Source #
Methods rnf :: NameAndType a -> () #
TypeParse t => TypeParse (NameAndType t) Source #
Methods fromText :: Text -> Either String (NameAndType t) Source # parseText :: Parser (NameAndType t) Source # toText :: NameAndType t -> Text Source #
TypeParse a => Referenceable (NameAndType a) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (NameAndType a) Source # toConst :: Monad m => NameAndType a -> m (Constant High) Source #
type Rep (NameAndType a) Source #
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 Source #

Method Descriptor

Instances

Eq MethodDescriptor Source #
Methods (==) :: MethodDescriptor -> MethodDescriptor -> Bool # (/=) :: MethodDescriptor -> MethodDescriptor -> Bool #
Ord MethodDescriptor Source #
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 Source #
Methods showsPrec :: Int -> MethodDescriptor -> ShowS # show :: MethodDescriptor -> String # showList :: [MethodDescriptor] -> ShowS #
IsString MethodDescriptor Source #
Methods fromString :: String -> MethodDescriptor #
Generic MethodDescriptor Source #
Associated Types type Rep MethodDescriptor :: * -> * # Methods from :: MethodDescriptor -> Rep MethodDescriptor x # to :: Rep MethodDescriptor x -> MethodDescriptor #
NFData MethodDescriptor Source #
Methods rnf :: MethodDescriptor -> () #
TypeParse MethodDescriptor Source #
Methods fromText :: Text -> Either String MethodDescriptor Source # parseText :: Parser MethodDescriptor Source # toText :: MethodDescriptor -> Text Source #
Referenceable MethodDescriptor Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m MethodDescriptor Source # toConst :: Monad m => MethodDescriptor -> m (Constant High) Source #
type Rep MethodDescriptor Source #
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 Source #

Field Descriptor

Instances

Eq FieldDescriptor Source #
Methods (==) :: FieldDescriptor -> FieldDescriptor -> Bool # (/=) :: FieldDescriptor -> FieldDescriptor -> Bool #
Ord FieldDescriptor Source #
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 Source #
Methods showsPrec :: Int -> FieldDescriptor -> ShowS # show :: FieldDescriptor -> String # showList :: [FieldDescriptor] -> ShowS #
IsString FieldDescriptor Source #
Methods fromString :: String -> FieldDescriptor #
Generic FieldDescriptor Source #
Associated Types type Rep FieldDescriptor :: * -> * # Methods from :: FieldDescriptor -> Rep FieldDescriptor x # to :: Rep FieldDescriptor x -> FieldDescriptor #
NFData FieldDescriptor Source #
Methods rnf :: FieldDescriptor -> () #
TypeParse FieldDescriptor Source #
Methods fromText :: Text -> Either String FieldDescriptor Source # parseText :: Parser FieldDescriptor Source # toText :: FieldDescriptor -> Text Source #
Referenceable FieldDescriptor Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m FieldDescriptor Source # toConst :: Monad m => FieldDescriptor -> m (Constant High) Source #
type Rep FieldDescriptor Source #
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 Source #

The union type over the different method handles.

Constructors

MHField !(MethodHandleField r)
MHMethod !(MethodHandleMethod r)
MHInterface !(MethodHandleInterface r)

Instances

Staged MethodHandle Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> MethodHandle r -> m (MethodHandle r') Source # evolve :: EvolveM m => MethodHandle Low -> m (MethodHandle High) Source # devolve :: DevolveM m => MethodHandle High -> m (MethodHandle Low) Source #
Eq (MethodHandle High) Source #
Methods (==) :: MethodHandle High -> MethodHandle High -> Bool # (/=) :: MethodHandle High -> MethodHandle High -> Bool #
Eq (MethodHandle Low) Source #
Methods (==) :: MethodHandle Low -> MethodHandle Low -> Bool # (/=) :: MethodHandle Low -> MethodHandle Low -> Bool #
Ord (MethodHandle Low) Source #
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) Source #
Methods showsPrec :: Int -> MethodHandle High -> ShowS # show :: MethodHandle High -> String # showList :: [MethodHandle High] -> ShowS #
Show (MethodHandle Low) Source #
Methods showsPrec :: Int -> MethodHandle Low -> ShowS # show :: MethodHandle Low -> String # showList :: [MethodHandle Low] -> ShowS #
Generic (MethodHandle High) Source #
Associated Types type Rep (MethodHandle High) :: * -> * # Methods from :: MethodHandle High -> Rep (MethodHandle High) x # to :: Rep (MethodHandle High) x -> MethodHandle High #
Generic (MethodHandle Low) Source #
Associated Types type Rep (MethodHandle Low) :: * -> * # Methods from :: MethodHandle Low -> Rep (MethodHandle Low) x # to :: Rep (MethodHandle Low) x -> MethodHandle Low #
Binary (MethodHandle Low) Source #
Methods put :: MethodHandle Low -> Put # get :: Get (MethodHandle Low) # putList :: [MethodHandle Low] -> Put #
NFData (MethodHandle High) Source #
Methods rnf :: MethodHandle High -> () #
NFData (MethodHandle Low) Source #
Methods rnf :: MethodHandle Low -> () #
Referenceable (MethodHandle High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (MethodHandle High) Source # toConst :: Monad m => MethodHandle High -> m (Constant High) Source #
type Rep (MethodHandle High) Source #
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) Source #
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 Source #

Constructors

MethodHandleField
Fields methodHandleFieldKind :: !MethodHandleFieldKind methodHandleFieldRef :: !(DeepRef AbsFieldId r)

Instances

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

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

Constructors

MethodHandleInterface
Fields methodHandleInterfaceRef :: !(DeepRef AbsInterfaceMethodId r)

Instances

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

Constructors

MHGetField
MHGetStatic
MHPutField
MHPutStatic

Instances

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

Constructors

InvokeDynamic
Fields invokeDynamicAttrIndex :: !Word16 invokeDynamicMethod :: !(Ref MethodId r)

Instances

Staged InvokeDynamic Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> InvokeDynamic r -> m (InvokeDynamic r') Source # evolve :: EvolveM m => InvokeDynamic Low -> m (InvokeDynamic High) Source # devolve :: DevolveM m => InvokeDynamic High -> m (InvokeDynamic Low) Source #
Eq (InvokeDynamic High) Source #
Methods (==) :: InvokeDynamic High -> InvokeDynamic High -> Bool # (/=) :: InvokeDynamic High -> InvokeDynamic High -> Bool #
Eq (InvokeDynamic Low) Source #
Methods (==) :: InvokeDynamic Low -> InvokeDynamic Low -> Bool # (/=) :: InvokeDynamic Low -> InvokeDynamic Low -> Bool #
Ord (InvokeDynamic Low) Source #
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) Source #
Methods showsPrec :: Int -> InvokeDynamic High -> ShowS # show :: InvokeDynamic High -> String # showList :: [InvokeDynamic High] -> ShowS #
Show (InvokeDynamic Low) Source #
Methods showsPrec :: Int -> InvokeDynamic Low -> ShowS # show :: InvokeDynamic Low -> String # showList :: [InvokeDynamic Low] -> ShowS #
Generic (InvokeDynamic High) Source #
Associated Types type Rep (InvokeDynamic High) :: * -> * # Methods from :: InvokeDynamic High -> Rep (InvokeDynamic High) x # to :: Rep (InvokeDynamic High) x -> InvokeDynamic High #
Generic (InvokeDynamic Low) Source #
Associated Types type Rep (InvokeDynamic Low) :: * -> * # Methods from :: InvokeDynamic Low -> Rep (InvokeDynamic Low) x # to :: Rep (InvokeDynamic Low) x -> InvokeDynamic Low #
Binary (InvokeDynamic Low) Source #
Methods put :: InvokeDynamic Low -> Put # get :: Get (InvokeDynamic Low) # putList :: [InvokeDynamic Low] -> Put #
NFData (InvokeDynamic High) Source #
Methods rnf :: InvokeDynamic High -> () #
NFData (InvokeDynamic Low) Source #
Methods rnf :: InvokeDynamic Low -> () #
Referenceable (InvokeDynamic High) Source #
Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InvokeDynamic High) Source # toConst :: Monad m => InvokeDynamic High -> m (Constant High) Source #
type Rep (InvokeDynamic High) Source #
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) Source #
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 Source #

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

Instances

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

data Low Source #

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

Instances

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