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 interfaceOrd.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 Ord.Definition<A>Ord. defMethods 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 givenOrd.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 Constructor Description Ord(Ord.Definition<A> def)
-