category-extras-0.44.1: Various modules and constructs inspired by category theory.

Control.Monad.Indexed

Description

class IxFunctor m => IxMonad m whereSource

Methods

ireturn :: a -> m i i aSource

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

Instances

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

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