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