Data.Type.BitRecords.Builder.LazyByteStringBuilder

Documentation

data BuilderWithSize where

A wrapper around a builder derived from a BitBuilderState

Constructors

MkBuilderWithSize :: !Word64 -> !Builder -> BuilderWithSize

Instances

Semigroup BuilderWithSize

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

(<>) :: BuilderWithSize -> BuilderWithSize -> BuilderWithSize

sconcat :: NonEmpty BuilderWithSize -> BuilderWithSize

stimes :: Integral b => b -> BuilderWithSize -> BuilderWithSize

Monoid BuilderWithSize

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

mempty :: BuilderWithSize

mappend :: BuilderWithSize -> BuilderWithSize -> BuilderWithSize

mconcat :: [BuilderWithSize] -> BuilderWithSize

IsBoxContent BuilderWithSize

Defined in Data.ByteString.IsoBaseFileFormat.Box

Methods

boxSize :: BuilderWithSize -> BoxSize

boxBuilder :: BuilderWithSize -> Builder

bitBuilderWithSize :: forall (record :: BitRecord). HasFunctionBuilder BitBuilder (Proxy record) => Proxy record -> ToFunction BitBuilder (Proxy record) BuilderWithSize

Create a Builder from a BitRecord and store it in a BuilderWithSize

wrapBitBuilderWithSize :: forall (record :: BitRecord) wrapped. HasFunctionBuilder BitBuilder (Proxy record) => (BuilderWithSize -> wrapped) -> Proxy record -> ToFunction BitBuilder (Proxy record) wrapped

Like bitBuilderWithSize, but toFunction the result and accept as an additional parameter a wrapper function to wrap the final result (the BuilderWithSize) and toFunction the whole machiner.

builderBoxConstructor :: forall (record :: BitRecord) r. HasFunctionBuilder BitBuilder (Proxy record) => Proxy record -> FunctionBuilder BuilderWithSize r (ToFunction BitBuilder (Proxy record) r)

Create a Builder from a BitRecord and store it in a BuilderWithSize; return a FunctionBuilder monoid that does that on toFunction

Low-level interface to building BitRecords and other things

newtype BitBuilder

Constructors

BitBuilder

Fields

• unBitBuilder :: Dual (Endo BitBuilderState)

Instances

Semigroup BitBuilder

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

(<>) :: BitBuilder -> BitBuilder -> BitBuilder

sconcat :: NonEmpty BitBuilder -> BitBuilder

stimes :: Integral b => b -> BitBuilder -> BitBuilder

Monoid BitBuilder

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

mempty :: BitBuilder

mappend :: BitBuilder -> BitBuilder -> BitBuilder

mconcat :: [BitBuilder] -> BitBuilder

HasFunctionBuilder BitBuilder BitBuffer64

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder BitBuffer64 r :: Type

Methods

toFunctionBuilder :: BitBuffer64 -> FunctionBuilder BitBuilder r (ToFunction BitBuilder BitBuffer64 r)

(KnownNat v, DynamicContent BitBuilder (Proxy f) rt, Num rt) => HasFunctionBuilder BitBuilder (Proxy (f :=. v))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (f :=. v)) r :: Type

Methods

toFunctionBuilder :: Proxy (f :=. v) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (f :=. v)) r)

BitFieldSize (From f) ~ 1 => HasFunctionBuilder BitBuilder (Proxy (f :=. False))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (f :=. False)) r :: Type

Methods

toFunctionBuilder :: Proxy (f :=. False) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (f :=. False)) r)

BitFieldSize (From f) ~ 1 => HasFunctionBuilder BitBuilder (Proxy (f :=. True))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (f :=. True)) r :: Type

Methods

toFunctionBuilder :: Proxy (f :=. True) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (f :=. True)) r)

HasFunctionBuilder BitBuilder (Proxy nested) => HasFunctionBuilder BitBuilder (Proxy (Labelled l nested))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (Labelled l nested)) r :: Type

Methods

