Data.ByteArray.Sized

ByteArray with length known at compile time.

Documentation

data OfLength (l :: Nat) ba

Instances

Eq ba => Eq (OfLength l ba)

Defined in Data.ByteArray.Sized.Internal

Methods

(==) :: OfLength l ba -> OfLength l ba -> Bool

(/=) :: OfLength l ba -> OfLength l ba -> Bool

Ord ba => Ord (OfLength l ba)

Defined in Data.ByteArray.Sized.Internal

Methods

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

max :: OfLength l ba -> OfLength l ba -> OfLength l ba

min :: OfLength l ba -> OfLength l ba -> OfLength l ba

Semigroup ba => Semigroup (OfLength l ba)

Defined in Data.ByteArray.Sized.Internal

Methods

(<>) :: OfLength l ba -> OfLength l ba -> OfLength l ba

sconcat :: NonEmpty (OfLength l ba) -> OfLength l ba

stimes :: Integral b => b -> OfLength l ba -> OfLength l ba

Monoid ba => Monoid (OfLength l ba)

Defined in Data.ByteArray.Sized.Internal

Methods

mempty :: OfLength l ba

mappend :: OfLength l ba -> OfLength l ba -> OfLength l ba

mconcat :: [OfLength l ba] -> OfLength l ba

ByteArrayAccess ba => ByteArrayAccess (OfLength l ba)

Defined in Data.ByteArray.Sized.Internal

Methods

length :: OfLength l ba -> Int

withByteArray :: OfLength l ba -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: OfLength l ba -> Ptr p -> IO ()

The (OfLength l ba) ba

Defined in Data.ByteArray.Sized.Internal

Methods

the :: OfLength l ba -> ba

hasRightLength :: forall ba n. (ByteArrayAccess ba, KnownNat n) => ba -> Maybe (OfLength n ba)

Check that the byte array has the given length.