| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Java.Class.Interfaces
- data Interfaces i = Interfaces Word16 (i Word16)
- data InterfacesError
- class AsInterfacesCountUnexpectedEof p f s where
- _InterfacesCountUnexpectedEof :: Optic' p f s ()
- interfacesCountUnexpectedEof :: AsInterfacesCountUnexpectedEof Tagged Identity t => t
- class AsInterfacesUnexpectedEof p f s where
- _InterfacesUnexpectedEof :: Optic' p f s Word16
- interfaces :: (AsEmpty (i Word16), Cons (i Word16) (i Word16) Word16 Word16, AsInterfacesCountUnexpectedEof Tagged Identity e, AsInterfacesUnexpectedEof Tagged Identity e) => Get e (Interfaces i)
Documentation
data Interfaces i Source
Constructors
| Interfaces Word16 (i Word16) |
Instances
| Eq (i Word16) => Eq (Interfaces i) Source | |
| Ord (i Word16) => Ord (Interfaces i) Source | |
| Show (i Word16) => Show (Interfaces i) Source |
data InterfacesError Source
Instances
class AsInterfacesCountUnexpectedEof p f s where Source
Minimal complete definition
Nothing
Methods
_InterfacesCountUnexpectedEof :: Optic' p f s () Source
Instances
| (Choice p, Applicative f) => AsInterfacesCountUnexpectedEof p f InterfacesError Source | |
| (Choice p, Applicative f) => AsInterfacesCountUnexpectedEof p f (ClassFileError c) Source |
class AsInterfacesUnexpectedEof p f s where Source
Minimal complete definition
Nothing
Methods
_InterfacesUnexpectedEof :: Optic' p f s Word16 Source
Instances
| (Choice p, Applicative f) => AsInterfacesUnexpectedEof p f InterfacesError Source | |
| (Choice p, Applicative f) => AsInterfacesUnexpectedEof p f (ClassFileError c) Source |
interfaces :: (AsEmpty (i Word16), Cons (i Word16) (i Word16) Word16 Word16, AsInterfacesCountUnexpectedEof Tagged Identity e, AsInterfacesUnexpectedEof Tagged Identity e) => Get e (Interfaces i) Source