@agoric/internal 0.3.3-dev-60cffcf.0 → 0.3.3-dev-cc2bf0b.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/internal",
-  "version": "0.3.3-dev-60cffcf.0+60cffcf",
+  "version": "0.3.3-dev-cc2bf0b.0+cc2bf0b",
   "description": "Externally unsupported utilities internal to agoric-sdk",
   "type": "module",
   "main": "src/index.js",
@@ -20,8 +20,8 @@
     "lint:types": "tsc"
   },
   "dependencies": {
-    "@agoric/assert": "0.6.1-dev-60cffcf.0+60cffcf",
-    "@agoric/base-zone": "0.1.1-dev-60cffcf.0+60cffcf",
+    "@agoric/assert": "0.6.1-dev-cc2bf0b.0+cc2bf0b",
+    "@agoric/base-zone": "0.1.1-dev-cc2bf0b.0+cc2bf0b",
     "@endo/common": "^1.2.2",
     "@endo/far": "^1.1.2",
     "@endo/init": "^1.1.2",
@@ -59,5 +59,5 @@
   "typeCoverage": {
     "atLeast": 93.81
   },
-  "gitHead": "60cffcf3b14bfd0f4902c00764904aa5de0b81ad"
+  "gitHead": "cc2bf0bb431aa64c601628f53cf191fcc84c5750"
 }

package/src/index.d.ts

@@ -3,6 +3,7 @@ export * from "./debug.js";
 export * from "./utils.js";
 export * from "./method-tools.js";
 export * from "./typeGuards.js";
+export * from "./types.js";
 export { objectMap } from "@endo/common/object-map.js";
 export { fromUniqueEntries } from "@endo/common/from-unique-entries.js";
 //# sourceMappingURL=index.d.ts.map

package/src/index.js

@@ -8,5 +8,8 @@ export * from './utils.js';
 export * from './method-tools.js';
 export * from './typeGuards.js';
 
+// eslint-disable-next-line import/export -- just types
+export * from './types.js';
+
 export { objectMap } from '@endo/common/object-map.js';
 export { fromUniqueEntries } from '@endo/common/from-unique-entries.js';

package/src/types.d.ts

@@ -1,4 +1,7 @@
 /* eslint-disable max-classes-per-file */
+import type { Callable, RemotableBrand } from '@endo/eventual-send';
+import type { Primitive } from '@endo/pass-style';
+
 export declare class Callback<I extends (...args: unknown[]) => any> {
   private iface: I;
 
@@ -18,3 +21,37 @@ export declare class SyncCallback<
 
   public isSync: true;
 }
+
+/**
+Returns a boolean for whether the given type is primitive value or primitive type.
+ 
+@example
+```
+IsPrimitive<'string'>
+//=> true
+ 
+IsPrimitive<string>
+//=> true
+ 
+IsPrimitive<Object>
+//=> false
+```
+ */
+export type IsPrimitive<T> = [T] extends [Primitive] ? true : false;
+
+/** Recursively extract the non-callable properties of T */
+export type DataOnly<T> =
+  IsPrimitive<T> extends true
+    ? T
+    : T extends Callable
+      ? never
+      : { [P in keyof T as T[P] extends Callable ? never : P]: DataOnly<T[P]> };
+
+/**
+ * A type that doesn't assume its parameter is local, but is satisfied with both
+ * local and remote references. It accepts both near and marshalled references
+ * that were returned from `Remotable` or `Far`.
+ */
+export type Remote<Primary, Local = DataOnly<Primary>> =
+  | Primary
+  | RemotableBrand<Local, Primary>;

package/src/types.js

@@ -0,0 +1,2 @@
+// Empty JS file to correspond with its .d.ts twin
+export {};