Exemplo n.º 1
0
 public TreeSet <v> Delete(v value) => New(_ord, WBT <v> .Delete(WBT <v> .MkComp(_ord, value), _tree));
Exemplo n.º 2
0
 public TreeSet <v> Insert(v value) => New(_ord, WBT <v> .Insert(WBT <v> .MkComp(_ord, value), value, _tree));
Exemplo n.º 3
0
 public TreeMap <k, v> Alter(k key, Func <Opt <v>, Opt <v> > f) => New(_ord, Alter(WBT <k> .MkComp(_ord, key), key, f, _tree));
Exemplo n.º 4
0
 public bool Contains(v value) => WBT <v> .Lookup(WBT <v> .MkComp(_ord, value), _tree).IsSome();
Exemplo n.º 5
0
 public Opt <v> Lookup(k key) => WBT <Pair <k, v> > .Lookup(WBT <k> .MkComp(_ord, key).CoMap <Pair <k, v>, k, Ord>(Dtors.Left), _tree).Map(kv => kv.Right());