Safe Haskell | None |
---|---|
Language | Haskell2010 |
ByteArray
with length known at compile time. Internal module.
Synopsis
- newtype OfLength (l :: Nat) ba = OfLength ba
- hasRightLength :: forall ba n. (ByteArrayAccess ba, KnownNat n) => ba -> Maybe (OfLength n ba)
- allocRet :: forall ba n p a. (ByteArray ba, KnownNat n) => (Ptr p -> IO a) -> IO (a, OfLength n ba)
- alloc :: forall ba n p. (ByteArray ba, KnownNat n) => (Ptr p -> IO ()) -> IO (OfLength n ba)
Documentation
newtype OfLength (l :: Nat) ba Source #
OfLength ba |
Instances
Eq ba => Eq (OfLength l ba) Source # | |
Ord ba => Ord (OfLength l ba) Source # | |
Defined in Data.ByteArray.Sized.Internal compare :: OfLength l ba -> OfLength l ba -> Ordering # (<) :: OfLength l ba -> OfLength l ba -> Bool # (<=) :: OfLength l ba -> OfLength l ba -> Bool # (>) :: OfLength l ba -> OfLength l ba -> Bool # (>=) :: OfLength l ba -> OfLength l ba -> Bool # | |
Semigroup ba => Semigroup (OfLength l ba) Source # | |
Monoid ba => Monoid (OfLength l ba) Source # | |
ByteArrayAccess ba => ByteArrayAccess (OfLength l ba) Source # | |
The (OfLength l ba) ba Source # | |
Defined in Data.ByteArray.Sized.Internal |
hasRightLength :: forall ba n. (ByteArrayAccess ba, KnownNat n) => ba -> Maybe (OfLength n ba) Source #
Check that the byte array has the given length.