toFunctionBuilder :: Proxy (Labelled l nested) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (Labelled l nested)) r)

HasFunctionBuilder BitBuilder (Proxy nested) => HasFunctionBuilder BitBuilder (Proxy (Konst nested))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (Konst nested)) r :: Type

Methods

toFunctionBuilder :: Proxy (Konst nested) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (Konst nested)) r)

HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldFlag))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (MkField MkFieldFlag)) r :: Type

Methods

toFunctionBuilder :: Proxy (MkField MkFieldFlag) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (MkField MkFieldFlag)) r)

HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldI8))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (MkField MkFieldI8)) r :: Type

Methods

toFunctionBuilder :: Proxy (MkField MkFieldI8) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (MkField MkFieldI8)) r)

HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldI16))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (MkField MkFieldI16)) r :: Type

Methods

toFunctionBuilder :: Proxy (MkField MkFieldI16) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (MkField MkFieldI16)) r)

HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldI32))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (MkField MkFieldI32)) r :: Type

Methods

toFunctionBuilder :: Proxy (MkField MkFieldI32) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (MkField MkFieldI32)) r)

HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldI64))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (MkField MkFieldI64)) r :: Type

Methods

toFunctionBuilder :: Proxy (MkField MkFieldI64) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (MkField MkFieldI64)) r)

HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldU8))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (MkField MkFieldU8)) r :: Type

Methods

toFunctionBuilder :: Proxy (MkField MkFieldU8) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (MkField MkFieldU8)) r)

HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldU16))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (MkField MkFieldU16)) r :: Type

Methods

toFunctionBuilder :: Proxy (MkField MkFieldU16) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (MkField MkFieldU16)) r)

HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldU32))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (MkField MkFieldU32)) r :: Type

Methods

toFunctionBuilder :: Proxy (MkField MkFieldU32) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (MkField MkFieldU32)) r)

HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldU64))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (MkField MkFieldU64)) r :: Type

Methods

toFunctionBuilder :: Proxy (MkField MkFieldU64) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (MkField MkFieldU64)) r)

(KnownNat v, DynamicContent BitBuilder (Proxy f) rt, Num rt) => HasFunctionBuilder BitBuilder (Proxy (f := v))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (f := v)) r :: Type

Methods

toFunctionBuilder :: Proxy (f := v) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (f := v)) r)

(KnownNat v, DynamicContent BitBuilder (Proxy f) x, Num x) => HasFunctionBuilder BitBuilder (Proxy (f := NegativeNat v))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (f := NegativeNat v)) r :: Type

Methods

toFunctionBuilder :: Proxy (f := NegativeNat v) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (f := NegativeNat v)) r)

(KnownNat v, DynamicContent BitBuilder (Proxy f) x, Num x) => HasFunctionBuilder BitBuilder (Proxy (f := PositiveNat v))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (f := PositiveNat v)) r :: Type

Methods

toFunctionBuilder :: Proxy (f := PositiveNat v) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (f := PositiveNat v)) r)

FieldWidth f ~ 1 => HasFunctionBuilder BitBuilder (Proxy (f := False))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (f := False)) r :: Type

Methods

toFunctionBuilder :: Proxy (f := False) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (f := False)) r)

FieldWidth f ~ 1 => HasFunctionBuilder BitBuilder (Proxy (f := True))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (f := True)) r :: Type

Methods

toFunctionBuilder :: Proxy (f := True) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (f := True)) r)

HasFunctionBuilder BitBuilder (Proxy nested) => HasFunctionBuilder BitBuilder (Proxy (LabelF l nested))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (LabelF l nested)) r :: Type

Methods

toFunctionBuilder :: Proxy (LabelF l nested) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (LabelF l nested)) r)

KnownChunkSize s => HasFunctionBuilder BitBuilder (Proxy (MkField (MkFieldBits :: BitField (B s) Nat s)))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (MkField MkFieldBits)) r :: Type

Methods

toFunctionBuilder :: Proxy (MkField MkFieldBits) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (MkField MkFieldBits)) r)

