scalaz/scalaz.scalacheck/ScalazProperties/associative

associative

object associative
class Object
trait Matchable
class Any

Value members

Concrete methods

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