MonadLaws
object MonadLaws
class Object
trait Matchable
class Any
Value members
Concrete methods
def associativity[F[*]](genM: GenT[F[Int]], genFm: GenT[Int => F[Int]])(implicit monad: Monad[F], eqM: Eq[F[Int]]): Property
def composition[F[*]](genM: GenT[F[Int]], genF: GenT[Int => Int])(implicit monad: Monad[F], eqM: Eq[F[Int]]): Property
def compositionAp[F[*]](genM: GenT[F[Int]], genF: GenT[Int => Int])(implicit monad: Monad[F], eqM: Eq[F[Int]]): Property
def homomorphism[F[*]](genInt: GenT[Int], genF: GenT[Int => Int])(implicit monad: Monad[F], eqM: Eq[F[Int]]): Property
def interchange[F[*]](genInt: GenT[Int], genF: GenT[Int => Int])(implicit monad: Monad[F], eqM: Eq[F[Int]]): Property
def leftIdentity[F[*]](genInt: GenT[Int], genFm: GenT[Int => F[Int]])(implicit monad: Monad[F], eqM: Eq[F[Int]]): Property