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