| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Java.Class.Methods
- data Methods m a s = Methods Word16 (s (Method m a))
- data MethodsError
- class AsMethodsInfoUnexpectedEof p f s where
- _MethodsInfoUnexpectedEof :: Optic' p f s ()
- methodsInfoUnexpectedEof :: AsMethodsInfoUnexpectedEof Tagged Identity t => t
- class AsMethodsMethodError p f s where
- _MethodsMethodError :: Optic' p f s (Word16, MethodError)
- 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)
Documentation
data MethodsError Source
Constructors
| MethodsInfoUnexpectedEof | |
| MethodsMethodError Word16 MethodError |
Instances
class AsMethodsInfoUnexpectedEof p f s where Source
Minimal complete definition
Nothing
Methods
_MethodsInfoUnexpectedEof :: Optic' p f s () Source
Instances
| (Choice p, Applicative f) => AsMethodsInfoUnexpectedEof p f MethodsError Source | |
| (Choice p, Applicative f) => AsMethodsInfoUnexpectedEof p f (ClassFileError c) Source |
class AsMethodsMethodError p f s where Source
Minimal complete definition
Nothing
Methods
_MethodsMethodError :: Optic' p f s (Word16, MethodError) Source
Instances
| (Choice p, Applicative f) => AsMethodsMethodError p f MethodsError Source | |
| (Choice p, Applicative f) => AsMethodsMethodError p f (ClassFileError c) Source |
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) Source