- record RWST r w s m a
The transformer on which the RWS monad is based
- r
-
- w
-
- s
-
- m
-
- a
-
- MkRWST : (runRWST : r ->
s ->
m (a,
s,
w)) ->
RWST r
w
s
m
a
- runRWST : (rec : RWST r
w
s
m
a) ->
r ->
s ->
m (a,
s,
w)
- RWS : Type ->
Type ->
Type ->
Type ->
Type
The RWS monad. See the MonadRWS interface
- interface MonadRWS
A combination of the Reader, Writer, and State monads
- MkRWST : (runRWST : r ->
s ->
m (a,
s,
w)) ->
RWST r
w
s
m
a