@fluidframework/core-interfaces 2.23.0 → 2.31.0

package/dist/exposedInternalUtilityTypes.d.ts

@@ -0,0 +1,547 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import type { SerializationErrorPerNonPublicProperties, SerializationErrorPerUndefinedArrayElement } from "./jsonSerializationErrors.js";
+import type { JsonTypeWith, NonNullJsonObjectWith } from "./jsonType.js";
+/**
+ * Unique symbol for recursion meta-typing.
+ */
+declare const RecursionMarkerSymbol: unique symbol;
+/**
+ * Collection of utility types that are not intended to be used/imported
+ * directly outside of this package.
+ *
+ * @privateRemarks
+ * There are ony three intentional exports from this module:
+ * - {@link InternalUtilityTypes.IfSameType | IfSameType}
+ * - {@link InternalUtilityTypes.JsonDeserializedImpl | JsonDeserializedImpl }
+ * - {@link InternalUtilityTypes.JsonSerializableImpl | JsonSerializableImpl }
+ *
+ * api-extractor will allow `export` to be removed from others but generates
+ * api-report a little oddly with a rogue `{};` floating at end of namespace
+ * in api.md file. It will promote all of the support types to appear as
+ * exported anyway. All in namespace are left exported to avoid api-extractor
+ * potentially failing to validate other modules correctly.
+ *
+ * @beta
+ * @system
+ */
+export declare namespace InternalUtilityTypes {
+    /**
+     * Meta-type for controlling filtering utilities.
+     *
+     * @system
+     */
+    export interface FilterControls {
+        /**
+         * Tuple of exact types that are managed by custom serialization/deserialization
+         * logic (beyond JSON.stringify and JSON.parse without replacers/revivers).
+         * Only exact types matching specification will be preserved unaltered.
+         */
+        AllowExactly: unknown[];
+        /**
+         * General types that are managed by custom serialization/deserialization
+         * logic (beyond JSON.stringify and JSON.parse without replacers/revivers).
+         * Any type satisfying specification will be preserved unaltered.
+         */
+        AllowExtensionOf: unknown;
+    }
+    /**
+     * Meta-type for controlling filtering utilities that additionally supplies
+     * a substitute type for degenerate cases.
+     *
+     * @system
+     */
+    interface FilterControlsWithSubstitution extends FilterControls {
+        /**
+         * Type to use for degenerate cases like `unknown` or `any`.
+         * Typically this will be `JsonTypeWith<TupleToUnion<AllowExactly> | AllowExtensionOf>`.
+         */
+        DegenerateSubstitute: unknown;
+    }
+    /**
+     * Meta-type for controlling deserialized filtering utilities.
+     *
+     * @system
+     */
+    interface DeserializedFilterControls extends FilterControlsWithSubstitution {
+        /**
+         * Type to use for degenerate `object` case.
+         * Typically this will be `NonNullJsonObjectWith<TupleToUnion<AllowExactly> | AllowExtensionOf>`.
+         */
+        DegenerateNonNullObjectSubstitute: unknown;
+    }
+    /**
+     * Returns non-symbol keys for optional properties of an object type.
+     * This excludes indexed properties that are inherently _optional_.
+     *
+     * For homomorphic mapping use with `as` to filter. Example:
+     * `[K in keyof T as OptionalNonSymbolKeysOf<T, K>]: ...`
+     *
+     * @system
+     */
+    export type OptionalNonSymbolKeysOf<T extends object, Keys extends keyof T = keyof T> = Exclude<{
+        [K in Keys]: T extends Record<K, T[K]> ? never : K;
+    }[Keys], undefined | symbol>;
+    /**
+     * Returns non-symbol keys for required properties of an object type.
+     * This includes indexed properties that are inherently _optional_.
+     *
+     * For homomorphic mapping use with `as` to filter. Example:
+     * `[K in keyof T as RequiredNonSymbolKeysOf<T, K>]: ...`
+     *
+     * @system
+     */
+    export type RequiredNonSymbolKeysOf<T extends object, Keys extends keyof T = keyof T> = Exclude<{
+        [K in Keys]: T extends Record<K, T[K]> ? K : never;
+    }[Keys], undefined | symbol>;
+    /**
+     * Returns Result.WhenSomethingDeserializable if T is sometimes at least a
+     * partially deserializable type, otherwise Result.WhenNeverDeserializable.
+     * Fully not deserializable (bigints, symbols, undefined and functions without
+     * other properties less overlap with T*Exception) produce Result.WhenNeverDeserializable.
+     * An object would have a defined result even if parts of its content are
+     * not deserializable.
+     *
+     * @param Result - Result type with two properties. One property must always
+     * be `never` as `T` maybe a union of never deserializable and at least
+     * partially deserializable types and the result is a union of Result.*.
+     *
+     * @privateRemarks
+     * If `Result.WhenSomethingDeserializable` was `true` and
+     * `Result.WhenNeverDeserializable` was `false`, then the return type
+     * for type `T` would be `boolean` for a sometimes deserializable type.
+     *
+     * @system
+     */
+    export type TestDeserializabilityOf<T, TExactExceptions extends unknown[], TExtendsException, Result extends {
+        WhenSomethingDeserializable: unknown;
+        WhenNeverDeserializable: never;
+    } | {
+        WhenSomethingDeserializable: never;
+        WhenNeverDeserializable: unknown;
+    }> = T extends never ? Result["WhenNeverDeserializable"] : T extends TExtendsException ? Result["WhenSomethingDeserializable"] : IfExactTypeInTuple<T, TExactExceptions, Result["WhenSomethingDeserializable"], T extends bigint | symbol | undefined ? Result["WhenNeverDeserializable"] : T extends Function ? ExtractFunctionFromIntersection<T> extends {
+        classification: "exactly Function";
+    } ? Result["WhenNeverDeserializable"] : Result["WhenSomethingDeserializable"] : Result["WhenSomethingDeserializable"]>;
+    /**
+     * Similar to `Exclude` but only excludes exact `U`s from `T`
+     * rather than any type that extends `U`.
+     *
+     * @system
+     */
+    export type ExcludeExactly<T, U> = IfSameType<T, U, never, T>;
+    /**
+     * Similar to `Exclude` but only excludes exact members of `U` from `T`
+     * rather than any type that extends members of `U`.
+     *
+     * @system
+     */
+    export type ExcludeExactlyInTuple<T, TupleOfU extends unknown[]> = IfExactTypeInTuple<T, TupleOfU, never, T>;
+    /**
+     * Similar to `Omit` but operates on tuples.
+     * Removes elements of `Tuple` that extend `U`.
+     *
+     * @system
+     */
+    export type OmitFromTuple<Tuple extends unknown[], U, Accumulated extends unknown[] = []> = Tuple extends [infer First, ...infer Rest] ? OmitFromTuple<Rest, U, First extends U ? Accumulated : [...Accumulated, First]> : Accumulated;
+    /**
+     * Similar to `OmitFromTuple` but removes only exact matches of U.
+     * Removes elements of `Tuple` that are exactly `U`.
+     *
+     * @remarks If `U` is a union, then only exactly matching union elements of `Tuple` are removed.
+     * @system
+     */
+    export type OmitExactlyFromTuple<Tuple extends unknown[], U, Accumulated extends unknown[] = []> = Tuple extends [infer First, ...infer Rest] ? OmitExactlyFromTuple<Rest, U, IfSameType<First, U, Accumulated, [...Accumulated, First]>> : Accumulated;
+    /**
+     * Returns non-symbol keys for defined, (likely) serializable properties of an
+     * object type. Keys with fully unsupported properties (undefined, symbol, and
+     * bigint) and sometimes unsupported (functions) are excluded. An exception to
+     * that is when there are supported types in union with just bigint.
+     *
+     * For homomorphic mapping use with `as` to filter. Example:
+     * `[K in keyof T as NonSymbolWithDeserializablePropertyOf<T, [], never, K>]: ...`
+     *
+     * @system
+     */
+    export type NonSymbolWithDeserializablePropertyOf<T extends object, TExactExceptions extends unknown[], TExtendsException, Keys extends keyof T = keyof T> = Exclude<{
+        [K in Keys]: ExcludeExactlyInTuple<Exclude<T[K], TExtendsException>, OmitExactlyFromTuple<TExactExceptions, unknown>> extends infer PossibleTypeLessAllowed ? IfSameType<PossibleTypeLessAllowed, unknown, never, Extract<PossibleTypeLessAllowed, undefined | symbol | Function> extends never ? IfSameType<PossibleTypeLessAllowed, bigint, never, T[K] extends never ? never : K> : never> : never;
+    }[Keys], undefined | symbol>;
+    /**
+     * Returns non-symbol keys for partially supported properties of an object type.
+     * Keys with only unsupported properties (undefined, symbol, bigint, and
+     * functions without other properties) are excluded.
+     *
+     * For homomorphic mapping use with `as` to filter. Example:
+     * `[K in keyof T as NonSymbolWithPossiblyDeserializablePropertyOf<T, [], never, K>]: ...`
+     *
+     * @system
+     */
+    export type NonSymbolWithPossiblyDeserializablePropertyOf<T extends object, TExactExceptions extends unknown[], TExtendsException, Keys extends keyof T = keyof T> = Exclude<{
+        [K in Keys]: ExcludeExactlyInTuple<Exclude<T[K], TExtendsException>, OmitExactlyFromTuple<TExactExceptions, unknown>> extends infer PossibleTypeLessAllowed ? Extract<IfSameType<PossibleTypeLessAllowed, unknown, undefined, PossibleTypeLessAllowed>, undefined | symbol | Function> extends never ? never : TestDeserializabilityOf<T[K], OmitExactlyFromTuple<TExactExceptions, unknown>, TExtendsException, {
+            WhenSomethingDeserializable: K;
+            WhenNeverDeserializable: never;
+        }> : never;
+    }[Keys], undefined | symbol>;
+    /**
+     * Filters a type `T` for `undefined` that is not viable in an array (or tuple) that
+     * must go through JSON serialization.
+     * If `T` is `undefined`, then error type {@link SerializationErrorPerUndefinedArrayElement}
+     * is returned with hopes of being informative.
+     *
+     * @system
+     */
+    export type JsonForSerializableArrayItem<T, Controls extends FilterControls, TAncestorTypes extends unknown[], TBlessed> = boolean extends (T extends never ? true : false) ? TBlessed : unknown extends T ? TBlessed : IfExactTypeInTuple<T, TAncestorTypes, T, T extends null | boolean | number | string | Controls["AllowExtensionOf"] ? T : IfExactTypeInTuple<T, Controls["AllowExactly"], T, undefined extends T ? SerializationErrorPerUndefinedArrayElement : TBlessed>>;
+    /**
+     * Filters a type `T` for types that become null through JSON serialization.
+     *
+     * @system
+     */
+    export type JsonForDeserializedArrayItem<T, Controls extends DeserializedFilterControls, TBlessed> = boolean extends (T extends never ? true : false) ? TBlessed : unknown extends T ? TBlessed : T extends null | boolean | number | string | Controls["AllowExtensionOf"] ? T : IfExactTypeInTuple<T, Controls["AllowExactly"], T, T extends undefined | symbol ? null : T extends Function ? ExtractFunctionFromIntersection<T> extends {
+        classification: "exactly Function";
+    } ? null : null | TBlessed : TBlessed>;
+    /**
+     * Checks for a type that is simple class of number and string indexed types to numbers and strings.
+     *
+     * @system
+     */
+    export type IfEnumLike<T extends object, EnumLike = never, NotEnumLike = unknown> = T extends readonly (infer _)[] ? NotEnumLike : T extends Function ? NotEnumLike : T extends {
+        readonly [i: number]: string;
+        readonly [p: string]: number | string;
+        readonly [s: symbol]: never;
+    } ? true extends {
+        [K in keyof T]: T[K] extends never ? true : never;
+    }[keyof T] ? NotEnumLike : EnumLike : NotEnumLike;
+    /**
+     * Test for type equality
+     *
+     * @returns IfSame if identical and IfDifferent otherwise.
+     *
+     * Implementation derived from https://github.com/Microsoft/TypeScript/issues/27024#issuecomment-421529650
+     *
+     * @remarks Use caution when one of the type might be `{}`. That type is
+     * special and produces unexpected results. This includes variability
+     * on past usages.
+     *
+     * @system
+     */
+    export type IfSameType<X, Y, IfSame = unknown, IfDifferent = never> = (<T>() => T extends X ? 1 : 2) extends <T>() => T extends Y ? 1 : 2 ? IfSame : IfDifferent;
+    /**
+     * Test for type equality with tuple of other types.
+     *
+     * @typeParam T - Type to find in Tuple.
+     * @typeParam Tuple - Tuple of types to test against.
+     * @typeParam IfMatch - Type to return if match is found.
+     * @typeParam IfNoMatch - Type to return if no match is found.
+     *
+     * @privateRemarks
+     * Tests for an exact match of `T` in `Tuple[0]`. If not found,
+     * recurses with the remainder of the tuple.
+     */
+    export type IfExactTypeInTuple<T, Tuple extends unknown[], IfMatch = unknown, IfNoMatch = never> = Tuple extends [infer First, ...infer Rest] ? IfSameType<T, First, IfMatch, IfExactTypeInTuple<T, Rest, IfMatch, IfNoMatch>> : IfNoMatch;
+    /**
+     * Test for type equality with union of other types.
+     *
+     * @typeParam T - Type to find in Union. If this is itself a union, then all types must be found in Union.
+     * @typeParam Union - Union of types to test against.
+     * @typeParam IfMatch - Type to return if match is found.
+     * @typeParam IfNoMatch - Type to return if no match is found.
+     *
+     * @remarks
+     * In a recursive context, use {@link InternalUtilityTypes.IfExactTypeInTuple} to manage ancestry.
+     *
+     * @privateRemarks
+     * Perhaps it is a Typescript defect but a simple check that `T` is `never`
+     * via `T extends never` does not work as expected in this context.
+     * Workaround using `IfSameType<..., never,...>`.
+     * @system
+     */
+    export type IfExactTypeInUnion<T, Union, IfMatch = unknown, IfNoMatch = never> = IfSameType<T, never, IfSameType<Union, never, IfMatch, IfNoMatch>, IfSameType<T, Extract<Union, T>, IfMatch, IfNoMatch>>;
+    /**
+     * Test for type equality
+     *
+     * @returns `true` if identical and `false` otherwise.
+     *
+     * @remarks Use caution when one of the type might be `{}`. That type is
+     * special and produces unexpected results. This includes variability
+     * on past usages.
+     *
+     * @system
+     */
+    export type IsSameType<X, Y> = IfSameType<X, Y, true, false>;
+    /**
+     * Checks that type is exactly `object`.
+     *
+     * @system
+     */
+    export type IsExactlyObject<T extends object> = IsSameType<T, object>;
+    /**
+     * Creates a simple object type from an intersection of multiple.
+     * @privateRemarks
+     * `T extends Record` within the implementation encourages tsc to process
+     * intersections within unions.
+     *
+     * @system
+     */
+    export type FlattenIntersection<T extends Record<string | number | symbol, unknown>> = T extends Record<string | number | symbol, unknown> ? {
+        [K in keyof T]: T[K];
+    } : T;
+    /**
+     * Extracts Function portion from an intersection (&) type returning
+     * the extracted portion in the `function` property or `unknown` if
+     * no function is found.
+     * The returned `classification` property has one of three values:
+     * - "no Function" if the type is not a function.
+     * - "exactly Function" if the type is exactly a function.
+     * - "Function and more" if the type is a function and has other properties.
+     *
+     * @system
+     */
+    export type ExtractFunctionFromIntersection<T extends object> = (T extends new (...args: infer A) => infer R ? new (...args: A) => R : unknown) & (T extends (...args: infer A) => infer R ? (...args: A) => R : unknown) extends infer Functional ? {
+        classification: unknown extends Functional ? "no Function" : Functional extends Required<T> ? "exactly Function" : "Function and more";
+        function: Functional;
+    } : never;
+    /**
+     * Returns `Filtered` & any Function intersection from `Original`.
+     * If `Original` is exactly a Function, then `Filtered` is left out
+     * under the assumption that it is not useful/applicable.
+     *
+     * @system
+     */
+    export type FilterPreservingFunction<Original extends object, Filtered> = ExtractFunctionFromIntersection<Original> extends {
+        classification: infer TClassification;
+        function: infer TFunction;
+    } ? TClassification extends "exactly Function" ? TFunction : TFunction & Filtered : never;
+    /**
+     * Replaces any instance where a type T recurses into itself or a portion of
+     * itself with TRecursionMarker.
+     *
+     * @typeParam T - Type to process.
+     * @typeParam TRecursionMarker - Replacement marker type.
+     * @typeParam Controls - Allowances are preserved as-is.
+     * @typeParam TAncestorTypes - Tuple of types that are ancestors of T.
+     * @typeParam TNextAncestor - Set exactly to T. This is passed separately
+     * such that T union types remain intact as exact ancestors.
+     *
+     * @remarks
+     * Filtering applied to class instances with non-public properties will not
+     * preserve the class instance unless those classes are known and listed as
+     * allowances via `Controls`.
+     *
+     * @privateRemarks
+     * This implementation handles functions including function with properties.
+     * There are no known cases where replacing recursion under such types make
+     * a difference. Either the function (whole type) is allowed by the Json
+     * filters or function is not allowed at all.
+     * If the function portion is found to be problematic later, then could use
+     * `T extends Function ? T : ...` to ignore function objects.
+     *
+     * @system
+     */
+    export type ReplaceRecursionWithMarkerAndPreserveAllowances<T, TRecursionMarker, Controls extends FilterControls, TAncestorTypes extends unknown[] = [], TNextAncestor = T> = IfExactTypeInTuple<T, TAncestorTypes, true, "no match"> extends true ? TRecursionMarker : T extends infer _ ? IfExactTypeInTuple<T, TAncestorTypes, true, "no match"> extends true ? TRecursionMarker : T extends Controls["AllowExtensionOf"] ? T : IfExactTypeInTuple<T, Controls["AllowExactly"], true, "no match"> extends true ? T : T extends object ? FilterPreservingFunction<T, {
+        [K in keyof T]: ReplaceRecursionWithMarkerAndPreserveAllowances<T[K], TRecursionMarker, Controls, [
+            TNextAncestor,
+            ...TAncestorTypes
+        ]>;
+    }> : T : never;
+    /**
+     * Replaces any instances of "allowed" types and recursion within with `never`.
+     *
+     * @typeParam T - Type to process.
+     * @typeParam Controls - Allowances to replace.
+     * @typeParam TAncestorTypes - Tuple of types that are ancestors of T.
+     * @typeParam TNextAncestor - Set exactly to T. This is passed separately
+     * such that T union types remain intact as exact ancestors.
+     *
+     * @system
+     */
+    export type ReplaceAllowancesAndRecursionWithNever<T, Controls extends FilterControls, TAncestorTypes extends unknown[] = [], TNextAncestor = T> = IfExactTypeInTuple<T, TAncestorTypes, true, "no match"> extends true ? never : T extends Controls["AllowExtensionOf"] ? never : IfExactTypeInTuple<T, Controls["AllowExactly"], true, "no match"> extends true ? never : IfExactTypeInTuple<T, TAncestorTypes, true, "no match"> extends true ? never : T extends object ? FilterPreservingFunction<T, {
+        [K in keyof T]: ReplaceAllowancesAndRecursionWithNever<T[K], Controls, [
+            TNextAncestor,
+            ...TAncestorTypes
+        ]>;
+    }> : T;
+    /**
+     * Test for non-public properties (which can only exist on class instance types).
+     *
+     * Returns `HasNonPublic` if `T` deeply may contain a private or protected field
+     * and `OnlyPublics` otherwise.
+     *
+     * @remarks
+     * Compare original (unprocessed) to filtered case that has `never` where
+     * recursing or where allowed exception types are used.
+     *
+     * Note that this a test of the type and not the actual data. So, if an
+     * interface is given as `T` where implemented by a class, any private or
+     * protected fields within the class will not be detected.
+     *
+     * @system
+     */
+    export type IfNonPublicProperties<T, Controls extends FilterControls, HasNonPublic = never, OnlyPublics = unknown> = ReplaceAllowancesAndRecursionWithNever<T, Controls> extends T ? OnlyPublics : HasNonPublic;
+    /**
+     * Union of all types in a tuple.
+     *
+     * @system
+     */
+    export type TupleToUnion<T extends unknown[]> = T[number];
+    /**
+     * Outer implementation of {@link JsonSerializable} handling meta cases
+     * like classes (with non-public properties).
+     *
+     * @system
+     */
+    export type JsonSerializableImpl<T, Options extends Partial<FilterControls> & {
+        IgnoreInaccessibleMembers?: "ignore-inaccessible-members";
+    }, TAncestorTypes extends unknown[] = [], TNextAncestor = T> = {
+        AllowExactly: Options extends {
+            AllowExactly: unknown[];
+        } ? Options["AllowExactly"] : [];
+        AllowExtensionOf: Options extends {
+            AllowExtensionOf: unknown;
+        } ? Options["AllowExtensionOf"] : never;
+        DegenerateSubstitute: JsonTypeWith<(Options extends {
+            AllowExactly: unknown[];
+        } ? TupleToUnion<Options["AllowExactly"]> : never) | (Options extends {
+            AllowExtensionOf: unknown;
+        } ? Options["AllowExtensionOf"] : never)>;
+    } extends infer Controls ? Controls extends FilterControlsWithSubstitution ? boolean extends (T extends never ? true : false) ? Controls["DegenerateSubstitute"] : Options["IgnoreInaccessibleMembers"] extends "ignore-inaccessible-members" ? JsonSerializableFilter<T, Controls, TAncestorTypes, TNextAncestor> : IfNonPublicProperties<T, {
+        AllowExactly: Controls["AllowExactly"];
+        AllowExtensionOf: Controls["AllowExtensionOf"] | boolean | number | string;
+        DegenerateSubstitute: Controls["DegenerateSubstitute"];
+    }, "found non-publics", "only publics"> extends "found non-publics" ? T extends readonly (infer _)[] ? {
+        [K in keyof T]: JsonSerializableImpl<T[K], Controls, [
+            TNextAncestor,
+            ...TAncestorTypes
+        ]>;
+    } : T extends boolean | number | string ? T : SerializationErrorPerNonPublicProperties : JsonSerializableFilter<T, Controls, TAncestorTypes, TNextAncestor> : never : never;
+    /**
+     * Essentially a check for a template literal that has $\{string\} or
+     * $\{number\} in the pattern. Just `string` and/or `number` also match.
+     *
+     * @remarks This works recursively looking at first elements when not
+     * `string` or `number`. `first` will just be a single character if
+     * not $\{string\} or $\{number\}.
+     *
+     * @system
+     */
+    export type IfIndexKey<T, IfIndex, IfLiteral> = `${string}` extends T ? IfIndex : number extends T ? IfIndex : T extends `${infer first}${infer rest}` ? string extends first ? IfIndex : `${number}` extends first ? IfIndex : IfIndexKey<rest, IfIndex, IfLiteral> : IfLiteral;
+    /**
+     * Helper for {@link JsonSerializableFilter} to determine if a property may
+     * be `undefined` and selects from options for result.
+     * Since `unknown` is a superset of `undefined`, it is given a special case.
+     * Additionally since index signatures are inherently optional, `unknown` typed
+     * values are treated as not undefined (`Result["Otherwise"]`).
+     *
+     * @system
+     */
+    export type IfPossiblyUndefinedProperty<TKey, TValue, Result extends {
+        IfPossiblyUndefined: unknown;
+        IfUnknownNonIndexed: unknown;
+        Otherwise: unknown;
+    }> = undefined extends TValue ? unknown extends TValue ? IfIndexKey<TKey, Result["Otherwise"], Result["IfUnknownNonIndexed"]> : Result["IfPossiblyUndefined"] : Result["Otherwise"];
+    /**
+     * Core implementation of {@link JsonSerializable}.
+     *
+     * @privateRemarks
+     * Filtering through a single layer of recursion is all that is required
+     * when using in prescribed filter scenario.
+     *
+     * @system
+     */
+    export type JsonSerializableFilter<T, Controls extends FilterControlsWithSubstitution, TAncestorTypes extends unknown[], TNextAncestor = T> = boolean extends (T extends never ? true : false) ? Controls["DegenerateSubstitute"] : unknown extends T ? Controls["DegenerateSubstitute"] : IfExactTypeInTuple<T, TAncestorTypes, true, "no match"> extends true ? T : T extends null | boolean | number | string | Controls["AllowExtensionOf"] ? T : IfExactTypeInTuple<T, Controls["AllowExactly"], true, "no match"> extends true ? T : Extract<T, Function> extends never ? T extends object ? T extends readonly (infer _)[] ? {
+        [K in keyof T]: JsonForSerializableArrayItem<T[K], Controls, TAncestorTypes, JsonSerializableFilter<T[K], Controls, [
+            TNextAncestor,
+            ...TAncestorTypes
+        ]>>;
+    } : IsExactlyObject<T> extends true ? NonNullJsonObjectWith<TupleToUnion<Controls["AllowExactly"]> | Controls["AllowExtensionOf"]> : IfEnumLike<T> extends never ? T : FlattenIntersection<{
+        [K in keyof T as RequiredNonSymbolKeysOf<T, K>]-?: IfPossiblyUndefinedProperty<K, T[K], {
+            IfPossiblyUndefined: {
+                ["error required property may not allow `undefined` value"]: never;
+            };
+            IfUnknownNonIndexed: {
+                ["error required property may not allow `unknown` value"]: never;
+            };
+            Otherwise: JsonSerializableFilter<T[K], Controls, [
+                TNextAncestor,
+                ...TAncestorTypes
+            ]>;
+        }>;
+    } & {
+        [K in keyof T as OptionalNonSymbolKeysOf<T, K>]?: JsonSerializableFilter<T[K], Controls, [
+            TNextAncestor,
+            ...TAncestorTypes
+        ]>;
+    } & {
+        [K in keyof T & symbol]: never;
+    }> : never : never;
+    /**
+     * Sentinel type for use when marking points of recursion (in a recursive type).
+     * Type is expected to be unique, though no lengths are taken to ensure that.
+     *
+     * @system
+     */
+    export interface RecursionMarker {
+        [RecursionMarkerSymbol]: typeof RecursionMarkerSymbol;
+    }
+    /**
+     * Recursion limit is the count of `+` that prefix it when string.
+     *
+     * @system
+     */
+    export type RecursionLimit = `+${string}` | 0;
+    /**
+     * Outer implementation of {@link JsonDeserialized} handling meta cases
+     * like recursive types.
+     *
+     * @privateRemarks
+     * This utility is reentrant and will process a type `T` up to RecurseLimit.
+     *
+     * @system
+     */
+    export type JsonDeserializedImpl<T, Options extends Partial<FilterControls>, RecurseLimit extends RecursionLimit = "++++"> = {
+        AllowExactly: Options extends {
+            AllowExactly: unknown[];
+        } ? Options["AllowExactly"] : [];
+        AllowExtensionOf: Options extends {
+            AllowExtensionOf: unknown;
+        } ? Options["AllowExtensionOf"] : never;
+        DegenerateSubstitute: JsonTypeWith<(Options extends {
+            AllowExactly: unknown[];
+        } ? TupleToUnion<Options["AllowExactly"]> : never) | (Options extends {
+            AllowExtensionOf: unknown;
+        } ? Options["AllowExtensionOf"] : never)>;
+        DegenerateNonNullObjectSubstitute: NonNullJsonObjectWith<(Options extends {
+            AllowExactly: unknown[];
+        } ? TupleToUnion<Options["AllowExactly"]> : never) | (Options extends {
+            AllowExtensionOf: unknown;
+        } ? Options["AllowExtensionOf"] : never)>;
+    } extends infer Controls ? Controls extends DeserializedFilterControls ? boolean extends (T extends never ? true : false) ? Controls["DegenerateSubstitute"] : ReplaceRecursionWithMarkerAndPreserveAllowances<T, RecursionMarker, Controls> extends infer TNoRecursionAndOnlyPublics ? IsSameType<TNoRecursionAndOnlyPublics, JsonDeserializedFilter<TNoRecursionAndOnlyPublics, {
+        AllowExactly: [...Controls["AllowExactly"], RecursionMarker];
+        AllowExtensionOf: Controls["AllowExtensionOf"];
+        DegenerateSubstitute: Controls["DegenerateSubstitute"];
+        DegenerateNonNullObjectSubstitute: Controls["DegenerateNonNullObjectSubstitute"];
+    }, 0>> extends true ? IfNonPublicProperties<T, Controls, "found non-publics", "only publics"> extends "found non-publics" ? JsonDeserializedFilter<T, Controls, RecurseLimit> : T : JsonDeserializedFilter<T, Controls, RecurseLimit> : never : never : never;
+    /**
+     * Recurses T applying {@link InternalUtilityTypes.JsonDeserializedFilter} up to RecurseLimit times.
+     *
+     * @system
+     */
+    export type JsonDeserializedRecursion<T, Controls extends DeserializedFilterControls, RecurseLimit extends RecursionLimit, TAncestorTypes> = T extends TAncestorTypes ? RecurseLimit extends `+${infer RecursionRemainder}` ? JsonDeserializedImpl<T, Controls, RecursionRemainder extends RecursionLimit ? RecursionRemainder : 0> : Controls["DegenerateSubstitute"] : JsonDeserializedFilter<T, Controls, RecurseLimit, TAncestorTypes | T>;
+    /**
+     * Core implementation of {@link JsonDeserialized}.
+     *
+     * @system
+     */
+    export type JsonDeserializedFilter<T, Controls extends DeserializedFilterControls, RecurseLimit extends RecursionLimit, TAncestorTypes = T> = boolean extends (T extends never ? true : false) ? Controls["DegenerateSubstitute"] : unknown extends T ? Controls["DegenerateSubstitute"] : T extends null | boolean | number | string | Controls["AllowExtensionOf"] ? T : IfExactTypeInTuple<T, Controls["AllowExactly"], true, "not found"> extends true ? T : T extends object ? ExtractFunctionFromIntersection<T> extends {
+        classification: "exactly Function";
+    } ? never : T extends readonly (infer _)[] ? {
+        [K in keyof T]: JsonForDeserializedArrayItem<T[K], Controls, JsonDeserializedRecursion<T[K], Controls, RecurseLimit, TAncestorTypes>>;
+    } : IsExactlyObject<T> extends true ? Controls["DegenerateNonNullObjectSubstitute"] : IfEnumLike<T> extends never ? T : FlattenIntersection<{
+        [K in keyof T as NonSymbolWithDeserializablePropertyOf<T, Controls["AllowExactly"], Controls["AllowExtensionOf"], K>]: JsonDeserializedRecursion<T[K], Controls, RecurseLimit, TAncestorTypes>;
+    } & {
+        [K in keyof T as NonSymbolWithPossiblyDeserializablePropertyOf<T, Controls["AllowExactly"], Controls["AllowExtensionOf"], K>]?: JsonDeserializedRecursion<T[K], Controls, RecurseLimit, TAncestorTypes>;
+    }> : never;
+    export {};
+}
+export {};
+//# sourceMappingURL=exposedInternalUtilityTypes.d.ts.map

