inferred-types 0.52.14 → 0.53.0

package/dist/types/runtime-types/TypeOf.d.ts

@@ -1,54 +0,0 @@
-import { TYPE_OF } from "inferred-types/constants";
-import { IsUndefined, AnyFunction, AnyObject, TupleToUnion } from "inferred-types/types";
-/**
- * **TypeOf**
- *
- * The possible _types_ returned by the Javascript `typeof` command.
- *
- * - most types such as `string`, `number`, `boolean`, `undefined`, etc. have very
- * straight forward "types"
- * - the `object` type however translates into `null` and any array or object
- * - even though `function` _is_ clearly separated from `object` at runtime with **typeof**
- * it does allow dictionary properties to be attached along with being a function. This
- * contrasts with Typescript which models an intersection between a function signature
- * and an object signature.
- *
- * **Related:** `TypeOfExtended`
- */
-export type TypeOf = TupleToUnion<typeof TYPE_OF>;
-/**
- * **TypeOfExtended**
- *
- * The base data structures we tend think of in Javascript including some
- * like `null` and `array` which are not reported by the **typeof** operator.
- *
- * This set of operators, while not natively supported by **typeof** is supported
- * by type and runtime utilities in this library.
- *
- * **Related:** `TypeOf`, `TypeTokens`
- */
-export type TypeOfExtended = TypeOf | "null" | "array" | "function-with-props";
-/**
- * **GetTypeOf**`<T>`
- *
- * type utility which converts a type string literal which represents
- * the value of this type from the standpoint of Javascript's `typeof`
- * operator.
- */
-export type GetTypeOf<T> = (T extends string ? "string" : [T] extends [number] ? "number" : [T] extends [boolean] ? "boolean" : [T] extends [AnyFunction] ? "function" : [T] extends [AnyObject] | null | unknown[] ? "object" : [T] extends [bigint] ? "bigint" : [IsUndefined<T>] extends [true] ? "undefined" : [T] extends [symbol] ? "symbol" : never) & TypeOf;
-/**
- * **ConvertTypeOf**`<T>`
- *
- * Type utility which receives a `TypeOf` value and converts into a
- * comparable type.
- *
- * - please keep in mind that `object` types are converted to:
- *    ```ts
- *    AnyObject | null | unknown[]
- *    ```
- * - any runtime type which is seen as a `function` is converted to the
- * `AnyFunction` type alias which includes allowing for functions which
- * have dictionary props.
- */
-export type ConvertTypeOf<T extends TypeOf> = T extends "string" ? string : T extends "number" ? number : T extends "object" ? AnyObject | null | unknown[] : T extends "undefined" ? undefined : T extends "function" ? AnyFunction : T extends "bigint" ? number : T extends "symbol" ? symbol : T extends "boolean" ? boolean : never;
-//# sourceMappingURL=TypeOf.d.ts.map

package/dist/types/runtime-types/TypeOf.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"TypeOf.d.ts","sourceRoot":"","sources":["../../../src/types/runtime-types/TypeOf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,WAAW,EAAG,WAAW,EAAE,SAAS,EAAG,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAE3F;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,OAAO,CAAC,CAAC;AAElD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,qBAAqB,CAAC;AAE/E;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,MAAM,GACxC,QAAQ,GACR,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,QAAQ,GAC/B,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,SAAS,GACjC,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,UAAU,GACtC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,OAAO,EAAE,GAAG,QAAQ,GACrD,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,QAAQ,GAC/B,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,WAAW,GAC7C,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,QAAQ,GAC/B,KAAK,CACR,GAAG,MAAM,CAAC;AAEX;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,QAAQ,GAC5D,MAAM,GACN,CAAC,SAAS,QAAQ,GAAG,MAAM,GAC3B,CAAC,SAAS,QAAQ,GAAG,SAAS,GAAG,IAAI,GAAG,OAAO,EAAE,GACjD,CAAC,SAAS,WAAW,GAAG,SAAS,GACjC,CAAC,SAAS,UAAU,GAAG,WAAW,GAClC,CAAC,SAAS,QAAQ,GAAG,MAAM,GAC3B,CAAC,SAAS,QAAQ,GAAG,MAAM,GAC3B,CAAC,SAAS,SAAS,GAAG,OAAO,GAC7B,KAAK,CAAC"}

package/dist/types/runtime-types/TypeOf.js

@@ -1 +0,0 @@
-export {};

package/dist/types/runtime-types/TypeToken.d.ts

