~/jendhub

def remove_if_value

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

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

1796def remove_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:
1797  match r:
1798    case Tuple{m, None{}}:
1799      (m, False{})
1800    case Tuple{m, Some{old}}:
1801      remove_if_apply(~K, ~V, ~cmp, m, id, replacement, eq(old, expected))

Uses (8)

Used by (1)