def view_put_checked

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

import Base

1704def view_put_checked(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, m: TreeMap<K, V, cmp>, +k: K, +v: V, lower: Bound<K>, upper: Bound<K>, +descending: Bool, +valid: Bool) -> View<K, V, cmp> & Result<&2, &2, Rejected<K, V>, Maybe<&2, V>>:
1705  match valid:
1706    case True{}:
1707      view_put_finish(~K, ~V, ~cmp, lower, upper, descending, put(~K, ~V, ~cmp, m, k, v))
1708    case False{}:
1709      (View{m, lower, upper, descending}, Fail{Rejected{OutOfRange{}, k, v}})