effectie-test4cats/effectie.testing.cats/MonadSpec

MonadSpec

object MonadSpec
Since

2021-08-04

class Object
trait Matchable
class Any

Value members

Concrete methods

def test1_Identity[F[*]](implicit evidence$2: Monad[F], eqF: Eq[F[Int]]): Property
def test2_Composition[F[*]](implicit evidence$3: Monad[F], eqF: Eq[F[Int]]): Property
def test3_IdentityAp[F[*]](implicit evidence$4: Monad[F], eqF: Eq[F[Int]]): Property
def test4_Homomorphism[F[*]](implicit evidence$5: Monad[F], eqF: Eq[F[Int]]): Property
def test5_Interchange[F[*]](implicit evidence$6: Monad[F], eqF: Eq[F[Int]]): Property
def test6_CompositionAp[F[*]](implicit evidence$7: Monad[F], eqF: Eq[F[Int]]): Property
def test7_LeftIdentity[F[*]](implicit evidence$8: Monad[F], eqF: Eq[F[Int]]): Property
def test8_RightIdentity[F[*]](implicit evidence$9: Monad[F], eqF: Eq[F[Int]]): Property
def test9_Associativity[F[*]](implicit evidence$10: Monad[F], eqF: Eq[F[Int]]): Property
def testAllLaws[F[*]](fName: String)(implicit evidence$1: Monad[F], eqF: Eq[F[Int]]): List[Test]