ApplicativeLaws
object ApplicativeLaws
class Object
trait Matchable
class Any
Value members
Concrete methods
def composition[F[*]](genM: GenT[F[Int]], genF: GenT[Int => Int])(implicit applicative: Applicative[F], eqM: Eq[F[Int]]): Property
def compositionAp[F[*]](genM: GenT[F[Int]], genF: GenT[Int => Int])(implicit applicative: Applicative[F], eqM: Eq[F[Int]]): Property
def homomorphism[F[*]](genInt: GenT[Int], genF: GenT[Int => Int])(implicit applicative: Applicative[F], eqM: Eq[F[Int]]): Property
def identity[F[*]](genM: GenT[F[Int]])(implicit applicative: Applicative[F], eqM: Eq[F[Int]]): Property
def identityAp[F[*]](genM: GenT[F[Int]])(implicit applicative: Applicative[F], eqM: Eq[F[Int]]): Property
def interchange[F[*]](genInt: GenT[Int], genF: GenT[Int => Int])(implicit applicative: Applicative[F], eqM: Eq[F[Int]]): Property