equal

object equal
class Object
trait Matchable
class Any

Value members

Concrete methods

def commutativity[A](implicit A: Equal[A], arb: Arbitrary[A]): Prop
def laws[A](implicit A: Equal[A], arb: Arbitrary[A]): Properties
def naturality[A](implicit A: Equal[A], arb: Arbitrary[A]): Prop
def reflexive[A](implicit A: Equal[A], arb: Arbitrary[A]): Prop
def transitive[A](implicit A: Equal[A], arb: Arbitrary[A]): Prop