effectie-test4cats
effectie-test4cats
effectie.testing.cats
Gens
Laws
ApplicativeLaws
ApplicativeLaws
FunctorLaws
FunctorLaws
MonadLaws
MonadLaws
MonadSpec
Specs
ApplicativeLaws
FunctorLaws
MonadLaws
effectie-test4cats
/
effectie.testing.cats
/
Specs
/
FunctorLaws
FunctorLaws
object
FunctorLaws
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Value members
Value members
Concrete methods
def
composition
[F[*]](genM:
GenT
[F[
Int
]], genF:
GenT
[
Int
=>
Int
])(implicit functor:
Functor
[F], eqM:
Eq
[F[
Int
]]):
Property
def
identity
[F[*]](genM:
GenT
[F[
Int
]])(implicit functor:
Functor
[F], eqM:
Eq
[F[
Int
]]):
Property