~/bend-docscommunity

spec/math/hash.bend checks

raw source on the hub · import bend-collections-laws-containers@1.0.0.0/spec/math/hash.bend as Hash

3 imports
import Base
import ../lib/numeric.bend as N
import ../../src/math/hash.bend as H

Definitions

def Bucket.le source · line 12 · raw

@+w:U32 -> @+mask:U32 -> Type

bucket(w, mask) never exceeds the mask

def Bucket.lt source · line 16 · raw

@+w:U32 -> @+k:Nat -> @+mask:U32 -> @+hm:{mask == U32{0x5c489f5d9646d7cc9aa3dd8137e9dc07/spec/lib/numeric.mask(32n, k)} : U32} -> Type

with mask = 2^k - 1 (the low k bits) the bucket indexes a table of 2^k