inferred-types 0.37.6 → 0.40.2

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

@@ -0,0 +1,54 @@
+import { TYPE_OF } from "src/constants";
+import { IsUndefined, AnyFunction, AnyObject, TupleToUnion } from "..";
+/**
+ * **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/src/types/runtime-types/TypeOf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeOf.d.ts","sourceRoot":"","sources":["../../../../src/types/runtime-types/TypeOf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,WAAW,EAAG,WAAW,EAAE,SAAS,EAAG,YAAY,EAAE,MAAM,IAAI,CAAC;AAEzE;;;;;;;;;;;;;;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,SAAS,MAAM,GAAG,QAAQ,GAC3B,CAAC,SAAS,OAAO,GAAG,SAAS,GAC7B,CAAC,SAAS,WAAW,GAAG,UAAU,GAClC,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,OAAO,EAAE,GAAG,QAAQ,GACjD,CAAC,SAAS,MAAM,GAAG,QAAQ,GAC3B,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,WAAW,GACzC,CAAC,SAAS,MAAM,GAAG,QAAQ,GAC3B,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/src/types/runtime-types/TypeOf.js

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

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

@@ -0,0 +1,37 @@
+import { Surround, TupleToUnion, Date, Time, DateTime, IfNull, RetainFromList } from "..";
+import { TYPE_TOKEN_IDENTITIES, TYPE_TOKEN_PARAM_STR, TYPE_TOKEN_PARAM_CSV, TYPE_TOKEN_PARAM_DATETIME, TYPE_TOKEN_PARAM_DATE, TYPE_TOKEN_PARAM_TIME, TYPE_TOKEN_ALL } from "src/constants";
+/**
+ * **TypeTokenName**
+ *
+ * A union of all `TypeToken` types
+ */
+export type TypeTokenName = TupleToUnion<typeof TYPE_TOKEN_ALL>;
+/**
+ * **GenericTypeToken**
+ *
+ * All `TypeToken`'s are represented _generically_ as a string surrounded by
+ * "<<" and ">>" characters.
+ */
+export type GenericTypeToken = `<<${string}>>`;
+type TT = Readonly<[
+    ...Surround<typeof TYPE_TOKEN_IDENTITIES, "<<", ">>">,
+    ...Surround<typeof TYPE_TOKEN_PARAM_STR, "<<", `:${string}>>`>,
+    ...Surround<typeof TYPE_TOKEN_PARAM_CSV, "<<", `:${string}>>`>,
+    ...Surround<typeof TYPE_TOKEN_PARAM_DATETIME, "<<", `:${DateTime}>>`>,
+    ...Surround<typeof TYPE_TOKEN_PARAM_DATE, "<<", `:${Date}>>`>,
+    ...Surround<typeof TYPE_TOKEN_PARAM_TIME, "<<", `:${Time}>>`>
+]>;
+/**
+ * **TypeTokens**`<[TFind]>`
+ *
+ * A union of "type tokens" where a token is a string representation
+ * of a type. These string representations fit into the following
+ * categories.
+ *
+ * - all type tokens follow the generic pattern imposed by `GenericTypeToken`.
+ * - if a string literal is provided to `TFind` then only the type of a particular
+ * type literal will be returned.
+ */
+export type TypeToken<TFind extends string | null = null> = IfNull<TFind, TupleToUnion<TT>, TupleToUnion<RetainFromList<TT, "extends", `<<${TFind}${">>" | `:${string}>>`}`>>>;
+export {};
+//# sourceMappingURL=TypeToken.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TypeToken.d.ts","sourceRoot":"","sources":["../../../../src/types/runtime-types/TypeToken.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,cAAc,EACf,MAAM,IAAI,CAAC;AACZ,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,oBAAoB,EACpB,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EACrB,cAAc,EACf,MAAM,eAAe,CAAC;AAEvB;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,YAAY,CAAC,OAAO,cAAc,CAAC,CAAC;AAEhE;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,KAAK,MAAM,IAAI,CAAC;AAE/C,KAAK,EAAE,GAAG,QAAQ,CAAC;IACjB,GAAG,QAAQ,CAAC,OAAO,qBAAqB,EAAE,IAAI,EAAE,IAAI,CAAC;IACrD,GAAG,QAAQ,CAAC,OAAO,oBAAoB,EAAE,IAAI,EAAE,IAAI,MAAM,IAAI,CAAC;IAC9D,GAAG,QAAQ,CAAC,OAAO,oBAAoB,EAAE,IAAI,EAAE,IAAI,MAAM,IAAI,CAAC;IAC9D,GAAG,QAAQ,CAAC,OAAO,yBAAyB,EAAE,IAAI,EAAE,IAAI,QAAQ,IAAI,CAAC;IACrE,GAAG,QAAQ,CAAC,OAAO,qBAAqB,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;IAC7D,GAAG,QAAQ,CAAC,OAAO,qBAAqB,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;CAC9D,CAAC,CAAC;AAEH;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,MAAM,GAAG,IAAI,GAAG,IAAI,IAChC,MAAM,CACR,KAAK,EACL,YAAY,CAAC,EAAE,CAAC,EAChB,YAAY,CAAC,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,KAAK,GAAG,IAAI,GAAG,IAAI,MAAM,IAAI,EAAE,CAAC,CAAC,CAClF,CAAC"}

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

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

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

