Hash
Hash values
Hash
type Hash = Nat32
Hash values represent a string of hash bits, packed into a Nat32
.
length
let length : Nat
The hash length, always 31.
bit
func bit(h : Hash, pos : Nat) : Bool
Project a given bit from the bit vector.
equal
func equal(ha : Hash, hb : Hash) : Bool
Test if two hashes are equal
hash
func hash(i : Nat) : Hash
debugPrintBits
func debugPrintBits(bits : Hash)
debugPrintBitsRev
func debugPrintBitsRev(bits : Hash)
hashNat8
func hashNat8(key : [Hash]) : Hash
Jenkin’s one at a time:
https://en.wikipedia.org/wiki/Jenkins_hash_function#one_at_a_time
The input type should actually be [Nat8]
. Note: Be sure to explode each Nat8
of a Nat32
into its own Nat32
, and to shift into lower 8 bits.