pymonad
.
operators
.state
index
/usr/home/jason/Files/projects/pymonad/pymonad/operators/state.py
Adds operators to the State monad.
Modules
pymonad
Functions
State
(state_function: Callable[[~S], Tuple[~T, ~S]]) -> pymonad.operators.state._State[~S, ~T]
The State monad constructor function.
Args:
state_function: a function with type State -> (Any, State)
Returns:
An instance of the State monad.
Data
Callable
= typing.Callable
S
= ~S
T
= ~T
Tuple
= typing.Tuple