scalaz/scalaz/Order/OrderLaw

OrderLaw

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

Value members

Concrete methods

def antisymmetric(f1: F, f2: F): Boolean

f1 < f2 means f2 > f1, and so on.

f1 < f2 means f2 > f1, and so on.

def orderAndEqualConsistent(f1: F, f2: F): Boolean
def transitiveOrder(f1: F, f2: F, f3: F): Boolean

order yields a total order, in the mathematical sense.

order yields a total order, in the mathematical sense.

Inherited methods

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