scalaprops-all/scalaprops.scalazlaws/monadTrans

monadTrans

object monadTrans
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[F[_[_], _] : MonadTrans](implicit evidence$1: MonadTrans[F], I: Monad[[a] =>> F[IList, a]], M: Monad[[a] =>> F[Maybe, a]], E1: Equal[F[Maybe, Int]], E2: Equal[F[IList, Int]]): Properties[ScalazLaw]
def law1[F[_[_], _], G[_], A](implicit M: Monad[[a] =>> F[G, a]], F: MonadTrans[F], G: Monad[G], A: Gen[A], E: Equal[F[G, A]]): Property
def law2[F[_[_], _], G[_], A, B](implicit M: Monad[[a] =>> F[G, a]], F: MonadTrans[F], G: Monad[G], GA: Gen[G[A]], AGB: Gen[A => G[B]], E: Equal[F[G, B]]): Property