| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
LiveCoding.LiveProgram.Monad.Trans
Synopsis
- runStateL :: (Data stateT, Monad m) => LiveProgram (StateT stateT m) -> stateT -> LiveProgram m
Documentation
runStateL :: (Data stateT, Monad m) => LiveProgram (StateT stateT m) -> stateT -> LiveProgram m Source #
Remove a stateful effect from the monad stack by supplying the initial state.
This state then becomes part of the internal live program state,
and is subject to migration as any other state.
Live programs are automatically migrated to and from applications of runStateL.