mtlx-0.1: Monad transformer library with type indexes, providing 'free' copies.

Control.Monad.RWSX.Class

Documentation

class (Monoid w, Index ix, MonadReaderX ix r m, MonadWriterX ix w m, MonadStateX ix s m) => MonadRWSX ix r w s m | ix m -> r, ix m -> w, ix m -> sSource

Instances

(Monoid w, Index ix) => MonadRWSX ix r w s (RWSX ix r w s) 
(Monoid w, Index ix) => MonadRWSX ix r w s (RWSX ix r w s) 
(Monoid w, Monad m, MonadRWSX ix r w s m, MonadStateX ix s m, MonadReaderX ix r m, MonadWriterX ix w m, Index ix) => MonadRWSX ix r w s (RWSTX ix r w s m) 
(Monoid w, Monad m, Index ix) => MonadRWSX ix r w s (RWSTX ix r w s m)