Interface Ord.Definition<A>

All Superinterfaces:

Equal.Definition<A>, Semigroup.Definition<A>

All Known Subinterfaces:

Ord.AltDefinition<A>

Enclosing class:

Ord<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

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,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 given Ord.

Methods inherited from interface Equal.Definition

equal, then

Methods inherited from interface Semigroup.Definition

sum

Method Details

compare

F<A,Ordering> compare(A a)

compare

default Ordering compare(A a1,
 A a2)

equal

default boolean equal(A a1,
 A a2)

Specified by:

equal in interface Equal.Definition<A>

equal

default F<A,Boolean> equal(A a)

Specified by:

equal in interface Equal.Definition<A>

append

default A append(A a1,
 A a2)

Specified by:

append in interface Semigroup.Definition<A>

multiply1p

default A multiply1p(int n,
 A a)

Specified by:

multiply1p in interface Semigroup.Definition<A>

prepend

default F<A,A> prepend(A a1)

Specified by:

prepend in interface Semigroup.Definition<A>

dual

default Ord.Definition<A> dual()

Specified by:

dual in interface Semigroup.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 given Ord.

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 successive then(F, Ord) calls.