MHask-0.1.0.0: The category of monads

Safe HaskellSafe-Inferred

MHask.Indexed.Functor

Documentation

class IxFunctor t whereSource

Methods

imap :: (Monad m, Monad n, Monad (t i j m), Monad (t i j n)) => (m ~> n) -> t i j m ~> t i j nSource