Package fj
Interface Ord.Definition<A>
- All Superinterfaces:
Equal.Definition<A>
,Semigroup.Definition<A>
- All Known Subinterfaces:
Ord.AltDefinition<A>
Primitives functions of Ord: minimal definition and overridable methods.
-
Method Summary
Modifier and TypeMethodDescriptiondefault A
default Ordering
default Ord.Definition
<A> dual()
default boolean
default A
multiply1p
(int n, A a) ord()
Build an ord instance from this definition.default <B> Ord.Definition
<A> 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 Details
-
compare
-
compare
-
equal
- Specified by:
equal
in interfaceEqual.Definition<A>
-
equal
- Specified by:
equal
in interfaceEqual.Definition<A>
-
append
- Specified by:
append
in interfaceSemigroup.Definition<A>
-
multiply1p
- Specified by:
multiply1p
in interfaceSemigroup.Definition<A>
-
prepend
- Specified by:
prepend
in interfaceSemigroup.Definition<A>
-
dual
- Specified by:
dual
in interfaceSemigroup.Definition<A>
-
then
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
Build an ord instance from this definition. to be called after some successivethen(F, Ord)
calls.
-