@agoric/store 0.9.3-dev-ecf2d8e.0 → 0.9.3-other-dev-70beeb7.0

package/src/types.js

@@ -1,86 +1,170 @@
 /// <reference types="ses"/>
 
+/** @typedef {import('@endo/marshal').Passable} Passable */
+/** @typedef {import('@endo/marshal').PassStyle} PassStyle */
+/** @typedef {import('@endo/marshal').CopyTagged} CopyTagged */
+/** @template T @typedef {import('@endo/marshal').CopyRecord<T>} CopyRecord */
+/** @template T @typedef {import('@endo/marshal').CopyArray<T>} CopyArray */
+/** @typedef {import('@endo/marshal').Checker} Checker */
+/** @typedef {import('@endo/marshal/src/rankOrder').RankCompare} RankCompare */
+/** @typedef {import('@endo/marshal/src/rankOrder').RankComparison} RankComparison */
+
+// /////////////////////////////////////////////////////////////////////////////
+// Placeholder redundant types, to be imported from `@endo/patterns` instead.
+
 /**
- * Note TODO https://github.com/endojs/endo/issues/1488
- *
- * @typedef {import('@endo/pass-style').Passable} Passable
+ * @typedef {Passable} Key
+ * TODO placeholder. Figure out how to import from `@endo/patterns` instead
+ */
+
+/**
+ * @typedef {Passable} Pattern
+ * TODO placeholder. Figure out how to import from `@endo/patterns` instead
+ */
+
+/**
+ * @template {Key} [K=Key]
+ * @typedef {CopyTagged & {
+ *   [Symbol.toStringTag]: 'copySet',
+ *   payload: Array<K>,
+ * }} CopySet
+ * TODO placeholder. Figure out how to import from `@endo/patterns` instead
  */
-/** @typedef {import('@endo/pass-style').CopyTagged} CopyTagged */
-/** @typedef {import('@endo/patterns').Pattern} Pattern */
-/** @typedef {import('@endo/patterns').Key} Key */
+
 /**
  * @template {Key} [K=Key]
- * @typedef {import('@endo/patterns').CopySet<K>} CopySet
+ * @typedef {CopyTagged & {
+ *   [Symbol.toStringTag]: 'copyBag',
+ *   payload: Array<[K, bigint]>,
+ * }} CopyBag
+ * TODO placeholder. Figure out how to import from `@endo/patterns` instead
  */
