timed

Timed references for imperative state
README

This minimal library allows the encapsulation of reference updates
in an abstract notion of state. It can be used to emulate a pure
interface while working with references.

Authors: Rodolphe Lepigre & Christophe Raffalli

Installation

The library has no dependency, but it is built using dune. You can use the
following commands to compile and install.

make
make install

Example

open Timed

let _ =
  let r1 = ref 0  in
  let r2 = ref 42 in

  let t1 = Time.save () in

  r1 := 73;

  let t2 = Time.save () in

  Time.restore t1;
  assert(!r1 = 0 && !r2 = 42)
  
  r1 := 17;

  Time.restore t2;
  assert(!r1 = 73 && !r2 = 42)
Install
Published
05 Aug 2022
Sources
1.1.tar.gz
md5=06106626006450f41f0c4d4fcbcf95d0
sha512=b136d79e6ad1a50c811acadc0ae0be049f2dc0d6fc87d233400d602cdf8c6dab3af87557e8f8d740f6eba4b87b9d5b2fcc7e550d24e4ba8c03237573da5623d5
Dependencies
dune
>= "2.7" & build
odoc
with-doc
ocaml
>= "4.08.0"
Reverse Dependencies