Zafu/Abstract/Hash

source code:

• src/Zafu/Abstract/Hash.bosatsu

public dependencies: Bosatsu/Num/Int64, Zafu/Abstract/Eq

Index

• Types: Hash
• Values: finish_61, hash, hash_by, hash_from_fn, hash_specialized, hash_to_Eq, laws_Hash, mix_61, normalize_61

Types

Hash[a]

type Hash[a: -*]

Values

finish_61

references: Bosatsu/Num/Int64::Int64, Int

def finish_61(acc: Bosatsu/Num/Int64::Int64, size_or_arity: Int, tag: Bosatsu/Num/Int64::Int64) -> Bosatsu/Num/Int64::Int64

hash

references: Bosatsu/Num/Int64::Int64, Hash

def hash[a](inst: Hash[a], value: a) -> Bosatsu/Num/Int64::Int64

hash_by

references: Hash

def hash_by[a, b](inst: Hash[a], project: b -> a) -> Hash[b]

hash_from_fn

Constructor from a potentially out-of-range hash function.

references: Hash, Int, Zafu/Abstract/Eq::Eq

def hash_from_fn[a](hash_fn: a -> Int, eq_inst: Zafu/Abstract/Eq::Eq[a]) -> Hash[a]

hash_specialized

Constructor for hash functions that already return 61-bit values.

references: Bosatsu/Num/Int64::Int64, Hash, Zafu/Abstract/Eq::Eq

def hash_specialized[a
](hash_fn: a -> Bosatsu/Num/Int64::Int64, eq_inst: Zafu/Abstract/Eq::Eq[a]) -> Hash[a]

hash_to_Eq

references: Hash, Zafu/Abstract/Eq::Eq

def hash_to_Eq[a](inst: Hash[a]) -> Zafu/Abstract/Eq::Eq[a]

laws_Hash

Law checker: Eq laws, Eq/Hash coherence, and 61-bit range invariant.

references: Hash, Test

def laws_Hash[a](inst: Hash[a], x: a, y: a, z: a) -> Test

mix_61

references: Bosatsu/Num/Int64::Int64

def mix_61(acc: Bosatsu/Num/Int64::Int64, next: Bosatsu/Num/Int64::Int64) -> Bosatsu/Num/Int64::Int64

normalize_61

references: Bosatsu/Num/Int64::Int64, Int

def normalize_61(raw: Int) -> Bosatsu/Num/Int64::Int64