@@ -1,203 +0,0 @@
-import { Split, AfterFirst, First, AsNumber, AnyFunction, Dictionary, IsNever, Throw, Contains, If } from "inferred-types/types";
-import type { TT_Atomics, TT_Containers, TT_Functions, TT_SEP, TT_START, TT_STOP, TT_Singletons, TT_Sets, SIMPLE_SCALAR_TOKENS, SIMPLE_UNION_TOKENS, SIMPLE_OPT_SCALAR_TOKENS, SIMPLE_DICT_TOKENS, SIMPLE_ARRAY_TOKENS, SIMPLE_MAP_TOKENS, SIMPLE_SET_TOKENS } from "inferred-types/constants";
-/**
- * **SimpleToken**
- *
- * An enumeration of string values which point to _types_ in the
- * the type system.
- *
- * **Related:**
- * - `SimpleScalarToken`, `SimpleContainerToken`, `SimpleUnionToken`,
- * - `TypeToken`
- */
-export type SimpleToken = SimpleScalarToken | SimpleArrayToken | SimpleDictToken | SimpleMapToken | SimpleSetToken | SimpleUnionToken;
-/**
- * the _optional_ variants of the `SimpleScalarToken` type
- */
-export type OptionalSimpleScalarTokens = typeof SIMPLE_OPT_SCALAR_TOKENS[number];
-/**
- * the _required_ variants of the `SimpleScalarToken` type
- */
-export type RequiredSimpleScalarTokens = typeof SIMPLE_SCALAR_TOKENS[number];
-/**
- * **SimpleScalarToken**
- *
- * A subset of the `SimpleToken` which may be more useful for building
- * simple string literal values.
- *
- * **Note:** this includes both `RequiredSimpleScalarTokens` and `OptionalSimpleScalarTokens`.
- */
-export type SimpleScalarToken = RequiredSimpleScalarTokens | OptionalSimpleScalarTokens;
-/**
- * **SimpleUnionToken**
- *
- * A subset of `SimpleToken` which represents union types.
- */
-export type SimpleUnionToken = typeof SIMPLE_UNION_TOKENS[number];
-/**
- * **BaseTypeToken**
- *
- * A very simple structure for `TypeTokens` to fit into.
- *
- * Use this type if you need to preserve type simplicity, otherwise
- * prefer `TypeToken` (or subsets like `AtomicToken`, `SingletonToken`, etc.)
- */
-export type BaseTypeToken = `${TypeTokenStart}${string}${TypeTokenStop}`;
-/**
- * a subset of `SimpleContainerToken`
- */
-export type SimpleDictToken = typeof SIMPLE_DICT_TOKENS[number];
-/**
- * a subset of `SimpleContainerToken`
- */
-export type SimpleArrayToken = typeof SIMPLE_ARRAY_TOKENS[number];
-/**
- * a subset of `SimpleContainerToken`
- */
-export type SimpleMapToken = typeof SIMPLE_MAP_TOKENS[number];
-/**
- * a subset of `SimpleContainerToken`
- */
-export type SimpleSetToken = typeof SIMPLE_SET_TOKENS[number];
-/**
- * **SimpleContainerToken**
- *
- * A subset of `SimpleToken` which provides shortcut's for expressing
- * _container_ types via a simple token.
- */
-export type SimpleContainerToken = SimpleDictToken | SimpleArrayToken | SimpleMapToken | SimpleArrayToken;
-/**
- * TypeTokenAtomics
- *
- * The token names which are considered "atomic"
- */
-export type TypeTokenAtomics = typeof TT_Atomics[number];
-/**
- * **AtomicToken**
- *
- * A fully formed `TypeToken` of the "atomic" type.
- */
-export type AtomicToken = `<<${TypeTokenAtomics}>>`;
-export type TypeTokenContainers = typeof TT_Containers[number];
-export type ContainerToken = `<<${TypeTokenContainers}${string}>>`;
-export type UnionToken<_TEls extends readonly unknown[] = unknown[]> = `<<union::[ ${string} ]>>`;
-/**
- * **UnionSetToken**
- *
- * - static `<<union-set::`, then
- * - set _name_ `${string}`, then
- * - static `::[ `, then
- * - set _parameters_ `${string}`, then
- * - static ` ]>>`
- */
-export type UnionSetToken = `<<union-set::${string}::[ ${string} ]>>`;
-export type ObjectToken = `<<obj::{ ${string} }>>`;
-export type TupleToken = `<<tuple::[ ${string} ]>>`;
-export type ArrayToken = `<<arr::${BaseTypeToken}>>`;
-export type RecordToken = `<<rec::${BaseTypeToken}::${BaseTypeToken}>>`;
-export type SetToken = `<<set::${BaseTypeToken}>>`;
-export type MapToken = `<<map::${BaseTypeToken}::${BaseTypeToken}>>`;
-export type WeakMapToken = `<<weak::${BaseTypeToken}::${BaseTypeToken}>>`;
-export type FnToken = `<<fn::${string}::${BaseTypeToken}>>`;
-export type GeneratorToken = `<<gen::${string}::${BaseTypeToken}>>`;
-export type TypeTokenFunctions = typeof TT_Functions[number];
-export type TypeTokenSingletons = typeof TT_Singletons[number];
-/**
- * **SingletonToken**
- *
- * Shapes:
- * - Wide: `<<string>>` or `<<number>>`
- * - Literal: `<<string::{string}>` or `<number::{number}>`
- * - Union Literal: `<<string::{UnionToken}>>`
- * - Sets: `<<string-set::[set]::[...params]>`
- */
-export type SingletonToken = `<<${TypeTokenSingletons}>>` | `<<${TypeTokenSingletons}::${string}>>` | `<<${TypeTokenSingletons}::${UnionToken}>>` | `<<string-set::${string}::[${string}]>>` | `<<number-set::${string}::[${string}]>>`;
-export type TypeTokenSets = typeof TT_Sets[number];
-/**
- * **TypeTokenKind**
- *
- * The full set of _type token_ kinds (aka, the first and
- * identifying part of the string token after the initial
- * token identifier)
- */
-export type TypeTokenKind = TypeTokenAtomics | TypeTokenContainers | TypeTokenFunctions | TypeTokenSets | TypeTokenSingletons;
-/**
- * string which indicates the start of a `TypeToken`
- */
-export type TypeTokenStart = typeof TT_START;
-/**
- * string which indicates the end of a `TypeToken`
- */
-export type TypeTokenStop = typeof TT_STOP;
-export type TypeTokenSeparator = typeof TT_SEP;
-/**
- * **TypeToken**
- *
- *
- */
-export type TypeToken<T extends TypeTokenKind = TypeTokenKind> = `${TypeTokenStart}${T}${"" | `::${string}`}${TypeTokenStop}`;
-type Parse<T extends TypeToken> = T extends `${TypeTokenStart}${infer Data}${TypeTokenStop}` ? If<Contains<Data, TypeTokenSeparator>, Split<Data, TypeTokenSeparator>, [
-    Data
-]> : never;
-type Kind<T extends TypeToken> = Parse<T>[0] extends TypeTokenKind ? Parse<T>[0] : never;
-type Data<T extends TypeToken> = AfterFirst<Parse<T>>;
-type Categories = "atomics" | "containers" | "functions" | "singletons";
-type Category<T extends TypeToken> = Kind<T> extends TypeTokenAtomics ? "atomics" : Kind<T> extends TypeTokenContainers ? "containers" : Kind<T> extends TypeTokenFunctions ? "functions" : Kind<T> extends TypeTokenSingletons ? "singletons" : never;
-type GetAtomic<T extends TypeTokenKind> = T extends "undefined" ? undefined : T extends "null" ? null : T extends [boolean, "true"] ? true : T extends [boolean, "false"] ? false : never;
-type GetSingleton<T extends TypeTokenKind, D extends readonly string[]> = T extends "string" ? D["length"] extends 0 ? string : First<D> extends string ? [string, First<D>] : never : T extends "number" ? D["length"] extends 0 ? number : First<D> extends `${number}` ? [number, AsNumber<First<D>>] : never : never;
-type GetFunction<T extends TypeTokenKind, _D extends readonly string[]> = T extends "fn" ? AnyFunction : T extends "gen" ? Generator : never;
-type GetContainer<T extends TypeTokenKind, _D extends readonly string[]> = T extends "obj" ? Dictionary : T extends "arr" ? unknown[] : T extends "set" ? Set<unknown> : T extends "map" ? Map<unknown, unknown> : T extends "weak" ? WeakMap<object, unknown> : never;
-type Type<TCat extends Categories, TKind extends TypeTokenKind, TData extends readonly string[]> = TCat extends "atomics" ? GetAtomic<TKind> : TCat extends "singletons" ? GetSingleton<TKind, TData> : TCat extends "functions" ? GetFunction<TKind, TData> : TCat extends "containers" ? GetContainer<TKind, TData> : never;
-type TypeHelper<T> = IsNever<T> extends true ? {
-    baseType: never;
-} : T extends readonly [infer First, infer Second] ? {
-    baseType: First;
-    literalType: Second;
-} : {
-    baseType: T;
-};
-/**
- * **ParseToken**`<T>`
- *
- * Attempts to parses the passed in string in `T` as a
- * `TypeToken` and if successful returns meta characteristics:
- *
- * - `token` - the raw token in `T`
- * - `kind` - the specific _kind_ of token; which uniquely identifies the token
- * - `category` - the category of token (e.g., atomic, singleton, etc.)
- * - `baseType` - the broad / base type of the token
- * - _`literal`_ - where appropriate, the _literal_ type of the token
- *
- * **Notes:**
- * - deeper type analysis must be done at runtime.
- * - if `T` is not a valid token then an `ErrorCondition<"invalid-token">`
- * will be raised.
- */
-export type ParseToken<T extends string> = T extends TypeToken ? {
-    /** the raw token text */
-    token: T;
-    /** the _kind_ or _token name_ for this type */
-    kind: Kind<T>;
-    /** the category of type this is (atomics, singleton, etc.) */
-    category: Category<T>;
-    /** data/config parameters available for this token */
-    data: Data<T>;
-} & TypeHelper<Type<Category<T>, Kind<T>, Data<T>>> : Throw<"invalid-token", `Call to ParseToken<T> with an invalid token: ${T}`, "ParseToken", {
-    library: "inferred-types/constants";
-}>;
-/**
- * **TokenKind**`<T>`
- *
- * Reveals the _kind_ of a given `TypeToken`
- */
-export type TokenKind<T extends TypeToken> = Kind<T>;
-/**
- * **TokenBaseType**`<T>`
- *
- * Reveals the _base_ type of a given `TypeToken`
- */
-export type TokenBaseType<T extends TypeToken> = ParseToken<T>["baseType"];
-export type TokenLiteralType<T extends TypeToken> = "literal" extends keyof ParseToken<T> ? ParseToken<T>["literal"] : never;
-export type IsTypeToken<T> = T extends string ? T extends TypeToken ? true : false : false;
-export {};
-//# sourceMappingURL=TypeToken.d.ts.map

