fj

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 and 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 fj.Ord.Definition

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

Methods inherited from interface fj.Equal.Definition

equal, then

Methods inherited from interface fj.Semigroup.Definition

sum

Method Detail

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>