inferred-types 0.51.0 → 0.51.2

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

@@ -0,0 +1,53 @@
+import type { GetEach, IsNull, Container, RemoveNever, Contains, If, RemoveMarked, NarrowlyContains, Throw } from "inferred-types/dist/types/index";
+import { MARKED } from "inferred-types/dist/constants/index";
+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

@@ -0,0 +1 @@
+{"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,iCAAiC,CAAC;AACzC,OAAQ,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAC;AAE9D,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

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

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

@@ -0,0 +1,16 @@
+import { Container, IntersectingKeys, LeftRight, Length, UniqueKeys } from "inferred-types/dist/types/index";
+/**
+ * **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

@@ -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,iCAAiC,CAAC;AAE9G;;;;;;;;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

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

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

@@ -0,0 +1,9 @@
+import { Narrowable } from "inferred-types/dist/types/index";
+/**
+ * **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

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

package/dist/types/sets/SetCandidate.js

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

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

@@ -0,0 +1,23 @@
+import { AfterFirst, First, IfNever, Contains, Push, Container, Not, GetEach, IsScalar, TupleToUnion, UnionToTuple, AsString, IsNever, As } from "inferred-types/dist/types/index";
+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

@@ -0,0 +1 @@
+{"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,iCAAiC,CAAC;AAEzC,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

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

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

@@ -0,0 +1,30 @@
+import { AsNumberWhenPossible, Container, LeftRight, UnionToTuple } from "inferred-types/dist/types/index";
+/**
+ * **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

@@ -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,iCAAiC,CAAC;AAE3G;;;;;;;;;;;;;;;;;;;;;;;;;;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

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

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

@@ -0,0 +1,21 @@
+import { Container, LeftRight } from "inferred-types/dist/types/index";
+/**
+ * **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

@@ -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,iCAAiC,CAAC;AAEvE;;;;;;;;;;;;;;;;;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

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

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

@@ -0,0 +1,14 @@
+import { AnyObject, LeftRight } from "inferred-types/dist/types/index";
+/**
+ * **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

@@ -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,iCAAiC,CAAC;AAEvE;;;;;;;;;;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

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

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

@@ -0,0 +1,9 @@
+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

@@ -0,0 +1 @@
+{"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

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

package/dist/types/string-literals/AfterFirstChar.d.ts

@@ -0,0 +1,23 @@
+import { AsArray, AfterFirst, AsString, Concat, Chars } from "inferred-types/dist/types/index";
+type Iterate<TInput extends readonly string[]> = {
+    [K in keyof TInput]: TInput[K] extends string ? Concat<AfterFirst<AsArray<Chars<TInput[K]>>>> : never;
+};
+/**
+ * **RemainingChar**`<TContent>`
+ *
+ * Receives either a string or a tuple of strings. Based on the input
+ * it is converted to:
+ *
+ * - **String:**
+ *    - when a string is received it will return the string with the first
+ * character removed
+ *    - when a wide string type is provided it will return the _never_ type.
+ * - **Tuple<string>:**
+ *    - when a tuple of strings is received it will process
+ * each element in the array independently and return each element's _remaining characters_
+ * after the first character has been removed
+ *    - any wide strings encountered will be ignored in the returned array
+ */
+export type AfterFirstChar<TContent extends string | readonly string[]> = TContent extends readonly string[] ? Iterate<AsArray<TContent>> : TContent extends string ? Concat<AfterFirst<AsArray<Chars<AsString<TContent>>>>> : never;
+export {};
+//# sourceMappingURL=AfterFirstChar.d.ts.map

package/dist/types/string-literals/AfterFirstChar.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AfterFirstChar.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/AfterFirstChar.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAG,MAAM,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AAEhG,KAAK,OAAO,CACV,MAAM,SAAS,SAAS,MAAM,EAAE,IAC9B;KACD,CAAC,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,GACzC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC7C,KAAK;CACV,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,cAAc,CACxB,QAAQ,SAAS,MAAM,GAAG,SAAS,MAAM,EAAE,IACzC,QAAQ,SAAS,SAAS,MAAM,EAAE,GAClC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,GAC1B,QAAQ,SAAS,MAAM,GACrB,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GACtD,KAAK,CAAC"}

package/dist/types/string-literals/AfterFirstChar.js

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

package/dist/types/string-literals/Cardinality.d.ts

@@ -0,0 +1,50 @@
+import { First, UnionToTuple } from "inferred-types/dist/types/index";
+export type OneToOne = `1:1`;
+export type OneToMany = `1:M`;
+export type OneToZero = `1:0`;
+export type ZeroToOne = `0:1`;
+export type ZeroToMany = `0:M`;
+export type ZeroToZero = `0:0`;
+export type ManyToMany = "M:M";
+export type ManyToOne = "M:1";
+export type ManyToZero = "M:0";
+export type CardinalityNode = "0" | "1" | "M";
+/**
+ * Cardinality which expects a singular input and requires
+ * 1 or many outputs.
+ *
+ * Note: choose `CardinalityFilter1` if you want to allow output
+ * to have no outputs.
+ */
+export type Cardinality1 = OneToOne | OneToMany;
+/**
+ * Cardinality which expects a singular input and maps to 0,
+ * 1, or many outputs.
+ */
+export type CardinalityFilter1 = OneToOne | OneToMany | OneToZero;
+/**
+ * Cardinality which expects a singular input which is allowed to be
+ * _undefined_ or the expected type.
+ */
+export type Cardinality0 = ZeroToOne | ZeroToMany | OneToOne | OneToMany;
+/**
+ * Cardinality which expects a singular input -- which is allowed to be
+ * _undefined_ -- and maps to 0,
+ * 1, or many outputs.
+ */
+export type CardinalityFilter0 = ZeroToOne | ZeroToMany | OneToOne | OneToMany | OneToZero | ZeroToZero;
+export type CardinalityExplicit = `${number}:${number}`;
+/**
+ * Cardinality of any sort between two types
+ */
+export type Cardinality = CardinalityFilter0 | CardinalityFilter1 | ManyToMany | ManyToOne | ManyToZero | CardinalityExplicit;
+/**
+ * The first or _input_ part of the Cardinality relationship
+ */
+export type CardinalityIn<T extends Cardinality> = T extends `${infer IN}:${string}` ? IN : never;
+/**
+ * The second or _output_ part of the Cardinality relationship
+ */
+export type CardinalityOut<T extends Cardinality> = T extends `${string}:${infer OUT}` ? OUT : never;
+export type CardinalityInput<T, C extends Cardinality> = UnionToTuple<C> extends readonly unknown[] ? First<UnionToTuple<C>> extends 1 ? T : T[] : T | undefined;
+//# sourceMappingURL=Cardinality.d.ts.map

package/dist/types/string-literals/Cardinality.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Cardinality.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/Cardinality.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAEtE,MAAM,MAAM,QAAQ,GAAG,KAAK,CAAC;AAC7B,MAAM,MAAM,SAAS,GAAG,KAAK,CAAC;AAC9B,MAAM,MAAM,SAAS,GAAG,KAAK,CAAC;AAC9B,MAAM,MAAM,SAAS,GAAG,KAAK,CAAC;AAC9B,MAAM,MAAM,UAAU,GAAG,KAAK,CAAC;AAC/B,MAAM,MAAM,UAAU,GAAG,KAAK,CAAC;AAC/B,MAAM,MAAM,UAAU,GAAG,KAAK,CAAC;AAC/B,MAAM,MAAM,SAAS,GAAG,KAAK,CAAC;AAC9B,MAAM,MAAM,UAAU,GAAG,KAAK,CAAC;AAE/B,MAAM,MAAM,eAAe,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAE9C;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEhD;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;AAElE;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEzE;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAC1B,SAAS,GACT,UAAU,GACV,QAAQ,GACR,SAAS,GACT,SAAS,GACT,UAAU,CAAC;AAEf,MAAM,MAAM,mBAAmB,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC;AAExD;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB,kBAAkB,GAClB,kBAAkB,GAClB,UAAU,GACV,SAAS,GACT,UAAU,GACV,mBAAmB,CAAC;AAGxB;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;AAElG;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,GAAG,EAAE,GAClF,GAAG,GACH,KAAK,CAAC;AAEV,MAAM,MAAM,gBAAgB,CAC1B,CAAC,EACD,CAAC,SAAS,WAAW,IACnB,YAAY,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GAC1C,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAC9B,CAAC,GACD,CAAC,EAAE,GACL,CAAC,GAAG,SAAS,CAAC"}

package/dist/types/string-literals/Cardinality.js

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

package/dist/types/string-literals/Chars.d.ts

@@ -0,0 +1,13 @@
+import { IsStringLiteral, IsEqual } from "inferred-types/dist/types/index";
+type Process<TStr extends string, TResult extends readonly string[] = []> = IsStringLiteral<TStr> extends true ? IsEqual<TStr["length"], 0> extends true ? [] : TStr extends `${infer Char}${infer Rest}` ? Process<Rest, [
+    ...TResult,
+    Char
+]> : TResult : string;
+/**
+ * **Chars**`<TStr>`
+ *
+ * Takes a literal string and converts it to an array of characters.
+ */
+export type Chars<TStr extends string> = IsStringLiteral<TStr> extends true ? Process<TStr> extends readonly string[] ? Process<TStr> : never : readonly string[];
+export {};
+//# sourceMappingURL=Chars.d.ts.map

package/dist/types/string-literals/Chars.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Chars.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/Chars.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,eAAe,EAAG,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAE7E,KAAK,OAAO,CACV,IAAI,SAAS,MAAM,EACnB,OAAO,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,IACpC,eAAe,CAAC,IAAI,CAAC,SAAS,IAAI,GAClC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACrC,EAAE,GACF,IAAI,SAAS,GAAG,MAAM,IAAI,GAAG,MAAM,IAAI,EAAE,GACvC,OAAO,CACL,IAAI,EACJ;IAAC,GAAG,OAAO;IAAE,IAAI;CAAC,CACnB,GACD,OAAO,GACX,MAAM,CAAC;AAGX;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,IAAI,SAAS,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,SAAS,IAAI,GACvE,OAAO,CAAC,IAAI,CAAC,SAAS,SAAS,MAAM,EAAE,GACrC,OAAO,CAAC,IAAI,CAAC,GACb,KAAK,GACP,SAAS,MAAM,EAAE,CAAA"}

package/dist/types/string-literals/Chars.js

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

package/dist/types/string-literals/Concat.d.ts

@@ -0,0 +1,21 @@
+import { AfterFirst, First, Tuple, IsStringLiteral, IsNumericLiteral, IsBooleanLiteral } from "inferred-types/dist/types/index";
+type ElementLiteral<T> = [T] extends [string] ? IsStringLiteral<T> extends true ? T : string : [T] extends [number] ? IsNumericLiteral<T> extends true ? T : `${number}` : [T] extends [boolean] ? IsBooleanLiteral<T> extends true ? T : `${boolean}` : never;
+type Process<T extends Tuple, Result extends string = ""> = [] extends T ? Result : Process<AfterFirst<T>, `${Result}${ElementLiteral<First<T>>}`>;
+/**
+ * **Concat**`<T>`
+ *
+ * A type utility which converts an array of strings into a
+ * _concatenated_ string type.
+ *
+ * ```ts
+ * // `${string}-${string}`
+ * type T1 = Concat<string, "-", string>;
+ * // `foo-bar-baz`
+ * type T2 = Concat<"foo", "-", "bar", "-", "baz">;
+ * ```
+ *
+ * **Related:** `Join<TArr,TWith>`
+ */
+export type Concat<T extends readonly unknown[]> = Process<T>;
+export {};
+//# sourceMappingURL=Concat.d.ts.map

package/dist/types/string-literals/Concat.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Concat.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/Concat.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,KAAK,EACL,KAAK,EACL,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EACjB,MAAM,iCAAiC,CAAC;AAEzC,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GACzC,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,MAAM,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GACpB,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,GAAG,MAAM,EAAE,GAClD,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GACrB,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,GAAG,OAAO,EAAE,GACnD,KAAK,CAAC;AAEV,KAAK,OAAO,CACV,CAAC,SAAS,KAAK,EACf,MAAM,SAAS,MAAM,GAAG,EAAE,IACxB,EAAE,SAAS,CAAC,GACZ,MAAM,GACN,OAAO,CACL,UAAU,CAAC,CAAC,CAAC,EACb,GAAG,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CACvC,CAAC;AAEN;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,OAAO,CAAC,CAAC,CAAC,CAAC"}

package/dist/types/string-literals/Concat.js

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

package/dist/types/string-literals/Date.d.ts

@@ -0,0 +1,125 @@
+import { NumericChar, NonZeroNumericChar } from "inferred-types/dist/types/index";
+import { MONTH_ABBR, MONTH_NAME } from "inferred-types/dist/constants/index";
+export type Year<T extends "strong" | "simple" = "strong"> = T extends "strong" ? `${"1" | "2"}${NumericChar}${NumericChar}${NumericChar}` : `${"1" | "2"}${number}`;
+type ZeroThenDigit = `0${NumericChar}`;
+/**
+ * **MonthName**
+ *
+ * The month of the year represented as a full string name.
+ */
+export type MonthName = typeof MONTH_NAME[number];
+/**
+ * **MonthAbbr**
+ *
+ * The month of the year represented in an abbreviated string format.
+ */
+export type MonthAbbr = typeof MONTH_ABBR[number];
+/**
+ * **MonthNumeric**
+ *
+ * The month of the year represented in a numeric format.
+ */
+export type MonthNumeric = "10" | "11" | "12" | `${"0" | ""}${NonZeroNumericChar}`;
+/**
+ * **MonthDay**
+ *
+ * The numeric day in the month.
+ */
+export type MonthDay = ZeroThenDigit | `${"" | "1" | "2"}${NumericChar}` | `3${"0" | "1"}`;
+export type DateSeparator = "-" | "/" | ".";
+/**
+ * **YMD**`<[TSep]>
+ * A date format for `YYYY-MM-DD` which is used as a component of the ISO8601 standard.
+ *
+ * > Note: you may optionally change the DateSeparator to suit your needs
+ */
+export type YMD<TSep extends DateSeparator = "-"> = `${"1" | "2"}${number}${TSep}${MonthNumeric}${TSep}${number}`;
+/**
+ * **DateThenMonth**
+ *
+ * The day of the month followed by an abbreviated string representation
+ * of the month (e.g., `4 July`)
+ */
+export type DateThenMonth = `${MonthDay} ${MonthAbbr}`;
+/**
+ * **DateThenMonthThenYear**
+ *
+ * The day of the month followed by an abbreviated string representation
+ * of the month and finishing with the year (e.g., `4 July 2021`)
+ */
+export type DateThenMonthThenYear = `${MonthDay} ${MonthAbbr}${` ${Year<"simple">}`}`;
+export type MonthPostfix = "" | "st" | "rd" | "th";
+/**
+ * **MonthThenDateThenYear**
+ *
+ * The month's name -- either abbreviate or full -- followed by the
+ * day in the month (e.g., `July 28, 1970`, or `July 28th, 1970`)
+ */
+export type MonthThenDateThenYear = `${MonthAbbr | MonthName} ${MonthDay}${MonthPostfix}${`, ${Year<"simple">}`}`;
+/**
+ * **MonthThenDate**
+ *
+ * The month's name -- either abbreviate or full -- followed by the
+ * day in the month (e.g., `July 28`, `July 28th`)
+ */
+export type MonthThenDate = `${MonthAbbr | MonthName} ${MonthDay}${MonthPostfix}`;
+export type MonthThenDate_Simple = ``;
+/**
+ * **MonthAbbrThenDate**
+ *
+ * The month's name -- in abbreviated form -- followed by the
+ * day in the month. You may optionally add a `MonthPostfix` descriptor.
+ *
+ * ```ts
+ * const date: MonthAbbrThenDate[] = ["Jun 6", "Jun 06", "Jun 6th"]
+ * ```
+ */
+export type MonthAbbrThenDate = `${MonthAbbr} ${MonthDay}${MonthPostfix}`;
+/**
+ * **MonthAbbrThenDateAndYear**
+ *
+ * The month's name -- in abbreviated form -- followed by the
+ * day in the month and the year.
+ *
+ * - you may optionally add a `MonthPostfix` descriptor
+ * - the year must be preceded by `, `
+ *
+ * ```ts
+ * const date: MonthAbbrThenDateAndYear[] = ["Jun 6, 2020", "Jun 06, 2020", "Jun 6th, 2020"]
+ * ```
+ */
+export type MonthAbbrThenDateAndYear = `${MonthAbbr} ${MonthDay}${MonthPostfix}${`, ${Year<"simple">}`}`;
+/**
+ * **FullDate**
+ *
+ * Allows the representation of a date using one of several representations:
+ *
+ * 1. `YYYY-MM-DD` / `YYYY.MM.DD` / `YYYY/MM/DD`
+ * 2. `13 Jun 2020`
+ * 3. `July 4th, 2019`
+ *
+ * Note: to keep types as simple as possible, the `YMD` type has been replaced
+ * with just the `YMD_Simple` type. If you really need stronger typing use
+ * the `FullDateStrong` type.
+ */
+export type FullDate = YMD | DateThenMonthThenYear | MonthThenDateThenYear;
+/**
+ * **ShortDate**
+ *
+ * Represent the month and day of month in one of two structural formats:
+ *
+ * 1. `13 Jun`
+ * 2. `Jun 13` or `Jun 13th` or `June 13th`
+ *
+ * **Note:** the year is _not_ representable using this type
+ */
+export type ShortDate = DateThenMonth | MonthThenDate;
+/**
+ * **Date**
+ *
+ * An [ISO8601](https://www.iso.org/iso-8601-date-and-time-format.html#:~:text=Therefore%2C%20the%20order%20of%20the,27%2018%3A00%3A00.000.)
+ * date format which looks like `YYYY-MM-DD`.
+ */
+export type Date = YMD;
+export {};
+//# sourceMappingURL=Date.d.ts.map

package/dist/types/string-literals/Date.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Date.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/Date.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,kBAAkB,EACnB,MAAM,iCAAiC,CAAC;AACzC,OAAQ,EAAE,UAAU,EAAE,UAAU,EAAC,MAAO,qCAAqC,CAAC;AAE9E,MAAM,MAAM,IAAI,CACd,CAAC,SAAS,QAAQ,GAAG,QAAQ,GAAG,QAAQ,IACtC,CAAC,SAAS,QAAQ,GACpB,GAAG,GAAG,GAAG,GAAG,GAAG,WAAW,GAAG,WAAW,GAAG,WAAW,EAAE,GACxD,GAAG,GAAG,GAAG,GAAG,GAAG,MAAM,EAAE,CAAC;AAE1B,KAAK,aAAa,GAAG,IAAI,WAAW,EAAE,CAAC;AAEvC;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAGlD;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAElD;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAI,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,CAAC;AAEpF;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG,aAAa,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,WAAW,EAAE,GAAG,IAAI,GAAG,GAAG,GAAG,EAAE,CAAC;AAE3F,MAAM,MAAM,aAAa,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAG5C;;;;;GAKG;AACH,MAAM,MAAM,GAAG,CACb,IAAI,SAAS,aAAa,GAAG,GAAG,IAC7B,GAAG,GAAG,GAAG,GAAG,GAAG,MAAM,GAAG,IAAI,GAAG,YAAY,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC;AAEnE;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,GAAG,QAAQ,IAAI,SAAS,EAAE,CAAC;AAEvD;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,GAAG,QAAQ,IAAI,SAAS,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;AAGtF,MAAM,MAAM,YAAY,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,GAAG,SAAS,GAAG,SAAS,IAAI,QAAQ,GAAG,YAAY,GAAG,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;AAElH;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,GAAG,SAAS,GAAG,SAAS,IAAI,QAAQ,GAAG,YAAY,EAAE,CAAC;AAGlF,MAAM,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAEtC;;;;;;;;;GASG;AACH,MAAM,MAAM,iBAAiB,GAAG,GAAG,SAAS,IAAI,QAAQ,GAAG,YAAY,EAAE,CAAC;AAE1E;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,wBAAwB,GAAG,GAAG,SAAS,IAAI,QAAQ,GAAG,YAAY,GAAG,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;AAEzG;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,QAAQ,GAAG,GAAG,GAAG,qBAAqB,GAAG,qBAAqB,CAAC;AAE3E;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,aAAa,CAAC;AAGtD;;;;;GAKG;AACH,MAAM,MAAM,IAAI,GAAG,GAAG,CAAC"}

package/dist/types/string-literals/Date.js

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

package/dist/types/string-literals/DateTime.d.ts

@@ -0,0 +1,36 @@
+import { DateSeparator, HoursMinutes, HoursMinutesSeconds, TZ, Time, YMD, TypeRequired, TimeNomenclature, TimeResolution } from "inferred-types/dist/types/index";
+/**
+ * **DateTimeMinutes**
+ *
+ * The date and time with time resolution of minutes.
+ */
+export type DateTimeMinutes<S extends DateSeparator = DateSeparator> = `${YMD<S>} ${HoursMinutes<{
+    strength: "simple";
+}>}`;
+export type DateTimeSeconds<S extends DateSeparator = DateSeparator> = `${YMD<S>} ${HoursMinutesSeconds<{
+    strength: "simple";
+}>}`;
+/**
+ * **DateTime**`<S>`
+ *
+ * A simplified way of representing any supported representation
+ * of a `DateTime` string.
+ *
+ * **Note:** the most common and best choice is often the `Iso8601`
+ * datetime representation.
+ */
+export type DateTime<TResolution extends TimeResolution = "HH:MM:SS", TNomenclature extends TimeNomenclature = "military", TTimezone extends TypeRequired = "exclude", TSep extends DateSeparator = "-"> = `${YMD<TSep>} ${Time<TResolution, TNomenclature, {
+    timezone: TTimezone;
+    strength: "simple";
+}>}`;
+/**
+ * **Iso8601**<TStrength>
+ *
+ * Creates typing for the [**ISO8601**](https://en.wikipedia.org/wiki/ISO_8601)
+ * datetime format.
+ *
+ * - the strength/complexity of the type can be set with `TStrength`
+ * - a timezone is optional by default but can be isolated to "required" or "excluded"
+ */
+export type Iso8601<TTimezone extends TypeRequired = "optional"> = `${number}-${number}-${number}T${number}:${number}:${number}.${number}${TZ<TTimezone>}`;
+//# sourceMappingURL=DateTime.d.ts.map

package/dist/types/string-literals/DateTime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DateTime.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/DateTime.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,YAAY,EACZ,mBAAmB,EACnB,EAAE,EACF,IAAI,EACJ,GAAG,EACH,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACf,MAAM,iCAAiC,CAAC;AAGzC;;;;GAIG;AACH,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,aAAa,GAAG,aAAa,IACrC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC,EAAE,CAAC;AAEtD,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,aAAa,GAAG,aAAa,IACrC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,mBAAmB,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC,EAAE,CAAC;AAE7D;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAClB,WAAW,SAAS,cAAc,GAAG,UAAU,EAC/C,aAAa,SAAS,gBAAgB,GAAG,UAAU,EACnD,SAAS,SAAS,YAAY,GAAG,SAAS,EAC1C,IAAI,SAAS,aAAa,GAAG,GAAG,IAC9B,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAC,aAAa,EAAC;IAAC,QAAQ,EAAE,SAAS,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC,EAAE,CAAC;AAGhG;;;;;;;;GAQG;AACH,MAAM,MAAM,OAAO,CACjB,SAAS,SAAS,YAAY,GAAG,UAAU,IACzC,GAAG,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,CAAA"}

package/dist/types/string-literals/DateTime.js

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

package/dist/types/string-literals/EmptyString.d.ts

@@ -0,0 +1,7 @@
+/**
+ * **EmptyString**
+ *
+ * A string literal of an _empty_ string;
+ */
+export type EmptyString = "";
+//# sourceMappingURL=EmptyString.d.ts.map

package/dist/types/string-literals/EmptyString.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EmptyString.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/EmptyString.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG,EAAE,CAAC"}

package/dist/types/string-literals/EmptyString.js

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

package/dist/types/string-literals/EmptyStringOr.d.ts

@@ -0,0 +1,9 @@
+import { TupleToUnion, EmptyString } from "inferred-types/dist/types/index";
+/**
+ * **EmptyStringOr**`<T>`
+ *
+ * A type utility to build a union between an empty string
+ * _or_ the string literal `T`.
+ */
+export type EmptyStringOr<T extends string | readonly string[]> = T extends readonly string[] ? EmptyString | TupleToUnion<T & readonly string[]> : EmptyString | (T & string);
+//# sourceMappingURL=EmptyStringOr.d.ts.map

package/dist/types/string-literals/EmptyStringOr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EmptyStringOr.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/EmptyStringOr.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAG,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAE7E;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,GAAG,SAAS,MAAM,EAAE,IAC5D,CAAC,SAAS,SAAS,MAAM,EAAE,GACvB,WAAW,GAAG,YAAY,CAAC,CAAC,GAAG,SAAS,MAAM,EAAE,CAAC,GACjD,WAAW,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC"}

package/dist/types/string-literals/EmptyStringOr.js

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