@@ -0,0 +1,19 @@
+import { Narrowable, TypeGuard } from "..";
+/**
+ * **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/src/types/runtime-types/TypeTuple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeTuple.d.ts","sourceRoot":"","sources":["../../../../src/types/runtime-types/TypeTuple.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAG,SAAS,EAAE,MAAM,IAAI,CAAC;AAE5C;;;;;;;;;;;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/src/types/runtime-types/TypeTuple.js

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

package/dist/src/types/runtime-types/api/boolean.d.ts

@@ -0,0 +1,9 @@
+import type { FromTypeDefn, TypeDefaultValue, TypeOptions, TypeUnderlying } from "../..";
+export type TypeApiBoolean = <TRequired extends boolean, TDesc extends string, TUnderlying extends TypeUnderlying, TDefaultValue extends TypeDefaultValue<"boolean", TRequired, TUnderlying>, TValidations extends readonly unknown[] | "no-validations">(options?: TypeOptions<"boolean", TRequired, TDesc, TUnderlying, TDefaultValue, TValidations>) => FromTypeDefn<{
+    kind: "boolean";
+    isRequired: TRequired;
+    description: TDesc;
+    defaultValue: TDefaultValue;
+    validations: TValidations;
+}>;
+//# sourceMappingURL=boolean.d.ts.map

package/dist/src/types/runtime-types/api/boolean.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"boolean.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/api/boolean.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,cAAc,EACf,MAAM,OAAO,CAAC;AAEf,MAAM,MAAM,cAAc,GAAG,CACzB,SAAS,SAAS,OAAO,EACzB,KAAK,SAAS,MAAM,EACpB,WAAW,SAAS,cAAc,EAClC,aAAa,SAAS,gBAAgB,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,EACzE,YAAY,SAAS,SAAS,OAAO,EAAE,GAAG,gBAAgB,EAE5D,OAAO,CAAC,EAAE,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,KACzF,YAAY,CAAC;IAChB,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,EAAE,SAAS,CAAC;IACtB,WAAW,EAAE,KAAK,CAAC;IACnB,YAAY,EAAE,aAAa,CAAC;IAC5B,WAAW,EAAE,YAAY,CAAC;CAC3B,CAAC,CAAC"}

package/dist/src/types/runtime-types/api/boolean.js

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

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

@@ -0,0 +1,7 @@
+/**
+ * **TypeApi**
+ *
+ * A builder API surface to create a runtime `Type` definition.
+ */
+export type TypeApi = {};
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/api/index.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,MAAM,MAAM,OAAO,GAAG,EAkBrB,CAAC"}

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

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

package/dist/src/types/runtime-types/api/number.d.ts

