Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Field a f = Field FieldAccessFlags Word16 Word16 Word16 (f (Attribute a))
- newtype FieldErrorAttributeError = FieldErrorAttributeError AttributeError
- class AsFieldErrorAttributeError p f s where
- data FieldError
- class AsFieldFieldAccessFlagsError p f s where
- class AsFieldNameIndexUnexpectedEof p f s where
- _FieldNameIndexUnexpectedEof :: Optic' p f s ()
- fieldNameIndexUnexpectedEof :: AsFieldNameIndexUnexpectedEof Tagged Identity t => t
- class AsFieldDescriptorIndexUnexpectedEof p f s where
- _FieldDescriptorIndexUnexpectedEof :: Optic' p f s ()
- fieldDescriptorIndexUnexpectedEof :: AsFieldDescriptorIndexUnexpectedEof Tagged Identity t => t
- class AsFieldAttributeCountUnexpectedEof p f s where
- _FieldAttributeCountUnexpectedEof :: Optic' p f s ()
- fieldAttributeCountUnexpectedEof :: AsFieldAttributeCountUnexpectedEof Tagged Identity t => t
- class AsFieldAttributeError p f s where
- _FieldAttributeError :: Optic' p f s (Word16, FieldErrorAttributeError)
- field :: (AsEmpty (a Word8), AsEmpty (f (Attribute a1)), Cons (a Word8) (a Word8) Word8 Word8, Cons (f (Attribute a1)) (f (Attribute a1)) (Attribute a) (Attribute a), AsFieldFieldAccessFlagsError Tagged Identity e, AsFieldNameIndexUnexpectedEof Tagged Identity e, AsFieldDescriptorIndexUnexpectedEof Tagged Identity e, AsFieldAttributeCountUnexpectedEof Tagged Identity e, AsFieldAttributeError Tagged Identity e) => Get e (Field a1 f)
Documentation
newtype FieldErrorAttributeError Source
class AsFieldErrorAttributeError p f s where Source
Nothing
((~) (* -> * -> *) p (->), Applicative f) => AsFieldErrorAttributeError p f FieldError Source | |
(Profunctor p, Functor f) => AsFieldErrorAttributeError p f AttributeError Source | |
AsFieldErrorAttributeError p f FieldErrorAttributeError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldErrorAttributeError p f FieldsError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldErrorAttributeError p f (ClassFileError c) Source |
data FieldError Source
FieldFieldAccessFlagsError FieldAccessFlagsError | |
FieldNameIndexUnexpectedEof | |
FieldDescriptorIndexUnexpectedEof | |
FieldAttributeCountUnexpectedEof | |
FieldAttributeError Word16 FieldErrorAttributeError |
Eq FieldError Source | |
Ord FieldError Source | |
Show FieldError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsAttributeUnexpectedEof p f FieldError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsAttributeLengthUnexpectedEof p f FieldError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsAttributeNameIndexUnexpectedEof p f FieldError Source | |
(Choice p, Applicative f) => AsFieldAttributeError p f FieldError Source | |
(Choice p, Applicative f) => AsFieldAttributeCountUnexpectedEof p f FieldError Source | |
(Choice p, Applicative f) => AsFieldDescriptorIndexUnexpectedEof p f FieldError Source | |
(Choice p, Applicative f) => AsFieldNameIndexUnexpectedEof p f FieldError Source | |
(Choice p, Applicative f) => AsFieldFieldAccessFlagsError p f FieldError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldErrorAttributeError p f FieldError Source |
class AsFieldFieldAccessFlagsError p f s where Source
Nothing
(Choice p, Applicative f) => AsFieldFieldAccessFlagsError p f FieldError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldFieldAccessFlagsError p f FieldsError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldFieldAccessFlagsError p f (ClassFileError c) Source |
class AsFieldNameIndexUnexpectedEof p f s where Source
Nothing
_FieldNameIndexUnexpectedEof :: Optic' p f s () Source
(Choice p, Applicative f) => AsFieldNameIndexUnexpectedEof p f FieldError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldNameIndexUnexpectedEof p f FieldsError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldNameIndexUnexpectedEof p f (ClassFileError c) Source |
class AsFieldDescriptorIndexUnexpectedEof p f s where Source
Nothing
_FieldDescriptorIndexUnexpectedEof :: Optic' p f s () Source
(Choice p, Applicative f) => AsFieldDescriptorIndexUnexpectedEof p f FieldError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldDescriptorIndexUnexpectedEof p f FieldsError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldDescriptorIndexUnexpectedEof p f (ClassFileError c) Source |
fieldDescriptorIndexUnexpectedEof :: AsFieldDescriptorIndexUnexpectedEof Tagged Identity t => t Source
class AsFieldAttributeCountUnexpectedEof p f s where Source
Nothing
_FieldAttributeCountUnexpectedEof :: Optic' p f s () Source
(Choice p, Applicative f) => AsFieldAttributeCountUnexpectedEof p f FieldError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldAttributeCountUnexpectedEof p f FieldsError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldAttributeCountUnexpectedEof p f (ClassFileError c) Source |
fieldAttributeCountUnexpectedEof :: AsFieldAttributeCountUnexpectedEof Tagged Identity t => t Source
class AsFieldAttributeError p f s where Source
Nothing
_FieldAttributeError :: Optic' p f s (Word16, FieldErrorAttributeError) Source
(Choice p, Applicative f) => AsFieldAttributeError p f FieldError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldAttributeError p f FieldsError Source | |
((~) (* -> * -> *) p (->), Applicative f) => AsFieldAttributeError p f (ClassFileError c) Source |
field :: (AsEmpty (a Word8), AsEmpty (f (Attribute a1)), Cons (a Word8) (a Word8) Word8 Word8, Cons (f (Attribute a1)) (f (Attribute a1)) (Attribute a) (Attribute a), AsFieldFieldAccessFlagsError Tagged Identity e, AsFieldNameIndexUnexpectedEof Tagged Identity e, AsFieldDescriptorIndexUnexpectedEof Tagged Identity e, AsFieldAttributeCountUnexpectedEof Tagged Identity e, AsFieldAttributeError Tagged Identity e) => Get e (Field a1 f) Source