scalaprops-all/scalaprops.scalazlaws/comonadTrans

comonadTrans

object comonadTrans
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[F[_[_], _] : ComonadTrans](implicit evidence$1: ComonadTrans[F], C1: Comonad[[a] =>> F[NonEmptyList, a]], G1: Gen[F[NonEmptyList, Int]]): Properties[ScalazLaw]
def law1[F[_[_], _], G[_], A](implicit C: Comonad[[a] =>> F[G, a]], F: ComonadTrans[F], G: Comonad[G], A: Gen[F[G, A]], E: Equal[A]): Property
def law2[F[_[_], _], G[_], A, B](implicit C: Cobind[[a] =>> F[G, a]], F: ComonadTrans[F], G: Cobind[G], FGA: Gen[F[G, A]], GAB: Gen[G[A] => B], E: Equal[G[B]]): Property