@@ -0,0 +1,4 @@
+import { NoDefaultValue } from "src/constants";
+import { Type, TypeDefaultValue, TypeOptions, TypeUnderlying } from "../..";
+export type TypeApiNumber = <TRequired extends boolean = true, TDesc extends string = "", TUnderlying extends TypeUnderlying = "no-underlying", TDefaultValue extends TypeDefaultValue<"number", TRequired, TUnderlying> = NoDefaultValue, TValidations extends readonly unknown[] | "no-validations" = "no-validations">(options?: TypeOptions<"number", TRequired, TDesc, TUnderlying, TDefaultValue, TValidations>) => Type<"number", TRequired extends true ? "required" : "not-required", TDesc, TUnderlying, TDefaultValue extends NoDefaultValue ? "no-default-value" : "with-default-value", TValidations extends "no-validations" ? "no-validations" : "with-validations">;
+//# sourceMappingURL=number.d.ts.map

package/dist/src/types/runtime-types/api/number.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/api/number.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EACL,IAAI,EACJ,gBAAgB,EAChB,WAAW,EACX,cAAc,EACf,MAAM,OAAO,CAAC;AAEf,MAAM,MAAM,aAAa,GAAG,CACxB,SAAS,SAAS,OAAO,GAAG,IAAI,EAChC,KAAK,SAAS,MAAM,GAAG,EAAE,EACzB,WAAW,SAAS,cAAc,GAAG,eAAe,EACpD,aAAa,SAAS,gBAAgB,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,GAAG,cAAc,EACzF,YAAY,SAAS,SAAS,OAAO,EAAE,GAAG,gBAAgB,GAAG,gBAAgB,EAE/E,OAAO,CAAC,EAAE,WAAW,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,KACxF,IAAI,CACP,QAAQ,EACR,SAAS,SAAS,IAAI,GAAG,UAAU,GAAG,cAAc,EACpD,KAAK,EACL,WAAW,EACX,aAAa,SAAS,cAAc,GAAG,kBAAkB,GAAG,oBAAoB,EAChF,YAAY,SAAS,gBAAgB,GAAG,gBAAgB,GAAG,kBAAkB,CAC9E,CAAC"}

package/dist/src/types/runtime-types/api/number.js

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

package/dist/src/types/runtime-types/api/numericLiteral.d.ts

@@ -0,0 +1 @@
+//# sourceMappingURL=numericLiteral.d.ts.map

package/dist/src/types/runtime-types/api/numericLiteral.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numericLiteral.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/api/numericLiteral.ts"],"names":[],"mappings":""}

package/dist/src/types/runtime-types/api/numericLiteral.js

@@ -0,0 +1,22 @@
+"use strict";
+// import { NoDefaultValue } from "src/constants";
+// import { Type, TypeDefaultValue, TypeOptions, TypeUnderlying } from "src/types";
+// export type TypeApiNumericLiteral = <
+// TRequired extends boolean = true,
+// TDesc extends string = "",
+// TUnderlying extends TypeUnderlying = "no-underlying",
+// TDefaultValue extends TypeDefaultValue<"stringLiteral", TRequired, TUnderlying> = NoDefaultValue,
+// TValidations extends readonly unknown[] | "no-validations" = "no-validations", 
+// >(
+//   literal: TUnderlying extends readonly string[] 
+//     ? TUnderlying 
+//     : never, 
+//   options?: TypeOptions<"numericLiteral",TRequired, TDesc, TUnderlying, TDefaultValue, TValidations>
+// ) => Type<
+//   "numericLiteral",
+//   TRequired extends true ? "required" : "not-required", 
+//   TDesc, 
+//   TUnderlying, 
+//   TDefaultValue extends NoDefaultValue ? "no-default-value" : "with-default-value", 
+//   TValidations extends "no-validations" ? "no-validations" : "with-validations"
+// >;

package/dist/src/types/runtime-types/api/string.d.ts

@@ -0,0 +1,4 @@
+import { NoDefaultValue } from "src/constants";
+import { Type, TypeDefaultValue, TypeOptions, TypeUnderlying } from "../..";
+export type TypeApiString = <TRequired extends boolean = true, TDesc extends string = "", TUnderlying extends TypeUnderlying = "no-underlying", TDefaultValue extends TypeDefaultValue<"string", TRequired, TUnderlying> = NoDefaultValue, TValidations extends readonly unknown[] | "no-validations" = "no-validations">(options?: TypeOptions<"string", TRequired, TDesc, TUnderlying, TDefaultValue, TValidations>) => Type<"string", TRequired extends false ? "not-required" : "required", TDesc, TUnderlying, TDefaultValue extends NoDefaultValue ? "no-default-value" : "with-default-value", TValidations extends "no-validations" ? "no-validations" : "with-validations">;
+//# sourceMappingURL=string.d.ts.map

