def view_get_checked

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

import Base

1150def view_get_checked(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, m: TreeMap<K, V, cmp>, +k: K, lower: Bound<K>, upper: Bound<K>, +descending: Bool, +valid: Bool) -> View<K, V, cmp> & Maybe<&2, V>:
1151  match valid:
1152    case True{}:
1153      view_value(~K, ~V, ~cmp, lower, upper, descending, get(~K, ~V, ~cmp, m, k))
1154    case False{}:
1155      (View{m, lower, upper, descending}, None{})