Safe Haskell	None
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

data Bytes (n :: Nat ) Source #

Instances details

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

Constructors

LittleEndian
BigEndian

Instances details

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

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 #