package/dist/src/types/runtime-types/api/string.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/api/string.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,OAAO,CAAC;AAE5E,MAAM,MAAM,aAAa,GAAG,CACxB,SAAS,SAAS,OAAO,GAAG,IAAI,EAChC,KAAK,SAAS,MAAM,GAAG,EAAE,EACzB,WAAW,SAAS,cAAc,GAAG,eAAe,EACpD,aAAa,SAAS,gBAAgB,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,GAAG,cAAc,EACzF,YAAY,SAAS,SAAS,OAAO,EAAE,GAAG,gBAAgB,GAAG,gBAAgB,EAE/E,OAAO,CAAC,EAAE,WAAW,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,KACxF,IAAI,CACP,QAAQ,EACR,SAAS,SAAS,KAAK,GAAG,cAAc,GAAG,UAAU,EACrD,KAAK,EACL,WAAW,EACX,aAAa,SAAS,cAAc,GAAG,kBAAkB,GAAG,oBAAoB,EAChF,YAAY,SAAS,gBAAgB,GAAG,gBAAgB,GAAG,kBAAkB,CAC9E,CAAC"}

package/dist/src/types/runtime-types/api/string.js

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

package/dist/src/types/runtime-types/api/stringLiteral.d.ts

@@ -0,0 +1,21 @@
+import type { Digit, TypeOptions, IfReadonlyArray, AlphaNumericChar, LowerAlphaChar, UpperAlphaChar, Narrowable, FromTypeDefn, TypeDefaultValue } from "../..";
+export type StringLiteralMapper = {
+    "<string>": `${string}`;
+    "<number>": `${number}`;
+    "<boolean>": `${boolean}`;
+    "<digit>": `${Digit}`;
+    "<letter>": `${AlphaNumericChar}`;
+    "<letter:lowercase>": `${LowerAlphaChar}`;
+    "<letter:uppercase>": `${UpperAlphaChar}`;
+};
+type ToUnderlying<T extends Narrowable> = IfReadonlyArray<T, T & readonly unknown[], readonly [T]>;
+export type TypeApiStringLiteral = <TRequired extends boolean, TDesc extends string, TUnderlying extends Narrowable[], TDefaultValue extends TypeDefaultValue<"stringLiteral", TRequired, ToUnderlying<TUnderlying>>, TValidations extends readonly unknown[] | "no-validations">(defn: TUnderlying, options?: TypeOptions<"stringLiteral", TRequired, TDesc, ToUnderlying<TUnderlying>, TDefaultValue, TValidations>) => FromTypeDefn<{
+    kind: "stringLiteral";
+    isRequired: TRequired;
+    description: TDesc;
+    underlying: ToUnderlying<TUnderlying>;
+    defaultValue: TDefaultValue;
+    validations: TValidations;
+}>;
+export {};
+//# sourceMappingURL=stringLiteral.d.ts.map

package/dist/src/types/runtime-types/api/stringLiteral.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stringLiteral.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/api/stringLiteral.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,KAAK,EACL,WAAW,EACX,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,UAAU,EACV,YAAY,EACZ,gBAAgB,EACjB,MAAM,OAAO,CAAC;AAEf,MAAM,MAAM,mBAAmB,GAAG;IAChC,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC;IACxB,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC;IACxB,WAAW,EAAE,GAAG,OAAO,EAAE,CAAC;IAC1B,SAAS,EAAE,GAAG,KAAK,EAAE,CAAC;IACtB,UAAU,EAAE,GAAG,gBAAgB,EAAE,CAAC;IAClC,oBAAoB,EAAE,GAAG,cAAc,EAAE,CAAC;IAC1C,oBAAoB,EAAE,GAAG,cAAc,EAAE,CAAC;CAC3C,CAAC;AAaF,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,IAAI,eAAe,CACvD,CAAC,EAAE,CAAC,GAAG,SAAS,OAAO,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,CACxC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG,CACjC,SAAS,SAAS,OAAO,EACzB,KAAK,SAAS,MAAM,EAEpB,WAAW,SAAS,UAAU,EAAE,EAChC,aAAa,SAAS,gBAAgB,CAAC,eAAe,EAAE,SAAS,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,EAC7F,YAAY,SAAS,SAAS,OAAO,EAAE,GAAG,gBAAgB,EAE1D,IAAI,EAAE,WAAW,EACjB,OAAO,CAAC,EAAE,WAAW,CACnB,eAAe,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,CAAC,WAAW,CAAC,EAAE,aAAa,EAAE,YAAY,CAC1F,KACE,YAAY,CAAC;IAChB,IAAI,EAAE,eAAe,CAAC;IACtB,UAAU,EAAE,SAAS,CAAC;IACtB,WAAW,EAAE,KAAK,CAAC;IACnB,UAAU,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC;IACtC,YAAY,EAAE,aAAa,CAAC;IAC5B,WAAW,EAAE,YAAY,CAAC;CAC3B,CAAC,CAAC"}

