Executes a Mut with CatT of Mut<S, _>> by a state thread.
Mut
CatT
Mut<S, _>>
To hide the internal state, the type parameter S is universal quantified.
S
To be executed.
The result of computation.
Generated using TypeDoc
Executes a
Mut
withCatT
ofMut<S, _>>
by a state thread.To hide the internal state, the type parameter
S
is universal quantified.