scalaz-scalacheck-binding/scalaz.scalacheck/ScalazProperties/comonad

comonad

object comonad
class Object
trait Matchable
class Any

Value members

Concrete methods

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