package/dist/types/runtime-types/TypeToken.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"TypeToken.d.ts","sourceRoot":"","sources":["../../../src/types/runtime-types/TypeToken.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,UAAU,EACV,KAAK,EACL,QAAQ,EACR,WAAW,EACX,UAAU,EACV,OAAO,EACP,KAAK,EACL,QAAQ,EACR,EAAE,EACH,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EACV,UAAU,EACV,aAAa,EACb,YAAY,EACZ,MAAM,EACN,QAAQ,EACR,OAAO,EACP,aAAa,EACb,OAAO,EACP,oBAAoB,EACpB,mBAAmB,EACnB,wBAAwB,EACxB,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,EAClB,MAAM,0BAA0B,CAAC;AAGlC;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,GACrB,iBAAiB,GACjB,gBAAgB,GAChB,eAAe,GACf,cAAc,GACd,cAAc,GACd,gBAAgB,CAAC;AAEnB;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAAG,OAAO,wBAAwB,CAAC,MAAM,CAAC,CAAC;AAEjF;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAAG,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;AAE7E;;;;;;;GAOG;AACH,MAAM,MAAM,iBAAiB,GAC3B,0BAA0B,GAC1B,0BAA0B,CAAC;AAI7B;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;AAElE;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GAAG,GAAG,cAAc,GAAG,MAAM,GAAG,aAAa,EAAE,CAAA;AAExE;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,kBAAkB,CAAC,MAAM,CAAC,CAAC;AAEhE;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;AAElE;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,iBAAiB,CAAC,MAAM,CAAC,CAAC;AAE9D;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,iBAAiB,CAAC,MAAM,CAAC,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAC9B,eAAe,GACf,gBAAgB,GAChB,cAAc,GACd,gBAAgB,CAAC;AAGnB;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAEzD;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG,KAAK,gBAAgB,IAAI,CAAA;AAInD,MAAM,MAAM,mBAAmB,GAAG,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC;AAE/D,MAAM,MAAM,cAAc,GAAG,KAAK,mBAAmB,GAAG,MAAM,IAAI,CAAA;AAGlE,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,SAAS,OAAO,EAAE,GAAG,OAAO,EAAE,IAAI,cAAc,MAAM,MAAM,CAAA;AAEjG;;;;;;;;GAQG;AACH,MAAM,MAAM,aAAa,GAAG,gBAAgB,MAAM,OAAO,MAAM,MAAM,CAAA;AAErE,MAAM,MAAM,WAAW,GAAG,YAAY,MAAM,MAAM,CAAC;AACnD,MAAM,MAAM,UAAU,GAAG,cAAc,MAAM,MAAM,CAAC;AACpD,MAAM,MAAM,UAAU,GAAG,UAAU,aAAa,IAAI,CAAC;AACrD,MAAM,MAAM,WAAW,GAAG,UAAU,aAAa,KAAK,aAAa,IAAI,CAAA;AAEvE,MAAM,MAAM,QAAQ,GAAG,UAAU,aAAa,IAAI,CAAA;AAClD,MAAM,MAAM,QAAQ,GAAG,UAAU,aAAa,KAAK,aAAa,IAAI,CAAA;AACpE,MAAM,MAAM,YAAY,GAAG,WAAW,aAAa,KAAK,aAAa,IAAI,CAAA;AAEzE,MAAM,MAAM,OAAO,GAAG,SAAS,MAAM,KAAK,aAAa,IAAI,CAAA;AAC3D,MAAM,MAAM,cAAc,GAAG,UAAU,MAAM,KAAK,aAAa,IAAI,CAAA;AAInE,MAAM,MAAM,kBAAkB,GAAG,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;AAC7D,MAAM,MAAM,mBAAmB,GAAG,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC;AAE/D;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,GACxB,KAAK,mBAAmB,IAAI,GAC5B,KAAK,mBAAmB,KAAK,MAAM,IAAI,GACvC,KAAK,mBAAmB,KAAK,UAAU,IAAI,GAC3C,iBAAiB,MAAM,MAAM,MAAM,KAAK,GACxC,iBAAiB,MAAM,MAAM,MAAM,KAAK,CAAC;AAG3C,MAAM,MAAM,aAAa,GAAG,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC;AAEnD;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GACrB,gBAAgB,GAChB,mBAAmB,GACnB,kBAAkB,GAClB,aAAa,GACb,mBAAmB,CAAC;AAGxB;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,QAAQ,CAAC;AAC7C;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,OAAO,CAAC;AAE3C,MAAM,MAAM,kBAAkB,GAAG,OAAO,MAAM,CAAC;AAE/C;;;;GAIG;AACH,MAAM,MAAM,SAAS,CACnB,CAAC,SAAS,aAAa,GAAG,aAAa,IACtC,GAAG,cAAc,GAAG,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,EAAE,GAAG,aAAa,EAAE,CAAC;AAEhE,KAAK,KAAK,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,SAAS,GAAG,cAAc,GAAG,MAAM,IAAI,GAAG,aAAa,EAAE,GAC1F,EAAE,CACA,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,EAClC,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EAC/B;IAAE,IAAI;CAAE,CACT,GACD,KAAK,CAAC;AAER,KAAK,IAAI,CAAC,CAAC,SAAS,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,aAAa,GAC9D,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACX,KAAK,CAAC;AAEV,KAAK,IAAI,CAAC,CAAC,SAAS,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtD,KAAK,UAAU,GAAG,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,YAAY,CAAC;AAExE,KAAK,QAAQ,CAAC,CAAC,SAAS,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,gBAAgB,GACjE,SAAS,GACT,IAAI,CAAC,CAAC,CAAC,SAAS,mBAAmB,GACnC,YAAY,GACZ,IAAI,CAAC,CAAC,CAAC,SAAS,kBAAkB,GAClC,WAAW,GACX,IAAI,CAAC,CAAC,CAAC,SAAS,mBAAmB,GACnC,YAAY,GACZ,KAAK,CAAC;AAEV,KAAK,SAAS,CAAC,CAAC,SAAS,aAAa,IAAI,CAAC,SAAS,WAAW,GAC7D,SAAS,GACT,CAAC,SAAS,MAAM,GAChB,IAAI,GACJ,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,GAC3B,IAAI,GACJ,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,GAC5B,KAAK,GACL,KAAK,CAAC;AAER,KAAK,YAAY,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE,IACpE,CAAC,SAAS,QAAQ,GACd,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,MAAM,GACN,KAAK,CAAC,CAAC,CAAC,SAAS,MAAM,GACrB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAClB,KAAK,GACX,CAAC,SAAS,QAAQ,GAChB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,MAAM,GACN,KAAK,CAAC,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,GAC1B,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAC5B,KAAK,GACX,KAAK,CAAC;AAEV,KAAK,WAAW,CAAC,CAAC,SAAS,aAAa,EAAE,EAAE,SAAS,SAAS,MAAM,EAAE,IACpE,CAAC,SAAS,IAAI,GACZ,WAAW,GACX,CAAC,SAAS,KAAK,GACf,SAAS,GACT,KAAK,CAAC;AAEV,KAAK,YAAY,CACf,CAAC,SAAS,aAAa,EACvB,EAAE,SAAS,SAAS,MAAM,EAAE,IAC1B,CAAC,SAAS,KAAK,GACjB,UAAU,GACV,CAAC,SAAS,KAAK,GACf,OAAO,EAAE,GACT,CAAC,SAAS,KAAK,GACf,GAAG,CAAC,OAAO,CAAC,GACZ,CAAC,SAAS,KAAK,GACf,GAAG,CAAC,OAAO,EAAC,OAAO,CAAC,GACpB,CAAC,SAAS,MAAM,GAChB,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,GACxB,KAAK,CAAC;AAER,KAAK,IAAI,CACP,IAAI,SAAS,UAAU,EACvB,KAAK,SAAS,aAAa,EAC3B,KAAK,SAAS,SAAS,MAAM,EAAE,IAC7B,IAAI,SAAS,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,GAC3C,IAAI,SAAS,YAAY,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,GACtD,IAAI,SAAS,WAAW,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,GACpD,IAAI,SAAS,YAAY,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,GACtD,KAAK,CAAC;AAIR,KAAK,UAAU,CACb,CAAC,IACC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACzB;IAAC,QAAQ,EAAE,KAAK,CAAA;CAAC,GACjB,CAAC,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,MAAM,MAAM,CAAC,GAC5C;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GACxC;IAAE,QAAQ,EAAE,CAAC,CAAA;CAAE,CAAA;AAGnB;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,SAAS,GAC5D;IACE,yBAAyB;IACzB,KAAK,EAAE,CAAC,CAAC;IACT,+CAA+C;IAC/C,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,8DAA8D;IAC9D,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACtB,sDAAsD;IACtD,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;CACf,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GACnD,KAAK,CACH,eAAe,EACf,gDAAgD,CAAC,EAAE,EACnD,YAAY,EACZ;IAAC,OAAO,EAAE,0BAA0B,CAAA;CAAC,CACtC,CAAA;AAEH;;;;GAIG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;AAErD;;;;GAIG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;AAG3E,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,SAAS,IAAI,SAAS,SAAS,MAAM,UAAU,CAAC,CAAC,CAAC,GACvF,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GACxB,KAAK,CAAC;AAGR,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACzC,CAAC,SAAS,SAAS,GACjB,IAAI,GACJ,KAAK,GACP,KAAK,CAAC"}

