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