essence-of-live-coding-0.2.6: General purpose live coding framework
Safe HaskellSafe-Inferred
LanguageHaskell2010

LiveCoding.Migrate.Monad.Trans

Synopsis

Documentation

maybeMigrateToState :: (Typeable stateInternal', Typeable stateInternal) => State stateT stateInternal -> stateInternal' -> Maybe (State stateT stateInternal) Source #

migrationToState :: Migration Source #

Tries to cast the current state into the joint state of a program where a state effect has been absorbed into the internal state with runStateL or runStateC.

maybeMigrateFromState :: (Typeable stateInternal', Typeable stateInternal) => State stateT stateInternal -> Maybe stateInternal' Source #

migrationFromState :: Migration Source #

Try to extract a state from the current joint state of a program wrapped with runStateL or runStateC.