package/dist/types/runtime-types/TypeToken.js

@@ -1 +0,0 @@
-export {};

package/dist/types/runtime-types/TypeTuple.d.ts

@@ -1,19 +0,0 @@
-import { Narrowable, TypeGuard } from "inferred-types/types";
-/**
- * **TypeTuple**`<TType>`
- *
- * The Tuple containing:
- *  - a type _representation_
- *  - a type guard to validate
- *  - (optionally) a textual description of the type
- *
- * This provides a simple shorthand way of defining a type in a way
- * which can be used in the tooling for `Type` and `TypeDefn` but does
- * not represent a full-fledged `Type<T>`.
- */
-export type TypeTuple<TType extends Narrowable = Narrowable, TDesc extends string = string> = [
-    type: TType,
-    guard: TypeGuard<TType>,
-    desc: TDesc
-];
-//# sourceMappingURL=TypeTuple.d.ts.map

package/dist/types/runtime-types/TypeTuple.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"TypeTuple.d.ts","sourceRoot":"","sources":["../../../src/types/runtime-types/TypeTuple.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAG,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAE9D;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,UAAU,GAAG,UAAU,EACrC,KAAK,SAAS,MAAM,GAAG,MAAM,IAC3B;IACF,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;IACvB,IAAI,EAAE,KAAK;CACZ,CAAC"}

