Hoodle.Type.Undo

Documentation

data UndoTable a

Constructors

UndoTable

Fields

• undo_allowednum :: Int
• undo_totalnum :: Int
• undo_zipper :: Maybe (SeqZipper a)

emptyUndo :: Int -> UndoTable a

singletonUndo :: Int -> a -> UndoTable a

addToUndo :: UndoTable a -> a -> UndoTable a

getCurrentUndoItem :: UndoTable a -> Maybe a

getPrevUndo :: UndoTable a -> Maybe (a, UndoTable a)

getNextUndo :: UndoTable a -> Maybe (a, UndoTable a)

numOfUndo :: UndoTable a -> Int