Ord.AltDefinition

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 fj.Equal.Definition
equal, then

Methods inherited from interface fj.Ord.Definition
append, dual, equal, equal, multiply1p, ord, then

Methods inherited from interface fj.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>