scalaprops-all/scalaprops.scalazlaws/equal

equal

object equal
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[A](implicit A: Equal[A], G: Gen[A]): Properties[ScalazLaw]
def commutativity[A](implicit A: Equal[A], G: Gen[A]): Property
def laws[A](implicit A: Equal[A], G: Gen[A]): Properties[ScalazLaw]
def naturality[A](implicit A: Equal[A], G: Gen[A]): Property
def reflexive[A](implicit A: Equal[A], G: Gen[A]): Property
def transitive[A](implicit A: Equal[A], G: Gen[A]): Property