root/scalaz.scalacheck/ScalazProperties/bind

bind

object bind
class Object
trait Matchable
class Any

Value members

Concrete methods

def associativity[M[_], X, Y, Z](implicit M: Bind[M], amx: Arbitrary[M[X]], af: Arbitrary[X => M[Y]], ag: Arbitrary[Y => M[Z]], emz: Equal[M[Z]]): Prop
def bindApConsistency[M[_], X, Y](implicit M: Bind[M], amx: Arbitrary[M[X]], af: Arbitrary[M[X => Y]], emy: Equal[M[Y]]): Prop
def laws[M[_]](implicit a: Bind[M], am: Arbitrary[M[Int]], af: Arbitrary[Int => M[Int]], ag: Arbitrary[M[Int => Int]], e: Equal[M[Int]]): Properties