Control.Monad.Indexed

Documentation

class IxFunctor m => IxMonad m where

Methods

ireturn :: a -> m i i a

ibind :: (a -> m j k b) -> m i j a -> m i k b

Instances

IxMonad IxCont

IxMonad IxState

(Functor m, Monad m) => IxMonad (LiftIx m)

Monad m => IxMonad (IxContT m)

ijoin :: IxMonad m => m i j (m j k a) -> m i k a

(>>>=) :: IxMonad m => m i j a -> (a -> m j k b) -> m i k b