Uses of Interface
fj.Ord.Definition

Packages that use Ord.Definition

Package	Description
fj	Types that set the premise for the existence of Functional Java.

Uses of Ord.Definition in fj

Subinterfaces of Ord.Definition in fj

Modifier and Type	Interface	Description
static interface	Ord.AltDefinition<A>	Primitives functions of Ord: alternative minimal definition and overridable methods.

Fields in fj declared as Ord.Definition

Modifier and Type	Field	Description
private final Ord.Definition<A>	Ord.def

Methods in fj that return Ord.Definition

Modifier and Type	Method	Description
private static <A,B> Ord.Definition<B>	Ord.contramapDef(F<B,A> f, Ord.Definition<A> def)
default Ord.Definition<A>	Ord.Definition.dual()
static <A,B> Ord.Definition<A>	Ord.on(F<A,B> f, Ord<B> ord)	Begin definition of an ord instance.
default <B> Ord.Definition<A>	Ord.Definition.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 in fj with parameters of type Ord.Definition

Modifier and Type	Method	Description
private static <A,B> Ord.Definition<B>	Ord.contramapDef(F<B,A> f, Ord.Definition<A> def)
static <A> Ord<A>	Ord.ordDef(Ord.Definition<A> def)	Returns an order instance that uses the given minimal equality test and ordering definition.

Constructors in fj with parameters of type Ord.Definition

Modifier	Constructor	Description
private	Ord(Ord.Definition<A> def)