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