package/dist/exposedInternalUtilityTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exposedInternalUtilityTypes.d.ts","sourceRoot":"","sources":["../src/exposedInternalUtilityTypes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,KAAK,EACX,wCAAwC,EACxC,0CAA0C,EAC1C,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAEzE;;GAEG;AACH,QAAA,MAAM,qBAAqB,EAAE,OAAO,MAAiC,CAAC;AAEtE;;;;;;;;;;;;;;;;;;GAkBG;AAEH,yBAAiB,oBAAoB,CAAC;IACrC;;;;OAIG;IACH,MAAM,WAAW,cAAc;QAC9B;;;;WAIG;QACH,YAAY,EAAE,OAAO,EAAE,CAAC;QAExB;;;;WAIG;QACH,gBAAgB,EAAE,OAAO,CAAC;KAC1B;IAED;;;;;OAKG;IACH,UAAU,8BAA+B,SAAQ,cAAc;QAC9D;;;WAGG;QACH,oBAAoB,EAAE,OAAO,CAAC;KAC9B;IAED;;;;OAIG;IACH,UAAU,0BAA2B,SAAQ,8BAA8B;QAC1E;;;WAGG;QACH,iCAAiC,EAAE,OAAO,CAAC;KAC3C;IAED;;;;;;;;OAQG;IACH,MAAM,MAAM,uBAAuB,CAClC,CAAC,SAAS,MAAM,EAChB,IAAI,SAAS,MAAM,CAAC,GAAG,MAAM,CAAC,IAC3B,OAAO,CACV;SACE,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;KAClD,CAAC,IAAI,CAAC,EACP,SAAS,GAAG,MAAM,CAClB,CAAC;IAEF;;;;;;;;OAQG;IACH,MAAM,MAAM,uBAAuB,CAClC,CAAC,SAAS,MAAM,EAChB,IAAI,SAAS,MAAM,CAAC,GAAG,MAAM,CAAC,IAC3B,OAAO,CACV;SACE,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;KAClD,CAAC,IAAI,CAAC,EACP,SAAS,GAAG,MAAM,CAClB,CAAC;IAEF;;;;;;;;;;;;;;;;;;OAkBG;IACH,MAAM,MAAM,uBAAuB,CAClC,CAAC,EACD,gBAAgB,SAAS,OAAO,EAAE,EAClC,iBAAiB,EACjB,MAAM,SACH;QAAE,2BAA2B,EAAE,OAAO,CAAC;QAAC,uBAAuB,EAAE,KAAK,CAAA;KAAE,GACxE;QAAE,2BAA2B,EAAE,KAAK,CAAC;QAAC,uBAAuB,EAAE,OAAO,CAAA;KAAE,IAC9B,CAAC,SAAS,KAAK,GAC3C,MAAM,CAAC,yBAAyB,CAAC,GACd,CAAC,SAAS,iBAAiB,GACjC,MAAM,CAAC,6BAA6B,CAAC,GACR,kBAAkB,CAC1E,CAAC,EACD,gBAAgB,EACS,MAAM,CAAC,6BAA6B,CAAC,EACI,CAAC,SAChE,MAAM,GACN,MAAM,GACN,SAAS,GACiB,MAAM,CAAC,yBAAyB,CAAC,GAE5D,CAAC,SAAS,QAAQ,GAChB,+BAA+B,CAAC,CAAC,CAAC,SAAS;QAC3C,cAAc,EAAE,kBAAkB,CAAC;KACnC,GAC2B,MAAM,CAAC,yBAAyB,CAAC,GACrB,MAAM,CAAC,6BAA6B,CAAC,GACtC,MAAM,CAAC,6BAA6B,CAAC,CAC/E,CAAC;IAEL;;;;;OAKG;IACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAE9D;;;;;OAKG;IACH,MAAM,MAAM,qBAAqB,CAAC,CAAC,EAAE,QAAQ,SAAS,OAAO,EAAE,IAAI,kBAAkB,CACpF,CAAC,EACD,QAAQ,EACR,KAAK,EACL,CAAC,CACD,CAAC;IAEF;;;;;OAKG;IACH,MAAM,MAAM,aAAa,CACxB,KAAK,SAAS,OAAO,EAAE,EACvB,CAAC,EACD,WAAW,SAAS,OAAO,EAAE,GAAG,EAAE,IAC/B,KAAK,SAAS,CAAC,MAAM,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,GAC3C,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,GAAG,WAAW,GAAG,CAAC,GAAG,WAAW,EAAE,KAAK,CAAC,CAAC,GAC/E,WAAW,CAAC;IAEf;;;;;;OAMG;IACH,MAAM,MAAM,oBAAoB,CAC/B,KAAK,SAAS,OAAO,EAAE,EACvB,CAAC,EACD,WAAW,SAAS,OAAO,EAAE,GAAG,EAAE,IAC/B,KAAK,SAAS,CAAC,MAAM,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,GAC3C,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,GACzF,WAAW,CAAC;IAEf;;;;;;;;;;OAUG;IACH,MAAM,MAAM,qCAAqC,CAChD,CAAC,SAAS,MAAM,EAChB,gBAAgB,SAAS,OAAO,EAAE,EAClC,iBAAiB,EACjB,IAAI,SAAS,MAAM,CAAC,GAAG,MAAM,CAAC,IAC3B,OAAO,CACV;SACE,CAAC,IAAI,IAAI,GACV,qBAAqB,CACpB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,EAChC,oBAAoB,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAC/C,SAAS,MAAM,uBAAuB,GACpC,UAAU,CACV,uBAAuB,EACvB,OAAO,EACyC,KAAK,EACG,OAAO,CAC9D,uBAAuB,EAGvB,SAAS,GAAG,MAAM,GAAG,QAAQ,CAC7B,SAAS,KAAK,GAE2B,UAAU,CACjD,uBAAuB,EACvB,MAAM,EACmC,KAAK,EAEnB,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,CAAC,CACzD,GACgD,KAAK,CACxD,GACA,KAAK;KACR,CAAC,IAAI,CAAC,EACP,SAAS,GAAG,MAAM,CAClB,CAAC;IAEF;;;;;;;;;OASG;IACH,MAAM,MAAM,6CAA6C,CACxD,CAAC,SAAS,MAAM,EAChB,gBAAgB,SAAS,OAAO,EAAE,EAClC,iBAAiB,EACjB,IAAI,SAAS,MAAM,CAAC,GAAG,MAAM,CAAC,IAC3B,OAAO,CACV;SACE,CAAC,IAAI,IAAI,GACV,qBAAqB,CACpB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,EAChC,oBAAoB,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAC/C,SAAS,MAAM,uBAAuB,GACpC,OAAO,CACP,UAAU,CAAC,uBAAuB,EAAE,OAAO,EAAE,SAAS,EAAE,uBAAuB,CAAC,EAGhF,SAAS,GAAG,MAAM,GAAG,QAAQ,CAC7B,SAAS,KAAK,GACwC,KAAK,GACM,uBAAuB,CACvF,CAAC,CAAC,CAAC,CAAC,EACJ,oBAAoB,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAC/C,iBAAiB,EACjB;YAAE,2BAA2B,EAAE,CAAC,CAAC;YAAC,uBAAuB,EAAE,KAAK,CAAA;SAAE,CAClE,GACD,KAAK;KACR,CAAC,IAAI,CAAC,EACP,SAAS,GAAG,MAAM,CAClB,CAAC;IAEF;;;;;;;OAOG;IACH,MAAM,MAAM,4BAA4B,CACvC,CAAC,EACD,QAAQ,SAAS,cAAc,EAC/B,cAAc,SAAS,OAAO,EAAE,EAChC,QAAQ,IAGY,OAAO,SAAS,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC,GACnD,QAAQ,GACE,OAAO,SAAS,CAAC,GACtB,QAAQ,GACI,kBAAkB,CACjD,CAAC,EACD,cAAc,EACgB,CAAC,EAC0B,CAAC,SACvD,IAAI,GACJ,OAAO,GACP,MAAM,GACN,MAAM,GACN,QAAQ,CAAC,kBAAkB,CAAC,GACY,CAAC,GACR,kBAAkB,CACnD,CAAC,EACD,QAAQ,CAAC,cAAc,CAAC,EACxB,CAAC,EACoC,SAAS,SAAS,CAAC,GAC5B,0CAA0C,GACnE,QAAQ,CACX,CACH,CAAC;IAEL;;;;OAIG;IACH,MAAM,MAAM,4BAA4B,CACvC,CAAC,EACD,QAAQ,SAAS,0BAA0B,EAC3C,QAAQ,IAGY,OAAO,SAAS,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC,GACnD,QAAQ,GACE,OAAO,SAAS,CAAC,GACtB,QAAQ,GACgC,CAAC,SACzD,IAAI,GACJ,OAAO,GACP,MAAM,GACN,MAAM,GACN,QAAQ,CAAC,kBAAkB,CAAC,GACO,CAAC,GACL,kBAAkB,CACnD,CAAC,EACD,QAAQ,CAAC,cAAc,CAAC,EACE,CAAC,EACiB,CAAC,SAAS,SAAS,GAAG,MAAM,GAC5D,IAAI,GAEd,CAAC,SAAS,QAAQ,GAChB,+BAA+B,CAAC,CAAC,CAAC,SAAS;QAC3C,cAAc,EAAE,kBAAkB,CAAC;KACnC,GACC,IAAI,GACJ,IAAI,GAAG,QAAQ,GAChB,QAAQ,CACZ,CAAC;IAEN;;;;OAIG;IACH,MAAM,MAAM,UAAU,CACrB,CAAC,SAAS,MAAM,EAChB,QAAQ,GAAG,KAAK,EAChB,WAAW,GAAG,OAAO,IAClB,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAChB,WAAW,GAE3B,CAAC,SAAS,QAAQ,GACE,WAAW,GAC7B,CAAC,SAAS;QAET,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QAE7B,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;QAEtC,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;KAC5B,GACuC,IAAI,SAAS;SACnD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK;KACjD,CAAC,MAAM,CAAC,CAAC,GACR,WAAW,GACX,QAAQ,GACT,WAAW,CAAC;IAEjB;;;;;;;;;;;;OAYG;IACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,EAAE,WAAW,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GACxF,CAAC,GACD,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GACvC,MAAM,GACN,WAAW,CAAC;IAEf;;;;;;;;;;;OAWG;IACH,MAAM,MAAM,kBAAkB,CAC7B,CAAC,EACD,KAAK,SAAS,OAAO,EAAE,EACvB,OAAO,GAAG,OAAO,EACjB,SAAS,GAAG,KAAK,IACd,KAAK,SAAS,CAAC,MAAM,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,GAC3C,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,GAC9E,SAAS,CAAC;IAEb;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,EAAE,SAAS,GAAG,KAAK,IAAI,UAAU,CAC1F,CAAC,EACD,KAAK,EACe,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,EACxC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,CAC5E,CAAC;IAEF;;;;;;;;;;OAUG;IACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAE7D;;;;OAIG;IACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,IAAI,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAEtE;;;;;;;OAOG;IACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,EAAE,OAAO,CAAC,IAClF,CAAC,SAAS,MAAM,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,EAAE,OAAO,CAAC,GAChD;SACC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KACpB,GACA,CAAC,CAAC;IAEN;;;;;;;;;;OAUG;IACH,MAAM,MAAM,+BAA+B,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,CAAC,SAAS,KAC1E,GAAG,IAAI,EAAE,MAAM,CAAC,KACZ,MAAM,CAAC,GACT,KACA,GAAG,IAAI,EAAE,CAAC,KACN,CAAC,GACL,OAAO,CAAC,GACV,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,MAAM,CAAC,GACrC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,GACjB,OAAO,CAAC,SAAS,MAAM,UAAU,GAClC;QACA,cAAc,EAAE,OAAO,SAAS,UAAU,GACvC,aAAa,GACb,UAAU,SAAS,QAAQ,CAAC,CAAC,CAAC,GAC7B,kBAAkB,GAClB,mBAAmB,CAAC;QACxB,QAAQ,EAAE,UAAU,CAAC;KACrB,GACA,KAAK,CAAC;IAET;;;;;;OAMG;IACH,MAAM,MAAM,wBAAwB,CACnC,QAAQ,SAAS,MAAM,EACvB,QAAQ,IACL,+BAA+B,CAAC,QAAQ,CAAC,SAAS;QACrD,cAAc,EAAE,MAAM,eAAe,CAAC;QACtC,QAAQ,EAAE,MAAM,SAAS,CAAC;KAC1B,GACE,eAAe,SAAS,kBAAkB,GACzC,SAAS,GACT,SAAS,GAAG,QAAQ,GACrB,KAAK,CAAC;IAET;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,MAAM,MAAM,+CAA+C,CAC1D,CAAC,EACD,gBAAgB,EAChB,QAAQ,SAAS,cAAc,EAC/B,cAAc,SAAS,OAAO,EAAE,GAAG,EAAE,EACrC,aAAa,GAAG,CAAC,IAElB,kBAAkB,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,IAAI,GAC9B,gBAAgB,GACZ,CAAC,SAAS,MAAM,CAAC,GAExD,kBAAkB,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,IAAI,GAClE,gBAAgB,GACiB,CAAC,SAAS,QAAQ,CAAC,kBAAkB,CAAC,GACtC,CAAC,GACF,kBAAkB,CAChD,CAAC,EACD,QAAQ,CAAC,cAAc,CAAC,EACxB,IAAI,EACJ,UAAU,CACV,SAAS,IAAI,GACe,CAAC,GAC7B,CAAC,SAAS,MAAM,GACf,wBAAwB,CACxB,CAAC,EACD;SACE,CAAC,IAAI,MAAM,CAAC,GAAG,+CAA+C,CAC9D,CAAC,CAAC,CAAC,CAAC,EACJ,gBAAgB,EAChB,QAAQ,EACR;YAAC,aAAa;YAAE,GAAG,cAAc;SAAC,CAClC;KACD,CACD,GAC4B,CAAC,GACjC,KAAK,CAAC;IAEV;;;;;;;;;;OAUG;IACH,MAAM,MAAM,sCAAsC,CACjD,CAAC,EACD,QAAQ,SAAS,cAAc,EAC/B,cAAc,SAAS,OAAO,EAAE,GAAG,EAAE,EACrC,aAAa,GAAG,CAAC,IACuB,kBAAkB,CAC1D,CAAC,EACD,cAAc,EACd,IAAI,EACJ,UAAU,CACV,SAAS,IAAI,GACQ,KAAK,GACwC,CAAC,SAAS,QAAQ,CAAC,kBAAkB,CAAC,GACrE,KAAK,GACN,kBAAkB,CAChD,CAAC,EACD,QAAQ,CAAC,cAAc,CAAC,EACxB,IAAI,EACJ,UAAU,CACV,SAAS,IAAI,GACe,KAAK,GACa,kBAAkB,CAC/D,CAAC,EACD,cAAc,EACd,IAAI,EACJ,UAAU,CACV,SAAS,IAAI,GACM,KAAK,GACxB,CAAC,SAAS,MAAM,GACf,wBAAwB,CACxB,CAAC,EACD;SACE,CAAC,IAAI,MAAM,CAAC,GAAG,sCAAsC,CACrD,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,EACR;YAAC,aAAa;YAAE,GAAG,cAAc;SAAC,CAClC;KACD,CACD,GAC4B,CAAC,CAAC;IAErC;;;;;;;;;;;;;;;OAeG;IACH,MAAM,MAAM,qBAAqB,CAChC,CAAC,EACD,QAAQ,SAAS,cAAc,EAC/B,YAAY,GAAG,KAAK,EACpB,WAAW,GAAG,OAAO,IAClB,sCAAsC,CAAC,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,GAC9D,WAAW,GACX,YAAY,CAAC;IAEhB;;;;OAIG;IACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC;IAI1D;;;;;OAKG;IACH,MAAM,MAAM,oBAAoB,CAC/B,CAAC,EACD,OAAO,SAAS,OAAO,CAAC,cAAc,CAAC,GAAG;QACzC,yBAAyB,CAAC,EAAE,6BAA6B,CAAC;KAC1D,EACD,cAAc,SAAS,OAAO,EAAE,GAAG,EAAE,EACrC,aAAa,GAAG,CAAC,IAElB;QACC,YAAY,EAAE,OAAO,SAAS;YAAE,YAAY,EAAE,OAAO,EAAE,CAAA;SAAE,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC;QACzF,gBAAgB,EAAE,OAAO,SAAS;YAAE,gBAAgB,EAAE,OAAO,CAAA;SAAE,GAC5D,OAAO,CAAC,kBAAkB,CAAC,GAC3B,KAAK,CAAC;QAIT,oBAAoB,EAAE,YAAY,CAC/B,CAAC,OAAO,SAAS;YAAE,YAAY,EAAE,OAAO,EAAE,CAAA;SAAE,GAC1C,YAAY,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,GACrC,KAAK,CAAC,GACR,CAAC,OAAO,SAAS;YAAE,gBAAgB,EAAE,OAAO,CAAA;SAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,GAAG,KAAK,CAAC,CACvF,CAAC;KACF,SAAS,MAAM,QAAQ,GAEtB,QAAQ,SAAS,8BAA8B,GACxB,OAAO,SAAS,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC,GACrD,QAAQ,CAAC,sBAAsB,CAAC,GAC/C,OAAO,CAAC,2BAA2B,CAAC,SAAS,6BAA6B,GACzE,sBAAsB,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,aAAa,CAAC,GAEnE,qBAAqB,CACnB,CAAC,EACD;QACC,YAAY,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC;QAEvC,gBAAgB,EAAE,QAAQ,CAAC,kBAAkB,CAAC,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;QAC3E,oBAAoB,EAAE,QAAQ,CAAC,sBAAsB,CAAC,CAAC;KACvD,EACD,mBAAmB,EACnB,cAAc,CACd,SAAS,mBAAmB,GAC8C,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACxF;SAEd,CAAC,IAAI,MAAM,CAAC,GAAG,oBAAoB,CACnC,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,EACR;YAAC,aAAa;YAAE,GAAG,cAAc;SAAC,CAClC;KACD,GAED,CAAC,SAAS,OAAO,GAAG,MAAM,GAAG,MAAM,GACwB,CAAC,GACjC,wCAAwC,GAClB,sBAAsB,CACvE,CAAC,EACD,QAAQ,EACR,cAAc,EACd,aAAa,CACb,GACH,KAAK,GACN,KAAK,CAAkC;IAE1C;;;;;;;;;OASG;IACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,IAAI,GAAG,MAAM,EAAE,SAAS,CAAC,GAClE,OAAO,GACP,MAAM,SAAS,CAAC,GACf,OAAO,GACP,CAAC,SAAS,GAAG,MAAM,KAAK,GAAG,MAAM,IAAI,EAAE,GACtC,MAAM,SAAS,KAAK,GACnB,OAAO,GACP,GAAG,MAAM,EAAE,SAAS,KAAK,GACxB,OAAO,GACP,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,GACtC,SAAS,CAAC;IAEf;;;;;;;;OAQG;IACH,MAAM,MAAM,2BAA2B,CACtC,IAAI,EACJ,MAAM,EACN,MAAM,SAAS;QACd,mBAAmB,EAAE,OAAO,CAAC;QAC7B,mBAAmB,EAAE,OAAO,CAAC;QAC7B,SAAS,EAAE,OAAO,CAAC;KACnB,IACE,SAAS,SAAS,MAAM,GACzB,OAAO,SAAS,MAAM,GACrB,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,qBAAqB,CAAC,CAAC,GACpE,MAAM,CAAC,qBAAqB,CAAC,GAC9B,MAAM,CAAC,WAAW,CAAC,CAAC;IAEvB;;;;;;;;OAQG;IACH,MAAM,MAAM,sBAAsB,CACjC,CAAC,EACD,QAAQ,SAAS,8BAA8B,EAC/C,cAAc,SAAS,OAAO,EAAE,EAChC,aAAa,GAAG,CAAC,IACO,OAAO,SAAS,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC,GACvD,QAAQ,CAAC,sBAAsB,CAAC,GACtB,OAAO,SAAS,CAAC,GACtB,QAAQ,CAAC,sBAAsB,CAAC,GAC1B,kBAAkB,CAC1C,CAAC,EACD,cAAc,EACd,IAAI,EACJ,UAAU,CACV,SAAS,IAAI,GACuB,CAAC,GACiC,CAAC,SACpE,IAAI,GACJ,OAAO,GACP,MAAM,GACN,MAAM,GACN,QAAQ,CAAC,kBAAkB,CAAC,GACQ,CAAC,GACR,kBAAkB,CAChD,CAAC,EACD,QAAQ,CAAC,cAAc,CAAC,EACxB,IAAI,EACJ,UAAU,CACV,SAAS,IAAI,GACiB,CAAC,GAEF,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,SAAS,KAAK,GACtB,CAAC,SAAS,MAAM,GACxB,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAC7C;SAGd,CAAC,IAAI,MAAM,CAAC,GAAG,4BAA4B,CAC3C,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,EACR,cAAc,EACd,sBAAsB,CACrB,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,EACR;YAAC,aAAa;YAAE,GAAG,cAAc;SAAC,CAClC,CACD;KACD,GACgD,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,GAC5D,qBAAqB,CACvC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CACrE,GAC+B,UAAU,CAAC,CAAC,CAAC,SAAS,KAAK,GACL,CAAC,GAC/B,mBAAmB,CACzC;SAEE,CAAC,IAAI,MAAM,CAAC,IAAI,uBAAuB,CACvC,CAAC,EACD,CAAC,CACD,CAAC,CAAC,GAAG,2BAA2B,CAChC,CAAC,EACD,CAAC,CAAC,CAAC,CAAC,EACJ;YACC,mBAAmB,EAAE;gBACpB,CAAC,yDAAyD,CAAC,EAAE,KAAK,CAAC;aACnE,CAAC;YACF,mBAAmB,EAAE;gBACpB,CAAC,uDAAuD,CAAC,EAAE,KAAK,CAAC;aACjE,CAAC;YACF,SAAS,EAAE,sBAAsB,CAChC,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,EACR;gBAAC,aAAa;gBAAE,GAAG,cAAc;aAAC,CAClC,CAAC;SACF,CACD;KACD,GAAG;SAGF,CAAC,IAAI,MAAM,CAAC,IAAI,uBAAuB,CACvC,CAAC,EACD,CAAC,CACD,CAAC,CAAC,EAAE,sBAAsB,CAC1B,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,EACR;YAAC,aAAa;YAAE,GAAG,cAAc;SAAC,CAClC;KACD,GAAG;SAEF,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,GAAG,KAAK;KAC9B,CACD,GACoB,KAAK,GACX,KAAK,CAAC;IAMhC;;;;;OAKG;IACH,MAAM,WAAW,eAAe;QAC/B,CAAC,qBAAqB,CAAC,EAAE,OAAO,qBAAqB,CAAC;KACtD;IAED;;;;OAIG;IACH,MAAM,MAAM,cAAc,GAAG,IAAI,MAAM,EAAE,GAAG,CAAC,CAAC;IAE9C;;;;;;;;OAQG;IACH,MAAM,MAAM,oBAAoB,CAC/B,CAAC,EACD,OAAO,SAAS,OAAO,CAAC,cAAc,CAAC,EACvC,YAAY,SAAS,cAAc,GAAG,MAAM,IAE7C;QACC,YAAY,EAAE,OAAO,SAAS;YAAE,YAAY,EAAE,OAAO,EAAE,CAAA;SAAE,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC;QACzF,gBAAgB,EAAE,OAAO,SAAS;YAAE,gBAAgB,EAAE,OAAO,CAAA;SAAE,GAC5D,OAAO,CAAC,kBAAkB,CAAC,GAC3B,KAAK,CAAC;QAIT,oBAAoB,EAAE,YAAY,CAC/B,CAAC,OAAO,SAAS;YAAE,YAAY,EAAE,OAAO,EAAE,CAAA;SAAE,GAC1C,YAAY,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,GACrC,KAAK,CAAC,GACR,CAAC,OAAO,SAAS;YAAE,gBAAgB,EAAE,OAAO,CAAA;SAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,GAAG,KAAK,CAAC,CACvF,CAAC;QACF,iCAAiC,EAAE,qBAAqB,CACrD,CAAC,OAAO,SAAS;YAAE,YAAY,EAAE,OAAO,EAAE,CAAA;SAAE,GAC1C,YAAY,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,GACrC,KAAK,CAAC,GACR,CAAC,OAAO,SAAS;YAAE,gBAAgB,EAAE,OAAO,CAAA;SAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,GAAG,KAAK,CAAC,CACvF,CAAC;KACF,SAAS,MAAM,QAAQ,GAEtB,QAAQ,SAAS,0BAA0B,GACpB,OAAO,SAAS,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC,GACrD,QAAQ,CAAC,sBAAsB,CAAC,GACR,+CAA+C,CACrF,CAAC,EACD,eAAe,EACf,QAAQ,CACR,SAAS,MAAM,0BAA0B,GACG,UAAU,CACtD,0BAA0B,EAC1B,sBAAsB,CACrB,0BAA0B,EAC1B;QACC,YAAY,EAAE,CAAC,GAAG,QAAQ,CAAC,cAAc,CAAC,EAAE,eAAe,CAAC,CAAC;QAC7D,gBAAgB,EAAE,QAAQ,CAAC,kBAAkB,CAAC,CAAC;QAC/C,oBAAoB,EAAE,QAAQ,CAAC,sBAAsB,CAAC,CAAC;QACvD,iCAAiC,EAAE,QAAQ,CAAC,mCAAmC,CAAC,CAAC;KACjF,EACD,CAAC,CACD,CACD,SAAS,IAAI,GAGb,qBAAqB,CACpB,CAAC,EAKD,QAAQ,EACR,mBAAmB,EACnB,cAAc,CACd,SAAS,mBAAmB,GAG5B,sBAAsB,CACrB,CAAC,EACD,QAAQ,EAQR,YAAY,CACZ,GAED,CAAC,GAC4B,sBAAsB,CAAC,CAAC,EAAE,QAAQ,EAAE,YAAY,CAAC,GAC9C,KAAK,GACxC,KAAK,GACN,KAAK,CAAkC;IAE1C;;;;OAIG;IACH,MAAM,MAAM,yBAAyB,CACpC,CAAC,EACD,QAAQ,SAAS,0BAA0B,EAC3C,YAAY,SAAS,cAAc,EACnC,cAAc,IACX,CAAC,SAAS,cAAc,GACzB,YAAY,SAAS,IAAI,MAAM,kBAAkB,EAAE,GAInD,oBAAoB,CACnB,CAAC,EACD,QAAQ,EACR,kBAAkB,SAAS,cAAc,GAAG,kBAAkB,GAAG,CAAC,CAClE,GACA,QAAQ,CAAC,sBAAsB,CAAC,GACjC,sBAAsB,CAAC,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,GAAG,CAAC,CAAC,CAAC;IAEzE;;;;OAIG;IACH,MAAM,MAAM,sBAAsB,CACjC,CAAC,EACD,QAAQ,SAAS,0BAA0B,EAC3C,YAAY,SAAS,cAAc,EACnC,cAAc,GAAG,CAAC,IACM,OAAO,SAAS,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC,GACvD,QAAQ,CAAC,sBAAsB,CAAC,GACtB,OAAO,SAAS,CAAC,GACtB,QAAQ,CAAC,sBAAsB,CAAC,GACmB,CAAC,SACpE,IAAI,GACJ,OAAO,GACP,MAAM,GACN,MAAM,GACN,QAAQ,CAAC,kBAAkB,CAAC,GACQ,CAAC,GACF,kBAAkB,CACtD,CAAC,EACD,QAAQ,CAAC,cAAc,CAAC,EACxB,IAAI,EACJ,WAAW,CACX,SAAS,IAAI,GACiB,CAAC,GACT,CAAC,SAAS,MAAM,GACrB,+BAA+B,CAAC,CAAC,CAAC,SAAS;QAC3D,cAAc,EAAE,kBAAkB,CAAC;KACnC,GAC2B,KAAK,GAER,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACrC;SAGd,CAAC,IAAI,MAAM,CAAC,GAAG,4BAA4B,CAC3C,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,EACR,yBAAyB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,CAAC,CACvE;KACD,GACgD,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,GAC5D,QAAQ,CAAC,mCAAmC,CAAC,GAChC,UAAU,CAAC,CAAC,CAAC,SAAS,KAAK,GACL,CAAC,GAC/B,mBAAmB,CAEzC;SAEE,CAAC,IAAI,MAAM,CAAC,IAAI,qCAAqC,CACrD,CAAC,EACD,QAAQ,CAAC,cAAc,CAAC,EACxB,QAAQ,CAAC,kBAAkB,CAAC,EAC5B,CAAC,CACD,GAAG,yBAAyB,CAC5B,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,EACR,YAAY,EACZ,cAAc,CACd;KACD,GAAG;SAEF,CAAC,IAAI,MAAM,CAAC,IAAI,6CAA6C,CAC7D,CAAC,EACD,QAAQ,CAAC,cAAc,CAAC,EACxB,QAAQ,CAAC,kBAAkB,CAAC,EAC5B,CAAC,CACD,CAAC,CAAC,EAAE,yBAAyB,CAC7B,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,EACR,YAAY,EACZ,cAAc,CACd;KACD,CACD,GACmB,KAAK,CAAC;;CAGpC"}

package/dist/exposedInternalUtilityTypes.js

@@ -0,0 +1,11 @@
+"use strict";
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+/**
+ * Unique symbol for recursion meta-typing.
+ */
+const RecursionMarkerSymbol = Symbol("recursion here");
+//# sourceMappingURL=exposedInternalUtilityTypes.js.map