scalaprops-all/scalaprops.scalazlaws/bind

bind

object bind
class Object
trait Matchable
class Any

Value members

Concrete methods

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