Control.Monad.Indexed

Portability	non-portable (rank-2 polymorphism)
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Description

Documentation

class IxFunctor f where

Source

Methods

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

Source

Instances

IxFunctor IxCont

IxFunctor IxState

IxFunctor (IxContT m)

Monad m => IxFunctor (IxStateT m)

class IxFunctor m => IxPointed m where

Source

Methods

ireturn :: a -> m i i a

Source

Instances

IxPointed IxCont

IxPointed IxState

IxPointed (IxContT m)

Monad m => IxPointed (IxStateT m)

class IxPointed m => IxApplicative m where

Source

Methods

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

Source

Instances

IxApplicative IxCont

IxApplicative IxState

Monad m => IxApplicative (IxContT m)

Monad m => IxApplicative (IxStateT m)

class IxApplicative m => IxMonad m where

Source

Methods

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

Source

Instances

IxMonad IxCont

IxMonad IxState

Monad m => IxMonad (IxContT m)

Monad m => IxMonad (IxStateT m)

class IxMonad m => IxMonadZero m where

Source

Methods

imzero :: m i j a

Source

Instances

MonadPlus m => IxMonadZero (IxStateT m)

class IxMonadZero m => IxMonadPlus m where

Source

Methods

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

Source

Instances

MonadPlus m => IxMonadPlus (IxStateT m)

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

Source

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

Source

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

Source

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

Source

Produced by Haddock version 2.3.0