scalaprops-all/scalaprops.scalazlaws/comonad

comonad

object comonad
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[F[_]](implicit a: Comonad[F], am: Gen[F[Int]], af: Gen[F[Int] => Int], e: Equal[F[Int]]): Properties[ScalazLaw]
def cobindLeftIdentity[F[_], A](implicit F: Comonad[F], F0: Equal[F[A]], fa: Gen[F[A]]): Property
def cobindRightIdentity[F[_], A, B](implicit F: Comonad[F], F0: Equal[B], fa: Gen[F[A]], f: Gen[F[A] => B]): Property
def laws[F[_]](implicit a: Comonad[F], am: Gen[F[Int]], af: Gen[F[Int] => Int], e: Equal[F[Int]]): Properties[ScalazLaw]