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

data Constant r
- = 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)
constantSize :: Constant r -> Index
typeToStr :: Constant r -> String
class Referenceable a where
- fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m a
- toConst :: Monad m => a -> m (Constant High)
data JValue
- = VInteger Int32
- | VLong Int64
- | VFloat Float
- | VDouble Double
- | VString ByteString
- | VClass ClassName
- | VMethodType MethodDescriptor
- | VMethodHandle (MethodHandle High)
newtype ClassName = ClassName {
- classNameAsText :: Text
}
data InClass a r = InClass {
- inClassName :: !(Ref ClassName r)
- inClassId :: !(Ref a r)
}
type AbsMethodId = InClass MethodId
type AbsFieldId = InClass FieldId
newtype AbsInterfaceMethodId r = AbsInterfaceMethodId {
- interfaceMethodId :: InClass MethodId r
}
data AbsVariableMethodId r = AbsVariableMethodId {
- variableIsInterface :: !Bool
- variableMethodId :: !(InClass MethodId r)
}
newtype MethodId = MethodId (NameAndType MethodDescriptor)
newtype FieldId = FieldId (NameAndType FieldDescriptor)
data NameAndType a = NameAndType {
- ntName :: Text
- ntDescriptor :: a
}
data MethodDescriptor
data FieldDescriptor
data MethodHandle r
- = MHField !(MethodHandleField r)
- | MHMethod !(MethodHandleMethod r)
- | MHInterface !(MethodHandleInterface r)
data MethodHandleField r = MethodHandleField {
- methodHandleFieldKind :: !MethodHandleFieldKind
- methodHandleFieldRef :: !(DeepRef AbsFieldId r)
}
data MethodHandleMethod r
- = MHInvokeVirtual !(DeepRef AbsMethodId r)
- | MHInvokeStatic !(DeepRef AbsVariableMethodId r)
- | MHInvokeSpecial !(DeepRef AbsVariableMethodId r)
- | MHNewInvokeSpecial !(DeepRef AbsMethodId r)
data MethodHandleInterface r = MethodHandleInterface {
- methodHandleInterfaceRef :: !(DeepRef AbsInterfaceMethodId r)
}
data MethodHandleFieldKind
- = MHGetField
- | MHGetStatic
- | MHPutField
- | MHPutStatic
data InvokeDynamic r = InvokeDynamic {
- invokeDynamicAttrIndex :: !Word16
- invokeDynamicMethod :: !(Ref MethodId r)
}
data High
data Low

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 #
Instance details Defined in Language.JVM.Staged Methods stage :: LabelM m => (forall (s' :: Type -> Type). 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 #
Instance details Defined in Language.JVM.Constant Methods (==) :: Constant High -> Constant High -> Bool # (/=) :: Constant High -> Constant High -> Bool #
Eq (Constant Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: Constant Low -> Constant Low -> Bool # (/=) :: Constant Low -> Constant Low -> Bool #
Ord (Constant Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: Constant Low -> Constant Low -> Ordering # (<) :: Constant Low -> Constant Low -> Bool # (<=) :: Constant Low -> Constant Low -> Bool # (>) :: Constant Low -> Constant Low -> Bool # (>=) :: Constant Low -> Constant Low -> Bool # max :: Constant Low -> Constant Low -> Constant Low # min :: Constant Low -> Constant Low -> Constant Low #
Show (Constant High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> Constant High -> ShowS # show :: Constant High -> String # showList :: [Constant High] -> ShowS #
Show (Constant Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> Constant Low -> ShowS # show :: Constant Low -> String # showList :: [Constant Low] -> ShowS #
Generic (Constant High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (Constant High) :: Type -> Type # Methods from :: Constant High -> Rep (Constant High) x # to :: Rep (Constant High) x -> Constant High #
Generic (Constant Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (Constant Low) :: Type -> Type # Methods from :: Constant Low -> Rep (Constant Low) x # to :: Rep (Constant Low) x -> Constant Low #
Binary (Constant Low) Source #
Instance details Defined in Language.JVM.Constant Methods put :: Constant Low -> Put # get :: Get (Constant Low) # putList :: [Constant Low] -> Put #
NFData (Constant High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: Constant High -> () #
NFData (Constant Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: Constant Low -> () #
Referenceable (Constant High) Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant type Rep (Constant High) = D1 (MetaData "Constant" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (((C1 (MetaCons "CString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SizedByteString16)) :+: (C1 (MetaCons "CInteger" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int32)) :+: C1 (MetaCons "CFloat" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Float)))) :+: ((C1 (MetaCons "CLong" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int64)) :+: C1 (MetaCons "CDouble" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double))) :+: (C1 (MetaCons "CClassRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High))) :+: C1 (MetaCons "CStringRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ByteString High)))))) :+: ((C1 (MetaCons "CFieldRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass FieldId High))) :+: (C1 (MetaCons "CMethodRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId High))) :+: C1 (MetaCons "CInterfaceMethodRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId High))))) :+: ((C1 (MetaCons "CNameAndType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High))) :+: C1 (MetaCons "CMethodHandle" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandle High)))) :+: (C1 (MetaCons "CMethodType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodDescriptor High))) :+: C1 (MetaCons "CInvokeDynamic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InvokeDynamic High)))))))
type Rep (Constant Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (Constant Low) = D1 (MetaData "Constant" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (((C1 (MetaCons "CString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SizedByteString16)) :+: (C1 (MetaCons "CInteger" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int32)) :+: C1 (MetaCons "CFloat" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Float)))) :+: ((C1 (MetaCons "CLong" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int64)) :+: C1 (MetaCons "CDouble" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double))) :+: (C1 (MetaCons "CClassRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low))) :+: C1 (MetaCons "CStringRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ByteString Low)))))) :+: ((C1 (MetaCons "CFieldRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass FieldId Low))) :+: (C1 (MetaCons "CMethodRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId Low))) :+: C1 (MetaCons "CInterfaceMethodRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId Low))))) :+: ((C1 (MetaCons "CNameAndType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low))) :+: C1 (MetaCons "CMethodHandle" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandle Low)))) :+: (C1 (MetaCons "CMethodType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodDescriptor Low))) :+: C1 (MetaCons "CInvokeDynamic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InvokeDynamic Low)))))))

constantSize :: Constant r -> Index 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.

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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m MethodDescriptor Source # toConst :: Monad m => MethodDescriptor -> m (Constant High) Source #
Referenceable JRefType Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m JRefType Source # toConst :: Monad m => JRefType -> m (Constant High) Source #
Referenceable ClassName Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant Methods (==) :: JValue -> JValue -> Bool # (/=) :: JValue -> JValue -> Bool #
Show JValue Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> JValue -> ShowS # show :: JValue -> String # showList :: [JValue] -> ShowS #
Generic JValue Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep JValue :: Type -> Type # Methods from :: JValue -> Rep JValue x # to :: Rep JValue x -> JValue #
NFData JValue Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: JValue -> () #
Referenceable JValue Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant type Rep JValue = D1 (MetaData "JValue" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (((C1 (MetaCons "VInteger" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int32)) :+: C1 (MetaCons "VLong" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int64))) :+: (C1 (MetaCons "VFloat" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Float)) :+: C1 (MetaCons "VDouble" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Double)))) :+: ((C1 (MetaCons "VString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ByteString)) :+: C1 (MetaCons "VClass" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ClassName))) :+: (C1 (MetaCons "VMethodType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 MethodDescriptor)) :+: C1 (MetaCons "VMethodHandle" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (MethodHandle High))))))

Special constants

newtype ClassName Source #

A class name

Constructors

ClassName
Fields classNameAsText :: Text

Instances

Eq ClassName Source #
Instance details Defined in Language.JVM.Type Methods (==) :: ClassName -> ClassName -> Bool # (/=) :: ClassName -> ClassName -> Bool #
Ord ClassName Source #
Instance details Defined in Language.JVM.Type 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 #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> ClassName -> ShowS # show :: ClassName -> String # showList :: [ClassName] -> ShowS #
IsString ClassName Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> ClassName #
Generic ClassName Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep ClassName :: Type -> Type # Methods from :: ClassName -> Rep ClassName x # to :: Rep ClassName x -> ClassName #
NFData ClassName Source #
Instance details Defined in Language.JVM.Type Methods rnf :: ClassName -> () #
TypeParse ClassName Source #
Instance details Defined in Language.JVM.Type Methods parseType :: Parser ClassName Source # typeToBuilder :: ClassName -> Builder Source #
Referenceable ClassName Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Type type Rep ClassName = D1 (MetaData "ClassName" "Language.JVM.Type" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "ClassName" PrefixI True) (S1 (MetaSel (Just "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 #
Instance details Defined in Language.JVM.Staged Methods stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r0 -> m (s' r')) -> InClass r r0 -> 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 #
Instance details Defined in Language.JVM.Constant Methods (==) :: InClass FieldId High -> InClass FieldId High -> Bool # (/=) :: InClass FieldId High -> InClass FieldId High -> Bool #
Eq (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: InClass FieldId Low -> InClass FieldId Low -> Bool # (/=) :: InClass FieldId Low -> InClass FieldId Low -> Bool #
Eq (InClass MethodId High) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: InClass MethodId High -> InClass MethodId High -> Bool # (/=) :: InClass MethodId High -> InClass MethodId High -> Bool #
Eq (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: InClass MethodId Low -> InClass MethodId Low -> Bool # (/=) :: InClass MethodId Low -> InClass MethodId Low -> Bool #
Ord (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: InClass FieldId Low -> InClass FieldId Low -> Ordering # (<) :: InClass FieldId Low -> InClass FieldId Low -> Bool # (<=) :: InClass FieldId Low -> InClass FieldId Low -> Bool # (>) :: InClass FieldId Low -> InClass FieldId Low -> Bool # (>=) :: InClass FieldId Low -> InClass FieldId Low -> Bool # max :: InClass FieldId Low -> InClass FieldId Low -> InClass FieldId Low # min :: InClass FieldId Low -> InClass FieldId Low -> InClass FieldId Low #
Ord (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: InClass MethodId Low -> InClass MethodId Low -> Ordering # (<) :: InClass MethodId Low -> InClass MethodId Low -> Bool # (<=) :: InClass MethodId Low -> InClass MethodId Low -> Bool # (>) :: InClass MethodId Low -> InClass MethodId Low -> Bool # (>=) :: InClass MethodId Low -> InClass MethodId Low -> Bool # max :: InClass MethodId Low -> InClass MethodId Low -> InClass MethodId Low # min :: InClass MethodId Low -> InClass MethodId Low -> InClass MethodId Low #
Show (InClass FieldId High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> InClass FieldId High -> ShowS # show :: InClass FieldId High -> String # showList :: [InClass FieldId High] -> ShowS #
Show (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> InClass FieldId Low -> ShowS # show :: InClass FieldId Low -> String # showList :: [InClass FieldId Low] -> ShowS #
Show (InClass MethodId High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> InClass MethodId High -> ShowS # show :: InClass MethodId High -> String # showList :: [InClass MethodId High] -> ShowS #
Show (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> InClass MethodId Low -> ShowS # show :: InClass MethodId Low -> String # showList :: [InClass MethodId Low] -> ShowS #
Generic (InClass FieldId High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (InClass FieldId High) :: Type -> Type # Methods from :: InClass FieldId High -> Rep (InClass FieldId High) x # to :: Rep (InClass FieldId High) x -> InClass FieldId High #
Generic (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (InClass FieldId Low) :: Type -> Type # Methods from :: InClass FieldId Low -> Rep (InClass FieldId Low) x # to :: Rep (InClass FieldId Low) x -> InClass FieldId Low #
Generic (InClass MethodId High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (InClass MethodId High) :: Type -> Type # Methods from :: InClass MethodId High -> Rep (InClass MethodId High) x # to :: Rep (InClass MethodId High) x -> InClass MethodId High #
Generic (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (InClass MethodId Low) :: Type -> Type # Methods from :: InClass MethodId Low -> Rep (InClass MethodId Low) x # to :: Rep (InClass MethodId Low) x -> InClass MethodId Low #
Binary (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Methods put :: InClass FieldId Low -> Put # get :: Get (InClass FieldId Low) # putList :: [InClass FieldId Low] -> Put #
Binary (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods put :: InClass MethodId Low -> Put # get :: Get (InClass MethodId Low) # putList :: [InClass MethodId Low] -> Put #
NFData (InClass FieldId High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: InClass FieldId High -> () #
NFData (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: InClass FieldId Low -> () #
NFData (InClass MethodId High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: InClass MethodId High -> () #
NFData (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: InClass MethodId Low -> () #
Referenceable (InClass FieldId High) Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant type Rep (InClass FieldId High) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref FieldId High))))
type Rep (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (InClass FieldId Low) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref FieldId Low))))
type Rep (InClass MethodId High) Source #
Instance details Defined in Language.JVM.Constant type Rep (InClass MethodId High) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodId High))))
type Rep (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (InClass MethodId Low) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodId Low))))

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 method which is from an interface

Constructors

AbsInterfaceMethodId
Fields interfaceMethodId :: InClass MethodId r

Instances

Eq (AbsInterfaceMethodId High) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: AbsInterfaceMethodId High -> AbsInterfaceMethodId High -> Bool # (/=) :: AbsInterfaceMethodId High -> AbsInterfaceMethodId High -> Bool #
Eq (AbsInterfaceMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Bool # (/=) :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Bool #
Ord (AbsInterfaceMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Ordering # (<) :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Bool # (<=) :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Bool # (>) :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Bool # (>=) :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> Bool # max :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low # min :: AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low -> AbsInterfaceMethodId Low #
Show (AbsInterfaceMethodId High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> AbsInterfaceMethodId High -> ShowS # show :: AbsInterfaceMethodId High -> String # showList :: [AbsInterfaceMethodId High] -> ShowS #
Show (AbsInterfaceMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> AbsInterfaceMethodId Low -> ShowS # show :: AbsInterfaceMethodId Low -> String # showList :: [AbsInterfaceMethodId Low] -> ShowS #
Generic (AbsInterfaceMethodId High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (AbsInterfaceMethodId High) :: Type -> Type # Methods from :: AbsInterfaceMethodId High -> Rep (AbsInterfaceMethodId High) x # to :: Rep (AbsInterfaceMethodId High) x -> AbsInterfaceMethodId High #
Generic (AbsInterfaceMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (AbsInterfaceMethodId Low) :: Type -> Type # Methods from :: AbsInterfaceMethodId Low -> Rep (AbsInterfaceMethodId Low) x # to :: Rep (AbsInterfaceMethodId Low) x -> AbsInterfaceMethodId Low #
Binary (AbsInterfaceMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods put :: AbsInterfaceMethodId Low -> Put # get :: Get (AbsInterfaceMethodId Low) # putList :: [AbsInterfaceMethodId Low] -> Put #
NFData (AbsInterfaceMethodId High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: AbsInterfaceMethodId High -> () #
NFData (AbsInterfaceMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: AbsInterfaceMethodId Low -> () #
Referenceable (AbsInterfaceMethodId High) Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant type Rep (AbsInterfaceMethodId High) = D1 (MetaData "AbsInterfaceMethodId" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "AbsInterfaceMethodId" PrefixI True) (S1 (MetaSel (Just "interfaceMethodId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InClass MethodId High))))
type Rep (AbsInterfaceMethodId Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (AbsInterfaceMethodId Low) = D1 (MetaData "AbsInterfaceMethodId" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "AbsInterfaceMethodId" PrefixI True) (S1 (MetaSel (Just "interfaceMethodId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InClass MethodId Low))))

data AbsVariableMethodId r Source #

An method which can be from an interface

Constructors

AbsVariableMethodId
Fields variableIsInterface :: !Bool variableMethodId :: !(InClass MethodId r)

Instances

Eq (AbsVariableMethodId High) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: AbsVariableMethodId High -> AbsVariableMethodId High -> Bool # (/=) :: AbsVariableMethodId High -> AbsVariableMethodId High -> Bool #
Eq (AbsVariableMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Bool # (/=) :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Bool #
Ord (AbsVariableMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Ordering # (<) :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Bool # (<=) :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Bool # (>) :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Bool # (>=) :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> Bool # max :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> AbsVariableMethodId Low # min :: AbsVariableMethodId Low -> AbsVariableMethodId Low -> AbsVariableMethodId Low #
Show (AbsVariableMethodId High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> AbsVariableMethodId High -> ShowS # show :: AbsVariableMethodId High -> String # showList :: [AbsVariableMethodId High] -> ShowS #
Show (AbsVariableMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> AbsVariableMethodId Low -> ShowS # show :: AbsVariableMethodId Low -> String # showList :: [AbsVariableMethodId Low] -> ShowS #
Generic (AbsVariableMethodId High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (AbsVariableMethodId High) :: Type -> Type # Methods from :: AbsVariableMethodId High -> Rep (AbsVariableMethodId High) x # to :: Rep (AbsVariableMethodId High) x -> AbsVariableMethodId High #
Generic (AbsVariableMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (AbsVariableMethodId Low) :: Type -> Type # Methods from :: AbsVariableMethodId Low -> Rep (AbsVariableMethodId Low) x # to :: Rep (AbsVariableMethodId Low) x -> AbsVariableMethodId Low #
Binary (AbsVariableMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods put :: AbsVariableMethodId Low -> Put # get :: Get (AbsVariableMethodId Low) # putList :: [AbsVariableMethodId Low] -> Put #
NFData (AbsVariableMethodId High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: AbsVariableMethodId High -> () #
NFData (AbsVariableMethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: AbsVariableMethodId Low -> () #
Referenceable (AbsVariableMethodId High) Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant type Rep (AbsVariableMethodId High) = D1 (MetaData "AbsVariableMethodId" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "AbsVariableMethodId" PrefixI True) (S1 (MetaSel (Just "variableIsInterface") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool) :*: S1 (MetaSel (Just "variableMethodId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId High))))
type Rep (AbsVariableMethodId Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (AbsVariableMethodId Low) = D1 (MetaData "AbsVariableMethodId" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "AbsVariableMethodId" PrefixI True) (S1 (MetaSel (Just "variableIsInterface") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool) :*: S1 (MetaSel (Just "variableMethodId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (InClass MethodId Low))))

newtype MethodId Source #

Constructors

MethodId (NameAndType MethodDescriptor)

Instances

Eq MethodId Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: MethodId -> MethodId -> Bool # (/=) :: MethodId -> MethodId -> Bool #
Ord MethodId Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> MethodId -> ShowS # show :: MethodId -> String # showList :: [MethodId] -> ShowS #
IsString MethodId Source #
Instance details Defined in Language.JVM.Constant Methods fromString :: String -> MethodId #
Generic MethodId Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep MethodId :: Type -> Type # Methods from :: MethodId -> Rep MethodId x # to :: Rep MethodId x -> MethodId #
NFData MethodId Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: MethodId -> () #
Referenceable MethodId Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant Methods (==) :: InClass MethodId High -> InClass MethodId High -> Bool # (/=) :: InClass MethodId High -> InClass MethodId High -> Bool #
Eq (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: InClass MethodId Low -> InClass MethodId Low -> Bool # (/=) :: InClass MethodId Low -> InClass MethodId Low -> Bool #
Ord (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: InClass MethodId Low -> InClass MethodId Low -> Ordering # (<) :: InClass MethodId Low -> InClass MethodId Low -> Bool # (<=) :: InClass MethodId Low -> InClass MethodId Low -> Bool # (>) :: InClass MethodId Low -> InClass MethodId Low -> Bool # (>=) :: InClass MethodId Low -> InClass MethodId Low -> Bool # max :: InClass MethodId Low -> InClass MethodId Low -> InClass MethodId Low # min :: InClass MethodId Low -> InClass MethodId Low -> InClass MethodId Low #
Show (InClass MethodId High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> InClass MethodId High -> ShowS # show :: InClass MethodId High -> String # showList :: [InClass MethodId High] -> ShowS #
Show (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> InClass MethodId Low -> ShowS # show :: InClass MethodId Low -> String # showList :: [InClass MethodId Low] -> ShowS #
Generic (InClass MethodId High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (InClass MethodId High) :: Type -> Type # Methods from :: InClass MethodId High -> Rep (InClass MethodId High) x # to :: Rep (InClass MethodId High) x -> InClass MethodId High #
Generic (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (InClass MethodId Low) :: Type -> Type # Methods from :: InClass MethodId Low -> Rep (InClass MethodId Low) x # to :: Rep (InClass MethodId Low) x -> InClass MethodId Low #
Binary (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods put :: InClass MethodId Low -> Put # get :: Get (InClass MethodId Low) # putList :: [InClass MethodId Low] -> Put #
NFData (InClass MethodId High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: InClass MethodId High -> () #
NFData (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: InClass MethodId Low -> () #
Referenceable (InClass MethodId High) Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant type Rep MethodId = D1 (MetaData "MethodId" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "MethodId" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NameAndType MethodDescriptor))))
type Rep (InClass MethodId High) Source #
Instance details Defined in Language.JVM.Constant type Rep (InClass MethodId High) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodId High))))
type Rep (InClass MethodId Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (InClass MethodId Low) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodId Low))))

newtype FieldId Source #

Constructors

FieldId (NameAndType FieldDescriptor)

Instances

Eq FieldId Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: FieldId -> FieldId -> Bool # (/=) :: FieldId -> FieldId -> Bool #
Ord FieldId Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> FieldId -> ShowS # show :: FieldId -> String # showList :: [FieldId] -> ShowS #
IsString FieldId Source #
Instance details Defined in Language.JVM.Constant Methods fromString :: String -> FieldId #
Generic FieldId Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep FieldId :: Type -> Type # Methods from :: FieldId -> Rep FieldId x # to :: Rep FieldId x -> FieldId #
NFData FieldId Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: FieldId -> () #
Referenceable FieldId Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant Methods (==) :: InClass FieldId High -> InClass FieldId High -> Bool # (/=) :: InClass FieldId High -> InClass FieldId High -> Bool #
Eq (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: InClass FieldId Low -> InClass FieldId Low -> Bool # (/=) :: InClass FieldId Low -> InClass FieldId Low -> Bool #
Ord (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: InClass FieldId Low -> InClass FieldId Low -> Ordering # (<) :: InClass FieldId Low -> InClass FieldId Low -> Bool # (<=) :: InClass FieldId Low -> InClass FieldId Low -> Bool # (>) :: InClass FieldId Low -> InClass FieldId Low -> Bool # (>=) :: InClass FieldId Low -> InClass FieldId Low -> Bool # max :: InClass FieldId Low -> InClass FieldId Low -> InClass FieldId Low # min :: InClass FieldId Low -> InClass FieldId Low -> InClass FieldId Low #
Show (InClass FieldId High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> InClass FieldId High -> ShowS # show :: InClass FieldId High -> String # showList :: [InClass FieldId High] -> ShowS #
Show (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> InClass FieldId Low -> ShowS # show :: InClass FieldId Low -> String # showList :: [InClass FieldId Low] -> ShowS #
Generic (InClass FieldId High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (InClass FieldId High) :: Type -> Type # Methods from :: InClass FieldId High -> Rep (InClass FieldId High) x # to :: Rep (InClass FieldId High) x -> InClass FieldId High #
Generic (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (InClass FieldId Low) :: Type -> Type # Methods from :: InClass FieldId Low -> Rep (InClass FieldId Low) x # to :: Rep (InClass FieldId Low) x -> InClass FieldId Low #
Binary (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Methods put :: InClass FieldId Low -> Put # get :: Get (InClass FieldId Low) # putList :: [InClass FieldId Low] -> Put #
NFData (InClass FieldId High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: InClass FieldId High -> () #
NFData (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: InClass FieldId Low -> () #
Referenceable (InClass FieldId High) Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant type Rep FieldId = D1 (MetaData "FieldId" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "FieldId" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NameAndType FieldDescriptor))))
type Rep (InClass FieldId High) Source #
Instance details Defined in Language.JVM.Constant type Rep (InClass FieldId High) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref FieldId High))))
type Rep (InClass FieldId Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (InClass FieldId Low) = D1 (MetaData "InClass" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InClass" PrefixI True) (S1 (MetaSel (Just "inClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :*: S1 (MetaSel (Just "inClassId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref FieldId Low))))

data NameAndType a Source #

A name and a type

Constructors

NameAndType
Fields ntName :: Text ntDescriptor :: a

Instances

Eq a => Eq (NameAndType a) Source #
Instance details Defined in Language.JVM.Type Methods (==) :: NameAndType a -> NameAndType a -> Bool # (/=) :: NameAndType a -> NameAndType a -> Bool #
Ord a => Ord (NameAndType a) Source #
Instance details Defined in Language.JVM.Type 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 #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> NameAndType a -> ShowS # show :: NameAndType a -> String # showList :: [NameAndType a] -> ShowS #
TypeParse t => IsString (NameAndType t) Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> NameAndType t #
Generic (NameAndType a) Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep (NameAndType a) :: Type -> Type # Methods from :: NameAndType a -> Rep (NameAndType a) x # to :: Rep (NameAndType a) x -> NameAndType a #
NFData a => NFData (NameAndType a) Source #
Instance details Defined in Language.JVM.Type Methods rnf :: NameAndType a -> () #
TypeParse t => TypeParse (NameAndType t) Source #
Instance details Defined in Language.JVM.Type Methods parseType :: Parser (NameAndType t) Source # typeToBuilder :: NameAndType t -> Builder Source #
TypeParse a => Referenceable (NameAndType a) Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Type type Rep (NameAndType a) = D1 (MetaData "NameAndType" "Language.JVM.Type" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "NameAndType" PrefixI True) (S1 (MetaSel (Just "ntName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "ntDescriptor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

data MethodDescriptor Source #

Method Descriptor

Instances

Eq MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods (==) :: MethodDescriptor -> MethodDescriptor -> Bool # (/=) :: MethodDescriptor -> MethodDescriptor -> Bool #
Ord MethodDescriptor Source #
Instance details Defined in Language.JVM.Type 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 #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> MethodDescriptor -> ShowS # show :: MethodDescriptor -> String # showList :: [MethodDescriptor] -> ShowS #
IsString MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> MethodDescriptor #
Generic MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep MethodDescriptor :: Type -> Type # Methods from :: MethodDescriptor -> Rep MethodDescriptor x # to :: Rep MethodDescriptor x -> MethodDescriptor #
NFData MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods rnf :: MethodDescriptor -> () #
TypeParse MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods parseType :: Parser MethodDescriptor Source # typeToBuilder :: MethodDescriptor -> Builder Source #
Referenceable MethodDescriptor Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Type type Rep MethodDescriptor = D1 (MetaData "MethodDescriptor" "Language.JVM.Type" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MethodDescriptor" PrefixI True) (S1 (MetaSel (Just "methodDescriptorArguments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [JType]) :*: S1 (MetaSel (Just "methodDescriptorReturnType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe JType))))

data FieldDescriptor Source #

Field Descriptor

Instances

Eq FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods (==) :: FieldDescriptor -> FieldDescriptor -> Bool # (/=) :: FieldDescriptor -> FieldDescriptor -> Bool #
Ord FieldDescriptor Source #
Instance details Defined in Language.JVM.Type 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 #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> FieldDescriptor -> ShowS # show :: FieldDescriptor -> String # showList :: [FieldDescriptor] -> ShowS #
IsString FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> FieldDescriptor #
Generic FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep FieldDescriptor :: Type -> Type # Methods from :: FieldDescriptor -> Rep FieldDescriptor x # to :: Rep FieldDescriptor x -> FieldDescriptor #
NFData FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods rnf :: FieldDescriptor -> () #
TypeParse FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods parseType :: Parser FieldDescriptor Source # typeToBuilder :: FieldDescriptor -> Builder Source #
Referenceable FieldDescriptor Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Type type Rep FieldDescriptor = D1 (MetaData "FieldDescriptor" "Language.JVM.Type" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" True) (C1 (MetaCons "FieldDescriptor" PrefixI True) (S1 (MetaSel (Just "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 #
Instance details Defined in Language.JVM.Staged Methods stage :: LabelM m => (forall (s' :: Type -> Type). 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 #
Instance details Defined in Language.JVM.Constant Methods (==) :: MethodHandle High -> MethodHandle High -> Bool # (/=) :: MethodHandle High -> MethodHandle High -> Bool #
Eq (MethodHandle Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: MethodHandle Low -> MethodHandle Low -> Bool # (/=) :: MethodHandle Low -> MethodHandle Low -> Bool #
Ord (MethodHandle Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: MethodHandle Low -> MethodHandle Low -> Ordering # (<) :: MethodHandle Low -> MethodHandle Low -> Bool # (<=) :: MethodHandle Low -> MethodHandle Low -> Bool # (>) :: MethodHandle Low -> MethodHandle Low -> Bool # (>=) :: MethodHandle Low -> MethodHandle Low -> Bool # max :: MethodHandle Low -> MethodHandle Low -> MethodHandle Low # min :: MethodHandle Low -> MethodHandle Low -> MethodHandle Low #
Show (MethodHandle High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> MethodHandle High -> ShowS # show :: MethodHandle High -> String # showList :: [MethodHandle High] -> ShowS #
Show (MethodHandle Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> MethodHandle Low -> ShowS # show :: MethodHandle Low -> String # showList :: [MethodHandle Low] -> ShowS #
Generic (MethodHandle High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (MethodHandle High) :: Type -> Type # Methods from :: MethodHandle High -> Rep (MethodHandle High) x # to :: Rep (MethodHandle High) x -> MethodHandle High #
Generic (MethodHandle Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (MethodHandle Low) :: Type -> Type # Methods from :: MethodHandle Low -> Rep (MethodHandle Low) x # to :: Rep (MethodHandle Low) x -> MethodHandle Low #
Binary (MethodHandle Low) Source #
Instance details Defined in Language.JVM.Constant Methods put :: MethodHandle Low -> Put # get :: Get (MethodHandle Low) # putList :: [MethodHandle Low] -> Put #
NFData (MethodHandle High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: MethodHandle High -> () #
NFData (MethodHandle Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: MethodHandle Low -> () #
Referenceable (MethodHandle High) Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant type Rep (MethodHandle High) = D1 (MetaData "MethodHandle" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MHField" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleField High))) :+: (C1 (MetaCons "MHMethod" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleMethod High))) :+: C1 (MetaCons "MHInterface" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleInterface High)))))
type Rep (MethodHandle Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (MethodHandle Low) = D1 (MetaData "MethodHandle" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MHField" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleField Low))) :+: (C1 (MetaCons "MHMethod" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleMethod Low))) :+: C1 (MetaCons "MHInterface" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (MethodHandleInterface Low)))))

data MethodHandleField r Source #

Constructors

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

Instances

Staged MethodHandleField Source #
Instance details Defined in Language.JVM.Staged Methods stage :: LabelM m => (forall (s' :: Type -> Type). 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 #
Instance details Defined in Language.JVM.Constant Methods (==) :: MethodHandleField High -> MethodHandleField High -> Bool # (/=) :: MethodHandleField High -> MethodHandleField High -> Bool #
Eq (MethodHandleField Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: MethodHandleField Low -> MethodHandleField Low -> Bool # (/=) :: MethodHandleField Low -> MethodHandleField Low -> Bool #
Ord (MethodHandleField Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: MethodHandleField Low -> MethodHandleField Low -> Ordering # (<) :: MethodHandleField Low -> MethodHandleField Low -> Bool # (<=) :: MethodHandleField Low -> MethodHandleField Low -> Bool # (>) :: MethodHandleField Low -> MethodHandleField Low -> Bool # (>=) :: MethodHandleField Low -> MethodHandleField Low -> Bool # max :: MethodHandleField Low -> MethodHandleField Low -> MethodHandleField Low # min :: MethodHandleField Low -> MethodHandleField Low -> MethodHandleField Low #
Show (MethodHandleField High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> MethodHandleField High -> ShowS # show :: MethodHandleField High -> String # showList :: [MethodHandleField High] -> ShowS #
Show (MethodHandleField Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> MethodHandleField Low -> ShowS # show :: MethodHandleField Low -> String # showList :: [MethodHandleField Low] -> ShowS #
Generic (MethodHandleField High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (MethodHandleField High) :: Type -> Type # Methods from :: MethodHandleField High -> Rep (MethodHandleField High) x # to :: Rep (MethodHandleField High) x -> MethodHandleField High #
Generic (MethodHandleField Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (MethodHandleField Low) :: Type -> Type # Methods from :: MethodHandleField Low -> Rep (MethodHandleField Low) x # to :: Rep (MethodHandleField Low) x -> MethodHandleField Low #
NFData (MethodHandleField High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: MethodHandleField High -> () #
NFData (MethodHandleField Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: MethodHandleField Low -> () #
type Rep (MethodHandleField High) Source #
Instance details Defined in Language.JVM.Constant type Rep (MethodHandleField High) = D1 (MetaData "MethodHandleField" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MethodHandleField" PrefixI True) (S1 (MetaSel (Just "methodHandleFieldKind") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 MethodHandleFieldKind) :*: S1 (MetaSel (Just "methodHandleFieldRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsFieldId High))))
type Rep (MethodHandleField Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (MethodHandleField Low) = D1 (MetaData "MethodHandleField" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MethodHandleField" PrefixI True) (S1 (MetaSel (Just "methodHandleFieldKind") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 MethodHandleFieldKind) :*: S1 (MetaSel (Just "methodHandleFieldRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsFieldId Low))))

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 #
Instance details Defined in Language.JVM.Staged Methods stage :: LabelM m => (forall (s' :: Type -> Type). 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 #
Instance details Defined in Language.JVM.Constant Methods (==) :: MethodHandleMethod High -> MethodHandleMethod High -> Bool # (/=) :: MethodHandleMethod High -> MethodHandleMethod High -> Bool #
Eq (MethodHandleMethod Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: MethodHandleMethod Low -> MethodHandleMethod Low -> Bool # (/=) :: MethodHandleMethod Low -> MethodHandleMethod Low -> Bool #
Ord (MethodHandleMethod Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: MethodHandleMethod Low -> MethodHandleMethod Low -> Ordering # (<) :: MethodHandleMethod Low -> MethodHandleMethod Low -> Bool # (<=) :: MethodHandleMethod Low -> MethodHandleMethod Low -> Bool # (>) :: MethodHandleMethod Low -> MethodHandleMethod Low -> Bool # (>=) :: MethodHandleMethod Low -> MethodHandleMethod Low -> Bool # max :: MethodHandleMethod Low -> MethodHandleMethod Low -> MethodHandleMethod Low # min :: MethodHandleMethod Low -> MethodHandleMethod Low -> MethodHandleMethod Low #
Show (MethodHandleMethod High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> MethodHandleMethod High -> ShowS # show :: MethodHandleMethod High -> String # showList :: [MethodHandleMethod High] -> ShowS #
Show (MethodHandleMethod Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> MethodHandleMethod Low -> ShowS # show :: MethodHandleMethod Low -> String # showList :: [MethodHandleMethod Low] -> ShowS #
Generic (MethodHandleMethod High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (MethodHandleMethod High) :: Type -> Type # Methods from :: MethodHandleMethod High -> Rep (MethodHandleMethod High) x # to :: Rep (MethodHandleMethod High) x -> MethodHandleMethod High #
Generic (MethodHandleMethod Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (MethodHandleMethod Low) :: Type -> Type # Methods from :: MethodHandleMethod Low -> Rep (MethodHandleMethod Low) x # to :: Rep (MethodHandleMethod Low) x -> MethodHandleMethod Low #
NFData (MethodHandleMethod High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: MethodHandleMethod High -> () #
NFData (MethodHandleMethod Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: MethodHandleMethod Low -> () #
type Rep (MethodHandleMethod High) Source #
Instance details Defined in Language.JVM.Constant type Rep (MethodHandleMethod High) = D1 (MetaData "MethodHandleMethod" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) ((C1 (MetaCons "MHInvokeVirtual" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsMethodId High))) :+: C1 (MetaCons "MHInvokeStatic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsVariableMethodId High)))) :+: (C1 (MetaCons "MHInvokeSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsVariableMethodId High))) :+: C1 (MetaCons "MHNewInvokeSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsMethodId High)))))
type Rep (MethodHandleMethod Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (MethodHandleMethod Low) = D1 (MetaData "MethodHandleMethod" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) ((C1 (MetaCons "MHInvokeVirtual" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsMethodId Low))) :+: C1 (MetaCons "MHInvokeStatic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsVariableMethodId Low)))) :+: (C1 (MetaCons "MHInvokeSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsVariableMethodId Low))) :+: C1 (MetaCons "MHNewInvokeSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsMethodId Low)))))

data MethodHandleInterface r Source #

Constructors

MethodHandleInterface
Fields methodHandleInterfaceRef :: !(DeepRef AbsInterfaceMethodId r)

Instances

Staged MethodHandleInterface Source #
Instance details Defined in Language.JVM.Staged Methods stage :: LabelM m => (forall (s' :: Type -> Type). 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 #
Instance details Defined in Language.JVM.Constant Methods (==) :: MethodHandleInterface High -> MethodHandleInterface High -> Bool # (/=) :: MethodHandleInterface High -> MethodHandleInterface High -> Bool #
Eq (MethodHandleInterface Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: MethodHandleInterface Low -> MethodHandleInterface Low -> Bool # (/=) :: MethodHandleInterface Low -> MethodHandleInterface Low -> Bool #
Ord (MethodHandleInterface Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: MethodHandleInterface Low -> MethodHandleInterface Low -> Ordering # (<) :: MethodHandleInterface Low -> MethodHandleInterface Low -> Bool # (<=) :: MethodHandleInterface Low -> MethodHandleInterface Low -> Bool # (>) :: MethodHandleInterface Low -> MethodHandleInterface Low -> Bool # (>=) :: MethodHandleInterface Low -> MethodHandleInterface Low -> Bool # max :: MethodHandleInterface Low -> MethodHandleInterface Low -> MethodHandleInterface Low # min :: MethodHandleInterface Low -> MethodHandleInterface Low -> MethodHandleInterface Low #
Show (MethodHandleInterface High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> MethodHandleInterface High -> ShowS # show :: MethodHandleInterface High -> String # showList :: [MethodHandleInterface High] -> ShowS #
Show (MethodHandleInterface Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> MethodHandleInterface Low -> ShowS # show :: MethodHandleInterface Low -> String # showList :: [MethodHandleInterface Low] -> ShowS #
Generic (MethodHandleInterface High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (MethodHandleInterface High) :: Type -> Type # Methods from :: MethodHandleInterface High -> Rep (MethodHandleInterface High) x # to :: Rep (MethodHandleInterface High) x -> MethodHandleInterface High #
Generic (MethodHandleInterface Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (MethodHandleInterface Low) :: Type -> Type # Methods from :: MethodHandleInterface Low -> Rep (MethodHandleInterface Low) x # to :: Rep (MethodHandleInterface Low) x -> MethodHandleInterface Low #
NFData (MethodHandleInterface High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: MethodHandleInterface High -> () #
NFData (MethodHandleInterface Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: MethodHandleInterface Low -> () #
type Rep (MethodHandleInterface High) Source #
Instance details Defined in Language.JVM.Constant type Rep (MethodHandleInterface High) = D1 (MetaData "MethodHandleInterface" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MethodHandleInterface" PrefixI True) (S1 (MetaSel (Just "methodHandleInterfaceRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsInterfaceMethodId High))))
type Rep (MethodHandleInterface Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (MethodHandleInterface Low) = D1 (MetaData "MethodHandleInterface" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "MethodHandleInterface" PrefixI True) (S1 (MetaSel (Just "methodHandleInterfaceRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef AbsInterfaceMethodId Low))))

data MethodHandleFieldKind Source #

Constructors

MHGetField
MHGetStatic
MHPutField
MHPutStatic

Instances

Eq MethodHandleFieldKind Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: MethodHandleFieldKind -> MethodHandleFieldKind -> Bool # (/=) :: MethodHandleFieldKind -> MethodHandleFieldKind -> Bool #
Ord MethodHandleFieldKind Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> MethodHandleFieldKind -> ShowS # show :: MethodHandleFieldKind -> String # showList :: [MethodHandleFieldKind] -> ShowS #
Generic MethodHandleFieldKind Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep MethodHandleFieldKind :: Type -> Type # Methods from :: MethodHandleFieldKind -> Rep MethodHandleFieldKind x # to :: Rep MethodHandleFieldKind x -> MethodHandleFieldKind #
NFData MethodHandleFieldKind Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: MethodHandleFieldKind -> () #
type Rep MethodHandleFieldKind Source #
Instance details Defined in Language.JVM.Constant type Rep MethodHandleFieldKind = D1 (MetaData "MethodHandleFieldKind" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) ((C1 (MetaCons "MHGetField" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MHGetStatic" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "MHPutField" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MHPutStatic" PrefixI False) (U1 :: Type -> Type)))

data InvokeDynamic r Source #

Constructors

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

Instances

Staged InvokeDynamic Source #
Instance details Defined in Language.JVM.Staged Methods stage :: LabelM m => (forall (s' :: Type -> Type). 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 #
Instance details Defined in Language.JVM.Constant Methods (==) :: InvokeDynamic High -> InvokeDynamic High -> Bool # (/=) :: InvokeDynamic High -> InvokeDynamic High -> Bool #
Eq (InvokeDynamic Low) Source #
Instance details Defined in Language.JVM.Constant Methods (==) :: InvokeDynamic Low -> InvokeDynamic Low -> Bool # (/=) :: InvokeDynamic Low -> InvokeDynamic Low -> Bool #
Ord (InvokeDynamic Low) Source #
Instance details Defined in Language.JVM.Constant Methods compare :: InvokeDynamic Low -> InvokeDynamic Low -> Ordering # (<) :: InvokeDynamic Low -> InvokeDynamic Low -> Bool # (<=) :: InvokeDynamic Low -> InvokeDynamic Low -> Bool # (>) :: InvokeDynamic Low -> InvokeDynamic Low -> Bool # (>=) :: InvokeDynamic Low -> InvokeDynamic Low -> Bool # max :: InvokeDynamic Low -> InvokeDynamic Low -> InvokeDynamic Low # min :: InvokeDynamic Low -> InvokeDynamic Low -> InvokeDynamic Low #
Show (InvokeDynamic High) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> InvokeDynamic High -> ShowS # show :: InvokeDynamic High -> String # showList :: [InvokeDynamic High] -> ShowS #
Show (InvokeDynamic Low) Source #
Instance details Defined in Language.JVM.Constant Methods showsPrec :: Int -> InvokeDynamic Low -> ShowS # show :: InvokeDynamic Low -> String # showList :: [InvokeDynamic Low] -> ShowS #
Generic (InvokeDynamic High) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (InvokeDynamic High) :: Type -> Type # Methods from :: InvokeDynamic High -> Rep (InvokeDynamic High) x # to :: Rep (InvokeDynamic High) x -> InvokeDynamic High #
Generic (InvokeDynamic Low) Source #
Instance details Defined in Language.JVM.Constant Associated Types type Rep (InvokeDynamic Low) :: Type -> Type # Methods from :: InvokeDynamic Low -> Rep (InvokeDynamic Low) x # to :: Rep (InvokeDynamic Low) x -> InvokeDynamic Low #
Binary (InvokeDynamic Low) Source #
Instance details Defined in Language.JVM.Constant Methods put :: InvokeDynamic Low -> Put # get :: Get (InvokeDynamic Low) # putList :: [InvokeDynamic Low] -> Put #
NFData (InvokeDynamic High) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: InvokeDynamic High -> () #
NFData (InvokeDynamic Low) Source #
Instance details Defined in Language.JVM.Constant Methods rnf :: InvokeDynamic Low -> () #
Referenceable (InvokeDynamic High) Source #
Instance details Defined in Language.JVM.Constant 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 #
Instance details Defined in Language.JVM.Constant type Rep (InvokeDynamic High) = D1 (MetaData "InvokeDynamic" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InvokeDynamic" PrefixI True) (S1 (MetaSel (Just "invokeDynamicAttrIndex") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :*: S1 (MetaSel (Just "invokeDynamicMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodId High))))
type Rep (InvokeDynamic Low) Source #
Instance details Defined in Language.JVM.Constant type Rep (InvokeDynamic Low) = D1 (MetaData "InvokeDynamic" "Language.JVM.Constant" "jvm-binary-0.5.0-8tjUXfOvOFm5evlZ3bpMMl" False) (C1 (MetaCons "InvokeDynamic" PrefixI True) (S1 (MetaSel (Just "invokeDynamicAttrIndex") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :*: S1 (MetaSel (Just "invokeDynamicMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodId Low))))

re-exports

data High Source #

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

Instances

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

data Low Source #

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

Instances

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