EqualLaw

trait EqualLaw
class Object
trait Matchable
class Any
trait OrderLaw
trait EnumLaw

Value members

Concrete methods

def commutative(f1: F, f2: F): Boolean
def naturality(f1: F, f2: F): Boolean
def reflexive(f: F): Boolean
def transitive(f1: F, f2: F, f3: F): Boolean