~/jendhub

def getc

bend-kit-collections@0.1.4.1 · PROOF.bend:575

import bend-kit-collections@0.1.4.1/PROOF.bend as PROOF
import Base
import bend-kit-collections@0.1.4.1/omap.bend as O

575# get on one node, with the comparison result as a parameter.
576def getc(
577  ~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, c: Cmp, +x: K, +val: V,
578  lo: O.OMap<K, V>, hi: O.OMap<K, V>
579) -> Maybe<&2, V>:
580  O.Cmp.case(Maybe<&2, V>, c,
581    u => O.OMap.get(~K, ~V, ~cmp, lo, x),
582    u => Some{val},
583    u => O.OMap.get(~K, ~V, ~cmp, hi, x))

Uses (5)

Used by (9)