Documentation

Data representing the entire history of the state. Basically a very large list.

State of the universe.

Undo-able side-effectful computation monad. Lets you perform and unperform side-effectful computations (with undo), for example:

main = runTM $ do
    liftIO $ putStrLn "Launching the missiles!"
    undo

You can also use suspend and resume for a finer control over execution and unexecution:

main = runTM $ do
    universe <- suspend
    liftIO $ putStrLn "Launching the missiles!"
    resume universe

Beware! You may accidentally create temporal paradoxes such as:

main = runTM $ do
    universe <- suspend
    l <- liftIO $ getLine
    putStrLn l
    unless (null l) $ resume universe

Rollback the latest addition to the computation's history.

Save the history of a computation, to be later loaded with resume.

Load the history of a computation, saved by suspend.

Execute an undo-able computation.