Modulebyteslice-0.2.15.0Haskell2010

Data.Bytes.Indexed

Synopsis

newtype ByteArrayN
value append
value length
value length#

Packagebyteslice-0.2.15.0
Exports4
LanguageHaskell2010
LicenceBSD-3-Clause
SourceTypes.hs

newtypenewtype ByteArrayN (n :: Nat)

A ByteArray whose compile-time-known length is represented by a phantom type variable. Consumers of this data constructor must be careful to preserve the expected invariant.

Instances1Show

KnownNat n => Show (ByteArrayN n)Defined in byteslice-0.2.15.0 · Data.Bytes.Types

valueappend :: ByteArrayN m -> ByteArrayN n -> ByteArrayN (m + n)

valuelength :: ByteArrayN n -> Nat n

Source#

Recover a witness of the length.

valuelength# :: ByteArrayN n -> Nat# n

Source#

Recover an unboxed witness of the length.