IdrisDoc: Control.Monad.RWS

Control.Monad.RWS

MkRWST : (runRWST : r -> s -> m (a, s, w)) -> RWST r w s m a