scalaprops-all/scalaprops.scalazlaws/cobind

cobind

object cobind
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[F[_]](implicit a: Cobind[F], am: Gen[F[Int]], e: Equal[F[Int]], g: Gen[F[Int] => Int]): Properties[ScalazLaw]
def cobindAssociative[F[_], A, B, C, D](implicit F: Cobind[F], D: Equal[D], fa: Gen[F[A]], f: Gen[F[A] => B], g: Gen[F[B] => C], h: Gen[F[C] => D]): Property
def laws[F[_]](implicit a: Cobind[F], am: Gen[F[Int]], g: Gen[F[Int] => Int]): Properties[ScalazLaw]