MHask.Indexed.Functor

Compare to indexed.Data.Functor.Indexed (IxFunctor)

Documentation

class IxFunctor t where

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 n

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)