| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
LiveCoding.Migrate.Monad.Trans
Synopsis
- maybeMigrateToState :: (Typeable stateInternal', Typeable stateInternal) => State stateT stateInternal -> stateInternal' -> Maybe (State stateT stateInternal)
- migrationToState :: Migration
- maybeMigrateFromState :: (Typeable stateInternal', Typeable stateInternal) => State stateT stateInternal -> Maybe stateInternal'
- migrationFromState :: Migration
- migrationState :: Migration
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.
migrationState :: Migration Source #
Combines migrationToState and migrationFromState.