Language.Java.Class.Method

Documentation

data Method m a

4.6. Methods

Constructors

Method MethodAccessFlags Word16 Word16 Word16 (m (Attribute a))

Instances

Eq (m (Attribute a)) => Eq (Method m a)

Ord (m (Attribute a)) => Ord (Method m a)

Show (m (Attribute a)) => Show (Method m a)

newtype MethodErrorAttributeError

Constructors

MethodErrorAttributeError AttributeError

Instances

Eq MethodErrorAttributeError

Ord MethodErrorAttributeError

Show MethodErrorAttributeError

AsAttributeUnexpectedEof p f MethodErrorAttributeError

AsAttributeLengthUnexpectedEof p f MethodErrorAttributeError

AsAttributeNameIndexUnexpectedEof p f MethodErrorAttributeError

AsMethodErrorAttributeError p f MethodErrorAttributeError

class AsMethodErrorAttributeError p f s where

Minimal complete definition

Nothing

Methods

_MethodErrorAttributeError :: Optic' p f s MethodErrorAttributeError

Instances

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

(Profunctor p, Functor f) => AsMethodErrorAttributeError p f AttributeError

AsMethodErrorAttributeError p f MethodErrorAttributeError

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

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

data MethodError

Constructors

MethodNameIndexUnexpectedEof

MethodDescriptorIndexUnexpectedEof

MethodAttributeCountUnexpectedEof

MethodAttributeUnexpectedEof Word16 MethodErrorAttributeError

MethodMethodAccessFlagsError MethodAccessFlagsError

Instances

Eq MethodError

Ord MethodError

Show MethodError

(Choice p, Applicative f) => AsMethodAccessFlagsUnexpectedEof p f MethodError

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

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

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

(Choice p, Applicative f) => AsMethodMethodAccessFlagsError p f MethodError

(Choice p, Applicative f) => AsMethodAttributeUnexpectedEof p f MethodError

(Choice p, Applicative f) => AsMethodAttributeCountUnexpectedEof p f MethodError

(Choice p, Applicative f) => AsMethodDescriptorIndexUnexpectedEof p f MethodError

(Choice p, Applicative f) => AsMethodNameIndexUnexpectedEof p f MethodError

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

class AsMethodNameIndexUnexpectedEof p f s where

Minimal complete definition

Nothing

Methods

_MethodNameIndexUnexpectedEof :: Optic' p f s ()

Instances

(Choice p, Applicative f) => AsMethodNameIndexUnexpectedEof p f MethodError

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

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

methodNameIndexUnexpectedEof :: AsMethodNameIndexUnexpectedEof Tagged Identity t => t

class AsMethodDescriptorIndexUnexpectedEof p f s where

Minimal complete definition

Nothing

Methods

_MethodDescriptorIndexUnexpectedEof :: Optic' p f s ()

Instances

(Choice p, Applicative f) => AsMethodDescriptorIndexUnexpectedEof p f MethodError

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

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

methodDescriptorIndexUnexpectedEof :: AsMethodDescriptorIndexUnexpectedEof Tagged Identity t => t

class AsMethodAttributeCountUnexpectedEof p f s where

Minimal complete definition

Nothing

Methods

_MethodAttributeCountUnexpectedEof :: Optic' p f s ()

Instances

(Choice p, Applicative f) => AsMethodAttributeCountUnexpectedEof p f MethodError

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

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

methodAttributeCountUnexpectedEof :: AsMethodAttributeCountUnexpectedEof Tagged Identity t => t

class AsMethodAttributeUnexpectedEof p f s where

Minimal complete definition

Nothing

Methods

_MethodAttributeUnexpectedEof :: Optic' p f s (Word16, MethodErrorAttributeError)

Instances

(Choice p, Applicative f) => AsMethodAttributeUnexpectedEof p f MethodError

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

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

class AsMethodMethodAccessFlagsError p f s where

Minimal complete definition

Nothing

Methods

_MethodMethodAccessFlagsError :: Optic' p f s MethodAccessFlagsError

Instances

(Choice p, Applicative f) => AsMethodMethodAccessFlagsError p f MethodError

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

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

method :: (AsEmpty (a Word8), AsEmpty (m (Attribute a1)), Cons (a Word8) (a Word8) Word8 Word8, Cons (m (Attribute a1)) (m (Attribute a1)) (Attribute a) (Attribute a), AsMethodMethodAccessFlagsError Tagged Identity e, AsMethodAttributeUnexpectedEof Tagged Identity e, AsMethodAttributeCountUnexpectedEof Tagged Identity e, AsMethodDescriptorIndexUnexpectedEof Tagged Identity e, AsMethodNameIndexUnexpectedEof Tagged Identity e) => Get e (Method m a1)