| |||||
| |||||
Documentation | |||||
applyStateMonad :: StateMonad s a -> s -> (s, a) | |||||
readState :: (s -> a) -> StateMonad s a | |||||
writeState :: (s -> (s, a)) -> StateMonad s a | |||||
writeState_ :: (s -> s) -> StateMonad s () | |||||
innerMonad :: StateMonad s a -> StateMonad s (s, a) | |||||
Produced by Haddock version 0.8 |