| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Bytes.Indexed
Synopsis
- data ByteArrayN (n :: Nat)
- append :: forall (m :: Nat) (n :: Nat). ByteArrayN m -> ByteArrayN n -> ByteArrayN (m + n)
- length :: forall (n :: Nat). ByteArrayN n -> Nat n
- length# :: forall (n :: Nat). ByteArrayN n -> Nat# n
Documentation
data ByteArrayN (n :: Nat) Source #
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.
Instances
| KnownNat n => Show (ByteArrayN n) Source # | |
Defined in Data.Bytes.Types Methods showsPrec :: Int -> ByteArrayN n -> ShowS # show :: ByteArrayN n -> String # showList :: [ByteArrayN n] -> ShowS # | |
append :: forall (m :: Nat) (n :: Nat). ByteArrayN m -> ByteArrayN n -> ByteArrayN (m + n) Source #