Package fj
Interface Ord.Definition<A>
-
- All Superinterfaces:
Equal.Definition<A>
,Semigroup.Definition<A>
- All Known Subinterfaces:
Ord.AltDefinition<A>
public static interface Ord.Definition<A> extends Equal.Definition<A>, Semigroup.Definition<A>
Primitives functions of Ord: minimal definition and overridable methods.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method 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 Ord<A>
ord()
Build an ord instance from this definition.default F<A,A>
prepend(A a1)
default <B> Ord.Definition<A>
then(F<A,B> f, Ord<B> bOrd)
Refine this ord definition: compares using self and if objects are equal compares using givenOrd
.-
Methods inherited from interface fj.Equal.Definition
equal, then
-
Methods inherited from interface fj.Semigroup.Definition
sum
-
-
-
-
Method Detail
-
equal
default boolean equal(A a1, A a2)
- Specified by:
equal
in interfaceEqual.Definition<A>
-
equal
default F<A,java.lang.Boolean> equal(A a)
- Specified by:
equal
in interfaceEqual.Definition<A>
-
multiply1p
default A multiply1p(int n, A a)
- Specified by:
multiply1p
in interfaceSemigroup.Definition<A>
-
dual
default Ord.Definition<A> dual()
- Specified by:
dual
in interfaceSemigroup.Definition<A>
-
then
default <B> Ord.Definition<A> then(F<A,B> f, Ord<B> bOrd)
Refine this ord definition: compares using self and if objects are equal compares using givenOrd
.- Parameters:
bOrd
- Ord for subsequent comparison- Returns:
- A new ord definition.
- See Also:
ord()
-
ord
default Ord<A> ord()
Build an ord instance from this definition. to be called after some successivethen(F, Ord)
calls.
-
-