MHask.Indexed.Monad

Documentation

class IxPointed t => IxMonad t where

Methods

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

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