def HMap.entries.get

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

import Base

35def HMap.entries.get(
36  ~K: Data, ~V: Data, ~eq: K -> K -> Bool,
37  xs: List<&2, Entry<K, V>>, +k: K
38) -> Maybe<&2, V>:
39  match xs:
40    case Nil{}:
41      None{}
42    case Con{Entry{+key, +val}, +rest}:
43      HMap.bool(Maybe<&2, V>, eq(k, key),
44        u => Some{val},
45        u => HMap.entries.get(~K, ~V, ~eq, rest, k))