IdrisDoc
: Control.Monad.RWS
Index
Control.Monad.RWS
MkRWST
:
(
runRWST
:
r
->
s
->
m
(
a
,
s
,
w
)
) ->
RWST
r
w
s
m
a