def OMap.get

bend-kit-collections@0.1.4.1 · omap.bend:142

import Base

142def OMap.get(
143  ~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, m: OMap<K, V>, +k: K
144) -> Maybe<&2, V>:
145  match m:
146    case OTip{}:
147      None{}
148    case OBin{s, +key, +val, +lo, +hi}:
149      Cmp.case(Maybe<&2, V>, cmp(k, key),
150        u => OMap.get(~K, ~V, ~cmp, lo, k),
151        u => Some{val},
152        u => OMap.get(~K, ~V, ~cmp, hi, k))