scalaz/scalaz.scalacheck/ScalazProperties/bindRec

bindRec

object bindRec
class Object
trait Matchable
class Any

Value members

Concrete methods

def laws[M[_]](implicit a: BindRec[M], am: Arbitrary[M[Int]], af: Arbitrary[Int => M[Int]], ag: Arbitrary[M[Int => Int]], e: Equal[M[Int]]): Properties
def tailrecBindConsistency[M[_], X](implicit M: BindRec[M], ax: Arbitrary[X], af: Arbitrary[X => M[X]], emx: Equal[M[X]]): Prop