package/dist/src/types/runtime-types/api/stringLiteral.js

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

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

@@ -0,0 +1,11 @@
+export * from "./api/index";
+export * from "./DescribeType";
+export * from "./Type";
+export * from "./TypeOf";
+export * from "./StringLiteralToken";
+export * from "./FromLiteralTokens";
+export * from "./TokenizeStringLiteral";
+export * from "./LiteralType";
+export * from "./TypeToken";
+export * from "./TypeTuple";
+//# sourceMappingURL=index.d.ts.map

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

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

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

@@ -0,0 +1,10 @@
+export * from "./api/index";
+export * from "./DescribeType";
+export * from "./Type";
+export * from "./TypeOf";
+export * from "./StringLiteralToken";
+export * from "./FromLiteralTokens";
+export * from "./TokenizeStringLiteral";
+export * from "./LiteralType";
+export * from "./TypeToken";
+export * from "./TypeTuple";

package/dist/src/types/sets/AllKeys.d.ts

@@ -0,0 +1,11 @@
+import { Keys, AfterFirst, First, Dedupe, AnyObject, Tuple } from "..";
+type Calc<T extends readonly (Tuple | AnyObject)[], Acc extends readonly PropertyKey[] = []> = [] extends T ? Dedupe<Acc> : Calc<AfterFirst<T>, [
+    ...Acc,
+    ...Keys<First<T>>
+]>;
+/**
+ * **AllKeys**<TContainers>
+ */
+export type AllKeys<TContainers extends readonly (Tuple | AnyObject)[]> = Calc<TContainers>;
+export {};
+//# sourceMappingURL=AllKeys.d.ts.map

package/dist/src/types/sets/AllKeys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AllKeys.d.ts","sourceRoot":"","sources":["../../../../src/types/sets/AllKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC;AAEvE,KAAK,IAAI,CACP,CAAC,SAAS,SAAS,CAAC,KAAK,GAAG,SAAS,CAAC,EAAE,EACxC,GAAG,SAAS,SAAS,WAAW,EAAE,GAAG,EAAE,IACrC,EAAE,SAAS,CAAC,GACZ,MAAM,CAAC,GAAG,CAAC,GACX,IAAI,CACF,UAAU,CAAC,CAAC,CAAC,EACb;IAAC,GAAG,GAAG;IAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CAAC,CAC5B,CAAC;AAEN;;GAEG;AACH,MAAM,MAAM,OAAO,CAAC,WAAW,SAAS,SAAS,CAAC,KAAK,GAAG,SAAS,CAAC,EAAE,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC"}

package/dist/src/types/sets/AllKeys.js

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

package/dist/src/types/sets/Dedupe.d.ts

@@ -0,0 +1,18 @@
+import { Tuple, AfterFirst, First, IfContains } from "..";
+type _Dedupe<T extends Tuple, TResult extends Tuple = []> = [] extends T ? TResult : _Dedupe<AfterFirst<T>, IfContains<TResult, First<T>, TResult, [
+    ...TResult,
+    First<T>
+]>>;
+/**
+ * **Dedupe**`<T>`
+ *
+ * Deduplicates a tuple `T` so that only one of each value is represented
+ * in the Tuple.
+ * ```ts
+ * // [1,2,3]
+ * type T = Dedupe<[1,2,2,3]>;
+ * ```
+ */
+export type Dedupe<T extends Tuple> = _Dedupe<T>;
+export {};
+//# sourceMappingURL=Dedupe.d.ts.map

