Safe Haskell | None |
---|
- newtype ReaderStateIO env state res = RSIO (env -> state -> IO (res, state))
- modifyIO :: (state -> IO state) -> ReaderStateIO env state ()
- runReaderStateIO :: ReaderStateIO env state res -> env -> state -> IO (res, state)
Documentation
newtype ReaderStateIO env state res Source
reader state io monad implemented directly without any monad transformers
MonadReader env (ReaderStateIO env state) | |
MonadState state (ReaderStateIO env state) | |
Monad (ReaderStateIO env state) | |
MonadIO (ReaderStateIO env state) |
modifyIO :: (state -> IO state) -> ReaderStateIO env state ()Source
runReaderStateIO :: ReaderStateIO env state res -> env -> state -> IO (res, state)Source