cats.mtl
ApplicativeLayerFunctor is the capability to lift Applicative homomorphisms in Inner (Inner ~> Inner) into homomorphisms in M (Inner ~> Inner).
ApplicativeLayerFunctor
Applicative
Inner
Inner ~> Inner
M
ApplicativeLayerFunctor[M, Inner] has no additional laws.
ApplicativeLayerFunctor[M, Inner]
ApplicativeLayerFunctor
is the capability to liftApplicative
homomorphisms inInner
(Inner ~> Inner
) into homomorphisms inM
(Inner ~> Inner
).ApplicativeLayerFunctor[M, Inner]
has no additional laws.