package/dist/types/runtime-types/TypeTuple.js

@@ -1 +0,0 @@
-export {};

package/dist/types/runtime-types/index.d.ts

@@ -1,12 +0,0 @@
-export * from "./Type";
-export * from "./TypeOf";
-export * from "./StringLiteralToken";
-export * from "./FromLiteralTokens";
-export * from "./TokenizeStringLiteral";
-export * from "./TypeToken";
-export * from "./TypeTuple";
-export * from "./Dict";
-export * from "./SimpleType";
-export * from "./AsType";
-export * from "./Shape";
-//# sourceMappingURL=index.d.ts.map

package/dist/types/runtime-types/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/runtime-types/index.ts"],"names":[],"mappings":"AACA,cAAc,QAAQ,CAAC;AACvB,cAAc,UAAU,CAAC;AACzB,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,QAAQ,CAAC;AACvB,cAAc,cAAc,CAAC;AAC7B,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC"}

package/dist/types/runtime-types/index.js

@@ -1,11 +0,0 @@
-export * from "./Type";
-export * from "./TypeOf";
-export * from "./StringLiteralToken";
-export * from "./FromLiteralTokens";
-export * from "./TokenizeStringLiteral";
-export * from "./TypeToken";
-export * from "./TypeTuple";
-export * from "./Dict";
-export * from "./SimpleType";
-export * from "./AsType";
-export * from "./Shape";

package/dist/types/sets/IntersectingKeys.d.ts

@@ -1,9 +0,0 @@
-import { AsRecord, Container, UnionToTuple } from "inferred-types/types";
-/**
- * **IntersectingKeys**`<A,B>`
- *
- * Provides a tuple of keys which are shared between the two
- * containers passed in `A` and `B`.
- */
-export type IntersectingKeys<L extends Container | object, R extends Container | object> = UnionToTuple<(keyof AsRecord<L>) & (keyof AsRecord<R>)>;
-//# sourceMappingURL=IntersectingKeys.d.ts.map

package/dist/types/sets/IntersectingKeys.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"IntersectingKeys.d.ts","sourceRoot":"","sources":["../../../src/types/sets/IntersectingKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGzE;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,CAC1B,CAAC,SAAS,SAAS,GAAG,MAAM,EAC5B,CAAC,SAAS,SAAS,GAAG,MAAM,IAC1B,YAAY,CACd,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC1C,CAAC"}

package/dist/types/sets/IntersectingKeys.js

@@ -1 +0,0 @@
-export {};

package/dist/types/sets/Intersection.d.ts

