scalaprops-all/scalaprops.scalazlaws/associative

associative

object associative
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[=>:[_, _]](implicit F: Associative[=>:], al: Gen[=>:[=>:[Int, Int], Int]], ar: Gen[=>:[Int, =>:[Int, Int]]], el: Equal[=>:[=>:[Int, Int], Int]], er: Equal[=>:[Int, =>:[Int, Int]]]): Properties[ScalazLaw]
def laws[=>:[_, _]](implicit F: Associative[=>:], al: Gen[=>:[=>:[Int, Int], Int]], ar: Gen[=>:[Int, =>:[Int, Int]]], el: Equal[=>:[=>:[Int, Int], Int]], er: Equal[=>:[Int, =>:[Int, Int]]]): Properties[ScalazLaw]
def leftRight[=>:[_, _], X, Y, Z](implicit F: Associative[=>:], af: Gen[=>:[X, =>:[Y, Z]]], ef: Equal[=>:[X, =>:[Y, Z]]]): Property
def rightLeft[=>:[_, _], X, Y, Z](implicit F: Associative[=>:], af: Gen[=>:[=>:[X, Y], Z]], ef: Equal[=>:[=>:[X, Y], Z]]): Property