package timed

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

timed 1.1

Libraries

This package provides the following libraries (via ocamlobjinfo):

timed

Documentation:

  • Timed Timed references for imperative state. This module provides an alternative type for references (or mutable cells) supporting undo/redo operations. In particular, an abstract notion of time is used to capture the state of the references at any given point, so that it can be restored. Note that usual reference operations only have a constant time / memory overhead (compared to those of Stdlib).

timed.compat

Documentation:

  • Timed_compat Timed references for Stdlib.ref. This module redefines the all the functions used to update references, and enables the restoration of saved reference states.