+
 /**
  * @template {Key} [K=Key]
  * @template {Passable} [V=Passable]
- * @typedef {import('@endo/patterns').CopyMap<K, V>} CopyMap
+ * @typedef {CopyTagged & {
+ *   [Symbol.toStringTag]: 'copyMap',
+ *   payload: { keys: Array<K>, values: Array<V> },
+ * }} CopyMap
+ * TODO placeholder. Figure out how to import from `@endo/patterns` instead
+ */
+
+/**
+ * @typedef {object} GuardMakers
+ * @property {<M extends Record<any, any>>(interfaceName: string,
+ *             methodGuards: M,
+ *             options?: {sloppy?: boolean}
+ * ) => InterfaceGuard} interface
+ * TODO placeholder. Figure out how to import from `@endo/patterns` instead
+ *
+ * @property {(...argGuards: ArgGuard[]) => MethodGuardMaker} call Guard a synchronous call
+ *
+ * @property {(...argGuards: ArgGuard[]) => MethodGuardMaker} callWhen Guard an async call
+ *
+ * @property {(argGuard: ArgGuard) => ArgGuard} await Guard an await
  */
 
 /**
- * @typedef {object} StoreOptions Of the dimensions on which KeyedStores can
- *   differ, we only represent a few of them as standard options. A given store
- *   maker should document which options it supports, as well as its positions
- *   on dimensions for which it does not support options.
- * @property {boolean} [longLived] Which way to optimize a weak store. True
- *   means that we expect this weak store to outlive most of its keys, in which
- *   case we internally may use a JavaScript `WeakMap`. Otherwise we internally
- *   may use a JavaScript `Map`. Defaults to true, so please mark short lived
- *   stores explicitly.
- * @property {boolean} [durable] The contents of this store survive termination
+ * @typedef {(...args: any[]) => any} Method
+ * TODO placeholder. Figure out how to import from `@endo/patterns` instead
+ */
+
+/**
+ * @typedef {{
+ * klass: 'Interface',
+ * interfaceName: string,
+ * methodGuards: Record<string | symbol, MethodGuard>
+ * sloppy?: boolean
+ * }} InterfaceGuard
+ * TODO placeholder. Figure out how to import from `@endo/patterns` instead
+ */
+
+/**
+ * @typedef {any} MethodGuardMaker
+ * TODO placeholder. Figure out how to import from `@endo/patterns` instead
+ */
+
+/**
+ * @typedef {{ klass: 'methodGuard', callKind: 'sync' | 'async', returnGuard: unknown }} MethodGuard
+ * TODO placeholder. Figure out how to import from `@endo/patterns` instead
+ */
+
+/**
+ * @typedef {any} ArgGuard
+ * TODO placeholder. Figure out how to import from `@endo/patterns` instead
+ */
+
+// /////////////////////////////////////////////////////////////////////////////
+
+/**
+ * @typedef {object} StoreOptions
+ * Of the dimensions on which KeyedStores can differ, we only represent a few
+ * of them as standard options. A given store maker should document which
+ * options it supports, as well as its positions on dimensions for which it
+ * does not support options.
+ * @property {boolean} [longLived=true] Which way to optimize a weak store. True means
+ * that we expect this weak store to outlive most of its keys, in which
+ * case we internally may use a JavaScript `WeakMap`. Otherwise we internally
+ * may use a JavaScript `Map`.
+ * Defaults to true, so please mark short lived stores explicitly.
+ * @property {boolean} [durable=false]  The contents of this store survive termination
  *   of its containing process, allowing for restart or upgrade but at the cost
- *   of forbidding storage of references to ephemeral data. Defaults to false.
- * @property {boolean} [fakeDurable] This store pretends to be a durable store
+ *   of forbidding storage of references to ephemeral data.  Defaults to false.
+ * @property {boolean} [fakeDurable=false]  This store pretends to be a durable store
  *   but does not enforce that the things stored in it actually be themselves
  *   durable (whereas an actual durable store would forbid storage of such
- *   items). This is in service of allowing incremental transition to use of
+ *   items).  This is in service of allowing incremental transition to use of
  *   durable stores, to enable normal operation and testing when some stuff
- *   intended to eventually be durable has not yet been made durable. A store
+ *   intended to eventually be durable has not yet been made durable.  A store
  *   marked as fakeDurable will appear to operate normally but any attempt to
- *   upgrade its containing vat will fail with an error. Defaults to false.
+ *   upgrade its containing vat will fail with an error.
  * @property {Pattern} [keyShape]
  * @property {Pattern} [valueShape]
  */
 
 /**
  * Most store methods are in one of three categories
+ *   * lookup methods (`has`,`get`)
+ *   * update methods (`add`,`init`,`set`,`delete`,`addAll`)
+ *   * query methods (`snapshot`,`keys`,`values`,`entries`,`getSize`)
+ *   * query-update methods (`clear`)
  *
- * - lookup methods (`has`,`get`)
- * - update methods (`add`,`init`,`set`,`delete`,`addAll`)
- * - query methods (`snapshot`,`keys`,`values`,`entries`,`getSize`)
- * - query-update methods (`clear`)
- *
- * WeakStores have the lookup and update methods but not the query or
- * query-update methods. Non-weak Stores are like their corresponding
- * WeakStores, but with the additional query and query-update methods.
+ * WeakStores have the lookup and update methods but not the query
+ * or query-update methods.
+ * Non-weak Stores are like their corresponding WeakStores, but with the
+ * additional query and query-update methods.
  */
 
 /**
  * @template {Key & object} [K=Key]
  * @typedef {object} WeakSetStore
- * @property {(key: K) => boolean} has Check if a key exists. The key can be any
- *   JavaScript value, though the answer will always be false for keys that
- *   cannot be found in this store.
- * @property {(key: K) => void} add Add the key to the set if it is not already
- *   there. Do nothing silently if already there. The key must be one allowed by
- *   this store. For example a scalar store only allows primitives and
- *   remotables.
- * @property {(key: K) => void} delete Remove the key. Throws if not found.
+ * @property {(key: K) => boolean} has
+ * Check if a key exists. The key can be any JavaScript value, though the
+ * answer will always be false for keys that cannot be found in this store.
+ * @property {(key: K) => void} add
+ * Add the key to the set if it is not already there. Do nothing silently if
+ * already there.
+ * The key must be one allowed by this store. For example a scalar store only
+ * allows primitives and remotables.
+ * @property {(key: K) => void} delete
+ * Remove the key. Throws if not found.
  * @property {(keys: CopySet<K> | Iterable<K>) => void} addAll
  */
 
 /**
  * @template {Key} [K=Key]
  * @typedef {object} SetStore
- * @property {(key: K) => boolean} has Check if a key exists. The key can be any
- *   JavaScript value, though the answer will always be false for keys that
- *   cannot be found in this store.
- * @property {(key: K) => void} add Add the key to the set if it is not already
- *   there. Do nothing silently if already there. The key must be one allowed by
- *   this store. For example a scalar store only allows primitives and
- *   remotables.
- * @property {(key: K) => void} delete Remove the key. Throws if not found.
+ * @property {(key: K) => boolean} has
+ * Check if a key exists. The key can be any JavaScript value, though the
+ * answer will always be false for keys that cannot be found in this store.
+ * @property {(key: K) => void} add
+ * Add the key to the set if it is not already there. Do nothing silently if
+ * already there.
+ * The key must be one allowed by this store. For example a scalar store only
+ * allows primitives and remotables.
+ * @property {(key: K) => void} delete
+ * Remove the key. Throws if not found.
  * @property {(keys: CopySet<K> | Iterable<K>) => void} addAll
  * @property {(keyPatt?: Pattern) => Iterable<K>} keys
  * @property {(keyPatt?: Pattern) => Iterable<K>} values
@@ -93,38 +177,47 @@
  * @template {Key & object} [K=Key]
  * @template {Passable} [V=Passable]
  * @typedef {object} WeakMapStore
- * @property {(key: K) => boolean} has Check if a key exists. The key can be any
- *   JavaScript value, though the answer will always be false for keys that
- *   cannot be found in this store.
- * @property {(key: K) => V} get Return a value for the key. Throws if not
- *   found.
- * @property {(key: K, value: V) => void} init Initialize the key only if it
- *   doesn't already exist. The key must be one allowed by this store. For
- *   example a scalar store only allows primitives and remotables.
- * @property {(key: K, value: V) => void} set Set the key. Throws if not found.
- * @property {(key: K) => void} delete Remove the key. Throws if not found.
- * @property {(entries: CopyMap<K, V> | Iterable<[K, V]>) => void} addAll
+ * @property {(key: K) => boolean} has
+ * Check if a key exists. The key can be any JavaScript value, though the
+ * answer will always be false for keys that cannot be found in this store.
+ * @property {(key: K) => V} get
+ * Return a value for the key. Throws if not found.
+ * @property {(key: K, value: V) => void} init
+ * Initialize the key only if it doesn't already exist.
+ * The key must be one allowed by this store. For example a scalar store only
+ * allows primitives and remotables.
+ * @property {(key: K, value: V) => void} set
+ * Set the key. Throws if not found.
+ * @property {(key: K) => void} delete
+ * Remove the key. Throws if not found.
+ * @property {(entries: CopyMap<K,V> | Iterable<[K,V]>) => void} addAll
  */
 
 /**
  * @template {Key} [K=Key]
  * @template {Passable} [V=Passable]
  * @typedef {object} MapStore
- * @property {(key: K) => boolean} has Check if a key exists. The key can be any
- *   JavaScript value, though the answer will always be false for keys that
- *   cannot be found in this map
- * @property {(key: K) => V} get Return a value for the key. Throws if not
- *   found.
- * @property {(key: K, value: V) => void} init Initialize the key only if it
- *   doesn't already exist. The key must be one allowed by this store. For
- *   example a scalar store only allows primitives and remotables.
- * @property {(key: K, value: V) => void} set Set the key. Throws if not found.
- * @property {(key: K) => void} delete Remove the key. Throws if not found.
- * @property {(entries: CopyMap<K, V> | Iterable<[K, V]>) => void} addAll
+ * @property {(key: K) => boolean} has
+ * Check if a key exists. The key can be any JavaScript value, though the
+ * answer will always be false for keys that cannot be found in this map
+ * @property {(key: K) => V} get
+ * Return a value for the key. Throws if not found.
+ * @property {(key: K, value: V) => void} init
+ * Initialize the key only if it doesn't already exist.
+ * The key must be one allowed by this store. For example a scalar store only
+ * allows primitives and remotables.
+ * @property {(key: K, value: V) => void} set
+ * Set the key. Throws if not found.
+ * @property {(key: K) => void} delete
+ * Remove the key. Throws if not found.
+ * @property {(entries: CopyMap<K,V> | Iterable<[K,V]>) => void} addAll
  * @property {(keyPatt?: Pattern, valuePatt?: Pattern) => Iterable<K>} keys
  * @property {(keyPatt?: Pattern, valuePatt?: Pattern) => Iterable<V>} values
- * @property {(keyPatt?: Pattern, valuePatt?: Pattern) => Iterable<[K, V]>} entries
- * @property {(keyPatt?: Pattern, valuePatt?: Pattern) => CopyMap<K, V>} snapshot
+ * @property {(
+ *   keyPatt?: Pattern,
+ *   valuePatt?: Pattern
+ * ) => Iterable<[K,V]>} entries
+ * @property {(keyPatt?: Pattern, valuePatt?: Pattern) => CopyMap<K,V>} snapshot
  * @property {(keyPatt?: Pattern, valuePatt?: Pattern) => number} getSize
  * @property {(keyPatt?: Pattern, valuePatt?: Pattern) => void} clear
  */
