Struct redo::Checkpoint

pub struct Checkpoint<'a, T, C> { /* private fields */ }

A checkpoint wrapper.

Wraps a Record or History and gives it checkpoint functionality.

Examples

#[derive(Debug)]
struct Add(char);

impl Command<String> for Add {
    type Error = &'static str;

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

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

fn main() -> redo::Result<String, Add> {
    let mut record = Record::default();
    let mut cp = record.checkpoint();
    cp.apply(Add('a'))?;
    cp.apply(Add('b'))?;
    cp.apply(Add('c'))?;
    assert_eq!(cp.as_receiver(), "abc");
    cp.cancel()?;
    assert_eq!(record.as_receiver(), "");
    Ok(())
}

Implementations

impl<'a, T, C> Checkpoint<'a, T, C>

pub fn new(inner: &'a mut T) -> Checkpoint<'a, T, C>

Returns a checkpoint.

pub fn reserve(&mut self, additional: usize)

Reserves capacity for at least additional more commands in the checkpoint.

Panics

Panics if the new capacity overflows usize.

pub fn capacity(&self) -> usize

Returns the capacity of the checkpoint.

pub fn len(&self) -> usize

Returns the number of commands in the checkpoint.

pub fn is_empty(&self) -> bool

Returns true if the checkpoint is empty.

pub fn commit(self)

Commits the changes and consumes the checkpoint.

impl<R, C: Command<R>> Checkpoint<'_, Record<R, C>, C>

pub fn apply(&mut self, command: C) -> Result<R, C>

Calls the apply method.

pub fn undo(&mut self) -> Option<Result<R, C>>

Calls the undo method.

pub fn redo(&mut self) -> Option<Result<R, C>>

Calls the redo method.

pub fn go_to(&mut self, cursor: usize) -> Option<Result<R, C>>

Calls the go_to method.

pub fn cancel(self) -> Result<R, C>

Cancels the changes and consumes the checkpoint.

Errors

If an error occur when canceling the changes, the error is returned together with the command.

pub fn checkpoint(&mut self) -> Checkpoint<'_, Record<R, C>, C>

Returns a checkpoint.

pub fn queue(&mut self) -> Queue<'_, Record<R, C>, C>

Returns a queue.

pub fn as_receiver(&self) -> &R

Returns a reference to the receiver.

pub fn as_mut_receiver(&mut self) -> &mut R

Returns a mutable reference to the receiver.

This method should only be used when doing changes that should not be able to be undone.

impl<R, C: Command<R>> Checkpoint<'_, History<R, C>, C>

pub fn apply(&mut self, command: C) -> Result<R, C>

Calls the apply method.

pub fn undo(&mut self) -> Option<Result<R, C>>

Calls the undo method.

pub fn redo(&mut self) -> Option<Result<R, C>>

Calls the redo method.

pub fn go_to(&mut self, branch: usize, cursor: usize) -> Option<Result<R, C>>

Calls the go_to method.

pub fn cancel(self) -> Result<R, C>

Cancels the changes and consumes the checkpoint.

Errors

If an error occur when canceling the changes, the error is returned together with the command.

pub fn checkpoint(&mut self) -> Checkpoint<'_, History<R, C>, C>

Returns a checkpoint.

pub fn queue(&mut self) -> Queue<'_, History<R, C>, C>

Returns a queue.

pub fn as_receiver(&self) -> &R

Returns a reference to the receiver.

pub fn as_mut_receiver(&mut self) -> &mut R

Returns a mutable reference to the receiver.

This method should only be used when doing changes that should not be able to be undone.

Trait Implementations

impl<R, C: Command<R>> AsMut<R> for Checkpoint<'_, History<R, C>, C>

fn as_mut(&mut self) -> &mut R

Converts this type into a mutable reference of the (usually inferred) input type.

impl<R, C: Command<R>> AsMut<R> for Checkpoint<'_, Record<R, C>, C>

fn as_mut(&mut self) -> &mut R

Converts this type into a mutable reference of the (usually inferred) input type.

impl<R, C: Command<R>> AsRef<R> for Checkpoint<'_, History<R, C>, C>

fn as_ref(&self) -> &R

Converts this type into a shared reference of the (usually inferred) input type.

impl<R, C: Command<R>> AsRef<R> for Checkpoint<'_, Record<R, C>, C>

fn as_ref(&self) -> &R

Converts this type into a shared reference of the (usually inferred) input type.

impl<'a, T: Debug, C: Debug> Debug for Checkpoint<'a, T, C>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, T, C> From<&'a mut T> for Checkpoint<'a, T, C>

fn from(inner: &'a mut T) -> Self

Converts to this type from the input type.