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#)
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