@@ -1,53 +0,0 @@
-import type { GetEach, IsNull, Container, RemoveNever, Contains, If, RemoveMarked, NarrowlyContains, Throw } from "inferred-types/types";
-import { MARKED } from "inferred-types/constants";
-type Marked = typeof MARKED;
-type _NoDeref<A extends readonly unknown[], B extends readonly unknown[]> = RemoveNever<{
-    [K in keyof A]: If<Contains<B, A[K]>, A[K], never>;
-}>;
-type DerefNoReport<AValues extends readonly unknown[], BValues extends readonly unknown[]> = RemoveNever<{
-    [K in keyof AValues]: If<Contains<BValues, AValues[K]>, AValues[K], never>;
-}>;
-type DerefWithReport<A extends readonly Container[], B extends readonly Container[], TKeys extends readonly PropertyKey[], TDeref> = [
-    RemoveMarked<{
-        [K in keyof A]: TDeref extends keyof A[K] ? If<NarrowlyContains<TKeys, A[K][TDeref]>, A[K], Marked> : never;
-    }>,
-    RemoveMarked<{
-        [K in keyof B]: TDeref extends keyof B[K] ? If<NarrowlyContains<TKeys, B[K][TDeref]>, B[K], Marked> : Marked;
-    }>
-];
-type _WithDeref<A extends readonly Container[], B extends readonly Container[], AValues extends readonly unknown[], BValues extends readonly unknown[], TDeref extends string, TReport extends boolean> = TReport extends false ? DerefNoReport<AValues, BValues> : DerefNoReport<AValues, BValues> extends readonly PropertyKey[] ? DerefWithReport<A, B, DerefNoReport<AValues, BValues>, TDeref> : never;
-type HandleDeref<A extends readonly unknown[], B extends readonly unknown[], TDeref extends string, TReport extends boolean = false> = A extends readonly Container[] ? B extends readonly Container[] ? GetEach<A, TDeref> extends readonly unknown[] ? GetEach<B, TDeref> extends readonly unknown[] ? _WithDeref<A, B, GetEach<A, TDeref>, GetEach<B, TDeref>, TDeref, TReport> : never : never : Throw<"invalid-container-tuple", "In Intersection<A,B> the B set was not Container[] tuple!", "Intersection", {
-    ctx: {
-        a: A;
-        b: B;
-    };
-}> : Throw<"invalid-container-tuple", "In Intersection<A,B> the A set was not Container[] tuple!", "Intersection", {
-    ctx: {
-        a: A;
-        b: B;
-    };
-}>;
-/**
-  * **Intersection**`<A,B, [TDeref]>`
-  *
-  * Takes two tuple sets `A` and `B` and returns each of their _value intersections_.
-  *
-  * - this behavior is modified when the `deref` property is provided
-  *   - the expectation now is that both A and B contain _containers_ and their
-  * "value" is based on the offset provided by `TDref`
-  *   - in this mode, all _scalar_ values in `A` or `B` will be ignored
-  *   - the `TReport` property is by default set to _false_ but if changed to
-  * _true_ then this changes the reporting structure to:
-  * ```ts
-  * [A: values[], B: values[]]
-  * ```
-  * where the left side contains all containers -- in their entirety -- which
-  * intersect based on the `TDeref` property values.
-  *
-  * **Related:** `Unique`, `IntersectingKeys`
-  */
-export type Intersection<A extends readonly unknown[], B extends readonly unknown[], TDeref extends string | null = null, TReport extends boolean = false> = If<IsNull<TDeref>, _NoDeref<A, B>, TDeref extends PropertyKey ? HandleDeref<A, B, TDeref, TReport> : Throw<"invalid-deref", "The TDeref property was set but must be extended from a PropertyKey!", "Intersection", {
-    index: TDeref;
-}>>;
-export {};
-//# sourceMappingURL=Intersection.d.ts.map

package/dist/types/sets/Intersection.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Intersection.d.ts","sourceRoot":"","sources":["../../../src/types/sets/Intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,OAAO,EACP,MAAM,EACN,SAAS,EACT,WAAW,EACX,QAAQ,EACR,EAAE,EACF,YAAY,EACZ,gBAAgB,EAChB,KAAK,EACN,MAAM,sBAAsB,CAAC;AAC9B,OAAQ,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAEnD,KAAK,MAAM,GAAG,OAAO,MAAM,CAAC;AAE5B,KAAK,QAAQ,CACX,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,WAAW,CAAC;KACb,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAChB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EACjB,CAAC,CAAC,CAAC,CAAC,EACJ,KAAK,CACN;CACF,CAAC,CAAC;AAEH,KAAK,aAAa,CAChB,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,OAAO,SAAS,SAAS,OAAO,EAAE,IAChC,WAAW,CAAC;KACb,CAAC,IAAI,MAAM,OAAO,GAAG,EAAE,CACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAC7B,OAAO,CAAC,CAAC,CAAC,EACV,KAAK,CACN;CACF,CAAC,CAAC;AAEH,KAAK,eAAe,CAClB,CAAC,SAAS,SAAS,SAAS,EAAE,EAC9B,CAAC,SAAS,SAAS,SAAS,EAAE,EAC9B,KAAK,SAAS,SAAS,WAAW,EAAE,EACpC,MAAM,IACJ;IAEF,YAAY,CAAC;SACV,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,GACvC,EAAE,CACA,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EACrC,CAAC,CAAC,CAAC,CAAC,EACJ,MAAM,CACP,GACD,KAAK;KACR,CAAC;IAEF,YAAY,CAAC;SACV,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,GACvC,EAAE,CACA,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EACrC,CAAC,CAAC,CAAC,CAAC,EACJ,MAAM,CACP,GACD,MAAM;KACT,CAAC;CACH,CAAC;AAGF,KAAK,UAAU,CACb,CAAC,SAAS,SAAS,SAAS,EAAE,EAC9B,CAAC,SAAS,SAAS,SAAS,EAAE,EAC9B,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,MAAM,SAAS,MAAM,EACrB,OAAO,SAAS,OAAO,IACrB,OAAO,SAAS,KAAK,GACvB,aAAa,CAAC,OAAO,EAAC,OAAO,CAAC,GAC9B,aAAa,CAAC,OAAO,EAAC,OAAO,CAAC,SAAS,SAAS,WAAW,EAAE,GAC3D,eAAe,CAAC,CAAC,EAAC,CAAC,EAAC,aAAa,CAAC,OAAO,EAAC,OAAO,CAAC,EAAE,MAAM,CAAC,GAC3D,KAAK,CAAC;AAGV,KAAK,WAAW,CACd,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,MAAM,SAAS,MAAM,EACrB,OAAO,SAAS,OAAO,GAAG,KAAK,IAEjC,CAAC,SAAS,SAAS,SAAS,EAAE,GAC5B,CAAC,SAAS,SAAS,SAAS,EAAE,GAC5B,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,SAAS,OAAO,EAAE,GAC3C,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,SAAS,OAAO,EAAE,GAC3C,UAAU,CACR,CAAC,EACD,CAAC,EACD,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAClB,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAClB,MAAM,EACN,OAAO,CACR,GACD,KAAK,GACP,KAAK,GACP,KAAK,CACH,yBAAyB,EACzB,2DAA2D,EAC3D,cAAc,EACd;IAAE,GAAG,EAAE;QAAC,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC,EAAE,CAAC,CAAA;KAAC,CAAA;CAAE,CACtB,GACH,KAAK,CACH,yBAAyB,EACzB,2DAA2D,EAC3D,cAAc,EACd;IAAE,GAAG,EAAE;QAAC,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC,EAAE,CAAC,CAAA;KAAC,CAAA;CAAE,CACtB,CAAC;AAEJ;;;;;;;;;;;;;;;;;;IAkBI;AACJ,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,MAAM,SAAS,MAAM,GAAG,IAAI,GAAG,IAAI,EACnC,OAAO,SAAS,OAAO,GAAG,KAAK,IAC7B,EAAE,CACJ,MAAM,CAAC,MAAM,CAAC,EAEd,QAAQ,CAAC,CAAC,EAAC,CAAC,CAAC,EAEb,MAAM,SAAS,WAAW,GACtB,WAAW,CAAC,CAAC,EAAC,CAAC,EAAC,MAAM,EAAC,OAAO,CAAC,GAC/B,KAAK,CACH,eAAe,EACf,sEAAsE,EACtE,cAAc,EACd;IAAE,KAAK,EAAE,MAAM,CAAA;CAAG,CACnB,CACN,CAAC"}

