runState -package:incipit-core package:dunai

Unwrap a state monad computation as a function. (The inverse of state.)
Build an MSF that takes a state as an extra input from one on the State monad. This is the opposite of stateS.
Build an MSF function that takes a fixed state as additional input, from an MSF in the State monad, and outputs the new state with every transformation step.
Build an MSF function that takes a fixed state as additional input, from an MSF in the State monad.