package/dist/src/types/sets/Dedupe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Dedupe.d.ts","sourceRoot":"","sources":["../../../../src/types/sets/Dedupe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAG1D,KAAK,OAAO,CACV,CAAC,SAAS,KAAK,EACf,OAAO,SAAS,KAAK,GAAG,EAAE,IACxB,EAAE,SAAS,CAAC,GACd,OAAO,GACP,OAAO,CACL,UAAU,CAAC,CAAC,CAAC,EACb,UAAU,CACR,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EACjB,OAAO,EACP;IAAC,GAAG,OAAO;IAAE,KAAK,CAAC,CAAC,CAAC;CAAC,CACvB,CACF,CAAC;AAEJ;;;;;;;;;GASG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,KAAK,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC"}

package/dist/src/types/sets/Dedupe.js

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

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

@@ -0,0 +1,7 @@
+import { Container, UnionToTuple } from "..";
+/**
+ * Provides a tuple of keys which are shared between the two
+ * tuples passed in [`L`,`R`].
+ */
+export type IntersectingKeys<L extends Container, R extends Container> = UnionToTuple<(keyof L) & (keyof R)> & PropertyKey[];
+//# sourceMappingURL=IntersectingKeys.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"IntersectingKeys.d.ts","sourceRoot":"","sources":["../../../../src/types/sets/IntersectingKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAG7C;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAC1B,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,IACjB,YAAY,CACd,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CACtB,GAAG,WAAW,EAAE,CAAC"}

package/dist/src/types/sets/IntersectingKeys.js

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

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

@@ -0,0 +1,31 @@
+import type { GetEach, IfContains, IfNull, RemoveNever, Get, IfContainer, ToContainer } from "..";
+type _NoDeref<A extends readonly unknown[], B extends readonly unknown[]> = Readonly<RemoveNever<{
+    [K in keyof A]: IfContains<B, A[K], A[K], never>;
+}>>;
+type _WithDeref<A extends readonly unknown[], B extends readonly unknown[], AValues extends readonly unknown[], BValues extends readonly unknown[], TDeref extends string | number> = [
+    RemoveNever<{
+        [K in keyof A]: IfContains<BValues, IfContainer<A[K], Get<ToContainer<A[K]>, TDeref>, never>, A[K], never>;
+    }>,
+    RemoveNever<{
+        [K in keyof B]: IfContains<AValues, IfContainer<B[K], Get<ToContainer<B[K]>, TDeref>, never>, B[K], never>;
+    }>
+];
+/**
+  * **Intersection**`<A,B, [Deref]>`
+  *
+  * Takes two sets `A` and `B` and returns a their _intersection_ where:
+  *
+  * 1. if no `TDref` is set then the results are simply an array of the elements
+  * which both sets contained. In this mode, objects and sub-arrays are compared as
+  * their reference value so only those items which have a common ref will match.
+  *
+  * 2. if a `TDeref` property is provided then _comparisons_ are made on the
+  * dereferenced value of the elements of each set but because the full values are
+  * returned it's quite possible that `A` and `B` share a dereferenced value but other
+  * properties are _not_ the same so for this reason the resultant type is a tuple: `readonly [ AIntersect, BIntersect ]`
+  *
+  * **Related:** `Unique`, `ObjIntersection`
+  */
+export type Intersection<A extends readonly unknown[], B extends readonly unknown[], TDeref extends string | number | null = null> = IfNull<TDeref, _NoDeref<A, B>, _WithDeref<A, B, GetEach<A, TDeref> & readonly unknown[], GetEach<B, TDeref> & readonly unknown[], TDeref & (string | number)>>;
+export {};
+//# sourceMappingURL=Intersection.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Intersection.d.ts","sourceRoot":"","sources":["../../../../src/types/sets/Intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,OAAO,EACP,UAAU,EACV,MAAM,EACN,WAAW,EACX,GAAG,EACH,WAAW,EACX,WAAW,EACZ,MAAM,IAAI,CAAC;AAEZ,KAAK,QAAQ,CACX,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,QAAQ,CAAC,WAAW,CAAC;KACtB,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;CACjD,CAAC,CAAC,CAAC;AAEJ,KAAK,UAAU,CACb,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,MAAM,SAAS,MAAM,GAAG,MAAM,IAC5B;IACF,WAAW,CAAC;SACT,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CACxB,OAAO,EACP,WAAW,CACT,CAAC,CAAC,CAAC,CAAC,EAEJ,GAAG,CACD,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACjB,MAAM,CACP,EAED,KAAK,CACN,EACD,CAAC,CAAC,CAAC,CAAC,EACJ,KAAK,CACN;KACF,CAAC;IACF,WAAW,CAAC;SACT,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CACxB,OAAO,EACP,WAAW,CACT,CAAC,CAAC,CAAC,CAAC,EACJ,GAAG,CACD,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACjB,MAAM,CACP,EACD,KAAK,CACN,EACD,CAAC,CAAC,CAAC,CAAC,EACJ,KAAK,CACN;KACF,CAAC;CACH,CAAC;AAIF;;;;;;;;;;;;;;;IAeI;AACJ,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,IAC1C,MAAM,CACR,MAAM,EAEN,QAAQ,CAAC,CAAC,EAAC,CAAC,CAAC,EAEb,UAAU,CACR,CAAC,EACD,CAAC,EACD,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,SAAS,OAAO,EAAE,EACvC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,SAAS,OAAO,EAAE,EACvC,MAAM,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,CAC3B,CACF,CAAC"}