package/dist/types/sets/Intersection.js

@@ -1 +0,0 @@
-export {};

package/dist/types/sets/Relate.d.ts

@@ -1,16 +0,0 @@
-import { Container, IntersectingKeys, LeftRight, Length, UniqueKeys } from "inferred-types/types";
-/**
- * **Relate**`<L,R>`
- *
- * Provides the relationship between two sets:
- *
- * - **sameLength**: boolean flag
- * - **sharedKeys**: the shared keys between the two sets
- * - **uniqueKeys**: the unique keys _per_ list in a `LeftRight` struct.
- */
-export type Relate<L extends Container, R extends Container> = {
-    length: LeftRight<Length<L>, Length<R>>;
-    sharedKeys: IntersectingKeys<L, R>;
-    uniqueKeys: UniqueKeys<L, R>;
-};
-//# sourceMappingURL=Relate.d.ts.map

package/dist/types/sets/Relate.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Relate.d.ts","sourceRoot":"","sources":["../../../src/types/sets/Relate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAG,gBAAgB,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEnG;;;;;;;;GAQG;AACH,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,IACjB;IACF,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,UAAU,EAAE,gBAAgB,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC;IAClC,UAAU,EAAE,UAAU,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC;CAC7B,CAAC"}

package/dist/types/sets/Relate.js

@@ -1 +0,0 @@
-export {};

package/dist/types/sets/SetCandidate.d.ts

@@ -1,9 +0,0 @@
-import { Narrowable } from "inferred-types/types";
-/**
- * **SetCandidate**
- *
- * A _set candidate_ is the base type for a type which can be converted
- * into a "set" (and have set operations applied).
- */
-export type SetCandidate = readonly unknown[] | Narrowable;
-//# sourceMappingURL=SetCandidate.d.ts.map

package/dist/types/sets/SetCandidate.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"SetCandidate.d.ts","sourceRoot":"","sources":["../../../src/types/sets/SetCandidate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAElD;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,SAAS,OAAO,EAAE,GAAG,UAAU,CAAC"}

package/dist/types/sets/SetCandidate.js

@@ -1 +0,0 @@
-export {};

package/dist/types/sets/Unique.d.ts

@@ -1,23 +0,0 @@
-import { AfterFirst, First, IfNever, Contains, Push, Container, Not, GetEach, IsScalar, TupleToUnion, UnionToTuple, AsString, IsNever, As } from "inferred-types/types";
-type Get<TValue, TDeref extends PropertyKey | never> = IfNever<TDeref, TValue, // just proxy value back
-TDeref extends keyof TValue ? TValue[TDeref] : TValue extends Container ? never : TValue>;
-type Process<TValues extends readonly unknown[], TDeref extends string | number | never, TResults extends readonly unknown[] = []> = [] extends TValues ? TResults : Process<AfterFirst<TValues>, TDeref, Push<TResults, First<TResults>, IsScalar<First<TValues>> extends true ? Not<Contains<TResults, First<TValues>>> : Not<Contains<As<IsNever<TDeref> extends true ? TResults : GetEach<TResults, AsString<TDeref>>, string | number | readonly unknown[]>, Get<First<TValues>, TDeref>>>>>;
-/**
- * **Unique**`<TList, [TDeref]>`
- *
- * Given a tuple of values, this utility will reduce the tuple to
- * _unique_ values in the set.
- *
- * - If the values are containers themselves, you can provide a `TDeref`
- * to point to a property which represents the "identity" of that container
- * - If you're comparing containers _without_ a `TDeref` property
- * then the full type signature will be used in deduplication
- *
- * ```ts
- * // ["foo", "bar"]
- * type FooBar = Unique<["foo","foo","bar"]>;
- * ```
- */
-export type Unique<TList extends readonly unknown[], TDeref extends string | number | never = never> = IfNever<TDeref, UnionToTuple<TupleToUnion<TList>>, Process<TList, TDeref>>;
-export {};
-//# sourceMappingURL=Unique.d.ts.map

package/dist/types/sets/Unique.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Unique.d.ts","sourceRoot":"","sources":["../../../src/types/sets/Unique.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,KAAK,EACL,OAAO,EACP,QAAQ,EACR,IAAI,EACJ,SAAS,EACT,GAAG,EACH,OAAO,EACP,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,QAAQ,EACR,OAAO,EACP,EAAE,EACH,MAAM,sBAAsB,CAAC;AAE9B,KAAK,GAAG,CACN,MAAM,EACN,MAAM,SAAS,WAAW,GAAG,KAAK,IAChC,OAAO,CACT,MAAM,EACN,MAAM,EAAE,wBAAwB;AAChC,MAAM,SAAS,MAAM,MAAM,GACvB,MAAM,CAAC,MAAM,CAAC,GACd,MAAM,SAAS,SAAS,GACtB,KAAK,GACL,MAAM,CACb,CAAA;AAED,KAAK,OAAO,CACV,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,MAAM,SAAS,MAAM,GAAE,MAAM,GAAG,KAAK,EACrC,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,EAAE,SAAS,OAAO,GACpB,QAAQ,GACR,OAAO,CACL,UAAU,CAAC,OAAO,CAAC,EACnB,MAAM,EAEN,IAAI,CACF,QAAQ,EACR,KAAK,CAAC,QAAQ,CAAC,EACf,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,IAAI,GAEjC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAEvC,GAAG,CAAC,QAAQ,CACZ,EAAE,CACA,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,GACxB,QAAQ,GACR,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EACvC,MAAM,GAAG,MAAM,GAAG,SAAS,OAAO,EAAE,CACrC,EACD,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAC,MAAM,CAAC,CAC3B,CAAC,CACH,CACN,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,MAAM,CAChB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,KAAK,IAC5C,OAAO,CACT,MAAM,EACN,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAEjC,OAAO,CACL,KAAK,EACL,MAAM,CACP,CACF,CAAA"}

