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)