Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type SizedString str bytes = MkField (MkFieldCustom :: BitField ASizedString ASizedString (8 * bytes)) := MkASizedString str bytes
- data ASizedString
- utf8 :: QuasiQuoter
Documentation
type SizedString str bytes = MkField (MkFieldCustom :: BitField ASizedString ASizedString (8 * bytes)) := MkASizedString str bytes Source #
A type level symbol paired with a type level length, that determines how many characters of the symbol may be used. The first parameter defines the length field.
data ASizedString Source #
type PrettyCustomFieldValue ASizedString ASizedString s sr Source # | |
type ToPretty * ASizedString Source # | |
utf8 :: QuasiQuoter Source #
Create a SizedString
from a utf-8 string