Module `Note_brr_legacy.Store`

Persistent storage.

Persisent key-value store implemented over webstorage. Safe if no one tampers with the storage outside of the program.

XXX.

This still relies on the jsoo representation, add safer keys with type indexed codecs.
Provide something sensitive for storage events

Storage scope

type scope = [

| `Session
| `Persist

]

The storage scope.

Keys

type 'a key

The type for keys whose lookup value is 'a

val key : ?ns:Jstr.t -> unit -> 'a Note_brr_legacy.Store.key

key ~ns () is a new storage key in namespace ns. If ns is unspecified, the key lives in a global namespace.

Warning. Reordering invocations of key in the same namespace will most of the time corrupt existing storage. This means that all key calls should always be performed at initialization time. Store.force_version can be used to easily version your store and aleviate this problem.

Storage

In the functions below scope defaults to `Persist.

val mem : 
  ?scope:Note_brr_legacy.Store.scope ->
  'a Note_brr_legacy.Store.key ->
  bool

mem k is true iff k has a mapping.

val add : 
  ?scope:Note_brr_legacy.Store.scope ->
  'a Note_brr_legacy.Store.key ->
  'a ->
  unit

add k v maps k to v.

val rem : 
  ?scope:Note_brr_legacy.Store.scope ->
  'a Note_brr_legacy.Store.key ->
  unit

rem k unbinds k.

val find : 
  ?scope:Note_brr_legacy.Store.scope ->
  'a Note_brr_legacy.Store.key ->
  'a option

find k is k's mapping in m, if any.

val get : 
  ?scope:Note_brr_legacy.Store.scope ->
  ?absent:'a ->
  'a Note_brr_legacy.Store.key ->
  'a

get k is k's mapping. If absent is provided and m has not binding for k, absent is returned.

raises Invalid_argument
if k is not bound and absent is unspecified or if scope is not supported.

val clear : ?scope:Note_brr_legacy.Store.scope -> unit -> unit

clear (), clears all mapping.

val ev : unit Note.event

ev fires on storage changes. FIXME provide something sensitive, e.g. key watching.

Versioning

val force_version : ?scope:Note_brr_legacy.Store.scope -> string -> unit

force_version v checks that the version of the store is v. If it's not it clears the store and sets the version to v.

Module Note_brr_legacy.Store

Storage scope

Keys

Storage

Versioning

Module `Note_brr_legacy.Store`