Monad.State

State Monad

Computations which maintain state.

Binding strategy: Binding threads a state parameter through the sequence of bound functions so that the same state value is never used twice, giving the illusion of in-place update.

Useful for: Building computations from sequences of operations that require a shared state.

type State s a

= State (s -> ( a, s ))

State

return : a -> State s a

return function for State

bind : State s a -> (a -> State s b) -> State s b

bind function for State

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

Run the state

get : State a a

Get current state

put : s -> State s ()

Put a new state

evalState : State s a -> s -> a

Get the new value

execState : State s a -> s -> s

Get the new state

README
About
2 versions
Source

Modules

Monads

Monad.Maybe
Monad.List
Monad.State
Monad.Writer

linsyking/elm-monad/1.0.1

Monad.State

State Monad

Modules

Monads