@agoric/vat-data 0.5.3-dev-bb3d92f.0 → 0.5.3-dev-22cbfe3.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/vat-data",
-  "version": "0.5.3-dev-bb3d92f.0+bb3d92f",
+  "version": "0.5.3-dev-22cbfe3.0+22cbfe3",
   "description": "Safe access to VatData global",
   "type": "module",
   "repository": "https://github.com/Agoric/agoric-sdk",
@@ -19,11 +19,11 @@
   "author": "Agoric",
   "license": "Apache-2.0",
   "dependencies": {
-    "@agoric/assert": "0.6.1-dev-bb3d92f.0+bb3d92f",
-    "@agoric/base-zone": "0.1.1-dev-bb3d92f.0+bb3d92f",
-    "@agoric/store": "0.9.3-dev-bb3d92f.0+bb3d92f",
-    "@agoric/swingset-liveslots": "0.10.3-dev-bb3d92f.0+bb3d92f",
-    "@agoric/vow": "0.1.1-dev-bb3d92f.0+bb3d92f",
+    "@agoric/assert": "0.6.1-dev-22cbfe3.0+22cbfe3",
+    "@agoric/base-zone": "0.1.1-dev-22cbfe3.0+22cbfe3",
+    "@agoric/store": "0.9.3-dev-22cbfe3.0+22cbfe3",
+    "@agoric/swingset-liveslots": "0.10.3-dev-22cbfe3.0+22cbfe3",
+    "@agoric/vow": "0.1.1-dev-22cbfe3.0+22cbfe3",
     "@endo/exo": "^1.5.0",
     "@endo/patterns": "^1.4.0"
   },
@@ -51,5 +51,5 @@
   "typeCoverage": {
     "atLeast": 99.33
   },
-  "gitHead": "bb3d92fdf0763723117190b29ed1a2e44389e771"
+  "gitHead": "22cbfe3672f7878718fd90c35c760ee67c2d08a0"
 }

package/src/exo-utils.js

@@ -10,6 +10,15 @@ import { provide, VatData as globalVatData } from './vat-data-bindings.js';
  * @import {Baggage, DefineKindOptions, DurableKindHandle, InterfaceGuardKit} from '@agoric/swingset-liveslots';
  */
 
+// Some feedback if the init function is async
+/**
+ * @typedef {(...args: any[]) => any} InitState
+ */
+/**
+ * @template {InitState} I
+ * @typedef {ReturnType<I> extends Promise<any> ? never : ReturnType<I>} StateResult
+ */
+
 /**
  * Make a version of the argument function that takes a kind context but
  * ignores it.
@@ -82,18 +91,18 @@ export const makeExoUtils = VatData => {
   harden(prepareKindMulti);
 
   /**
-   * @template {(...args: any) => any} I init state function
+   * @template {InitState} I init state function
    * @template T behavior
    * @param {string} tag
    * @param {InterfaceGuard | undefined} interfaceGuard
    * @param {I} init
    * @param {T & ThisType<{
    *   self: T,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }>} methods
    * @param {DefineKindOptions<{
    *   self: T,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }>} [options]
    * @returns {(...args: Parameters<I>) => import('@endo/exo').Guarded<T>}
    */
@@ -107,18 +116,18 @@ export const makeExoUtils = VatData => {
   harden(defineVirtualExoClass);
 
   /**
-   * @template {(...args: any) => any} I init state function
+   * @template {InitState} I init state function
    * @template {Record<string, Record<PropertyKey, CallableFunction>>} T facets
    * @param {string} tag
    * @param {InterfaceGuardKit | undefined} interfaceGuardKit
    * @param {I} init
    * @param {T & ThisType<{
    *   facets: import('@endo/exo').GuardedKit<T>,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }> } facets
    * @param {DefineKindOptions<{
    *   facets: T,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }>} [options]
    * @returns {(...args: Parameters<I>) => import('@endo/exo').GuardedKit<T>}
    */
@@ -138,18 +147,18 @@ export const makeExoUtils = VatData => {
   harden(defineVirtualExoClassKit);
 
   /**
-   * @template {(...args: any) => any} I init state function
+   * @template {InitState} I init state function
    * @template {Record<PropertyKey, CallableFunction>} T methods
    * @param {DurableKindHandle} kindHandle
    * @param {InterfaceGuard | undefined} interfaceGuard
    * @param {I} init
    * @param {T & ThisType<{
    *   self: T,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }>} methods
    * @param {DefineKindOptions<{
    *   self: T,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }>} [options]
    * @returns {(...args: Parameters<I>) => import('@endo/exo').Guarded<T>}
    */
@@ -169,18 +178,18 @@ export const makeExoUtils = VatData => {
   harden(defineDurableExoClass);
 
   /**
-   * @template {(...args: any) => any} I init state function
+   * @template {InitState} I init state function
    * @template {Record<string, Record<PropertyKey, CallableFunction>>} T facets
    * @param {DurableKindHandle} kindHandle
    * @param {InterfaceGuardKit | undefined} interfaceGuardKit
    * @param {I} init
    * @param {T & ThisType<{
    *   facets: import('@endo/exo').GuardedKit<T>,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }> } facets
    * @param {DefineKindOptions<{
    *   facets: T,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }>} [options]
    * @returns {(...args: Parameters<I>) => import('@endo/exo').GuardedKit<T>}
    */
@@ -200,7 +209,7 @@ export const makeExoUtils = VatData => {
   harden(defineDurableExoClassKit);
 
   /**
-   * @template {(...args: any) => any} I init state function
+   * @template {InitState} I init state function
    * @template {Record<PropertyKey, CallableFunction>} T methods
    * @param {Baggage} baggage
    * @param {string} kindName
@@ -208,11 +217,11 @@ export const makeExoUtils = VatData => {
    * @param {I} init
    * @param {T & ThisType<{
    *   self: RemotableObject & T,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }>} methods
    * @param {DefineKindOptions<{
    *   self: T,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }>} [options]
    * @returns {(...args: Parameters<I>) => import('@endo/exo').Guarded<T>}
    */
@@ -234,7 +243,7 @@ export const makeExoUtils = VatData => {
   harden(prepareExoClass);
 
   /**
-   * @template {(...args: any) => any} I init state function
+   * @template {InitState} I init state function
    * @template {Record<string, Record<PropertyKey, CallableFunction>>} T facets
    * @param {Baggage} baggage
    * @param {string} kindName
@@ -242,11 +251,11 @@ export const makeExoUtils = VatData => {
    * @param {I} init
    * @param {T & ThisType<{
    *   facets: import('@endo/exo').GuardedKit<T>,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }> } facets
    * @param {DefineKindOptions<{
    *   facets: T,
-   *   state: ReturnType<I>
+   *   state: StateResult<I>
    * }>} [options]
    * @returns {(...args: Parameters<I>) => import('@endo/exo').GuardedKit<T>}
    */