MHask-0.3.0.0: The category of monads
MHask.Indexed.Functor
Description
Compare to indexed.Data.Functor.Indexed (IxFunctor)
Synopsis
class IxFunctor t whereSource
The indexed version of MHask.Functor. IxFunctor is its own dual.
Methods
imap :: (Monad m, Monad n) => (m ~> n) -> t i j m ~> t i j nSource
Flipping the arrows on imap's type signature is just the same type signature in disguise.
(m <~ n) -> (t i j m <~ t i j n)