Control.Monad.Ology.Specific.ReaderStateT

Documentation

type ReaderStateT f m = StateT (WRaised f m) m

evalReaderStateT :: Monad m => ReaderStateT f m a -> (f --> m) -> m a

readerStateLift :: (Monad f, Monad m) => f --> ReaderStateT f m

readerStateUpdate :: Monad m => (f --> f) -> ReaderStateT f m ()

readerStateParamRef :: forall f m. Monad m => Param f --> Ref (ReaderStateT f m)