|
Control.Monad.RWS.Strict | Portability | non-portable (multi-param classes, functional dependencies) | Stability | experimental | Maintainer | libraries@haskell.org |
|
|
|
Description |
Strict RWS Monad.
Inspired by the paper
/Functional Programming with Overloading and
Higher-Order Polymorphism/,
Mark P Jones (http://web.cecs.pdx.edu/~mpj/)
Advanced School of Functional Programming, 1995.
|
|
|
Documentation |
|
|
Constructors | RWS | | runRWS :: r -> s -> (a, s, w) | |
|
|
|
|
evalRWS :: RWS r w s a -> r -> s -> (a, w) | Source |
|
|
execRWS :: RWS r w s a -> r -> s -> (s, w) | Source |
|
|
mapRWS :: ((a, s, w) -> (b, s, w')) -> RWS r w s a -> RWS r w' s b | Source |
|
|
withRWS :: (r' -> s -> (r, s)) -> RWS r w s a -> RWS r' w s a | Source |
|
|
|
Constructors | RWST | | runRWST :: r -> s -> m (a, s, w) | |
|
|
|
|
|
|
|
|
mapRWST :: (m (a, s, w) -> n (b, s, w')) -> RWST r w s m a -> RWST r w' s n b | Source |
|
|
withRWST :: (r' -> s -> (r, s)) -> RWST r w s m a -> RWST r' w s m a | Source |
|
|
module Control.Monad.RWS.Class |
|
module Control.Monad |
|
module Control.Monad.Fix |
|
module Control.Monad.Trans |
|
module Data.Monoid |
|
Produced by Haddock version 2.6.1 |