Language.Java.Class.Fields

Documentation

data Fields a f s

4.1. The ClassFile Structure

Constructors

Fields Word16 (s (Field a f))

Instances

Eq (s (Field a f)) => Eq (Fields a f s)

Ord (s (Field a f)) => Ord (Fields a f s)

Show (s (Field a f)) => Show (Fields a f s)

data FieldsError

Constructors

FieldsFieldInfoUnexpectedEof

FieldsFieldError Word16 FieldError

Instances

Eq FieldsError

Ord FieldsError

Show FieldsError

((~) (* -> * -> *) p (->), Applicative f) => AsAttributeUnexpectedEof p f FieldsError

((~) (* -> * -> *) p (->), Applicative f) => AsAttributeLengthUnexpectedEof p f FieldsError

((~) (* -> * -> *) p (->), Applicative f) => AsAttributeNameIndexUnexpectedEof p f FieldsError

((~) (* -> * -> *) p (->), Applicative f) => AsFieldAttributeError p f FieldsError

((~) (* -> * -> *) p (->), Applicative f) => AsFieldAttributeCountUnexpectedEof p f FieldsError

((~) (* -> * -> *) p (->), Applicative f) => AsFieldDescriptorIndexUnexpectedEof p f FieldsError

((~) (* -> * -> *) p (->), Applicative f) => AsFieldNameIndexUnexpectedEof p f FieldsError

((~) (* -> * -> *) p (->), Applicative f) => AsFieldFieldAccessFlagsError p f FieldsError

((~) (* -> * -> *) p (->), Applicative f) => AsFieldErrorAttributeError p f FieldsError

(Choice p, Applicative f) => AsFieldsFieldError p f FieldsError

(Choice p, Applicative f) => AsFieldsFieldInfoUnexpectedEof p f FieldsError

class AsFieldsFieldInfoUnexpectedEof p f s where

Minimal complete definition

Nothing

Methods

_FieldsFieldInfoUnexpectedEof :: Optic' p f s ()

Instances

(Choice p, Applicative f) => AsFieldsFieldInfoUnexpectedEof p f FieldsError

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

fieldsFieldInfoUnexpectedEof :: AsFieldsFieldInfoUnexpectedEof Tagged Identity t => t

class AsFieldsFieldError p f s where

Minimal complete definition

Nothing

Methods

_FieldsFieldError :: Optic' p f s (Word16, FieldError)

Instances

(Choice p, Applicative f) => AsFieldsFieldError p f FieldsError

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

fields :: (AsEmpty (f (Attribute a1)), AsEmpty (a Word8), AsEmpty (s (Field a2 f1)), Cons (f (Attribute a1)) (f (Attribute a1)) (Attribute a) (Attribute a), Cons (a Word8) (a Word8) Word8 Word8, Cons (s (Field a2 f1)) (s (Field a2 f1)) (Field a1 f) (Field a1 f), AsFieldsFieldInfoUnexpectedEof Tagged Identity e, AsFieldsFieldError Tagged Identity e) => Get e (Fields a2 f1 s)