Uses of Interface
fj.Ord.Definition
Packages that use Ord.Definition
-
Uses of Ord.Definition in fj
Subinterfaces of Ord.Definition in fjModifier and TypeInterfaceDescriptionstatic interface
Primitives functions of Ord: alternative minimal definition and overridable methods.Fields in fj declared as Ord.DefinitionMethods in fj that return Ord.DefinitionModifier and TypeMethodDescriptionprivate 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> Begin definition of an ord instance.default <B> Ord.Definition
<A> Refine this ord definition: compares using self and if objects are equal compares using givenOrd
.Methods in fj with parameters of type Ord.DefinitionModifier and TypeMethodDescriptionprivate 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