Data.Type.BitRecords.Sized

Size Fields

Documentation

data Sized (sf :: Extends (BitRecordField (t :: BitField (rt :: Type) Nat (size :: Nat)))) (r :: BitRecord) :: Extends BitRecord

A record with a size member, and a nested record that can be counted using SizeInBytes.

Instances

type From (Sized sf r :: BitRecord -> Type)

Defined in Data.Type.BitRecords.Sized

type From (Sized sf r :: BitRecord -> Type) = (("size" @: sf) := SizeInBytes r) .+: r

type Sized8 t = Sized FieldU8 t

A convenient alias for a Sized with an FieldU8 size field.

type Sized16 t = Sized FieldU16 t

A convenient alias for a Sized with an FieldU16 size field.

type Sized32 t = Sized2 FieldU32 t

A convenient alias for a Sized with an FieldU32 size field.

type Sized64 t = Sized FieldU64 t

A convenient alias for a Sized with an FieldU64 size field.

data SizedField (sf :: Extends (BitRecordField (t :: BitField (rt :: Type) Nat (size :: Nat)))) (r :: Extends (BitRecordField (u :: BitField (rt' :: Type) (st' :: k0) (len0 :: Nat)))) :: Extends BitRecord

A record with a size member, and a nested field that can be counted using SizeInBytes.

Instances

type From (SizedField sf r :: BitRecord -> Type)

Defined in Data.Type.BitRecords.Sized

type From (SizedField sf r :: BitRecord -> Type) = (("size" @: sf) := SizeInBytes r) .+. r

type SizedField8 t = SizedField FieldU8 t

A convenient alias for a SizedField with an FieldU8 size field.

type SizedField16 t = SizedField FieldU16 t

A convenient alias for a SizedField with an FieldU16 size field.

type SizedField32 t = Sized32 (Konst (RecordField t))

A convenient alias for a SizedField with an FieldU32 size field.

type SizedField64 t = SizedField FieldU64 t

A convenient alias for a SizedField with an FieldU64 size field.