| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Binrep.Type.Derived.NullTermPadded
Description
Null-terminated, then null-padded data.
This is defined using the composition of existing NullTerminate and
NullPad predicates, plus the re-associating binrep instances for the And
predicate combinator. It kind of just magically works.
Synopsis
- type NullTermPad n = NullTerminate `And` NullPad n
- type NullTermPadded n = Refined (NullTermPad n)
Documentation
type NullTermPad n = NullTerminate `And` NullPad n Source #
Predicate for null-terminated, then null-padded data.
type NullTermPadded n = Refined (NullTermPad n) Source #
Null-terminated data, which is then null-padded to the given length.
Instantiate with ByteString for a null-padded C string.