Package fj

Interface Equal.Definition<A>

All Known Subinterfaces:
Equal.AltDefinition<A>, Ord.AltDefinition<A>, Ord.Definition<A>
Enclosing class:
Equal<A>

public static interface Equal.Definition<A>
Primitives functions of Equal: minimal definition and overridable methods.
  • Method Summary

    Modifier and Type
    Method
    Description
    default Equal<A>
    Build an equal instance from this definition.
    equal(A a)
     
    default boolean
    equal(A a1, A a2)
     
    default <B> Equal.Definition<A>
    then(F<A,B> f, Equal<B> eq)
    Refine this equal definition, to tests equality of self and the mapped object in "and" manner.
  • Method Details

    • equal

      F<A,Boolean> equal(A a)
    • equal

      default boolean equal(A a1, A a2)
    • then

      default <B> Equal.Definition<A> then(F<A,B> f, Equal<B> eq)
      Refine this equal definition, to tests equality of self and the mapped object in "and" manner.
      Parameters:
      f - The function to map the original object
      eq - Equality for the mapped object
      Returns:
      A new equal definition
      See Also:
    • equal

      default Equal<A> equal()
      Build an equal instance from this definition. to be called after some successive then(F, Equal) calls.