Crate undo[][src]

Low-level undo-redo functionality.

It is an implementation of the action pattern, where all modifications are done by creating objects of actions that applies the modifications. All actions knows how to undo the changes it applies, and by using the provided data structures it is easy to apply, undo, and redo changes made to a target.

Features

  • Action provides the base functionality for all actions.
  • Record provides basic undo-redo functionality.
  • Timeline provides basic undo-redo functionality using a fixed size.
  • History provides non-linear undo-redo functionality that allows you to jump between different branches.
  • Queues wraps a record or history and extends them with queue functionality.
  • Checkpoints wraps a record or history and extends them with checkpoint functionality.
  • Actions can be merged into a single action by implementing the merge method on the action. This allows smaller actions to be used to build more complex operations, or smaller incremental changes to be merged into larger changes that can be undone and redone in a single step.
  • The target can be marked as being saved to disk and the data-structures can track the saved state and notify when it changes.
  • The amount of changes being tracked can be configured by the user so only the N most recent changes are stored.
  • Configurable display formatting using the display structure.
  • The library can be used as no_std.

Cargo Feature Flags

  • alloc: Enables the use of the alloc crate, enabled by default.
  • arrayvec: Required for the timeline module, enabled by default.
  • chrono: Enables time stamps and time travel.
  • serde: Enables serialization and deserialization.
  • colored: Enables colored output when visualizing the display structures.

Examples

use undo::{Action, History};

struct Add(char);

impl Action for Add {
    type Target = String;
    type Output = ();
    type Error = &'static str;

    fn apply(&mut self, s: &mut String) -> undo::Result<Add> {
        s.push(self.0);
        Ok(())
    }

    fn undo(&mut self, s: &mut String) -> undo::Result<Add> {
        self.0 = s.pop().ok_or("s is empty")?;
        Ok(())
    }
}

fn main() -> undo::Result<Add> {
    let mut target = String::new();
    let mut history = History::new();
    history.apply(&mut target, Add('a'))?;
    history.apply(&mut target, Add('b'))?;
    history.apply(&mut target, Add('c'))?;
    assert_eq!(target, "abc");
    history.undo(&mut target).unwrap()?;
    history.undo(&mut target).unwrap()?;
    history.undo(&mut target).unwrap()?;
    assert_eq!(target, "");
    history.redo(&mut target).unwrap()?;
    history.redo(&mut target).unwrap()?;
    history.redo(&mut target).unwrap()?;
    assert_eq!(target, "abc");
    Ok(())
}

Re-exports

pub use self::timeline::Timeline;
pub use self::history::History;
pub use self::record::Record;

Modules

history

A history of actions.

record

A record of actions.

timeline

A timeline of actions.

Enums

Merged

Says if the action have been merged with another action.

Signal

The signal used for communicating state changes.

Traits

Action

Base functionality for all actions.

Type Definitions

Result

A specialized Result type for undo-redo operations.