Safe Haskell	None
Language	GHC2021

Binrep.Get.Struct

Synopsis

type GetterC = Parser (ParseError Int Builder)
class GetC a where
- getC :: GetterC a
getGenericStruct :: (Generic a, GParse GetC (Rep a), GAssertNotVoid a, GAssertNotSum a) => GetterC a
runGetCBs :: (GetC a, KnownNat (CBLen a)) => ByteString -> Either (ParseError Int Builder) a
unsafeRunGetCPtr :: GetC a => Ptr Word8 -> Either (ParseError Int Builder) a

Documentation

type GetterC = Parser (ParseError Int Builder) 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 () Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC () 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 0 bs) => GetC (Magic a) Source #	Efficiently parse a `Magic a`. Serialization constraints are included as we emit the expected bytestring in errors.
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 #
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 #

getGenericStruct :: (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.

runGetCBs :: (GetC a, KnownNat (CBLen a)) => ByteString -> Either (ParseError Int Builder) a Source #

unsafeRunGetCPtr :: GetC a => Ptr Word8 -> Either (ParseError Int Builder) a Source #

doesn't check len