package/dist/types/sets/Unique.js

@@ -1 +0,0 @@
-export {};

package/dist/types/sets/UniqueKeys.d.ts

@@ -1,30 +0,0 @@
-import { AsNumberWhenPossible, Container, LeftRight, UnionToTuple } from "inferred-types/types";
-/**
- * **UniqueKeys**`<L,R>`
- *
- * Provides a **LeftRight** tuple which articulates the
- * _unique_ keys to each container's keys.
- *
- * The keys for each sides unique values are represented
- * a tuple of values.
- *
- * ```ts
- * type Foo = { foo: 1; bar: 2 };
- * type Baz = { bar: 5; baz: 42, extra: "why not?" };
- * // LeftRight<["foo"], ["baz", "extra"]>
- * type U = UniqueKeys<Foo,Baz>;
- * ```
- * - the example above with an _object_ container is the primary use case
- * but it can be used with array's too but please note it is primarily used
- * in this case to identify how the "longer" array has additional keys:
- * ```ts
- * type Short = [1,2]; // length 2
- * type Long = [3,4,5,6,7,8,9,10]; // length 8
- * // LeftRight<[], [2,3,4,5,6,7]>
- * type U = UniqueKeys<Short,Long>;
- * ```
- *
- * **Related:** `UniqueKeysUnion`
- */
-export type UniqueKeys<L extends Container, R extends Container> = LeftRight<AsNumberWhenPossible<UnionToTuple<Exclude<keyof L, keyof R>>>, AsNumberWhenPossible<UnionToTuple<Exclude<keyof R, keyof L>>>>;
-//# sourceMappingURL=UniqueKeys.d.ts.map

package/dist/types/sets/UniqueKeys.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"UniqueKeys.d.ts","sourceRoot":"","sources":["../../../src/types/sets/UniqueKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEhG;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,IACjB,SAAS,CACX,oBAAoB,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAC7D,oBAAoB,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAC9D,CAAC"}

package/dist/types/sets/UniqueKeys.js

@@ -1 +0,0 @@
-export {};

package/dist/types/sets/UniqueKeysUnion.d.ts

@@ -1,21 +0,0 @@
-import { Container, LeftRight } from "inferred-types/types";
-/**
- * **UniqueKeysUnion**`<L,R>`
- *
- * Provides a **LeftRight** tuple which articulates the
- * _unique_ keys to each container's keys.
- *
- * The keys for each sides unique values are represented
- * as a union type.
- *
- * ```ts
- * type Foo = { foo: 1; bar: 2 };
- * type Baz = { bar: 5; baz: 42, extra: "why not?" };
- * // [ "foo", "baz" | "extra" ]
- * type U = UniqueKeys<Foo,Baz>;
- * ```
- *
- * **Related:** `UniqueKeys`
- */
-export type UniqueKeysUnion<L extends Container, R extends Container> = LeftRight<Exclude<keyof L, keyof R>, Exclude<keyof R, keyof L>>;
-//# sourceMappingURL=UniqueKeysUnion.d.ts.map

package/dist/types/sets/UniqueKeysUnion.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"UniqueKeysUnion.d.ts","sourceRoot":"","sources":["../../../src/types/sets/UniqueKeysUnion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAE5D;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,IACjB,SAAS,CACX,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,EACzB,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAC1B,CAAC"}

package/dist/types/sets/UniqueKeysUnion.js

@@ -1 +0,0 @@
-export {};

package/dist/types/sets/UniqueKv.d.ts

@@ -1,14 +0,0 @@
-import { AnyObject, LeftRight } from "inferred-types/types";
-/**
- * **UniqueKv**`<L,R>`
- *
- * Returns a `LeftRight` tuple containing the unique KV pairs found in `L` and `R`. Both `L` and `R` are expect to be an
- * object type of some sort.
- *
- * - this means that if _both_ `L` and `R` have a shared property but the values
- * are different then they are considered "unique" for each list.
- *
- * **Related:** `Unique`, `UniqueKeys`
- */
-export type UniqueKv<L extends AnyObject, R extends AnyObject> = LeftRight<Exclude<L, keyof (L & R)>, Exclude<R, keyof (L & R)>>;
-//# sourceMappingURL=UniqueKv.d.ts.map

package/dist/types/sets/UniqueKv.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"UniqueKv.d.ts","sourceRoot":"","sources":["../../../src/types/sets/UniqueKv.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAE5D;;;;;;;;;;GAUG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,SAAS,CACxE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EACzB,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAC1B,CAAC"}

package/dist/types/sets/UniqueKv.js

@@ -1 +0,0 @@
-export {};

package/dist/types/sets/index.d.ts

@@ -1,9 +0,0 @@
-export * from "./Intersection";
-export * from "./IntersectingKeys";
-export * from "./SetCandidate";
-export * from "./Unique";
-export * from "./Relate";
-export * from "./UniqueKeys";
-export * from "./UniqueKv";
-export * from "./UniqueKeysUnion";
-//# sourceMappingURL=index.d.ts.map

package/dist/types/sets/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/sets/index.ts"],"names":[],"mappings":"AACA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC"}

package/dist/types/sets/index.js

@@ -1,8 +0,0 @@
-export * from "./Intersection";
-export * from "./IntersectingKeys";
-export * from "./SetCandidate";
-export * from "./Unique";
-export * from "./Relate";
-export * from "./UniqueKeys";
-export * from "./UniqueKv";
-export * from "./UniqueKeysUnion";