Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- maybeMigrateToDebugging :: (Typeable state', Typeable state) => Debugging dbgState state -> state' -> Maybe (Debugging dbgState state)
- migrationToDebugging :: Migration
- maybeMigrateFromDebugging :: (Typeable state', Typeable state) => Debugging dbgState state -> Maybe state'
- migrationFromDebugging :: Migration
- migrationDebugging :: Migration
Documentation
maybeMigrateToDebugging :: (Typeable state', Typeable state) => Debugging dbgState state -> state' -> Maybe (Debugging dbgState state) Source #
migrationToDebugging :: Migration Source #
Tries to cast the current state into the joint state of debugger and program. Will cast to the program state if possible, or else try to cast to the debugger state.
maybeMigrateFromDebugging :: (Typeable state', Typeable state) => Debugging dbgState state -> Maybe state' Source #
migrationFromDebugging :: Migration Source #
Try to extract a state from the current joint state of debugger and program.
migrationDebugging :: Migration Source #
Combines migrationToDebugging
and migrationFromDebugging
.