timedversion

Timed references for imperative state

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 the standard library).

Moreover, we provide an alternative implementation based on the references of the standard library (Pervasives module). However, it is less efficient than the first one.

Authors:

AuthorsChristophe Raffalli <christophe@raffalli.eu> and Rodolphe Lepigre <rodolphe.lepigre@inria.fr>
LicenseMIT
Published
Homepagehttps://github.com/rlepigre/ocaml-timed
Issue Trackerhttps://github.com/rlepigre/ocaml-timed/issues
MaintainerRodolphe Lepigre <rodolphe.lepigre@inria.fr>
Dependencies
Source [http] https://github.com/rlepigre/ocaml-timed/archive/ocaml-timed_1.0.tar.gz
md5=e88e81c4453283fd806d0511171a6a13
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/timed/timed.1.0/opam
Required by