@endo/compartment-mapper 1.6.3 → 2.1.0

package/src/types/powers.ts

@@ -21,14 +21,14 @@ import type { SomeObject } from './typescript.js';
 export type ReadPowers<T extends string = any> = {
   canonical: CanonicalFn<T>;
   read: ReadFn;
-  maybeRead?: MaybeReadFn;
-  readNow?: ReadNowFn;
-  maybeReadNow?: MaybeReadNowFn;
-  computeSha512?: HashFn;
-  fileURLToPath?: FileURLToPathFn;
-  pathToFileURL?: PathToFileURLFn;
-  requireResolve?: RequireResolveFn;
-  isAbsolute?: IsAbsoluteFn;
+  maybeRead?: MaybeReadFn | undefined;
+  readNow?: ReadNowFn | undefined;
+  maybeReadNow?: MaybeReadNowFn | undefined;
+  computeSha512?: HashFn | undefined;
+  fileURLToPath?: FileURLToPathFn | undefined;
+  pathToFileURL?: PathToFileURLFn | undefined;
+  requireResolve?: RequireResolveFn | undefined;
+  isAbsolute?: IsAbsoluteFn | undefined;
 };
 
 /**
@@ -53,8 +53,9 @@ export type MaybeReadPowers<T extends string = any> = ReadPowers<T> & {
 export type ReadNowPowers<T extends string = any> = Omit<
   ReadPowers<T>,
   ReadNowPowersProp
-> &
-  Required<Pick<ReadPowers<T>, ReadNowPowersProp>>;
+> & {
+  [P in ReadNowPowersProp]-?: NonNullable<ReadPowers<T>[P]>;
+};
 
 /**
  * These properties are necessary for dynamic require support

package/src/types/typescript.d.ts

@@ -25,6 +25,34 @@ export type Primitive = null | undefined | string | number | boolean | symbol |
  * https://github.com/Microsoft/TypeScript/issues/29729
  * Microsoft/TypeScript#29729}. It will be removed as soon as it's not needed
  * anymore.
+ * @see {@link https://www.npmjs.com/package/type-fest}
  */
 export type LiteralUnion<LiteralType, PrimitiveType extends Primitive> = LiteralType | (PrimitiveType & Record<never, never>);
+/**
+ * Generic type guard function that checks if a value of type `T` is also of type `U`.
+ * @template T The type of the value to check.
+ * @template U The type that the value should be checked against.
+ */
+export type TypeGuard<T, U extends T> = (value: T) => value is U;
+/**
+ * Helper type for a generic type guard used in an "extends" clause
+ */
+export type SomeTypeGuard = TypeGuard<any, any>;
+/**
+ * Infers the type that a type guard function checks for.
+ *
+ * @template T The type guard function type itself
+ * @returns The type that the guard checks for
+ */
+export type GuardedType<T> = T extends (value: any) => value is infer U ? U : never;
+/**
+ * Converts a union type to an intersection type
+ */
+export type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+/**
+ * Makes a nicer tooltip for `T` in IDEs (most of the time).
+ */
+export type Simplify<T> = {
+    [K in keyof T]: T[K];
+} & {};
 //# sourceMappingURL=typescript.d.ts.map

package/src/types/typescript.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typescript.d.ts","sourceRoot":"","sources":["typescript.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,mDAAmD;AACnD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;AAElD;;;;GAIG;AACH,MAAM,MAAM,SAAS,GACjB,IAAI,GACJ,SAAS,GACT,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,MAAM,CAAC;AAEX;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,YAAY,CAAC,WAAW,EAAE,aAAa,SAAS,SAAS,IACjE,WAAW,GACX,CAAC,aAAa,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC"}
+{"version":3,"file":"typescript.d.ts","sourceRoot":"","sources":["typescript.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,mDAAmD;AACnD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;AAElD;;;;GAIG;AACH,MAAM,MAAM,SAAS,GACjB,IAAI,GACJ,SAAS,GACT,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,MAAM,CAAC;AAEX;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,YAAY,CAAC,WAAW,EAAE,aAAa,SAAS,SAAS,IACjE,WAAW,GACX,CAAC,aAAa,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAE3C;;;;GAIG;AAEH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;AAEjE;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,KAAK,IAAI,MAAM,CAAC,GACnE,CAAC,GACD,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CACnC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CACvC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAC"}

package/src/types/typescript.ts

@@ -35,9 +35,45 @@ export type Primitive =
  * https://github.com/Microsoft/TypeScript/issues/29729
  * Microsoft/TypeScript#29729}. It will be removed as soon as it's not needed
  * anymore.
+ * @see {@link https://www.npmjs.com/package/type-fest}
  */
 export type LiteralUnion<LiteralType, PrimitiveType extends Primitive> =
   | LiteralType
   | (PrimitiveType & Record<never, never>);
 
-// LiteralUnion is from https://www.npmjs.com/package/type-fest
+/**
+ * Generic type guard function that checks if a value of type `T` is also of type `U`.
+ * @template T The type of the value to check.
+ * @template U The type that the value should be checked against.
+ */
+
+export type TypeGuard<T, U extends T> = (value: T) => value is U;
+
+/**
+ * Helper type for a generic type guard used in an "extends" clause
+ */
+export type SomeTypeGuard = TypeGuard<any, any>;
+
+/**
+ * Infers the type that a type guard function checks for.
+ *
+ * @template T The type guard function type itself
+ * @returns The type that the guard checks for
+ */
+export type GuardedType<T> = T extends (value: any) => value is infer U
+  ? U
+  : never;
+
+/**
+ * Converts a union type to an intersection type
+ */
+export type UnionToIntersection<U> = (
+  U extends any ? (k: U) => void : never
+) extends (k: infer I) => void
+  ? I
+  : never;
+
+/**
+ * Makes a nicer tooltip for `T` in IDEs (most of the time).
+ */
+export type Simplify<T> = { [K in keyof T]: T[K] } & {};