Modulecardano-crypto-1.3.0Haskell2010

Crypto.Math.Bytes

Synopsis

newtypenewtype Bytes (n :: Nat)

Instances2Eq, Show

datadata Endian

Instances2Eq, Show

valuepack :: KnownNat n => [Word8] -> Bytes n

valuepackSome :: (forall (n :: Nat). KnownNat n => Bytes n -> a) -> [Word8] -> a

valueunpack :: Bytes n -> [Word8]

valuefromBits :: KnownNat n => Endian -> FBits n -> Bytes (Div8 n)

transform bits into bytes with a specific endianness

valuetoBits :: Endian -> Bytes n -> FBits (n * 8)

transform bytes into bits with a specific endianness

valueappend :: (m + n) ~ r => Bytes n -> Bytes m -> Bytes r

valuetake :: (KnownNat n, n <= m) => Bytes m -> Bytes n

valuedrop :: (KnownNat m, KnownNat n, n <= m) => Bytes m -> Bytes n

valuesplitHalf :: (KnownNat n, (n * 2) ~ m) => Bytes m -> (Bytes n, Bytes n)

valuetrace :: String -> Bytes n -> Bytes n