| ||||||||||||||||||

| ||||||||||||||||||

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.3.0 |