Hets - the Heterogeneous Tool Set

Copyrightuni-bremen and DFKI
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerr.pascanu@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Interfaces.History

Description

Interfaces.History contains different functions that deal with history

Documentation

undoOneStep :: IntState -> IO IntState

redoOneStep :: IntState -> IO IntState

undoOneStepWithUpdate :: IntState -> (LibName -> [DGChange] -> DGraph -> IO ()) -> IO IntState

redoOneStepWithUpdate :: IntState -> (LibName -> [DGChange] -> DGraph -> IO ()) -> IO IntState

add2history :: Command -> IntState -> [UndoRedoElem] -> IntState