| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Java.Class.Attributes
- 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
Constructors
| Attributes Word16 (s (Attribute a)) |
Instances
| 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
Instances
| 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
Minimal complete definition
Nothing
Methods
_AttributesInfoUnexpectedEof :: Optic' p f s () Source
Instances
| (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
Minimal complete definition
Nothing
Methods
_AttributesAttributeError :: Optic' p f s (Word16, AttributeError) Source
Instances
| (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