Uses of Interface
fj.Equal.Definition
-
Packages that use Equal.Definition Package Description fj Types that set the premise for the existence of Functional Java. -
-
Uses of Equal.Definition in fj
Subinterfaces of Equal.Definition in fj Modifier and Type Interface Description static interface
Equal.AltDefinition<A>
Primitives functions of Equal: alternative minimal definition and overridable methods.static interface
Ord.AltDefinition<A>
Primitives functions of Ord: alternative minimal definition and overridable methods.static interface
Ord.Definition<A>
Primitives functions of Ord: minimal definition and overridable methods.Fields in fj declared as Equal.Definition Modifier and Type Field Description private Equal.Definition<A>
Equal. def
Methods in fj that return Equal.Definition Modifier and Type Method Description private static <A,B>
Equal.Definition<B>Equal. contramapDef(F<B,A> f, Equal.Definition<A> aEqDef)
static <A,B>
Equal.Definition<A>Equal. on(F<A,B> f, Equal<B> eq)
Begin definition of an equal instance.default <B> Equal.Definition<A>
Equal.Definition. then(F<A,B> f, Equal<B> eq)
Refine this equal definition, to tests equality of self and the mapped object in "and" manner.Methods in fj with parameters of type Equal.Definition Modifier and Type Method Description private static <A,B>
Equal.Definition<B>Equal. contramapDef(F<B,A> f, Equal.Definition<A> aEqDef)
static <A> Equal<A>
Equal. equalDef(Equal.Definition<A> definition)
Constructs an equal instance from the given definition.Constructors in fj with parameters of type Equal.Definition Constructor Description Equal(Equal.Definition<A> def)
-