Binrep.Type.NullPadded

Data null-padded to a given length.

Documentation

data NullPad (n :: Natural)

Instances

(BLen a, KnownNat n) => Predicate (NullPad n :: Type) a

Assert that term will fit.

Defined in Binrep.Type.NullPadded

Methods

validate :: Proxy (NullPad n) -> a -> Maybe RefineException

IsCBLen (NullPadded n a :: Type)

Defined in Binrep.Type.NullPadded

Associated Types

type CBLen (NullPadded n a) :: Natural

KnownNat n => BLen (NullPadded n a)

Defined in Binrep.Type.NullPadded

Methods

blen :: NullPadded n a -> Int

(Get a, KnownNat n) => Get (NullPadded n a)

Defined in Binrep.Type.NullPadded

Methods

get :: Getter (NullPadded n a)

(KnownNat n, Get a) => GetC (NullPadded n a)

Run a Getter a isolated to n bytes.

Defined in Binrep.Type.NullPadded

Methods

getC :: GetterC (NullPadded n a)

(BLen a, KnownNat n, Put a) => Put (NullPadded n a)

Defined in Binrep.Type.NullPadded

Methods

put :: NullPadded n a -> Putter

(BLen a, KnownNat n, PutC a) => PutC (NullPadded n a)

Defined in Binrep.Type.NullPadded

Methods

putC :: NullPadded n a -> PutterC

type CBLen (NullPadded n a :: Type)

Defined in Binrep.Type.NullPadded

type CBLen (NullPadded n a :: Type) = n

type NullPadded n a = Refined (NullPad n) a

A type which is to be null-padded to a given total length.

Given some a :: NullPadded n a, it is guaranteed that

blen a <= natValInt @n

thus

natValInt @n - blen a >= 0

That is, the serialized stored data will not be longer than the total length.