Interface Ord.AltDefinition<A>

All Superinterfaces:

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

Enclosing class:

Ord<A>

public static interface Ord.AltDefinition<A>
extends Ord.Definition<A>

Primitives functions of Ord: alternative minimal definition and overridable methods.

Method Summary

Modifier and Type	Method	Description
default F<A,Ordering>	compare(A a1)
Ordering	compare(A a1, A a2)
default F<A,A>	prepend(A a1)

Methods inherited from interface Equal.Definition

equal, then

Methods inherited from interface Ord.Definition

append, dual, equal, equal, multiply1p, ord, then

Methods inherited from interface Semigroup.Definition

sum

Method Details

compare

Ordering compare(A a1,
 A a2)

Specified by:

compare in interface Ord.Definition<A>

compare

default F<A,Ordering> compare(A a1)

Specified by:

compare in interface Ord.Definition<A>

prepend

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

Specified by:

prepend in interface Ord.Definition<A>

Specified by:

prepend in interface Semigroup.Definition<A>