def HMap.entries.del

bend-kit-collections@0.1.4.1 · hmap.bend:47

import bend-kit-collections@0.1.4.1/hmap.bend as Hmap
import Base

47def HMap.entries.del(
48  ~K: Data, ~V: Data, ~eq: K -> K -> Bool,
49  xs: List<&2, Entry<K, V>>, +k: K
50) -> List<&2, Entry<K, V>>:
51  match xs:
52    case Nil{}:
53      Nil{}
54    case Con{Entry{+key, +val}, +rest}:
55      HMap.bool(List<&2, Entry<K, V>>, eq(k, key),
56        u => rest,
57        u => Entry{key, val} <> HMap.entries.del(~K, ~V, ~eq, rest, k))

Uses (4)

Used by (27)