just-fp-core/just.fp/Equal/EqualLaw

EqualLaw

trait EqualLaw
class Object
trait Matchable
class Any

Value members

Concrete methods

@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.Equals")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
def negation(x: F, y: F): Boolean
def reflexivity(x: F): Boolean
def substitutivity(x: F, y: F, f: F => F): Boolean
@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.Equals")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
def symmetry(x: F, y: F): Boolean
def transitivity(x: F, y: F, z: F): Boolean