scalaprops-all/scalaprops.scalazlaws/monad

monad

object monad
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[M[_]](implicit a: Monad[M], am: Gen[M[Int]], af: Gen[Int => M[Int]], ag: Gen[M[Int => Int]], e: Equal[M[Int]]): Properties[ScalazLaw]
def laws[M[_]](implicit a: Monad[M], am: Gen[M[Int]], af: Gen[Int => M[Int]], e: Equal[M[Int]]): Properties[ScalazLaw]
def leftIdentity[M[_], X, Y](implicit am: Monad[M], emy: Equal[M[Y]], ax: Gen[X], af: Gen[X => M[Y]]): Property
def rightIdentity[M[_], X](implicit M: Monad[M], e: Equal[M[X]], a: Gen[M[X]]): Property