Opam Package timed.1.0

Package info

opam-nametimed
opam-version1.0
synopsisTimed references for imperative state
description 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: - Christophe Raffalli <christophe@raffalli.eu> - Rodolphe Lepigre <rodolphe.lepigre@inria.fr>
authors
  • Christophe Raffalli <christophe@raffalli.eu>
  • Rodolphe Lepigre <rodolphe.lepigre@inria.fr>
homepagehttps://github.com/rlepigre/ocaml-timed
licenseMIT
deps (2)
revdeps(0)
metas (2)
libraries (2)

Package modules

Package sources

timed

Package files

lib/timed/timed_compat.o
lib/timed/timed_compat.mli
lib/timed/timed_compat.cmxs
lib/timed/timed_compat.cmxa
lib/timed/timed_compat.cmx
lib/timed/timed_compat.cmi
lib/timed/timed_compat.cma
lib/timed/timed_compat.a
lib/timed/timed.o
lib/timed/timed.mli
lib/timed/timed.cmxs
lib/timed/timed.cmxa
lib/timed/timed.cmx
lib/timed/timed.cmi
lib/timed/timed.cma
lib/timed/timed.a
lib/timed/META
lib/timed