package/dist/src/types/sets/Intersection.js

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

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

@@ -0,0 +1,16 @@
+import { Container, IntersectingKeys, LeftRight, Length, UniqueKeys } from "..";
+/**
+ * **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/src/types/sets/Relate.d.ts.map

@@ -0,0 +1 @@
+{"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,IAAI,CAAC;AAEjF;;;;;;;;GAQG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,EAAC,CAAC,SAAS,SAAS,IAAI;IAC5D,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/src/types/sets/Relate.js

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

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

@@ -0,0 +1,9 @@
+import { Narrowable } from "..";
+/**
+ * **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/src/types/sets/SetCandidate.d.ts.map

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

package/dist/src/types/sets/SetCandidate.js

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

package/dist/src/types/sets/SetRemoval.d.ts

@@ -0,0 +1,13 @@
+import { IfSomeEqual, AfterFirst, First, AsArray, SetCandidate } from "..";
+type SetRemovalAcc<TSet extends readonly unknown[], TRemoval extends readonly unknown[], Processed extends readonly unknown[] = []> = [] extends TSet ? Processed : IfSomeEqual<First<TSet>, TRemoval, SetRemovalAcc<AfterFirst<TSet>, TRemoval, Processed>, SetRemovalAcc<AfterFirst<TSet>, TRemoval, [...Processed, First<TSet>]>>;
+/**
+ * **SetRemoval**`<TSet, TRemoval>`
+ *
+ * Takes two sets -- `TSet` as the primary set, and `TRemoval` -- and produces the
+ * set subtraction of `TSet` minus the elements in `TRemoval`.
+ *
+ * **Note:** a "set" can be either an array of values, or a union of values.
+ */
+export type SetRemoval<TSet extends readonly unknown[], TRemoval extends SetCandidate> = Readonly<SetRemovalAcc<TSet, AsArray<TRemoval>>>;
+export {};
+//# sourceMappingURL=SetRemoval.d.ts.map

package/dist/src/types/sets/SetRemoval.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SetRemoval.d.ts","sourceRoot":"","sources":["../../../../src/types/sets/SetRemoval.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAG,UAAU,EAAE,KAAK,EAAE,OAAO,EAAG,YAAY,EAAE,MAAM,IAAI,CAAC;AAE7E,KAAK,aAAa,CAChB,IAAI,SAAS,SAAS,OAAO,EAAE,EAC/B,QAAQ,SAAS,SAAS,OAAO,EAAE,EACnC,SAAS,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACvC,EAAE,SAAS,IAAI,GACf,SAAS,GACT,WAAW,CACT,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EACrB,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,EACpD,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAG,CAAC,GAAG,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CACxE,CAAC;AAEN;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,CACpB,IAAI,SAAS,SAAS,OAAO,EAAE,EAC/B,QAAQ,SAAS,YAAY,IAC3B,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC"}

