package store

You can search for identifiers within the package.

in-package search v0.2.0

store
- CHANGES
- README
- Library store
  - Store
    
    Ref
- Sources
  - store
    
    store.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

package store

Module Store.RefSource

Module `Store.Ref`Source