Safe Haskell	Safe-Inferred
Language	GHC2021

Binrep.Get.Struct

Synopsis

type GetterC = Parser E
class GetC a where
- getC :: GetterC a
runGetCBs :: forall a. (GetC a, KnownNat (CBLen a)) => ByteString -> Either E a
unsafeRunGetC' :: forall a buf. GetC a => (forall e. buf -> Parser e a -> Result e a) -> buf -> Either E a
unsafeRunGetCPtr :: forall a. GetC a => Ptr Word8 -> Either E a
getGenericStruct :: forall a. (Generic a, GParse GetC (Rep a), GAssertNotVoid a, GAssertNotSum a) => GetterC a
eCBase :: EBase -> GetterC a
getECBase :: GetterC a -> EBase -> GetterC a

Documentation

type GetterC = Parser E Source #

class GetC a where Source #

constant size parser

Methods

getC :: GetterC a Source #

Instances

Instances details

GetC Int8 Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC Int8 Source #
GetC Word8 Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC Word8 Source #
GetC DStruct Source #
Instance details Defined in Binrep.Test Methods getC :: GetterC DStruct Source #
GetC () Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC () Source #
GetC a => GetC (Identity a) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (Identity a) Source #
(Generic a, GParse GetC (Rep a), GAssertNotVoid a, GAssertNotSum a) => GetC (Generically a) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (Generically a) Source #
(Generic a, GParse GetC (Rep a), GAssertNotVoid a, GAssertNotSum a) => GetC (GenericallyNonSum a) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (GenericallyNonSum a) Source #
Prim' a => GetC (ViaPrim a) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (ViaPrim a) Source #
(bs ~ MagicBytes a, ParseReifyBytesW64 bs, ReifyBytesW64 bs, KnownNat (Length bs)) => GetC (Magic a) Source #
Instance details Defined in Binrep.Type.Magic Methods getC :: GetterC (Magic a) Source #
(KnownNat n, Get a) => GetC (NullPadded n a) Source #	Run a `Getter a` isolated to `n` bytes.
Instance details Defined in Binrep.Type.NullPadded Methods getC :: GetterC (NullPadded n a) Source #
(Prim' a, ByteSwap a) => GetC (ByteOrdered 'BigEndian a) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (ByteOrdered 'BigEndian a) Source #
(Prim' a, ByteSwap a) => GetC (ByteOrdered 'LittleEndian a) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (ByteOrdered 'LittleEndian a) Source #
GetC (ByteOrdered end Int8) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (ByteOrdered end Int8) Source #
GetC (ByteOrdered end Word8) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (ByteOrdered end Word8) Source #
GParseBase GetC Source #
Instance details Defined in Binrep.Get.Struct Associated Types type GParseBaseSt GetC :: ZeroBitType # type GParseBaseC GetC a # type GParseBaseE GetC # type GParseBaseLenTF GetC :: Type ~> Natural # Methods gParseBase :: GParseBaseC GetC a => ParserT (GParseBaseSt GetC) (GParseBaseE GetC) a #
GetC (Refined pr (Refined pl a)) => GetC (Refined (And pl pr) a) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (Refined (And pl pr) a) Source #
type GParseBaseE GetC Source #
Instance details Defined in Binrep.Get.Struct type GParseBaseE GetC = E
type GParseBaseLenTF GetC Source #
Instance details Defined in Binrep.Get.Struct type GParseBaseLenTF GetC = CBLenSym :: FunKind Type Natural -> Type
type GParseBaseSt GetC Source #
Instance details Defined in Binrep.Get.Struct type GParseBaseSt GetC = Proxy# Void
type GParseBaseC GetC a Source #
Instance details Defined in Binrep.Get.Struct type GParseBaseC GetC a = GetC a

runGetCBs :: forall a. (GetC a, KnownNat (CBLen a)) => ByteString -> Either E a Source #

unsafeRunGetC' :: forall a buf. GetC a => (forall e. buf -> Parser e a -> Result e a) -> buf -> Either E a Source #

doesn't check len

unsafeRunGetCPtr :: forall a. GetC a => Ptr Word8 -> Either E a Source #

doesn't check len

getGenericStruct :: forall a. (Generic a, GParse GetC (Rep a), GAssertNotVoid a, GAssertNotSum a) => GetterC a Source #

Serialize a term of the struct-like type a via its Generic instance.

eCBase :: EBase -> GetterC a Source #

getECBase :: GetterC a -> EBase -> GetterC a Source #