KnownChunkSize size => HasFunctionBuilder BitBuilder (Proxy (MkField (MkFieldCustom :: BitField (EnumValue e) e size)))

Defined in Data.Type.BitRecords.Enum

Associated Types

type ToFunction BitBuilder (Proxy (MkField MkFieldCustom)) r :: Type

Methods

toFunctionBuilder :: Proxy (MkField MkFieldCustom) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (MkField MkFieldCustom)) r)

(KnownNat (FromEnum e v), KnownChunkSize size) => HasFunctionBuilder BitBuilder (Proxy (f := v))

Defined in Data.Type.BitRecords.Enum

Associated Types

type ToFunction BitBuilder (Proxy (f := v)) r :: Type

Methods

toFunctionBuilder :: Proxy (f := v) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (f := v)) r)

HasFunctionBuilder BitBuilder (Proxy (From r)) => HasFunctionBuilder BitBuilder (Proxy r)

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy r) r :: Type

Methods

toFunctionBuilder :: Proxy r -> FunctionBuilder BitBuilder r0 (ToFunction BitBuilder (Proxy r) r0)

HasFunctionBuilder BitBuilder (Proxy MkFieldFlag)

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy MkFieldFlag) r :: Type

Methods

toFunctionBuilder :: Proxy MkFieldFlag -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy MkFieldFlag) r)

HasFunctionBuilder BitBuilder (Proxy MkFieldU32)

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy MkFieldU32) r :: Type

Methods

toFunctionBuilder :: Proxy MkFieldU32 -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy MkFieldU32) r)

HasFunctionBuilder BitBuilder (Proxy EmptyBitRecord)

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy EmptyBitRecord) r :: Type

Methods

toFunctionBuilder :: Proxy EmptyBitRecord -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy EmptyBitRecord) r)

HasFunctionBuilder BitBuilder (Proxy f) => HasFunctionBuilder BitBuilder (Proxy (BitRecordMember f))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (BitRecordMember f)) r :: Type

Methods

toFunctionBuilder :: Proxy (BitRecordMember f) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (BitRecordMember f)) r)

HasFunctionBuilder BitBuilder (Proxy f) => HasFunctionBuilder BitBuilder (Proxy (RecordField f))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (RecordField f)) r :: Type

Methods

toFunctionBuilder :: Proxy (RecordField f) -> FunctionBuilder BitBuilder r (ToFunction BitBuilder (Proxy (RecordField f)) r)

(HasFunctionBuilder BitBuilder (Proxy l), HasFunctionBuilder BitBuilder (Proxy r)) => HasFunctionBuilder BitBuilder (Proxy (BitRecordAppend l r))

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Associated Types

type ToFunction BitBuilder (Proxy (BitRecordAppend l r)) r :: Type

Methods

toFunctionBuilder :: Proxy (BitRecordAppend l r) -> FunctionBuilder BitBuilder r0 (ToFunction BitBuilder (Proxy (BitRecordAppend l r)) r0)

DynamicContent BitBuilder (Proxy nested) rt => DynamicContent BitBuilder (Proxy (Labelled l nested)) rt

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (Labelled l nested) -> FunctionBuilder BitBuilder next (rt -> next)

DynamicContent BitBuilder (Proxy nested) rt => DynamicContent BitBuilder (Proxy (Konst nested)) rt

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (Konst nested) -> FunctionBuilder BitBuilder next (rt -> next)

DynamicContent BitBuilder (Proxy (MkField MkFieldI8)) Int8

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (MkField MkFieldI8) -> FunctionBuilder BitBuilder next (Int8 -> next)

DynamicContent BitBuilder (Proxy (MkField MkFieldI16)) Int16

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (MkField MkFieldI16) -> FunctionBuilder BitBuilder next (Int16 -> next)

DynamicContent BitBuilder (Proxy (MkField MkFieldI32)) Int32

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (MkField MkFieldI32) -> FunctionBuilder BitBuilder next (Int32 -> next)

