Documentation

newtype State s a Source

get :: State s s Source

gets :: (s -> a) -> State s a Source

put :: s -> State s () Source

modify :: (s -> s) -> State s () Source

evalState :: State s a -> s -> a Source

execState :: State s a -> s -> s Source

runState :: State s a -> s -> (a, s) Source