Binrep.Type.NullPadded

Documentation

data NullPad (n :: Natural)

Instances

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

Defined in Binrep.Type.NullPadded

Methods

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

KnownNat n => BLen (NullPadded n a)

Defined in Binrep.Type.NullPadded

Associated Types

type CBLen (NullPadded n a) :: Natural

Methods

blen :: NullPadded n a -> BLenT

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

Safety: we assert actual length is within expected length (in order to calculate how much padding to parse).

Note that the consumer probably doesn't care about the content of the padding, just that the data is chunked correctly. I figure we care about correctness here, so it'd be nice to know about the padding well-formedness (i.e. that it's all nulls).

TODO maybe better definition via isolate

Defined in Binrep.Type.NullPadded

Methods

get :: Getter (NullPadded n a)

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

Defined in Binrep.Type.NullPadded

Methods

put :: NullPadded n a -> Builder

type CBLen (NullPadded n a)

Defined in Binrep.Type.NullPadded

type CBLen (NullPadded n a) = n

type NullPadded n a = Refined (NullPad n) a

getNNulls :: BLenT -> Parser E ()