Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Fields a f s = Fields Word16 (s (Field a f))
- data FieldsError
- class AsFieldsFieldInfoUnexpectedEof p f s where
- _FieldsFieldInfoUnexpectedEof :: Optic' p f s ()
- fieldsFieldInfoUnexpectedEof :: AsFieldsFieldInfoUnexpectedEof Tagged Identity t => t
- class AsFieldsFieldError p f s where
- _FieldsFieldError :: Optic' p f s (Word16, FieldError)
- 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)
Documentation
data FieldsError Source
class AsFieldsFieldInfoUnexpectedEof p f s where Source
Nothing
_FieldsFieldInfoUnexpectedEof :: Optic' p f s () Source
(Choice p, Applicative f) => AsFieldsFieldInfoUnexpectedEof p f FieldsError Source | |
(Choice p, Applicative f) => AsFieldsFieldInfoUnexpectedEof p f (ClassFileError c) Source |
class AsFieldsFieldError p f s where Source
Nothing
_FieldsFieldError :: Optic' p f s (Word16, FieldError) Source
(Choice p, Applicative f) => AsFieldsFieldError p f FieldsError Source | |
(Choice p, Applicative f) => AsFieldsFieldError p f (ClassFileError c) Source |
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) Source