Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Attributes a s = Attributes Word16 (s (Attribute a))
- data AttributesError
- class AsAttributesInfoUnexpectedEof p f s where
- _AttributesInfoUnexpectedEof :: Optic' p f s ()
- attributesInfoUnexpectedEof :: AsAttributesInfoUnexpectedEof Tagged Identity t => t
- class AsAttributesAttributeError p f s where
- _AttributesAttributeError :: Optic' p f s (Word16, AttributeError)
- attributes :: (AsEmpty (a Word8), AsEmpty (s (Attribute a1)), Cons (a Word8) (a Word8) Word8 Word8, Cons (s (Attribute a1)) (s (Attribute a1)) (Attribute a) (Attribute a), AsAttributesInfoUnexpectedEof Tagged Identity e, AsAttributesAttributeError Tagged Identity e) => Get e (Attributes a1 s)
Documentation
data Attributes a s Source
Attributes Word16 (s (Attribute a)) |
Eq (s (Attribute a)) => Eq (Attributes a s) Source | |
Ord (s (Attribute a)) => Ord (Attributes a s) Source | |
Show (s (Attribute a)) => Show (Attributes a s) Source |
data AttributesError Source
Eq AttributesError Source | |
Ord AttributesError Source | |
Show AttributesError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsAttributeUnexpectedEof p f AttributesError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsAttributeLengthUnexpectedEof p f AttributesError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsAttributeNameIndexUnexpectedEof p f AttributesError Source | |
(Choice p, Applicative f) => AsAttributesAttributeError p f AttributesError Source | |
(Choice p, Applicative f) => AsAttributesInfoUnexpectedEof p f AttributesError Source |
class AsAttributesInfoUnexpectedEof p f s where Source
Nothing
_AttributesInfoUnexpectedEof :: Optic' p f s () Source
(Choice p, Applicative f) => AsAttributesInfoUnexpectedEof p f AttributesError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsAttributesInfoUnexpectedEof p f (ClassFileError c) Source |
class AsAttributesAttributeError p f s where Source
Nothing
_AttributesAttributeError :: Optic' p f s (Word16, AttributeError) Source
(Choice p, Applicative f) => AsAttributesAttributeError p f AttributesError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsAttributesAttributeError p f (ClassFileError c) Source |
attributes :: (AsEmpty (a Word8), AsEmpty (s (Attribute a1)), Cons (a Word8) (a Word8) Word8 Word8, Cons (s (Attribute a1)) (s (Attribute a1)) (Attribute a) (Attribute a), AsAttributesInfoUnexpectedEof Tagged Identity e, AsAttributesAttributeError Tagged Identity e) => Get e (Attributes a1 s) Source