IdrisDoc: Control.Monad.RWS

Control.Monad.RWS

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