package store-dict

  1. Overview
  2. Docs
package store-dict
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Store_Dict.Make2Source

See the documentation of Make for more details on the interface.

Parameters

module D : S2

Signature

Sourcetype 'k key = 'k D.key
Sourcetype ('k, 'v) t
type create_params := D.create_params
Sourceval create : Store.t -> create_params -> ('k, 'v) t
Sourceval find : Store.t -> ('k, 'v) t -> 'k key -> 'v
Sourceval mem : Store.t -> ('k, 'v) t -> 'k key -> bool
Sourceval replace : Store.t -> ('k, 'v) t -> 'k key -> 'v -> unit
Sourceval remove : Store.t -> ('k, 'v) t -> 'k key -> unit

no-op on missing keys

Sourceval iter : Store.t -> ('k key -> 'v -> unit) -> ('k, 'v) t -> unit
Sourceval unsafe_view : Store.t -> ('k, 'v) t -> ('k, 'v) D.t