scalaz-core/scalaz/Enum/EnumLaw

EnumLaw

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

Value members

Concrete methods

def minmaxpred: Boolean
def minmaxsucc: Boolean
def predn(x: F, n: Int): Boolean
def predorder(x: F): Boolean
def predsucc(x: F): Boolean
def succn(x: F, n: Int): Boolean
def succorder(x: F): Boolean
def succpred(x: F): Boolean

Inherited methods

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

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

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

Inherited from
OrderLaw
def commutative(f1: F, f2: F): Boolean
Inherited from
EqualLaw
def naturality(f1: F, f2: F): Boolean
Inherited from
EqualLaw
def orderAndEqualConsistent(f1: F, f2: F): Boolean
Inherited from
OrderLaw
def reflexive(f: F): Boolean
Inherited from
EqualLaw
def transitive(f1: F, f2: F, f3: F): Boolean
Inherited from
EqualLaw
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 from
OrderLaw