@@ -133,31 +226,39 @@
 
 /**
  * @template K,V
- * @typedef {object} LegacyWeakMap LegacyWeakMap is deprecated. Use WeakMapStore
- *   instead if possible.
- * @property {(key: K) => boolean} has Check if a key exists
- * @property {(key: K) => V} get Return a value for the key. Throws if not
- *   found.
- * @property {(key: K, value: V) => void} init Initialize the key only if it
- *   doesn't already exist
- * @property {(key: K, value: V) => void} set Set the key. Throws if not found.
- * @property {(key: K) => void} delete Remove the key. Throws if not found.
+ * @typedef {object} LegacyWeakMap
+ * LegacyWeakMap is deprecated. Use WeakMapStore instead if possible.
+ * @property {(key: K) => boolean} has
+ * Check if a key exists
+ * @property {(key: K) => V} get
+ * Return a value for the key. Throws if not found.
+ * @property {(key: K, value: V) => void} init
+ * Initialize the key only if it
+ * doesn't already exist
+ * @property {(key: K, value: V) => void} set
+ * Set the key. Throws if not found.
+ * @property {(key: K) => void} delete
+ * Remove the key. Throws if not found.
  */
 
 /**
  * @template K,V
- * @typedef {object} LegacyMap LegacyMap is deprecated. Use MapStore instead if
- *   possible.
- * @property {(key: K) => boolean} has Check if a key exists
- * @property {(key: K) => V} get Return a value for the key. Throws if not
- *   found.
- * @property {(key: K, value: V) => void} init Initialize the key only if it
- *   doesn't already exist
- * @property {(key: K, value: V) => void} set Set the key. Throws if not found.
- * @property {(key: K) => void} delete Remove the key. Throws if not found.
+ * @typedef {object} LegacyMap
+ * LegacyMap is deprecated. Use MapStore instead if possible.
+ * @property {(key: K) => boolean} has
+ * Check if a key exists
+ * @property {(key: K) => V} get
+ * Return a value for the key. Throws if not found.
+ * @property {(key: K, value: V) => void} init
+ * Initialize the key only if it
+ * doesn't already exist
+ * @property {(key: K, value: V) => void} set
+ * Set the key. Throws if not found.
+ * @property {(key: K) => void} delete
+ * Remove the key. Throws if not found.
  * @property {() => Iterable<K>} keys
  * @property {() => Iterable<V>} values
- * @property {() => Iterable<[K, V]>} entries
+ * @property {() => Iterable<[K,V]>} entries
  * @property {() => number} getSize
  * @property {() => void} clear
  */