Darcs.Util.IndexedMonad

Documentation

class Monad m where

An alternative monad class, indexed by a "from" and "to" state.

Methods

return :: a -> m i i a

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

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

Instances

Monad m => Monad (ReaderT r m)

Defined in Darcs.Util.IndexedMonad

Methods

return :: a -> ReaderT r m i i a

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

(>>) :: ReaderT r m i j a -> ReaderT r m j k b -> ReaderT r m i k b

class LiftIx t where

A class for indexed monad transformers, going from normal Haskell monads into our indexed monads.

Methods

liftIx :: m a -> t m i i a

when :: Monad m => Bool -> m i i () -> m i i ()

ifThenElse :: Bool -> a -> a -> a

class Monad m => MonadReader r m | m -> r where

An indexed version of the standard MonadReader class

Methods

ask :: m i i r

local :: (r -> r) -> m i i a -> m i i a

Instances

Monad m => MonadReader r (ReaderT r m)

Defined in Darcs.Util.IndexedMonad

Methods

ask :: ReaderT r m i i r

local :: (r -> r) -> ReaderT r m i i a -> ReaderT r m i i a

newtype ReaderT r m i j a

An indexed version of the standard ReaderT transformer

Constructors

ReaderT

Fields

• runReaderT :: r -> m i j a

Instances

Monad m => MonadReader r (ReaderT r m)

Defined in Darcs.Util.IndexedMonad

Methods

ask :: ReaderT r m i i r

local :: (r -> r) -> ReaderT r m i i a -> ReaderT r m i i a

Monad m => Monad (ReaderT r m)

Defined in Darcs.Util.IndexedMonad

Methods

return :: a -> ReaderT r m i i a

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

(>>) :: ReaderT r m i j a -> ReaderT r m j k b -> ReaderT r m i k b

asks :: MonadReader r m => (r -> a) -> m i i a