Data.Type.BitRecords.Builder.BitBuffer
type BitStringMaxLength
type family ModuloBitStringMaxLength (len :: Nat) :: Nat where ...
bitStringMaxLength
bitStringMaxLengthBytes
data BitString
bitStringContent
bitStringLength
isBitStringEmpty
bitStringSpaceLeft
bitString
emptyBitString
bitStringProxyLength
data BitStringBuilderChunk
bitStringBuilderChunkContent
bitStringBuilderChunkLength
isBitStringBuilderChunkEmpty
bitStringBuilderChunkSpaceLeft
bitStringBuilderChunk
emptyBitStringBuilderChunk
bufferBits
type family KnownChunkSize (s :: Nat) :: Constraint where ...