MHask.Indexed.Monad

Compare to indexed.Control.Monad.Indexed (IxMonad)

Documentation

class IxPointed t => IxMonad t where

Indexed version of MHask.Monad. Dual of MHask.Indexed.Comonad

Methods

ijoin :: Monad m => t i j (t j k m) ~> t i k m

ibind :: (Monad m, Monad n) => (m ~> t j k n) -> t i j m ~> t i k n