package store

You can search for identifiers within the package.

in-package search v0.2.0

Snapshottable data structures

Install

Dune Dependency

gitlab.com Readme Changelog Edit opam file Versions (1)

Authors

Maintainers

Sources

store-v0.1.tar.bz2

sha256=8891cc0b10774f3d048e2a213ea623306386d901034813d55feb082751ce1b4c

sha512=312d436d06deda5d60bd88daa04955c1a4bf4caf9f3e8348a4d347251ee2f8aba9c988f956a2280f7662f0cf65eb3a59248155fc087c96e344429f0dc4d8e466

doc/store/Store/Ref/index.html

Module `Store.Ref`Source

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