Control.Monad.RWSX.Strict

Documentation

data Index ix => RWSX ix r w s a

Constructors

RWSX ix (r -> s -> (a, s, w))

Instances

(Monoid w, Index ix) => MonadRWSX ix r w s (RWSX ix r w s)

(Monoid w, Index ix) => MonadReaderX ix r (RWSX ix r w s)

(Monoid w, Index ix) => MonadStateX ix s (RWSX ix r w s)

(Monoid w, Index ix) => MonadWriterX ix w (RWSX ix r w s)

(Monoid w, Index ix) => Monad (RWSX ix r w s)

Index ix => Functor (RWSX ix r w s)

(Monoid w, Index ix) => MonadFix (RWSX ix r w s)

evalRWSX :: Index ix => ix -> RWSX ix r w s a -> r -> s -> (a, w)

execRWSX :: Index ix => ix -> RWSX ix r w s a -> r -> s -> (s, w)

mapRWSX :: Index ix => ix -> ((a, s, w) -> (b, s, w')) -> RWSX ix r w s a -> RWSX ix r w' s b

withRWSX :: Index ix => ix -> (r' -> s -> (r, s)) -> RWSX ix r w s a -> RWSX ix r' w s a

data Index ix => RWSTX ix r w s m a

Constructors

RWSTX ix (r -> s -> m (a, s, w))

Instances

(Monoid w, Monad m, Index ix) => MonadRWSX ix r w s (RWSTX ix r w s m)

(Monoid w, Monad m, Index ix) => MonadReaderX ix r (RWSTX ix r w s m)

(Monoid w, Monad m, Index ix) => MonadStateX ix s (RWSTX ix r w s m)

(Monoid w, Monad m, Index ix) => MonadWriterX ix w (RWSTX ix r w s m)

(Monoid w, MonadError e m, Index ix) => MonadError e (RWSTX ix r w s m)

(Monoid w, Index ix) => MonadTrans (RWSTX ix r w s)

(Monoid w, Monad m, Index ix) => Monad (RWSTX ix r w s m)

(Monad m, Index ix) => Functor (RWSTX ix r w s m)

(Monoid w, MonadFix m, Index ix) => MonadFix (RWSTX ix r w s m)

(Monoid w, MonadPlus m, Index ix) => MonadPlus (RWSTX ix r w s m)

(Monoid w, MonadCont m, Index ix) => MonadCont (RWSTX ix r w s m)

(Monoid w, MonadIO m, Index ix) => MonadIO (RWSTX ix r w s m)

evalRWSTX :: (Monad m, Index ix) => ix -> RWSTX ix r w s m a -> r -> s -> m (a, w)

execRWSTX :: (Monad m, Index ix) => ix -> RWSTX ix r w s m a -> r -> s -> m (s, w)

mapRWSTX :: Index ix => ix -> (m (a, s, w) -> n (b, s, w')) -> RWSTX ix r w s m a -> RWSTX ix r w' s n b

withRWSTX :: Index ix => ix -> (r' -> s -> (r, s)) -> RWSTX ix r w s m a -> RWSTX ix r' w s m a

module Control.Monad.RWSX.Class

module Control.Monad

module Control.Monad.Fix

module Control.Monad.Trans

module Data.Monoid