Control.Monad.RWS.Strict
data
RWS
r w s a
evalRWS
execRWS
mapRWS
withRWS
data
RWST
r w s m a
evalRWST
execRWST
mapRWST
withRWST