Language.Java.Class.ConstantPool

Documentation

data ConstantPool p c

4.4. The Constant Pool

Constructors

ConstantPool Word16 (c (ConstantPoolInfo p))

Instances

(Profunctor p, Functor f) => AsConstantPool p f ConstantPool

Eq (c (ConstantPoolInfo p)) => Eq (ConstantPool p c)

Ord (c (ConstantPoolInfo p)) => Ord (ConstantPool p c)

Show (c (ConstantPoolInfo p)) => Show (ConstantPool p c)

class AsConstantPool p f s where

Minimal complete definition

Nothing

Methods

_ConstantPool :: Optic' p f (s p' c) (Word16, c (ConstantPoolInfo p'))

Instances

(Profunctor p, Functor f) => AsConstantPool p f ConstantPool

data ConstantPoolError c

Constructors

ConstantPoolCountUnexpectedEof

ConstantPoolConstantPoolInfoError (ConstantPoolInfoError c)

Instances

(Choice p, Applicative f) => AsConstantPoolInvalidJavaString p f ConstantPoolError

(Choice p, Applicative f) => AsConstantPoolConstantPoolInfoError p f ConstantPoolError

(Choice p, Applicative f) => AsConstantPoolInfoInvalidConstantPoolTag p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoNameAndType2UnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoNameAndType1UnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoInterfaceMethodRef2UnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoInterfaceMethodRef1UnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoMethodRef2UnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoMethodRef1UnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoFieldRef2UnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoFieldRef1UnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoConstantStringUnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoConstantClassUnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoConstantDoubleUnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoConstantLongUnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoConstantFloatUnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoConstantIntegerUnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoUtf8UnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoUtf8LengthUnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolInfoTagUnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolCountUnexpectedEof p f (ConstantPoolError c)

Eq (ConstantPoolInfoError c) => Eq (ConstantPoolError c)

Ord (ConstantPoolInfoError c) => Ord (ConstantPoolError c)

Show (ConstantPoolInfoError c) => Show (ConstantPoolError c)

class AsConstantPoolCountUnexpectedEof p f s where

Minimal complete definition

Nothing

Methods

_ConstantPoolCountUnexpectedEof :: Optic' p f s ()

Instances

(Choice p, Applicative f) => AsConstantPoolCountUnexpectedEof p f (ConstantPoolError c)

(Choice p, Applicative f) => AsConstantPoolCountUnexpectedEof p f (ClassFileError c)

constantPoolCountUnexpectedEof :: AsConstantPoolCountUnexpectedEof Tagged Identity t => t

class AsConstantPoolConstantPoolInfoError p f s where

Minimal complete definition

Nothing

Methods

_ConstantPoolConstantPoolInfoError :: Optic' p f (s c) (ConstantPoolInfoError c)

Instances

(Choice p, Applicative f) => AsConstantPoolConstantPoolInfoError p f ConstantPoolError

(Choice p, Applicative f) => AsConstantPoolConstantPoolInfoError p f ClassFileError

constantPool :: (AsEmpty (c Word8), AsEmpty (q Char), AsEmpty (c1 (ConstantPoolInfo p')), Cons (c Word8) (c Word8) Word8 Word8, Cons (q Char) (q Char) Char Char, Cons (c1 (ConstantPoolInfo p')) (c1 (ConstantPoolInfo p')) (s1 q) (s1 q), AsUtf8 Tagged Identity s1, AsNameAndType Tagged Identity (s1 q), AsConstantDouble Tagged Identity (s1 q), AsConstantDouble (Market Double Double) Identity (s1 q), AsConstantLong Tagged Identity (s1 q), AsConstantLong (Market Int64 Int64) Identity (s1 q), AsConstantFloat Tagged Identity (s1 q), AsConstantInteger Tagged Identity (s1 q), AsConstantString Tagged Identity (s1 q), AsInterfaceMethodRef Tagged Identity (s1 q), AsMethodRef Tagged Identity (s1 q), AsFieldRef Tagged Identity (s1 q), AsConstantClass Tagged Identity (s1 q), AsConstantPoolConstantPoolInfoError Tagged Identity s, AsConstantPoolCountUnexpectedEof Tagged Identity (s c), AsConstantPool Tagged Identity s2) => Get (s c) (s2 p' c1)

constantPool' :: (AsEmpty (c1 (ConstantPoolInfo p')), Cons (c1 (ConstantPoolInfo p')) (c1 (ConstantPoolInfo p')) a a, AsConstantDouble (Market Double Double) Identity a, AsConstantLong (Market Int64 Int64) Identity a, AsConstantPoolConstantPoolInfoError Tagged Identity s, AsConstantPoolCountUnexpectedEof Tagged Identity (s c), AsConstantPool Tagged Identity s1) => Get (ConstantPoolInfoError c) a -> Get (s c) (s1 p' c1)