Binrep.CBLen

Documentation

type family CBLen a :: Natural

The length in bytes of any value of the given type is constant.

Many binary representation primitives are constant, or store their size in their type. This is a stronger statement about their length than BLen.

Instances

type CBLen Int16

Defined in Binrep.CBLen

type CBLen Int16 = 2

type CBLen Int32

Defined in Binrep.CBLen

type CBLen Int32 = 4

type CBLen Int64

Defined in Binrep.CBLen

type CBLen Int64 = 8

type CBLen Int8

Defined in Binrep.CBLen

type CBLen Int8 = 1

type CBLen Word16

Defined in Binrep.CBLen

type CBLen Word16 = 2

type CBLen Word32

Defined in Binrep.CBLen

type CBLen Word32 = 4

type CBLen Word64

Defined in Binrep.CBLen

type CBLen Word64 = 8

type CBLen Word8

Defined in Binrep.CBLen

type CBLen Word8 = 1

type CBLen DCS

Defined in Binrep.Example

type CBLen DCS = CBLenGeneric (I 'U 'I1 'LE) DCS

type CBLen DSS

Defined in Binrep.Example

type CBLen DSS = CBLenGeneric (I 'U 'I1 'LE) DSS

type CBLen DU

Defined in Binrep.Example

type CBLen DU = CBLenGeneric (I 'U 'I1 'LE) DU

type CBLen DX

Defined in Binrep.Example

type CBLen DX = CBLenGeneric (I 'U 'I1 'LE) DX

type CBLen (TarNat n)

Defined in Binrep.Example.Tar

type CBLen (TarNat n) = n

type CBLen (Magic a)

Assumes magic values are individual bytes.

Defined in Binrep.Type.Magic

type CBLen (Magic a) = Length (MagicVals a)

type CBLen (NullPadded n a)

The size of some null-padded data is known - at compile time!

Defined in Binrep.Type.NullPadded

type CBLen (NullPadded n a) = n

type CBLen (Sized n a)

Defined in Binrep.Type.Sized

type CBLen (Sized n a) = n

type CBLen (Vector n a)

Defined in Binrep.Type.Vector

type CBLen (Vector n a) = CBLen a * n

type CBLen (I sign size end)

Defined in Binrep.Type.Int

type CBLen (I sign size end) = CBLen (IRep sign size)