| Copyright | uni-bremen and DFKI |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | r.pascanu@jacobs-university.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
Interfaces.History
Description
Interfaces.History contains different functions that deal with history
Documentation
undoOneStep :: IntState -> IO IntState Source #
redoOneStep :: IntState -> IO IntState Source #
undoOneStepWithUpdate :: IntState -> (LibName -> [DGChange] -> DGraph -> IO ()) -> IO IntState Source #
redoOneStepWithUpdate :: IntState -> (LibName -> [DGChange] -> DGraph -> IO ()) -> IO IntState Source #
add2history :: Command -> IntState -> [UndoRedoElem] -> IntState Source #