DynamicContent BitBuilder (Proxy (MkField MkFieldI64)) Int64

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (MkField MkFieldI64) -> FunctionBuilder BitBuilder next (Int64 -> next)

DynamicContent BitBuilder (Proxy (MkField MkFieldU8)) Word8

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (MkField MkFieldU8) -> FunctionBuilder BitBuilder next (Word8 -> next)

DynamicContent BitBuilder (Proxy (MkField MkFieldU16)) Word16

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (MkField MkFieldU16) -> FunctionBuilder BitBuilder next (Word16 -> next)

DynamicContent BitBuilder (Proxy (MkField MkFieldU32)) Word32

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (MkField MkFieldU32) -> FunctionBuilder BitBuilder next (Word32 -> next)

DynamicContent BitBuilder (Proxy (MkField MkFieldU64)) Word64

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (MkField MkFieldU64) -> FunctionBuilder BitBuilder next (Word64 -> next)

DynamicContent BitBuilder (Proxy nested) b => DynamicContent BitBuilder (Proxy (LabelF l nested)) b

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (LabelF l nested) -> FunctionBuilder BitBuilder next (b -> next)

DynamicContent BitBuilder (Proxy MkFieldFlag) Bool

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy MkFieldFlag -> FunctionBuilder BitBuilder next (Bool -> next)

DynamicContent BitBuilder (Proxy MkFieldU32) Word32

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy MkFieldU32 -> FunctionBuilder BitBuilder next (Word32 -> next)

KnownChunkSize s => DynamicContent BitBuilder (Proxy (MkField (MkFieldBits :: BitField (B s) Nat s))) (B s)

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

Methods

addParameter :: Proxy (MkField MkFieldBits) -> FunctionBuilder BitBuilder next (B s -> next)

type ToFunction BitBuilder BitBuffer64 r

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder BitBuffer64 r = r

type ToFunction BitBuilder (Proxy (f :=. v)) r

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (f :=. v)) r = r

type ToFunction BitBuilder (Proxy (f :=. False)) r

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (f :=. False)) r = r

type ToFunction BitBuilder (Proxy (f :=. True)) r

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (f :=. True)) r = r

type ToFunction BitBuilder (Proxy (Labelled l nested)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (Labelled l nested)) a = ToFunction BitBuilder (Proxy nested) a

type ToFunction BitBuilder (Proxy (Konst nested)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (Konst nested)) a = ToFunction BitBuilder (Proxy nested) a

type ToFunction BitBuilder (Proxy (MkField MkFieldFlag)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (MkField MkFieldFlag)) a = Bool -> a

type ToFunction BitBuilder (Proxy (MkField MkFieldI8)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (MkField MkFieldI8)) a = Int8 -> a

type ToFunction BitBuilder (Proxy (MkField MkFieldI16)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (MkField MkFieldI16)) a = Int16 -> a

type ToFunction BitBuilder (Proxy (MkField MkFieldI32)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (MkField MkFieldI32)) a = Int32 -> a

type ToFunction BitBuilder (Proxy (MkField MkFieldI64)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (MkField MkFieldI64)) a = Int64 -> a

type ToFunction BitBuilder (Proxy (MkField MkFieldU8)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (MkField MkFieldU8)) a = Word8 -> a

type ToFunction BitBuilder (Proxy (MkField MkFieldU16)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (MkField MkFieldU16)) a = Word16 -> a

type ToFunction BitBuilder (Proxy (MkField MkFieldU32)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (MkField MkFieldU32)) a = Word32 -> a

type ToFunction BitBuilder (Proxy (MkField MkFieldU64)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (MkField MkFieldU64)) a = Word64 -> a

type ToFunction BitBuilder (Proxy (f := NegativeNat v)) r

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (f := NegativeNat v)) r = r

type ToFunction BitBuilder (Proxy (f := PositiveNat v)) r

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (f := PositiveNat v)) r = r

type ToFunction BitBuilder (Proxy (f := v)) r

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (f := v)) r = r

type ToFunction BitBuilder (Proxy (f := False)) r

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (f := False)) r = r

