category-extras-0.50.3: Various modules and constructs inspired by category theory Contents Index

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

Description

Documentation

class IxFunctor f where

Methods imap :: (a -> b) -> f j k a -> f j k b Instances IxFunctor IxCont IxFunctor IxState IxFunctor (IxContT m) Monad m => IxFunctor (IxStateT m)

class IxFunctor m => IxPointed m where

Methods ireturn :: a -> m i i a Instances IxPointed IxCont IxPointed IxState IxPointed (IxContT m) Monad m => IxPointed (IxStateT m)

class IxPointed m => IxApplicative m where

Methods iap :: m i j (a -> b) -> m j k a -> m i k b Instances IxApplicative IxCont IxApplicative IxState Monad m => IxApplicative (IxContT m) Monad m => IxApplicative (IxStateT m)

class IxApplicative m => IxMonad m where

Methods ibind :: (a -> m j k b) -> m i j a -> m i k b Instances IxMonad IxCont IxMonad IxState Monad m => IxMonad (IxContT m) Monad m => IxMonad (IxStateT m)

class IxMonad m => IxMonadZero m where

Methods imzero :: m i j a Instances MonadPlus m => IxMonadZero (IxStateT m)

class IxMonadZero m => IxMonadPlus m where

Methods implus :: m i j a -> m i j a -> m i j a Instances MonadPlus m => IxMonadPlus (IxStateT 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

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

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

Produced by Haddock version 2.1.0