Modulecardano-crypto-1.3.0Haskell2010

Crypto.Math.Bits

datadata FBits (n :: Nat)

Finite Bits

Sadly Bits is taken by Bits operation

Instances10GetDerivationMaterial, Bounded, Enum, Eq, Num, Ord, …

GetDerivationMaterial 'Hard KeyDefined in cardano-crypto-1.3.0 · Crypto.ECC.Ed25519BIP32
GetDerivationMaterial 'Soft KeyDefined in cardano-crypto-1.3.0 · Crypto.ECC.Ed25519BIP32
GetDerivationMaterial 'Soft PointCompressedDefined in cardano-crypto-1.3.0 · Crypto.ECC.Ed25519BIP32
SizeValid n => Bounded (FBits n)Defined in cardano-crypto-1.3.0 · Crypto.Math.Bits
SizeValid n => Enum (FBits n)Defined in cardano-crypto-1.3.0 · Crypto.Math.Bits
Eq (FBits n)Defined in cardano-crypto-1.3.0 · Crypto.Math.Bits
SizeValid n => Num (FBits n)Defined in cardano-crypto-1.3.0 · Crypto.Math.Bits
Ord (FBits n)Defined in cardano-crypto-1.3.0 · Crypto.Math.Bits
Show (FBits n)Defined in cardano-crypto-1.3.0 · Crypto.Math.Bits
SizeValid n => Bits (FBits n)Defined in cardano-crypto-1.3.0 · Crypto.Math.Bits

datadata FBitsK

typetype SizeValid (n :: Nat) = (KnownNat n, 1 <= n)

valuesplitHalf :: (SizeValid n, (n * 2) ~ m) => FBits m -> (FBits n, FBits n)

valueappend

Append 2 FBits together where the left member is shifted to make room for the right element.

e.g. append (0x1 :: FBits 1) (0x70 :: FBits 7) = 0xf0 :: FBits 8

valuedropBitsOnRight

valuedropBitsOnLeft