Safe Haskell	Safe-Inferred
Language	Haskell2010

Crypto.Math.Bytes

Synopsis

data Bytes (n :: Nat)
data Endian
- = LittleEndian
- | BigEndian
pack :: forall n. KnownNat n => [Word8] -> Bytes n
packSome :: (forall n. KnownNat n => Bytes n -> a) -> [Word8] -> a
unpack :: Bytes n -> [Word8]
fromBits :: forall n. KnownNat n => Endian -> FBits n -> Bytes (Div8 n)
toBits :: Endian -> Bytes n -> FBits (n * 8)
append :: forall m n r. (m + n) ~ r => Bytes n -> Bytes m -> Bytes r
take :: forall n m. (KnownNat n, n <= m) => Bytes m -> Bytes n
drop :: forall n m. (KnownNat m, KnownNat n, n <= m) => Bytes m -> Bytes n
splitHalf :: forall m n. (KnownNat n, (n * 2) ~ m) => Bytes m -> (Bytes n, Bytes n)
trace :: String -> Bytes n -> Bytes n

Documentation

Instances details

Show (Bytes n) Source #
Instance details Defined in Crypto.Math.Bytes Methods showsPrec :: Int -> Bytes n -> ShowS # show :: Bytes n -> String # showList :: [Bytes n] -> ShowS #
Eq (Bytes n) Source #
Instance details Defined in Crypto.Math.Bytes Methods (==) :: Bytes n -> Bytes n -> Bool # (/=) :: Bytes n -> Bytes n -> Bool #

Constructors

LittleEndian
BigEndian

Instances details

Show Endian Source #
Instance details Defined in Crypto.Math.Bytes Methods showsPrec :: Int -> Endian -> ShowS # show :: Endian -> String # showList :: [Endian] -> ShowS #
Eq Endian Source #
Instance details Defined in Crypto.Math.Bytes Methods (==) :: Endian -> Endian -> Bool # (/=) :: Endian -> Endian -> Bool #

pack :: forall n. KnownNat n => [Word8] -> Bytes n Source #

packSome :: (forall n. KnownNat n => Bytes n -> a) -> [Word8] -> a Source #

transform bits into bytes with a specific endianness

transform bytes into bits with a specific endianness

append :: forall m n r. (m + n) ~ r => Bytes n -> Bytes m -> Bytes r Source #

take :: forall n m. (KnownNat n, n <= m) => Bytes m -> Bytes n Source #

drop :: forall n m. (KnownNat m, KnownNat n, n <= m) => Bytes m -> Bytes n Source #

splitHalf :: forall m n. (KnownNat n, (n * 2) ~ m) => Bytes m -> (Bytes n, Bytes n) Source #