ghc-6.12.1: The GHC API Source code Contents Index

State

Synopsis

newtype State s a = State { runState' :: s -> (#a, s#) } 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 :: Monad m => (acc -> x -> m (acc, y)) -> acc -> [x] -> m (acc, [y])

Documentation

newtype State s a Source

Constructors State runState' :: s -> (#a, s#) Instances Monad (State s) Functor (State s) Applicative (State s)

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

mapAccumLM Source

:: Monad m => acc -> x -> m (acc, y) initial state -> acc inputs -> [x] final state, outputs -> m (acc, [y]) Monadic version of mapAccumL

Produced by Haddock version 2.6.0