bend-kit-collections

Releases (6)

• 0.1.4.1 indexed
• 0.1.4.0 unindexed
• 0.1.3.0 unindexed
• 0.1.2.0 unindexed
• 0.1.1.0 unindexed
• 0.1.0.0 unindexed

Definitions (620)

PROOF.bend

• def bal.lolo became lo2, one lighter or heavier at most: rebalance the node.
• def bal.hi
• def put.wb
• def pm.fin.wb.go
• def pm.fin.wbWorkaround for https://github.com/bendlang/bend/issues/1077: bind the tuple without +.
• def pm.wb
• def glue.fin.wb.go
• def glue.fin.wbWorkaround for https://github.com/bendlang/bend/issues/1077: bind the tuple without +.
• def glue.wb
• def del.wb
• def h.sb
• def h.tf
• def h.isS
• def h.some_none.e
• def h.some_none
• def h.none_some
• def h.wcmp_reflU32 equality is Word equality, so is_eq is reflexive and sound.
• def h.u_refl
• def h.fin_eq
• def h.fin_hd
• def h.wcmp_sound
• def h.u_sound
• def h.iszA mask with at most one set bit routes every hash to one of two sides.
• def h.at1
• def h.onebit
• def h.and_z
• def h.zc
• def h.zc2
• def h.hd_trueA head bit under a set mask bit, with the rest masked to zero, is set when the word is not zero.
• def h.low
• def h.lift0
• def h.lift
• def h.route_t
• def h.route_w
• def h.route
• def h.isz_put
• def h.at1_put.t
• def h.at1_put
• def h.at1_shl
• def h.onebit_shl
• def h.egc
• def h.epc
• def h.edc
• def h.egc2
• def h.ne_f.ceq(k, k2) is False when k2 != k.
• def h.ne_f
• def h.nkeq(k, key) is False when key is equal to k2 and eq(k, k2) is False.
• def h.eg_put_same.c
• def h.eg_put_same
• def h.eg_put_other.c
• def h.eg_put_other
• def h.eg_none_hashed.cA bucket whose keys all hash to o holds no key hashing elsewhere.
• def h.eg_none_hashed
• def h.len
• def h.elen_put_new.c
• def h.elen_put_new
• def h.elen_put_hit.c
• def h.elen_put_hit
• def h.elen_del_hit.c
• def h.elen_del_hit
• def h.edel_miss.c
• def h.edel_miss
• def h.absent_none
• def h.eg_del_same.c
• def h.eg_del_same
• def h.eg_del_other.c
• def h.eg_del_other
• def h.eq_sym_f.ceq is symmetric on False, given refl and sound.
• def h.eq_sym_f
• def h.absent_put.c
• def h.absent_put
• def h.distinct_put.c
• def h.distinct_put
• def h.hashed_put.c
• def h.hashed_put
• def h.absent_del.c
• def h.absent_del
• def h.distinct_del.c
• def h.distinct_del
• def h.hashed_del.c
• def h.hashed_del
• def h.G
• def h.P
• def h.D
• def h.S
• def h.EG
• def h.WF
• def h.Sz
• def h.plThe branches of put.go, split, and del.go, with their test as a parameter.
• def h.pb
• def h.sp
• def h.dl
• def h.db
• def h.Rget on a bucket, as get.go sees it above the last level.
• def h.bool_none
• def h.bnn
• def h.bool_l
• def h.bool_r
• def h.bsel
• def h.cnc