@endo/compartment-mapper 1.3.1 → 1.5.0

package/src/types.d.ts

@@ -1,787 +1,9 @@
-/**
- * A compartment map describes how to construct an application as a graph of
- * Compartments, each corresponding to Node.js style packaged modules.
- */
-export type CompartmentMapDescriptor = {
-    tags: Array<string>;
-    entry: EntryDescriptor;
-    compartments: Record<string, CompartmentDescriptor>;
-};
-/**
- * The entry descriptor of a compartment map denotes the root module of an
- * application and the compartment that contains it.
- */
-export type EntryDescriptor = {
-    compartment: string;
-    module: string;
-};
-/**
- * A compartment descriptor corresponds to a single Compartment
- * of an assembled Application and describes how to construct
- * one for a given library or application `package.json`.
- */
-export type CompartmentDescriptor = {
-    label: string;
-    /**
-     * - shortest path of dependency names to this
-     * compartment
-     */
-    path?: string[] | undefined;
-    /**
-     * - the name of the originating package suitable for
-     * constructing a sourceURL prefix that will match it to files in a developer
-     * workspace.
-     */
-    name: string;
-    location: string;
-    /**
-     * - whether this compartment was retained by
-     * any module in the solution. This property should never appear in an archived
-     * compartment map.
-     */
-    retained?: boolean | undefined;
-    modules: Record<string, ModuleDescriptor>;
-    scopes: Record<string, ScopeDescriptor>;
-    /**
-     * - language for extension
-     */
-    parsers: LanguageForExtension;
-    /**
-     * - language for module specifier
-     */
-    types: LanguageForModuleSpecifier;
-    /**
-     * - policy specific to compartment
-     */
-    policy: SomePackagePolicy;
-    /**
-     * - List of compartment names this Compartment depends upon
-     */
-    compartments: Set<string>;
-};
-/**
- * For every module explicitly mentioned in an `exports` field of a
- * `package.json`, there is a corresponding module descriptor.
- */
-export type ModuleDescriptor = {
-    compartment?: string | undefined;
-    module?: string | undefined;
-    location?: string | undefined;
-    parser?: Language | undefined;
-    /**
-     * in base 16, hex
-     */
-    sha512?: string | undefined;
-    exit?: string | undefined;
-    deferredError?: string | undefined;
-};
-/**
- * Scope descriptors link all names under a prefix to modules in another
- * compartment, like a wildcard.
- * These are employed to link any module not explicitly mentioned
- * in a `package.json` file, when that `package.json` file does not have
- * an explicit `exports` map.
- */
-export type ScopeDescriptor = {
-    compartment: string;
-    module?: string | undefined;
-};
-/**
- * Natively-recognized and custom languages
- */
-export type Language = LiteralUnion<BuiltinLanguage, string>;
-/**
- * Languages natively recognized by `compartment-mapper`
- */
-export type BuiltinLanguage = "mjs" | "cjs" | "json" | "bytes" | "text" | "pre-mjs-json" | "pre-cjs-json";
-export type ArchiveWriter = {
-    write: WriteFn;
-    snapshot: SnapshotFn;
-};
-export type WriteFn = (location: string, bytes: Uint8Array) => Promise<void>;
-export type ArchiveReader = {
-    read: ReadFn;
-};
-export type ReadFn = (location: string) => Promise<Uint8Array>;
-export type ReadNowFn = (location: string) => Uint8Array;
-/**
- * A resolution of `undefined` indicates `ENOENT` or the equivalent.
- */
-export type MaybeReadFn = (location: string) => Promise<Uint8Array | undefined>;
-/**
- * A resolution of `undefined` indicates `ENOENT` or the equivalent.
- */
-export type MaybeReadNowFn = (location: string) => Uint8Array | undefined;
-/**
- * Returns a canonical URL for a given URL, following redirects or symbolic
- * links if any exist along the path.
- * Must return the given logical location if the real location does not exist.
- */
-export type CanonicalFn = (location: string) => Promise<string>;
-export type HashFn = (bytes: string | Uint8Array) => string;
-export type Application = {
-    import: ExecuteFn;
-    sha512?: string | undefined;
-};
-export type ExecuteFn = (options?: ExecuteOptions | undefined) => Promise<SomeObject>;
-export type SnapshotFn = () => Promise<Uint8Array>;
-export type FileURLToPathFn = (location: string | URL) => string;
-export type IsAbsoluteFn = (location: string) => boolean;
-/**
- * Node.js' `url.pathToFileURL` only returns a {@link URL}.
- */
-export type PathToFileURLFn = (location: string) => URL | string;
-export type RequireResolveFn = (fromLocation: string, specifier: string, options?: {
-    paths?: string[];
-} | undefined) => any;
-export type ReadPowers = {
-    read: ReadFn;
-    canonical: CanonicalFn;
-    maybeReadNow?: MaybeReadNowFn | undefined;
-    computeSha512?: HashFn | undefined;
-    fileURLToPath?: FileURLToPathFn | undefined;
-    pathToFileURL?: PathToFileURLFn | undefined;
-    requireResolve?: RequireResolveFn | undefined;
-    isAbsolute?: IsAbsoluteFn | undefined;
-};
-/**
- * These properties are necessary for dynamic require support
- */
-export type ReadNowPowersProp = "fileURLToPath" | "isAbsolute" | "maybeReadNow";
-/**
- * The extension of {@link ReadPowers} necessary for dynamic require support
- *
- * For a `ReadPowers` to be a `ReadNowPowers`:
- *
- * 1. It must be an object (not a {@link ReadFn})
- * 2. Prop `maybeReadNow` is a function
- * 3. Prop `fileURLToPath` is a function
- * 4. Prop `isAbsolute` is a function
- */
-export type ReadNowPowers = Omit<ReadPowers, ReadNowPowersProp> & Required<Pick<ReadPowers, ReadNowPowersProp>>;
-export type MakeImportNowHookMakerOptions = {
-    sources?: Sources | undefined;
-    compartmentDescriptors?: Record<string, CompartmentDescriptor> | undefined;
-    computeSha512?: HashFn | undefined;
-    /**
-     * Suffixes to search if the unmodified
-     * specifier is not found. Pass `[]` to emulate Node.js' strict behavior. The
-     * default handles Node.js' CommonJS behavior. Unlike Node.js, the Compartment
-     * Mapper lifts CommonJS up, more like a bundler, and does not attempt to vary
-     * the behavior of resolution depending on the language of the importing module.
-     */
-    searchSuffixes?: string[] | undefined;
-    sourceMapHook?: SourceMapHook | undefined;
-    exitModuleImportNowHook?: ExitModuleImportNowHook | undefined;
-};
-export type MaybeReadPowers = ReadPowers & {
-    maybeRead: MaybeReadFn;
-};
-export type HashPowers = {
-    read: ReadFn;
-    canonical: CanonicalFn;
-    computeSha512: HashFn;
-};
-export type WritePowers = {
-    write: WriteFn;
-};
-export type ResolveHook = (importSpecifier: string, referrerSpecifier: string) => string;
-export type ShouldDeferError = (language: Language | undefined) => boolean;
-export type ImportHookMakerOptions = {
-    packageLocation: string;
-    packageName: string;
-    attenuators: DeferredAttenuatorsProvider;
-    parse: ParseFn | ParseFnAsync;
-    shouldDeferError: ShouldDeferError;
-    compartments: Record<string, Compartment>;
-};
-export type ImportHookMaker = (options: ImportHookMakerOptions) => ImportHook;
-export type ImportNowHookMakerParams = {
-    packageLocation: string;
-    packageName: string;
-    parse: ParseFn | ParseFnAsync;
-    compartments: Record<string, Compartment>;
-};
-export type ImportNowHookMaker = (params: ImportNowHookMakerParams) => ImportNowHook;
-export type SourceMapHookDetails = {
-    compartment: string;
-    module: string;
-    location: string;
-    sha512: string;
-};
-export type SourceMapHook = (sourceMap: string, details: SourceMapHookDetails) => any;
-export type ComputeSourceMapLocationDetails = {
-    compartment: string;
-    module: string;
-    location: string;
-    sha512: string;
-};
-export type ComputeSourceMapLocationHook = (details: ComputeSourceMapLocationDetails) => string;
-/**
- * Result of a {@link ParseFn}
- */
-export type ParseResult = {
-    bytes: Uint8Array;
-    parser: Language;
-    record: FinalStaticModuleType;
-    sourceMap?: string | undefined;
-};
-export type ParseFn_ = (bytes: Uint8Array, specifier: string, location: string, packageLocation: string, options?: {
-    sourceMap?: string | undefined;
-    sourceMapHook?: SourceMapHook | undefined;
-    sourceMapUrl?: string | undefined;
-    readPowers?: ReadFn | ReadPowers | undefined;
-    compartmentDescriptor?: CompartmentDescriptor | undefined;
-} | undefined) => ParseResult;
-export type ParseFn = ParseFn_ & {
-    isSyncParser?: true;
-};
-export type ParseFnAsync = (bytes: Uint8Array, specifier: string, location: string, packageLocation: string, options?: {
-    sourceMap?: string | undefined;
-    sourceMapHook?: SourceMapHook | undefined;
-    sourceMapUrl?: string | undefined;
-    readPowers?: ReadFn | ReadPowers | undefined;
-} | undefined) => Promise<ParseResult>;
-/**
- * ParserImplementation declares if a heuristic is used by parser to detect
- * imports - is set to true for cjs, which uses a lexer to find require calls
- */
-export type ParserImplementation = {
-    heuristicImports: boolean;
-    synchronous?: boolean | undefined;
-    parse: ParseFn;
-};
-export type ComputeSourceLocationHook = (compartmentName: string, moduleSpecifier: string) => string | undefined;
-export type ExitModuleImportHook = (specifier: string) => Promise<ThirdPartyStaticModuleInterface | undefined>;
-export type ExitModuleImportNowHook = (specifier: string, referrer: string) => ThirdPartyStaticModuleInterface | undefined;
-export type ExtraLoadArchiveOptions = {
-    expectedSha512?: string | undefined;
-    modules?: Record<string, any> | undefined;
-    Compartment?: typeof Compartment | undefined;
-    computeSourceLocation?: ComputeSourceLocationHook | undefined;
-    computeSourceMapLocation?: ComputeSourceMapLocationHook | undefined;
-    parserForLanguage?: ParserForLanguage | undefined;
-    languageForExtension?: LanguageForExtension | undefined;
-};
-/**
- * Options for `loadArchive()`
- */
-export type LoadArchiveOptions = ExecuteOptions & ExtraLoadArchiveOptions;
-/**
- * Set of options available in the context of code execution.
- *
- * May be used only as an intersection with other "options" types
- */
-export type ExecuteOptions = {
-    globals?: object;
-    transforms?: Transform[] | undefined;
-    __shimTransforms__?: Transform[] | undefined;
-    modules?: Record<string, any> | undefined;
-    importHook?: ExitModuleImportHook | undefined;
-    attenuations?: Record<string, any> | undefined;
-    Compartment?: typeof Compartment | undefined;
-};
-/**
- * Mapping of {@link Language Languages} to {@link ParserImplementation ParserImplementations}
- */
-export type ParserForLanguage = Record<Language | string, ParserImplementation>;
-/**
- * Mapping of file extension to {@link Language Languages}.
- */
-export type LanguageForExtension = Record<string, Language>;
-/**
- * Mapping of module specifier to {@link Language Languages}.
- */
-export type LanguageForModuleSpecifier = Record<string, Language>;
-/**
- * Options for `loadLocation()`
- */
-export type LoadLocationOptions = ArchiveOptions | SyncArchiveOptions;
-export type ExtraLinkOptions = {
-    resolve?: ResolveHook | undefined;
-    makeImportHook: ImportHookMaker;
-    makeImportNowHook?: ImportNowHookMaker | undefined;
-    parserForLanguage?: ParserForLanguage | undefined;
-    languageForExtension?: LanguageForExtension | undefined;
-    moduleTransforms?: ModuleTransforms | undefined;
-    syncModuleTransforms?: SyncModuleTransforms | undefined;
-    archiveOnly?: boolean | undefined;
-};
-export type LinkResult = {
-    /**
-     * ,
-     */
-    compartment: Compartment;
-    compartments: Record<string, Compartment>;
-    attenuatorsCompartment: Compartment;
-    pendingJobsPromise: Promise<void>;
-};
-/**
- * Options for `link()`
- */
-export type LinkOptions = ExecuteOptions & ExtraLinkOptions;
-export type ModuleTransforms = Record<string, ModuleTransform>;
-export type SyncModuleTransforms = Record<string, SyncModuleTransform>;
-export type ModuleTransform = (bytes: Uint8Array, specifier: string, location: string, packageLocation: string, params?: {
-    sourceMap?: string | undefined;
-} | undefined) => Promise<{
-    bytes: Uint8Array;
-    parser: Language;
-    sourceMap?: string;
-}>;
-export type SyncModuleTransform = (bytes: Uint8Array, specifier: string, location: string, packageLocation: string, params?: {
-    sourceMap?: string | undefined;
-} | undefined) => {
-    bytes: Uint8Array;
-    parser: Language;
-    sourceMap?: string;
-};
-export type Sources = Record<string, CompartmentSources>;
-export type CompartmentSources = Record<string, ModuleSource>;
-export type ModuleSource = {
-    /**
-     * - module loading error deferred to later stage
-     */
-    deferredError?: string | undefined;
-    /**
-     * - package relative location
-     */
-    location?: string | undefined;
-    /**
-     * - fully qualified location
-     */
-    sourceLocation?: string | undefined;
-    bytes?: Uint8Array | undefined;
-    /**
-     * in base16, hex
-     */
-    sha512?: string | undefined;
-    parser?: Language | undefined;
-    exit?: string | undefined;
-    record?: StaticModuleType | undefined;
-};
-export type Artifact = {
-    bytes: Uint8Array;
-    parser: Language;
-};
-export type CaptureSourceLocationHook = (compartmentName: string, moduleSpecifier: string, sourceLocation: string) => any;
-export type ArchiveOptions = {
-    moduleTransforms?: ModuleTransforms | undefined;
-    syncModuleTransforms?: SyncModuleTransforms | undefined;
-    modules?: Record<string, any> | undefined;
-    dev?: boolean | undefined;
-    policy?: SomePolicy | undefined;
-    /**
-     * deprecated in favor of `conditions`
-     */
-    tags?: Set<string> | undefined;
-    conditions?: Set<string> | undefined;
-    captureSourceLocation?: CaptureSourceLocationHook | undefined;
-    importHook?: ExitModuleImportHook | undefined;
-    searchSuffixes?: string[] | undefined;
-    commonDependencies?: Record<string, string> | undefined;
-    sourceMapHook?: SourceMapHook | undefined;
-    parserForLanguage?: Record<string, ParserImplementation> | undefined;
-    languageForExtension?: LanguageForExtension | undefined;
-};
-export type SyncArchiveOptions = {
-    syncModuleTransforms?: SyncModuleTransforms | undefined;
-    modules?: Record<string, any> | undefined;
-    dev?: boolean | undefined;
-    policy?: object;
-    tags?: Set<string> | undefined;
-    captureSourceLocation?: CaptureSourceLocationHook | undefined;
-    importHook?: ExitModuleImportHook | undefined;
-    searchSuffixes?: string[] | undefined;
-    commonDependencies?: Record<string, string> | undefined;
-    sourceMapHook?: SourceMapHook | undefined;
-    importNowHook?: ExitModuleImportNowHook | undefined;
-    parserForLanguage?: Record<string, ParserImplementation> | undefined;
-    languageForExtension?: LanguageForExtension | undefined;
-};
-export type PackageNamingKit = {
-    /**
-     * - true if location is the entry compartment
-     */
-    isEntry?: boolean | undefined;
-    name: string;
-    path: Array<string>;
-};
-/**
- * An object representing a full attenuation definition.
- */
-export type FullAttenuationDefinition = {
-    /**
-     * - The type of attenuation.
-     */
-    attenuate: string;
-    /**
-     * - The parameters for the attenuation.
-     */
-    params: ImplicitAttenuationDefinition;
-};
-/**
- * An array of any type representing an implicit attenuation definition.
- */
-export type ImplicitAttenuationDefinition = [any, ...any[]];
-/**
- * A type representing an attenuation definition, which can be either a full or implicit definition.
- */
-export type AttenuationDefinition = FullAttenuationDefinition | ImplicitAttenuationDefinition;
-export type UnifiedAttenuationDefinition = {
-    displayName: string;
-    specifier: string | null;
-    params?: any[] | undefined;
-};
-export type Attenuator<GlobalParams extends [any, ...any[]] = [any, ...any[]], ModuleParams extends [any, ...any[]] = [any, ...any[]]> = {
-    attenuateGlobals?: GlobalAttenuatorFn<GlobalParams> | undefined;
-    attenuateModule?: ModuleAttenuatorFn<ModuleParams, SomeObject, SomeObject> | undefined;
-};
-export type GlobalAttenuatorFn<Params extends [any, ...any[]] = [any, ...any[]]> = (params: Params, originalObject: Record<PropertyKey, any>, globalThis: Record<PropertyKey, any>) => void;
-export type ModuleAttenuatorFn<Params extends [any, ...any[]] = [any, ...any[]], T = SomeObject, U = T> = (params: Params, ns: T) => U;
-export type DeferredAttenuatorsProvider = {
-    import: (attenuatorSpecifier: string | null) => Promise<Attenuator>;
-};
-/**
- * A type representing a wildcard policy, which can be 'any'.
- */
-export type WildcardPolicy = "any";
-/**
- * A type representing a property policy, which is a record of string keys and boolean values
- */
-export type PropertyPolicy = Record<string, boolean>;
-/**
- * A type representing a policy item, which can be a {@link WildcardPolicy wildcard policy}, a property policy, `undefined`, or defined by an attenuator
- */
-export type PolicyItem<T = void> = WildcardPolicy | PropertyPolicy | T;
-/**
- * An object representing a nested attenuation definition.
- */
-export type NestedAttenuationDefinition = Record<string, AttenuationDefinition | boolean>;
-/**
- * An object representing a base package policy.
- */
-export type PackagePolicy<PackagePolicyItem = void, GlobalsPolicyItem = void, BuiltinsPolicyItem = void, ExtraOptions = unknown> = {
-    /**
-     * - The default attenuator.
-     */
-    defaultAttenuator?: string | undefined;
-    /**
-     * - The policy item for packages.
-     */
-    packages?: PolicyItem<PackagePolicyItem> | undefined;
-    /**
-     * - The policy item or full attenuation definition for globals.
-     */
-    globals?: AttenuationDefinition | PolicyItem<GlobalsPolicyItem> | undefined;
-    /**
-     * - The policy item or nested attenuation definition for builtins.
-     */
-    builtins?: NestedAttenuationDefinition | PolicyItem<BuiltinsPolicyItem> | undefined;
-    /**
-     * - Whether to disable global freeze.
-     */
-    noGlobalFreeze?: boolean | undefined;
-    /**
-     * - Whether to allow dynamic imports
-     */
-    dynamic?: boolean | undefined;
-    /**
-     * - Any additional user-defined options can be added to the policy here
-     */
-    options?: ExtraOptions | undefined;
-};
-/**
- * An object representing a base policy.
- */
-export type Policy<PackagePolicyItem = void, GlobalsPolicyItem = void, BuiltinsPolicyItem = void, ExtraOptions = unknown> = {
-    /**
-     * - The package policies for the resources.
-     */
-    resources: Record<string, PackagePolicy<PackagePolicyItem, GlobalsPolicyItem, BuiltinsPolicyItem, ExtraOptions>>;
-    /**
-     * - The default attenuator.
-     */
-    defaultAttenuator?: string | undefined;
-    /**
-     * - The package policy for the entry.
-     */
-    entry?: PackagePolicy<PackagePolicyItem, GlobalsPolicyItem, BuiltinsPolicyItem, ExtraOptions> | undefined;
-};
-/**
- * Any object. All objects. Not `null`, though.
- */
-export type SomeObject = Record<PropertyKey, any>;
-/**
- * Function in {@link CryptoInterface}
- */
-export type CreateHashFn = (algorithm: "sha512") => Hash;
-/**
- * Object returned by function in {@link CryptoInterface}
- */
-export type Hash = {
-    update: (data: Uint8Array | string) => Hash;
-    digest: () => Buffer;
-};
-/**
- * Function in {@link FsPromisesInterface}
- */
-export type RealpathFn = (filepath: string) => Promise<string>;
-/**
- * Object within {@link FsPromisesInterface}
- */
-export type FsPromisesInterface = {
-    realpath: RealpathFn;
-    writeFile: WriteFn;
-    readFile: ReadFn;
-};
-/**
- * For creating {@link ReadPowers}
- */
-export type FsInterface = {
-    promises: FsPromisesInterface;
-    readFileSync: ReadNowFn;
-};
-/**
- * For creating {@link ReadPowers}
- */
-export type UrlInterface = {
-    fileURLToPath: FileURLToPathFn;
-    pathToFileURL: PathToFileURLFn;
-};
-/**
- * For creating {@link ReadPowers}
- */
-export type CryptoInterface = {
-    createHash: CreateHashFn;
-};
-export type PathInterface = {
-    isAbsolute: IsAbsoluteFn;
-};
-/**
- * Options for `compartmentMapForNodeModules`
- */
-export type CompartmentMapForNodeModulesOptions = Pick<ArchiveOptions, "dev" | "commonDependencies" | "policy">;
-/**
- * Any {@link PackagePolicy}
- */
-export type SomePackagePolicy = PackagePolicy<PolicyItem, PolicyItem, PolicyItem, unknown>;
-/**
- * Any {@link Policy}
- */
-export type SomePolicy = Policy<any, any, any, any>;
-/**
- * Matches any {@link https://developer.mozilla.org/en-US/docs/Glossary/Primitive primitive value}.
- */
-export type Primitive = null | undefined | string | number | boolean | symbol | bigint;
-/**
- * Allows creating a union type by combining primitive types and literal
- * types without sacrificing auto-completion in IDEs for the literal type part
- * of the union.
- *
- * Currently, when a union type of a primitive type is combined with literal types,
- * TypeScript loses all information about the combined literals. Thus, when such
- * a type is used in an IDE with autocompletion, no suggestions are made for the
- * declared literals.
- *
- * This type is a workaround for {@link https://github.com/Microsoft/TypeScript/issues/29729 Microsoft/TypeScript#29729}.
- * It will be removed as soon as it's not needed anymore.
- */
-export type LiteralUnion<LiteralType, PrimitiveType extends Primitive> = LiteralType | (PrimitiveType & Record<never, never>);
-/**
- * Options for `importLocation()`
- */
-export type ImportLocationOptions = ExecuteOptions & ArchiveOptions;
-/**
- * Options for `importLocation()` necessary (but not sufficient--see
- * {@link ReadNowPowers}) for dynamic require support
- */
-export type SyncImportLocationOptions = ExecuteOptions & SyncArchiveOptions;
-/**
- * Options for `captureFromMap()`
- */
-export type CaptureOptions = {
-    moduleTransforms?: ModuleTransforms | undefined;
-    syncModuleTransforms?: SyncModuleTransforms | undefined;
-    modules?: Record<string, any> | undefined;
-    dev?: boolean | undefined;
-    policy?: SomePolicy | undefined;
-    /**
-     * deprecated in favor of `conditions`
-     */
-    tags?: Set<string> | undefined;
-    conditions?: Set<string> | undefined;
-    importHook?: ExitModuleImportHook | undefined;
-    searchSuffixes?: string[] | undefined;
-    commonDependencies?: Record<string, string> | undefined;
-    sourceMapHook?: SourceMapHook | undefined;
-    parserForLanguage?: Record<string, ParserImplementation> | undefined;
-    languageForExtension?: LanguageForExtension | undefined;
-    importNowHook?: ExitModuleImportNowHook | undefined;
-};
-/**
- * The result of `captureFromMap()`
- */
-export type CaptureResult = {
-    captureCompartmentMap: CompartmentMapDescriptor;
-    captureSources: Sources;
-    compartmentRenames: Record<string, string>;
-};
-/**
- * Options object for `chooseModuleDescriptor`.
- */
-export type ChooseModuleDescriptorOptions = {
-    /**
-     * List of `moduleSpecifier` with search
-     * suffixes appended
-     */
-    candidates: string[];
-    /**
-     * Compartment
-     * descriptor
-     */
-    compartmentDescriptor: CompartmentDescriptor;
-    /**
-     * All
-     * compartment descriptors
-     */
-    compartmentDescriptors: Record<string, CompartmentDescriptor>;
-    /**
-     * All compartments
-     */
-    compartments: Record<string, Compartment>;
-    /**
-     * Function to compute SHA-512 hash
-     */
-    computeSha512?: HashFn | undefined;
-    /**
-     * All module
-     * descriptors
-     */
-    moduleDescriptors: Record<string, ModuleDescriptor>;
-    /**
-     * Module specifier
-     */
-    moduleSpecifier: string;
-    /**
-     * Package location
-     */
-    packageLocation: string;
-    /**
-     * Sources
-     */
-    packageSources: CompartmentSources;
-    /**
-     * Powers
-     */
-    readPowers: ReadPowers | ReadFn;
-    /**
-     * Source map hook
-     */
-    sourceMapHook?: SourceMapHook | undefined;
-    /**
-     * Function
-     * returning a set of module names (scoped to the compartment) whose parser is not using
-     * heuristics to determine imports.
-     */
-    strictlyRequiredForCompartment: (compartmentName: string) => Set<string>;
-};
-/**
- * Operators for `chooseModuleDescriptor` representing synchronous operation.
- */
-export type SyncChooseModuleDescriptorOperators = {
-    /**
-     * A function that reads a file, returning
-     * its binary contents _or_ `undefined` if the file is not found
-     */
-    maybeRead: MaybeReadNowFn;
-    /**
-     * A function which parses the (defined) binary
-     * contents from `maybeRead` into a `ParseResult`
-     */
-    parse: ParseFn;
-    /**
-     * Should be omitted.
-     */
-    shouldDeferError?: undefined;
-};
-/**
- * Operators for `chooseModuleDescriptor` representing asynchronous operation.
- */
-export type AsyncChooseModuleDescriptorOperators = {
-    /**
-     * A function that reads a file, resolving w/
-     * its binary contents _or_ `undefined` if the file is not found
-     */
-    maybeRead: MaybeReadFn;
-    /**
-     * A function which parses the (defined)
-     * binary contents from `maybeRead` into a `ParseResult`
-     */
-    parse: ParseFnAsync | ParseFn;
-    /**
-     * A function that
-     * returns `true` if the language returned by `parse` should defer errors.
-     */
-    shouldDeferError: (language: Language) => boolean;
-};
-/**
- * Either synchronous or asynchronous operators for `chooseModuleDescriptor`.
- */
-export type ChooseModuleDescriptorOperators = AsyncChooseModuleDescriptorOperators | SyncChooseModuleDescriptorOperators;
-/**
- * The agglomeration of things that the `chooseModuleDescriptor` generator can
- * yield.
- *
- * The generator does not necessarily yield _all_ of these; it depends on
- * whether the operators are {@link AsyncChooseModuleDescriptorOperators} or
- * {@link SyncChooseModuleDescriptorOperators}.
- */
-export type ChooseModuleDescriptorYieldables = ReturnType<ChooseModuleDescriptorOperators["maybeRead"]> | ReturnType<ChooseModuleDescriptorOperators["parse"]>;
-/**
- * Parameters for `findRedirect()`.
- */
-export type FindRedirectParams = {
-    compartmentDescriptor: CompartmentDescriptor;
-    compartmentDescriptors: Record<string, CompartmentDescriptor>;
-    compartments: Record<string, Compartment>;
-    /**
-     * A module specifier which is an absolute path. NOT a file:// URL.
-     */
-    absoluteModuleSpecifier: string;
-    /**
-     * Location of the compartment descriptor's package
-     */
-    packageLocation: string;
-};
-/**
- * Options for `makeMapParsers()`
- */
-export type MakeMapParsersOptions = {
-    /**
-     * Mapping of language to
-     * {@link ParserImplementation}
-     */
-    parserForLanguage: ParserForLanguage;
-    /**
-     * Async or sync module
-     * transforms. If non-empty, dynamic requires are unsupported.
-     */
-    moduleTransforms?: ModuleTransforms | undefined;
-    /**
-     * Sync module
-     * transforms
-     */
-    syncModuleTransforms?: SyncModuleTransforms | undefined;
-};
-/**
- * The value returned by `makeMapParsers()`
- */
-export type MapParsersFn<T extends ParseFn | ParseFnAsync = ParseFn | ParseFnAsync> = (languageForExtension: LanguageForExtension, languageForModuleSpecifier: LanguageForModuleSpecifier) => T;
-import type { ImportHook } from 'ses';
-import type { ImportNowHook } from 'ses';
-import type { FinalStaticModuleType } from 'ses';
-import type { ThirdPartyStaticModuleInterface } from 'ses';
-import type { Transform } from 'ses';
-import type { StaticModuleType } from 'ses';
-//# sourceMappingURL=types.d.ts.map
+// ESlint does not understand export *
+/* eslint-disable import/export */
+
+// These type definitions include all of the external and internal types used
+// within the compartment mapper.
+
+export type * from './types-external.js';
+export type * from './types/internal.js';
+export type * from './types/typescript.js';