Modulebyteslice-0.2.15.0Haskell2010

Data.Bytes.Indexed

1 type
3 values

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

Recover a witness of the length.

valuelength# :: ByteArrayN n -> Nat# n

Recover an unboxed witness of the length.