¤ Ms, loadMs, et al

Types

type Ms k s r = ContM (s -> k) r

loadMs :: Ms k s s
storeMs :: s -> Ms k s ()
modMs :: (s -> s) -> Ms k s ()
fieldMs :: (s -> f) -> Ms k s f
nopMs :: Ms k s ()

Description

Continuation monad with state (just an instance of the continuation monad ContM).

See Also

Continuation monad with state specialized to stream processors: SPms.

Continuation monad with state specialized to fudget kernels: Ks.