Data.Type.BitRecords.Structure.String

Documentation

data FixSizeStringStructure :: Nat -> Extends (Structure FixSize)

A type level symbol paired with a type level length, that determines how many bits the representation will use. The resulting structure has exactly that size. Note: That currently multibyte character support is missing.

Instances

type PrettyStructure (FixSizeStringStructure size :: Structure FixSize -> Type)

Defined in Data.Type.BitRecords.Structure.String

type PrettyStructure (FixSizeStringStructure size :: Structure FixSize -> Type) = "FixSizeStringStructure" <:> (PutNat size <++> PutStr "bits")

type GetStructureSize (FixSizeStringStructure size)

Defined in Data.Type.BitRecords.Structure.String

type GetStructureSize (FixSizeStringStructure size) = size

utf8Bits :: QuasiQuoter

Create a FixSizeStringStructure from a utf-8 string