package store

  1. Overview
  2. Docs
Snapshottable data structures

Install

dune-project
 Dependency

Authors

Maintainers

Sources

store-v0.2.tar.bz2
sha512=42d6c7a850a7ac113c5470d6ebe9b5a160a9aa57d009b7eda17a14cda5a54a1dcecd146281322da70579bab08ede70ebe23aa5c48cc3ad3c2c90098424fafbb7

doc/store/Store/Ref/index.html

Module Store.RefSource

Mutable references inside a given store.

The store must be passed as a first argument to all operations on the references.

Warning: Each reference belongs to a unique store. It is a programming error to use a reference with a store it does not belong to. This programming error will not be caught by the library, and will corrupt the semantics of the reference.

Sourcetype 'a t
Sourceval make : store -> 'a -> 'a t
Sourceval get : store -> 'a t -> 'a
Sourceval set : store -> 'a t -> 'a -> unit
Sourceval eq : store -> 'a t -> 'a t -> bool