type ToFunction BitBuilder (Proxy (f := True)) r

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (f := True)) r = r

type ToFunction BitBuilder (Proxy (LabelF l nested)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (LabelF l nested)) a = ToFunction BitBuilder (Proxy nested) a

type ToFunction BitBuilder (Proxy (MkField (MkFieldBits :: BitField (B s) Nat s))) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (MkField (MkFieldBits :: BitField (B s) Nat s))) a = B s -> a

type ToFunction BitBuilder (Proxy (MkField (MkFieldCustom :: BitField (EnumValue e) e size))) r

Defined in Data.Type.BitRecords.Enum

type ToFunction BitBuilder (Proxy (MkField (MkFieldCustom :: BitField (EnumValue e) e size))) r = EnumValue e -> r

type ToFunction BitBuilder (Proxy (f := v)) r

Defined in Data.Type.BitRecords.Enum

type ToFunction BitBuilder (Proxy (f := v)) r = r

type ToFunction BitBuilder (Proxy r) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy r) a = ToFunction BitBuilder (Proxy (From r)) a

type ToFunction BitBuilder (Proxy MkFieldFlag) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy MkFieldFlag) a = Bool -> a

type ToFunction BitBuilder (Proxy MkFieldU32) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy MkFieldU32) a = Word32 -> a

type ToFunction BitBuilder (Proxy EmptyBitRecord) r

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy EmptyBitRecord) r = r

type ToFunction BitBuilder (Proxy (BitRecordMember f)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (BitRecordMember f)) a = ToFunction BitBuilder (Proxy f) a

type ToFunction BitBuilder (Proxy (RecordField f)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (RecordField f)) a = ToFunction BitBuilder (Proxy f) a

type ToFunction BitBuilder (Proxy (BitRecordAppend l r)) a

Defined in Data.Type.BitRecords.Builder.LazyByteStringBuilder

type ToFunction BitBuilder (Proxy (BitRecordAppend l r)) a = ToFunction BitBuilder (Proxy l) (ToFunction BitBuilder (Proxy r) a)

runBitBuilder :: BitBuilder -> Builder

bitBuffer64Builder :: (BitBuilderState -> BitBuilderState) -> BitBuilder

appBitBuilder :: BitBuilder -> BitBuilderState -> BitBuilderState

data BitBuilderState where

Constructors

BitBuilderState :: !Builder -> !BitBuffer64 -> !Word64 -> BitBuilderState

getBitBuilderStateBuilder :: BitBuilderState -> Builder

initialBitBuilderState :: BitBuilderState

flushBitBuilder :: BitBuilderState -> BitBuilderState

Write the partial buffer contents using any number of word8 The unwritten parts of the bittr buffer are at the top. If the

    63  ...  (63-off-1)(63-off)  ...  0
    ^^^^^^^^^^^^^^^^^^^
Relevant bits start to the top!

appendBitBuffer64 :: BitBuffer64 -> BitBuilder

Write all the bits, in chunks, filling and writing the BitBuffer64 in the BitBuilderState as often as necessary.

appendStrictByteString :: ByteString -> BitBuilder

Write all the b*y*tes, into the BitBuilderState this allows general purposes non-byte aligned builders.

runBitBuilderHoley :: FunctionBuilder BitBuilder Builder a -> a

BitRecordField instances

type family UnsignedDemoteRep i where ...

Equations

UnsignedDemoteRep Int8 = Word8

UnsignedDemoteRep Int16 = Word16

UnsignedDemoteRep Int32 = Word32

UnsignedDemoteRep Int64 = Word64

BitFields

Assign static values

BitRecord instances

BitRecordMember

BitRecord

AppendedBitRecords

EmptyBitRecord and '...Pretty'

Tracing/Debug Printing

printBuilder :: Builder -> String

Print a Builder to a space seperated series of hexa-decimal bytes.

bitBuffer64Printer :: HasFunctionBuilder BitBuilder a => a -> ToFunction BitBuilder a String