Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Data null-padded to a given length.
Synopsis
- data NullPad (n :: Natural)
- type NullPadded n a = Refined (NullPad n) a
Documentation
data NullPad (n :: Natural) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Data null-padded to a given length.
data NullPad (n :: Natural) Source #