Binrep.Predicates.NullPadTo

Documentation

data NullPadTo (n :: Nat)

Instances

(ByteLen a, KnownNat n) => Predicate (NullPadTo n) a

Defined in Binrep.Predicates.NullPadTo

Methods

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

KnownNat n => ByteLen (WithRefine 'Enforced (NullPadTo n) a)

Defined in Binrep.Predicates.NullPadTo

Methods

blen :: WithRefine 'Enforced (NullPadTo n) a -> Natural

(BinaryCodec a, ByteLen a, KnownNat n) => BinaryCodec (WithRefine 'Enforced (NullPadTo n) a)

predicate is inherently enforced due to checking length to calculate how many succeeding nulls 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).

Defined in Binrep.Predicates.NullPadTo

Methods

toBin :: Putter (WithRefine 'Enforced (NullPadTo n) a)

fromBin :: Get (WithRefine 'Enforced (NullPadTo n) a)

getNNulls :: Natural -> Get ()