| ||||||||||||||||||
| ||||||||||||||||||
| Synopsis | ||||||||||||||||||
| ||||||||||||||||||
| Documentation | ||||||||||||||||||
| newtype State s a | ||||||||||||||||||
| ||||||||||||||||||
| get :: State s s | ||||||||||||||||||
| gets :: (s -> a) -> State s a | ||||||||||||||||||
| put :: s -> State s () | ||||||||||||||||||
| modify :: (s -> s) -> State s () | ||||||||||||||||||
| evalState :: State s a -> s -> a | ||||||||||||||||||
| execState :: State s a -> s -> s | ||||||||||||||||||
| runState :: State s a -> s -> (a, s) | ||||||||||||||||||
| mapAccumLM | ||||||||||||||||||
| ||||||||||||||||||
| Produced by Haddock version 2.7.2 | ||||||||||||||||||