Control.Monad.Indexed

Documentation

class IxFunctor f where

Minimal complete definition

imap

Methods

imap :: (a -> b) -> f j k a -> f j k b

class IxFunctor m => IxPointed m where

Minimal complete definition

ireturn

Methods

ireturn :: a -> m i i a

class IxPointed m => IxApplicative m where

Minimal complete definition

iap

Methods

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

class IxApplicative m => IxMonad m where

Minimal complete definition

ibind

Methods

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

class IxMonad m => IxMonadZero m where

Minimal complete definition

imzero

Methods

imzero :: m i j a

class IxMonadZero m => IxMonadPlus m where

Minimal complete definition

implus

Methods

implus :: m i j a -> m i j a -> m i j a

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 infixl 1

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

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