A state transformer monad, which allows for destructive updates. A computation of type Mut<S, A> denotes that returns a value of type A in thread S, which is a free type variable.
Mut<S, A>
A
S
A state transformer monad, which allows for destructive updates. A computation of type
Mut<S, A>denotes that returns a value of typeAin threadS, which is a free type variable.