nutcracker/nutcracker.util.algebraic.laws/order

order

object order
class Object
trait Matchable
class Any
order.type

Value members

Concrete methods

def all[A](implicit ev: Order[A], GA: Gen[A]): Properties[String]
def antisymmetry[A](implicit ev: Order[A], GA: Gen[A]): Property
def laws[A](implicit ev: Order[A], GA: Gen[A]): Properties[String]
def reflexivity[A](implicit ev: Order[A], GA: Gen[A]): Property
def transitivity[A](implicit ev: Order[A], GA: Gen[A]): Property