public static interface Ord.Definition<A> extends Equal.Definition<A>, Semigroup.Definition<A>
Modifier and Type | Method and Description |
---|---|
default A |
append(A a1,
A a2) |
F<A,Ordering> |
compare(A a) |
default Ordering |
compare(A a1,
A a2) |
default Ord.Definition<A> |
dual() |
default F<A,java.lang.Boolean> |
equal(A a) |
default boolean |
equal(A a1,
A a2) |
default A |
multiply1p(int n,
A a) |
default F<A,A> |
prepend(A a1) |
sum
default boolean equal(A a1, A a2)
equal
in interface Equal.Definition<A>
default F<A,java.lang.Boolean> equal(A a)
equal
in interface Equal.Definition<A>
default A multiply1p(int n, A a)
multiply1p
in interface Semigroup.Definition<A>
default Ord.Definition<A> dual()
dual
in interface Semigroup.Definition<A>