Results for “Std.Ui.History.History”

Use module:Std.List, kind:fn, or is:exact. Put a Pudu type after ::.

• Std.Ui.History.History

  Undo and redo over whole states.

  type · Std.Ui.History
• Std.Ui.History.amend&Std.Ui.History.History[S] -> S -> Std.Ui.History.History[S]

  The history with the present replaced and nothing recorded, for a change

  fn · Std.Ui.History
• Std.Ui.History.canRedo&Std.Ui.History.History[S] -> Bool

  Whether a step forward exists.

  fn · Std.Ui.History
• Std.Ui.History.canUndo&Std.Ui.History.History[S] -> Bool

  Whether a step back exists.

  fn · Std.Ui.History
• Std.Ui.History.depth&Std.Ui.History.History[S] -> (Int, Int)

  How many steps back and forward exist.

  fn · Std.Ui.History
• Std.Ui.History.presentOf&Std.Ui.History.History[S] -> S

  The current state.

  fn · Std.Ui.History
• Std.Ui.History.record&Std.Ui.History.History[S] -> S -> Std.Ui.History.History[S]

  The history after a change to next: the present becomes undoable and

  fn · Std.Ui.History
• Std.Ui.History.redo&Std.Ui.History.History[S] -> Std.Ui.History.History[S]

  The history one step forward, or unchanged when nothing can be redone.

  fn · Std.Ui.History
• Std.Ui.History.startS -> Int -> Std.Ui.History.History[S]

  A history holding only present, keeping at most limit earlier states.

  fn · Std.Ui.History
• Std.Ui.History.undo&Std.Ui.History.History[S] -> Std.Ui.History.History[S]

  The history one step back, or unchanged when nothing can be undone.

  fn · Std.Ui.History