Ejemplo n.º 1
0
        public static Ord Compare <type, mark>(this ROrder <type, mark> that, type l, type r)
        {
            SSemigroup <type, Infimum <mark> > semi = that;
            var inf = semi.Inf(l, r);

            return(CreateOrd(that.Equal(r, inf).Not(), that.Equal(l, inf).Not()));
        }
Ejemplo n.º 2
0
 public TreeSet <v> Singleton(v value, ROrder <v, Unit> ord = null) => New(ord, WBT <v> .Singleton(value));
Ejemplo n.º 3
0
 private static TreeSet <v> New(ROrder <v, Unit> ord, WBT <v> .N t) => new TreeSet <v>
 {
     _ord = ord, _tree = t
 };
Ejemplo n.º 4
0
 public TreeSet <v> Empty(ROrder <v, Unit> ord = null) => New(ord, null);
Ejemplo n.º 5
0
 public TreeMap <k, v> Singleton(k key, v value, ROrder <k, Unit> ord = null) => New(ord, WBT <Pair <k, v> > .Singleton(Ctors.Pair(key, value)));
Ejemplo n.º 6
0
 public TreeMap <k, v> Empty(ROrder <k, Unit> ord = null) => New(ord, null);
Ejemplo n.º 7
0
 private static TreeMap <k, v> New(ROrder <k, Unit> ord, WBT <Pair <k, v> > .N t) => new TreeMap <k, v>
 {
     _ord = ord, _tree = t
 };
Ejemplo n.º 8
0
 public static Func <a, Ord> MkComp(ROrder <a, Unit> ord, a value) =>
 v => (ord ?? AOrdComparer.Create(Ctors.Func <a, a, int>(Comparer <a> .Default.Compare).Map(Orders.ToOrd))).Compare(value, v);
Ejemplo n.º 9
0
 public static IComparer <val> Cmp <val>(ROrder <val, Unit> order) =>
 new AOrdComparer <val>(order.Compare);