package/dist/src/types/sets/SetRemoval.js

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

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

@@ -0,0 +1,27 @@
+import { IfContains, AfterFirst, First, GetEach, Mutable, Get } from "..";
+type UniqueAcc<Target extends readonly unknown[], Compare extends readonly unknown[], Dereference extends string | number | null, Results extends readonly unknown[] = readonly []> = [] extends Target ? Results : IfContains<GetEach<Compare, Dereference> & readonly unknown[], Get<First<Target>, Dereference>, UniqueAcc<AfterFirst<Target>, Compare, Dereference, Results>, UniqueAcc<AfterFirst<Target>, Compare, Dereference, readonly [...Results, First<Target>]>>;
+/**
+* **Unique**`<A,B, [TDeref]>` => [UA,UB]
+*
+* Type utility which takes two sets `A` and `B` and returns a tuple
+* containing the unique properties found in `A` and `B` respectively.
+*
+* You may optionally add a _dereferencing_ generic if you want to have the
+* properties uniqueness determined by an index of the items in the two sets.
+*
+* ```ts
+* // readonly [ [1], [4] ]
+* type T = Unique<[1,2,3],[2,3,4]>;
+* ```
+*
+* **Related:** `Intersection`
+*/
+export type Unique<A extends readonly unknown[], B extends readonly unknown[], TDeref extends string | number | null = null> = A extends readonly unknown[] ? Readonly<[
+    Mutable<UniqueAcc<A, B, TDeref>>,
+    Mutable<UniqueAcc<B, A, TDeref>>
+]> : A extends unknown[] ? [
+    Mutable<UniqueAcc<A, B, TDeref>>,
+    Mutable<UniqueAcc<B, A, TDeref>>
+] : never;
+export {};
+//# sourceMappingURL=Unique.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Unique.d.ts","sourceRoot":"","sources":["../../../../src/types/sets/Unique.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,UAAU,EACV,KAAK,EACL,OAAO,EACP,OAAO,EACP,GAAG,EACJ,MAAM,IAAI,CAAC;AAEZ,KAAK,SAAS,CACZ,MAAM,SAAS,SAAS,OAAO,EAAE,EACjC,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,WAAW,SAAS,MAAM,GAAG,MAAM,GAAG,IAAI,EAC1C,OAAO,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,EAAE,IAC9C,EAAE,SAAS,MAAM,GACnB,OAAO,GACP,UAAU,CACR,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,SAAS,OAAO,EAAE,EAClD,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,EAE/B,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,EAC5D,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAC1F,CAAC;AAEJ;;;;;;;;;;;;;;;EAeE;AACF,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,IAC1C,CAAC,SAAS,SAAS,OAAO,EAAG,GAC/B,QAAQ,CACN;IACE,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAChC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;CACjC,CACF,GACD,CAAC,SAAS,OAAO,EAAG,GAChB;IACA,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAChC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;CACjC,GACC,KAAK,CAAC"}

package/dist/src/types/sets/Unique.js

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

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

@@ -0,0 +1,30 @@
+import { AsNumberWhenPossible, Container, LeftRight, UnionToTuple } from "..";
+/**
+ * **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/src/types/sets/UniqueKeys.d.ts.map

@@ -0,0 +1 @@
+{"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,IAAI,CAAC;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;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/src/types/sets/UniqueKeys.js

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

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

@@ -0,0 +1,21 @@
+import { Container, LeftRight } from "..";
+/**
+ * **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/src/types/sets/UniqueKeysUnion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"UniqueKeysUnion.d.ts","sourceRoot":"","sources":["../../../../src/types/sets/UniqueKeysUnion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,IAAI,CAAC;AAE1C;;;;;;;;;;;;;;;;;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/src/types/sets/UniqueKeysUnion.js

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

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

@@ -0,0 +1,14 @@
+import { AnyObject, LeftRight } from "..";
+/**
+ * **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/src/types/sets/UniqueKv.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"UniqueKv.d.ts","sourceRoot":"","sources":["../../../../src/types/sets/UniqueKv.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,IAAI,CAAC;AAE1C;;;;;;;;;;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/src/types/sets/UniqueKv.js

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

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

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