Language.Java.Class.Methods

Documentation

data Methods m a s

4.1. The ClassFile Structure

Constructors

Methods Word16 (s (Method m a))

Instances

Eq (s (Method m a)) => Eq (Methods m a s)

Ord (s (Method m a)) => Ord (Methods m a s)

Show (s (Method m a)) => Show (Methods m a s)

data MethodsError

Constructors

MethodsInfoUnexpectedEof

MethodsMethodError Word16 MethodError

Instances

Eq MethodsError

Ord MethodsError

Show MethodsError

((~) (* -> * -> *) p (->), Applicative f) => AsMethodAccessFlagsUnexpectedEof p f MethodsError

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

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

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

((~) (* -> * -> *) p (->), Applicative f) => AsMethodMethodAccessFlagsError p f MethodsError

((~) (* -> * -> *) p (->), Applicative f) => AsMethodAttributeUnexpectedEof p f MethodsError

((~) (* -> * -> *) p (->), Applicative f) => AsMethodAttributeCountUnexpectedEof p f MethodsError

((~) (* -> * -> *) p (->), Applicative f) => AsMethodDescriptorIndexUnexpectedEof p f MethodsError

((~) (* -> * -> *) p (->), Applicative f) => AsMethodNameIndexUnexpectedEof p f MethodsError

((~) (* -> * -> *) p (->), Applicative f) => AsMethodErrorAttributeError p f MethodsError

(Choice p, Applicative f) => AsMethodsMethodError p f MethodsError

(Choice p, Applicative f) => AsMethodsInfoUnexpectedEof p f MethodsError

class AsMethodsInfoUnexpectedEof p f s where

Minimal complete definition

Nothing

Methods

_MethodsInfoUnexpectedEof :: Optic' p f s ()

Instances

(Choice p, Applicative f) => AsMethodsInfoUnexpectedEof p f MethodsError

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

methodsInfoUnexpectedEof :: AsMethodsInfoUnexpectedEof Tagged Identity t => t

class AsMethodsMethodError p f s where

Minimal complete definition

Nothing

Methods

_MethodsMethodError :: Optic' p f s (Word16, MethodError)

Instances

(Choice p, Applicative f) => AsMethodsMethodError p f MethodsError

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

methods :: (AsEmpty (m (Attribute a1)), AsEmpty (a Word8), AsEmpty (s (Method m1 a2)), Cons (m (Attribute a1)) (m (Attribute a1)) (Attribute a) (Attribute a), Cons (a Word8) (a Word8) Word8 Word8, Cons (s (Method m1 a2)) (s (Method m1 a2)) (Method m a1) (Method m a1), AsMethodsInfoUnexpectedEof Tagged Identity e, AsMethodsMethodError Tagged Identity e) => Get e (Methods m1 a2 s)