~/jendhub

def replace_if_value

bend-collections@1.0.0.0 · src/containers/balanced_search_tree.bend:826

import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTree
import Base

826def replace_if_value(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, ~eq: V -> V -> Bool, +id: Nat, +expected: V, +replacement: V, r: TreeMap<K, V, cmp> & Maybe<&2, V>) -> TreeMap<K, V, cmp> & Bool:
827  match r:
828    case Tuple{m, None{}}:
829      (m, False{})
830    case Tuple{m, Some{old}}:
831      replace_if_apply(~K, ~V, ~cmp, m, id, replacement, eq(old, expected))

Uses (8)

Used by (1)