inferred-types 0.42.0 → 0.43.0

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

@@ -1,11 +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";
+export * from "./Dict";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/runtime-types/index.ts"],"names":[],"mappings":"AACA,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,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,QAAQ,CAAC"}

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

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

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

@@ -1,7 +1,9 @@
-import { Container, UnionToTuple } from "../index";
+import { AsRecord, Container, UnionToTuple } from "../index";
 /**
+ * **IntersectingKeys**`<A,B>`
+ *
  * Provides a tuple of keys which are shared between the two
- * tuples passed in [`L`,`R`].
+ * containers passed in `A` and `B`.
  */
-export type IntersectingKeys<L extends Container, R extends Container> = UnionToTuple<(keyof L) & (keyof R)> & PropertyKey[];
+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 +1 @@
-{"version":3,"file":"IntersectingKeys.d.ts","sourceRoot":"","sources":["../../../src/types/sets/IntersectingKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,iBAAwB;AAG1D;;;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"}
+{"version":3,"file":"IntersectingKeys.d.ts","sourceRoot":"","sources":["../../../src/types/sets/IntersectingKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,iBAAwB;AAGpE;;;;;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/Intersection.d.ts

@@ -1,31 +1,53 @@
-import type { GetEach, IfContains, IfNull, RemoveNever, Get, IfContainer, ToContainer } from "../index";
-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>;
+import type { GetEach, IsNull, Container, RemoveNever, Contains, If, RemoveMarked, NarrowlyContains, Throw } from "../index";
+import { MARKED } from "../../constants/Marked";
+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;
     }>,
-    RemoveNever<{
-        [K in keyof B]: IfContains<AValues, IfContainer<B[K], Get<ToContainer<B[K]>, TDeref>, never>, B[K], 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, [Deref]>`
-  *
-  * Takes two sets `A` and `B` and returns a their _intersection_ where:
+  * **Intersection**`<A,B, [TDeref]>`
   *
-  * 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.
+  * Takes two tuple sets `A` and `B` and returns each of their _value intersections_.
   *
-  * 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 ]`
+  * - 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`, `ObjIntersection`
+  * **Related:** `Unique`, `IntersectingKeys`
   */
-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 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 +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,iBAAwB;AAEzB,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"}
+{"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,iBAAwB;AACzB,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAEhD,KAAK,MAAM,GAAG,OAAO,MAAM,CAAA;AAE3B,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/Relate.d.ts.map

@@ -1 +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,iBAAwB;AAE9F;;;;;;;;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"}
+{"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,iBAAwB;AAE9F;;;;;;;;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/Unique.d.ts

@@ -1,38 +1,23 @@
-import { IfContains, AfterFirst, First, GetEach, Mutable, Get } from "../index";
-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>]>>;
+import { AfterFirst, First, IfNever, Contains, Push, Container, Not, GetEach, IsScalar, TupleToUnion, UnionToTuple, AsString, IsNever, As } from "../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**`<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 UniqueOLD<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;
-type Process<TSet extends readonly unknown[], TUnique extends readonly unknown[] = []> = [] extends TSet ? TUnique : Process<AfterFirst<TSet>, IfContains<TUnique, First<TSet>, TUnique, [
-    ...TUnique,
-    First<TSet>
-]>>;
-/**
- * **Unique**`<TSet>`
+ * **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
  *
- * Given a tuple/set of values, this utility will reduce this tuple to
- * unique values in the set.
+ * ```ts
+ * // ["foo", "bar"]
+ * type FooBar = Unique<["foo","foo","bar"]>;
+ * ```
  */
-export type Unique<TSet extends readonly unknown[]> = Process<TSet>;
+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 +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,iBAAwB;AAEzB,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,SAAS,CACnB,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;AAEZ,KAAK,OAAO,CACV,IAAI,SAAS,SAAS,OAAO,EAAE,EAC/B,OAAO,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACrC,EAAE,SAAS,IAAI,GACjB,OAAO,GACP,OAAO,CACL,UAAU,CAAC,IAAI,CAAC,EAChB,UAAU,CACR,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,EACpB,OAAO,EACP;IAAC,GAAG,OAAO;IAAE,KAAK,CAAC,IAAI,CAAC;CAAC,CAC1B,CACF,CAAC;AAIJ;;;;;GAKG;AACH,MAAM,MAAM,MAAM,CAChB,IAAI,SAAS,SAAS,OAAO,EAAE,IAC7B,OAAO,CAAC,IAAI,CAAC,CAAC"}
+{"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,iBAAwB;AAEzB,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/index.d.ts

@@ -1,11 +1,8 @@
-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";

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/sets/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC"}
+{"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,11 +1,8 @@
-export * from "./AllKeys.js";
 export * from "./Intersection.js";
 export * from "./IntersectingKeys.js";
 export * from "./SetCandidate.js";
-export * from "./SetRemoval.js";
 export * from "./Unique.js";
 export * from "./Relate.js";
-export * from "./Dedupe.js";
 export * from "./UniqueKeys.js";
 export * from "./UniqueKv.js";
 export * from "./UniqueKeysUnion.js";

package/dist/types/string-literals/{RemainingChars.d.ts → AfterFirstChar.d.ts}

@@ -1,6 +1,6 @@
-import { Split, AsArray, AfterFirst, AsString, Concat } from "../index";
+import { AsArray, AfterFirst, AsString, Concat, Chars } from "../index";
 type Iterate<TInput extends readonly string[]> = {
-    [K in keyof TInput]: TInput[K] extends string ? Concat<AfterFirst<Split<TInput[K]>>> : never;
+    [K in keyof TInput]: TInput[K] extends string ? Concat<AfterFirst<AsArray<Chars<TInput[K]>>>> : never;
 };
 /**
  * **RemainingChar**`<TContent>`
@@ -18,6 +18,6 @@ type Iterate<TInput extends readonly string[]> = {
  * after the first character has been removed
  *    - any wide strings encountered will be ignored in the returned array
  */
-export type RemainingChars<TContent extends string | readonly string[]> = TContent extends readonly string[] ? Iterate<AsArray<TContent>> : Concat<AfterFirst<Split<AsString<TContent>>>>;
+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=RemainingChars.d.ts.map
+//# 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,iBAAwB;AAEhF,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/Chars.d.ts

@@ -1,8 +1,13 @@
-import { IfNotStringLiteral, Split } from "../index";
+import { IsStringLiteral, IsEqual } from "../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> = IfNotStringLiteral<TStr, readonly string[], Split<TStr, ""> & readonly string[]>;
+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

@@ -1 +1 @@
-{"version":3,"file":"Chars.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/Chars.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAE,iBAAwB;AAG5D;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,IAAI,SAAS,MAAM,IAAI,kBAAkB,CACzD,IAAI,EACJ,SAAS,MAAM,EAAE,EACjB,KAAK,CAAC,IAAI,EAAC,EAAE,CAAC,GAAG,SAAS,MAAM,EAAE,CACnC,CAAC"}
+{"version":3,"file":"Chars.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/Chars.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,eAAe,EAAG,OAAO,EAAE,iBAAwB;AAE7D,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/Concat.d.ts

@@ -1,5 +1,5 @@
-import { IfLiteral, AfterFirst, First, Tuple } from "../index";
-type ElementLiteral<T> = T extends string ? IfLiteral<T, T, string> : T extends number ? IfLiteral<T, T, `${number}`> : T extends boolean ? IfLiteral<T, T, `${boolean}`> : never;
+import { AfterFirst, First, Tuple, IsStringLiteral, IsNumericLiteral, IsBooleanLiteral } from "../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>`
@@ -16,6 +16,6 @@ type Process<T extends Tuple, Result extends string = ""> = [] extends T ? Resul
  *
  * **Related:** `Join<TArr,TWith>`
  */
-export type Concat<T extends Tuple> = Process<T>;
+export type Concat<T extends readonly unknown[]> = Process<T>;
 export {};
 //# sourceMappingURL=Concat.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"Concat.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/Concat.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAG,UAAU,EAAG,KAAK,EAAE,KAAK,EAAE,iBAAwB;AAExE,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACrC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,GACvB,CAAC,SAAS,MAAM,GAChB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,GAC5B,CAAC,SAAS,OAAO,GACjB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,GAC7B,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,KAAK,IACb,OAAO,CAAC,CAAC,CAAC,CAAC"}
+{"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,iBAAwB;AAEzB,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/Date.d.ts

@@ -1,4 +1,4 @@
-import { NumericChar, NonZeroNumericChar, TupleToUnion, TypeStrength } from "../index";
+import { NumericChar, NonZeroNumericChar, TupleToUnion } from "../index";
 import { MONTH_ABBR, MONTH_NAME } from "../../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}`;
@@ -28,12 +28,12 @@ export type MonthNumeric = "10" | "11" | "12" | `${"0" | ""}${NonZeroNumericChar
 export type MonthDay = ZeroThenDigit | `${"" | "1" | "2"}${NumericChar}` | `3${"0" | "1"}`;
 export type DateSeparator = "-" | "/" | ".";
 /**
- * **YMD**`<[TStrength],[TSep]>
+ * **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<TStrength extends TypeStrength = "strong", TSep extends DateSeparator = "-"> = TStrength extends "strong" ? `${"1" | "2"}${number}${TSep}${MonthNumeric}${TSep}${MonthDay}` : `${"1" | "2"}${number}${TSep}${number}${TSep}${number}`;
+export type YMD<TSep extends DateSeparator = "-"> = `${"1" | "2"}${number}${TSep}${MonthNumeric}${TSep}${number}`;
 /**
  * **DateThenMonth**
  *
@@ -102,7 +102,7 @@ export type MonthAbbrThenDateAndYear = `${MonthAbbr} ${MonthDay}${MonthPostfix}$
  * with just the `YMD_Simple` type. If you really need stronger typing use
  * the `FullDateStrong` type.
  */
-export type FullDate = YMD<"simple"> | DateThenMonthThenYear | MonthThenDateThenYear;
+export type FullDate = YMD | DateThenMonthThenYear | MonthThenDateThenYear;
 /**
  * **ShortDate**
  *
@@ -117,14 +117,9 @@ export type ShortDate = DateThenMonth | MonthThenDate;
 /**
  * **Date**
  *
- * A simplified type to represent different date formats. If you
- * need stronger type validation consider those in **related** section
- * below. All stronger type definitions will rollup to this type.
- *
- * **Related:** `FullDate`, `ShortDate`, `YMD`, `MonthThenDate`,
- * `MonthThenDateAndYear`, `MonthAbbrThenDate`, `MonthAbbrDateAndYear`
- * `DateThenMonth`, `DateThenMonthAndYear`
+ * 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<"simple"> | `${MonthAbbr}${string}` | `${MonthDay}${string}`;
+export type Date = YMD;
 export {};
 //# sourceMappingURL=Date.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"Date.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/Date.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,YAAY,EACZ,YAAY,EACb,iBAAwB;AACzB,OAAO,EAAE,UAAU,EAAE,UAAU,EAAC,8BAA6B;AAE7D,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,YAAY,CAAC,OAAO,UAAU,CAAC,CAAC;AAGxD;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,UAAU,CAAC,CAAC;AAExD;;;;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,SAAS,SAAS,YAAY,GAAG,QAAQ,EACzC,IAAI,SAAS,aAAa,GAAG,GAAG,IAC9B,SAAS,SAAS,QAAQ,GAC5B,GAAG,GAAG,GAAG,GAAG,GAAG,MAAM,GAAG,IAAI,GAAG,YAAY,GAAG,IAAI,GAAG,QAAQ,EAAE,GAC/D,GAAG,GAAG,GAAG,GAAG,GAAG,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC;AAE1D;;;;;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,CAAC,QAAQ,CAAC,GAAG,qBAAqB,GAAG,qBAAqB,CAAC;AAErF;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,aAAa,CAAC;AAGtD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,GAAG,SAAS,GAAG,MAAM,EAAE,GAAG,GAAG,QAAQ,GAAG,MAAM,EAAE,CAAC"}
+{"version":3,"file":"Date.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/Date.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,YAAY,EACb,iBAAwB;AACzB,OAAO,EAAE,UAAU,EAAE,UAAU,EAAC,8BAA6B;AAE7D,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,YAAY,CAAC,OAAO,UAAU,CAAC,CAAC;AAGxD;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,UAAU,CAAC,CAAC;AAExD;;;;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/DateTime.d.ts

@@ -1,11 +1,15 @@
-import { DateSeparator, HoursMinutes, HoursMinutesSeconds, TZ, Time, YMD, TypeStrength, TypeRequired, MilitaryHours, Minutes, TimeNomenclature, TimeResolution } from "../index";
+import { DateSeparator, HoursMinutes, HoursMinutesSeconds, TZ, Time, YMD, TypeRequired, TimeNomenclature, TimeResolution } from "../index";
 /**
  * **DateTimeMinutes**
  *
  * The date and time with time resolution of minutes.
  */
-export type DateTimeMinutes<S extends DateSeparator = DateSeparator> = `${YMD<"simple", S>} ${HoursMinutes}`;
-export type DateTimeSeconds<S extends DateSeparator = DateSeparator> = `${YMD<"simple", S>} ${HoursMinutesSeconds}`;
+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>`
  *
@@ -15,7 +19,10 @@ export type DateTimeSeconds<S extends DateSeparator = DateSeparator> = `${YMD<"s
  * **Note:** the most common and best choice is often the `Iso8601`
  * datetime representation.
  */
-export type DateTime<TNomenclature extends TimeNomenclature = "either", TResolution extends TimeResolution | "all" = "all", TTimezone extends TypeRequired = "exclude", TSep extends DateSeparator = "-"> = `${YMD<"simple", TSep>} ${Time<TNomenclature, TResolution, TTimezone>}`;
+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>
  *
@@ -25,5 +32,5 @@ export type DateTime<TNomenclature extends TimeNomenclature = "either", TResolut
  * - 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<TStr extends TypeStrength = "strong", TTimezone extends TypeRequired = "optional"> = TStr extends "strong" ? `${YMD<"simple">}T${MilitaryHours}:${Minutes<"simple">}:${number}.${number}${TZ<"simple", TTimezone>}` : `${number}-${number}-${number}T${number}:${number}:${number}.${number}${TZ<"simple", TTimezone>}`;
+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

@@ -1 +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,YAAY,EACZ,aAAa,EACb,OAAO,EACP,gBAAgB,EAChB,cAAc,EACf,iBAAwB;AAGzB;;;;GAIG;AACH,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,aAAa,GAAG,aAAa,IACrC,GAAG,GAAG,CAAC,QAAQ,EAAC,CAAC,CAAC,IAAI,YAAY,EAAE,CAAC;AAEzC,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,aAAa,GAAG,aAAa,IACrC,GAAG,GAAG,CAAC,QAAQ,EAAC,CAAC,CAAC,IAAI,mBAAmB,EAAE,CAAC;AAGhD;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAClB,aAAa,SAAS,gBAAgB,GAAG,QAAQ,EACjD,WAAW,SAAS,cAAc,GAAG,KAAK,GAAG,KAAK,EAClD,SAAS,SAAS,YAAY,GAAG,SAAS,EAC1C,IAAI,SAAS,aAAa,GAAG,GAAG,IAC9B,GAAG,GAAG,CAAC,QAAQ,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,EAAC,WAAW,EAAC,SAAS,CAAC,EAAE,CAAC;AAGzE;;;;;;;;GAQG;AACH,MAAM,MAAM,OAAO,CACjB,IAAI,SAAS,YAAY,GAAG,QAAQ,EACpC,SAAS,SAAS,YAAY,GAAG,UAAU,IACzC,IAAI,SAAS,QAAQ,GACrB,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,aAAa,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,MAAM,IAAI,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,GAEtG,GAAG,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC"}
+{"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,iBAAwB;AAGzB;;;;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/EnsureLeading.d.ts

@@ -1,18 +1,27 @@
-import { IfLiteral, IfStartsWith, IsNumber, ToString } from "../index";
+import { AsNumber, AsString, StartsWith, IsWideType } from "../index";
+type Process<TContent extends string, TLeading extends string> = IsWideType<TLeading> extends true ? `${string}${TContent}` : IsWideType<TContent> extends true ? `${TLeading}${string}` : StartsWith<TContent, TLeading> extends true ? TContent : `${TLeading}${TContent}`;
+type PreProcess<TContent extends string | number, TLeading extends string | number> = IsWideType<TContent> extends true ? IsWideType<TLeading> extends true ? TContent : TLeading extends number ? TContent extends number ? AsNumber<Process<AsString<TContent>, AsString<TLeading>>> : Process<AsString<TContent>, AsString<TLeading>> : Process<AsString<TContent>, AsString<TLeading>> : TContent extends number ? AsNumber<Process<AsString<TContent>, AsString<TLeading>>> : Process<AsString<TContent>, AsString<TLeading>>;
+type IterateOver<TContent extends readonly (string | number)[], TLeading extends string | number> = {
+    [K in keyof TContent]: PreProcess<TContent[K], TLeading>;
+};
 /**
- * **EnsureLeading**`<TTarget, TLeading>`
+ * **EnsureLeading**`<TContent, TLeading>`
  *
- * Will ensure that `TTarget` starts with the _substring_ `TLeading` when
- * both are string literals.
+ * Will ensure that `TContent` _starts with_ the `TLeading`; adding
+ * it when it wasn't present or proxying the value through when it was.
+ *
+ * **Note:** you can use both _string_ or _numeric_ values for both
+ * parameters.
  *
  * ```ts
- * type T = " World";
- * type U = "Hello";
+ * type T = "World";
+ * type U = "Hello ";
  * // "Hello World"
  * type R = EnsureLeading<T,U>;
  * ```
  *
- * **Related:** `EnsureLeadingEvery`, `EnsureTrailing`
+ * **Related:** `EnsureLeadingEvery`, `EnsureTrailing`, `EnsureSurround`, `Surround`
  */
-export type EnsureLeading<TTarget extends string | number, TLeading extends string> = IsNumber<TTarget> extends true ? EnsureLeading<ToString<TTarget>, TLeading> : IfLiteral<TTarget, IfLiteral<TLeading, IfStartsWith<TTarget & string, TLeading, TTarget & `${TLeading}${string}`, `${TLeading}${TTarget}`>, string>, string>;
+export type EnsureLeading<TContent extends string | number | readonly (string | number)[], TLeading extends string | number> = TContent extends readonly (string | number)[] ? IterateOver<TContent, TLeading> : TContent extends string | number ? PreProcess<TContent, TLeading> : never;
+export {};
 //# sourceMappingURL=EnsureLeading.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"EnsureLeading.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/EnsureLeading.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAG,QAAQ,EAAE,iBAAwB;AAE/E;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,aAAa,CACvB,OAAO,SAAS,MAAM,GAAG,MAAM,EAC/B,QAAQ,SAAS,MAAM,IAEvB,QAAQ,CAAC,OAAO,CAAC,SAAS,IAAI,GAC5B,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,GAC1C,SAAS,CACP,OAAO,EAEP,SAAS,CACP,QAAQ,EAER,YAAY,CACV,OAAO,GAAG,MAAM,EAAE,QAAQ,EAC1B,OAAO,GAAG,GAAG,QAAQ,GAAG,MAAM,EAAE,EAChC,GAAG,QAAQ,GAAG,OAAO,EAAE,CACxB,EACD,MAAM,CACP,EACD,MAAM,CACP,CAAC"}
+{"version":3,"file":"EnsureLeading.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/EnsureLeading.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,iBAAwB;AAE7E,KAAK,OAAO,CACV,QAAQ,SAAS,MAAM,EACvB,QAAQ,SAAS,MAAM,IACtB,UAAU,CAAC,QAAQ,CAAC,SAAS,IAAI,GAChC,GAAG,MAAM,GAAG,QAAQ,EAAE,GACtB,UAAU,CAAC,QAAQ,CAAC,SAAS,IAAI,GAC/B,GAAG,QAAQ,GAAG,MAAM,EAAE,GACrB,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,SAAS,IAAI,GAC1C,QAAQ,GACR,GAAG,QAAQ,GAAG,QAAQ,EAAE,CAAC;AAIjC,KAAK,UAAU,CACb,QAAQ,SAAS,MAAM,GAAG,MAAM,EAChC,QAAQ,SAAS,MAAM,GAAG,MAAM,IAC9B,UAAU,CAAC,QAAQ,CAAC,SAAS,IAAI,GACnC,UAAU,CAAC,QAAQ,CAAC,SAAS,IAAI,GAE/B,QAAQ,GACR,QAAQ,SAAS,MAAM,GACrB,QAAQ,SAAS,MAAM,GACrB,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GACxD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,GAChD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,GAElD,QAAQ,SAAS,MAAM,GACnB,QAAQ,CACN,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAChD,GACD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAA;AAGrD,KAAK,WAAW,CACd,QAAQ,SAAS,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,EAC7C,QAAQ,SAAS,MAAM,GAAG,MAAM,IAC9B;KACD,CAAC,IAAI,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;CACzD,CAAA;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,aAAa,CACvB,QAAQ,SAAS,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC,MAAM,GAAC,MAAM,CAAC,EAAE,EAC7D,QAAQ,SAAS,MAAM,GAAG,MAAM,IAC9B,QAAQ,SAAS,SAAS,CAAC,MAAM,GAAC,MAAM,CAAC,EAAE,GAC7C,WAAW,CAAC,QAAQ,EAAC,QAAQ,CAAC,GAC9B,QAAQ,SAAS,MAAM,GAAG,MAAM,GAC9B,UAAU,CAAC,QAAQ,EAAC,QAAQ,CAAC,GAC7B,KAAK,CAAC"}

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

@@ -0,0 +1,10 @@
+import { EnsureLeading, EnsureTrailing } from "../index";
+/**
+ * **EnsureSurround**
+ *
+ * Ensures that `TInput` is _surrounded_ by `TPrefix` and `TPostfix`
+ *
+ * **Related:** `Surround`
+ */
+export type EnsureSurround<TInput extends string, TPrefix extends string, TPostfix extends string> = EnsureTrailing<EnsureLeading<TInput, TPrefix>, TPostfix>;
+//# sourceMappingURL=EnsureSurround.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"EnsureSurround.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/EnsureSurround.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,iBAAwB;AAEhE;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,CACxB,MAAM,SAAS,MAAM,EACrB,OAAO,SAAS,MAAM,EACtB,QAAQ,SAAS,MAAM,IACrB,cAAc,CAChB,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,QAAQ,CACT,CAAC"}

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

@@ -1,6 +1,11 @@
-import { IfLiteral } from "../index";
+import { AsNumber, AsString, If, IsWideType, ToStringArray, IfNever } from "../index";
+type Process<TContent extends string, TTrailing extends string> = If<IsWideType<TContent>, `${string}${TTrailing}`, If<IsWideType<TTrailing>, `${TContent}${string}`, TContent extends `${string}${TTrailing}` ? TContent : `${TContent}${TTrailing}`>>;
+type PreProcess<TContent extends string | number, TTrailing extends string | number> = If<IsWideType<TContent>, If<IsWideType<TTrailing>, TContent, TTrailing extends number ? TContent extends number ? AsNumber<Process<AsString<TContent>, AsString<TTrailing>>> : Process<AsString<TContent>, AsString<TTrailing>> : Process<AsString<TContent>, AsString<TTrailing>>>, TContent extends number ? AsNumber<Process<AsString<TContent>, AsString<TTrailing>>> : Process<AsString<TContent>, AsString<TTrailing>>>;
+type IterateOver<TContent extends readonly string[], TTrailing extends string> = {
+    [K in keyof TContent]: PreProcess<TContent[K], TTrailing>;
+};
 /**
- * **EnsureTrailing**`<T, U>`
+ * **EnsureTrailing**`<TContent, TTrailing>`
  *
  * Will ensure that `T` ends with the substring `U` when
  * both are string literals.
@@ -12,5 +17,6 @@ import { IfLiteral } from "../index";
  * type R = EnsureTrailing<T,U>;
  * ```
  */
-export type EnsureTrailing<T extends string, U extends string> = IfLiteral<T, string extends U ? never : T extends `${string}${U}` ? T : `${T}${U}`, string>;
+export type EnsureTrailing<TContent extends string | number | readonly (string | number)[], TTrailing extends string | number> = TContent extends readonly (string | number)[] ? ToStringArray<TContent> extends readonly string[] ? IterateOver<ToStringArray<TContent>, AsString<TTrailing>> : never : TContent extends string ? PreProcess<AsString<TContent>, AsString<TTrailing>> : TContent extends number ? IfNever<AsNumber<PreProcess<AsString<TContent>, AsString<TTrailing>>>, number> : never;
+export {};
 //# sourceMappingURL=EnsureTrailing.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"EnsureTrailing.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/EnsureTrailing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAwB;AAG5C;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,SAAS,CAExE,CAAC,EAGD,MAAM,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,SAAS,GAAG,MAAM,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,EAErE,MAAM,CACP,CAAC"}
+{"version":3,"file":"EnsureTrailing.d.ts","sourceRoot":"","sources":["../../../src/types/string-literals/EnsureTrailing.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,EAAE,EACF,UAAU,EACV,aAAa,EACb,OAAO,EACR,iBAAwB;AAEzB,KAAK,OAAO,CACV,QAAQ,SAAS,MAAM,EACvB,SAAS,SAAS,MAAM,IACvB,EAAE,CACH,UAAU,CAAC,QAAQ,CAAC,EACpB,GAAG,MAAM,GAAG,SAAS,EAAE,EACvB,EAAE,CACA,UAAU,CAAC,SAAS,CAAC,EACrB,GAAG,QAAQ,GAAG,MAAM,EAAE,EACtB,QAAQ,SAAS,GAAG,MAAM,GAAG,SAAS,EAAE,GACpC,QAAQ,GACR,GAAG,QAAQ,GAAG,SAAS,EAAE,CAC5B,CACF,CAAC;AAEJ,KAAK,UAAU,CACb,QAAQ,SAAS,MAAM,GAAG,MAAM,EAChC,SAAS,SAAS,MAAM,GAAG,MAAM,IAC/B,EAAE,CACN,UAAU,CAAC,QAAQ,CAAC,EACpB,EAAE,CACA,UAAU,CAAC,SAAS,CAAC,EAErB,QAAQ,EACR,SAAS,SAAS,MAAM,GACpB,QAAQ,SAAS,MAAM,GACrB,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,GACzD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,GACjD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAClD,EACD,QAAQ,SAAS,MAAM,GACnB,QAAQ,CACN,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CACjD,GACD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CACrD,CAAA;AAED,KAAK,WAAW,CACd,QAAQ,SAAS,SAAS,MAAM,EAAE,EAClC,SAAS,SAAS,MAAM,IACtB;KACD,CAAC,IAAI,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC;CAC1D,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,CACxB,QAAQ,SAAS,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC,MAAM,GAAC,MAAM,CAAC,EAAE,EAC7D,SAAS,SAAS,MAAM,GAAG,MAAM,IAC/B,QAAQ,SAAS,SAAS,CAAC,MAAM,GAAC,MAAM,CAAC,EAAE,GAC7C,aAAa,CAAC,QAAQ,CAAC,SAAS,SAAS,MAAM,EAAE,GAC/C,WAAW,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,GACzD,KAAK,GACP,QAAQ,SAAS,MAAM,GACrB,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,GAClD,QAAQ,SAAS,MAAM,GACnB,OAAO,CACL,QAAQ,CACN,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CACnD,EACD,MAAM,CACP,GACL,KAAK,CAAC"}

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

@@ -1,24 +1,21 @@
-import { Split, AsArray, AfterFirst, First, IfStringLiteral, AsString, IfString, IfNever, Chars } from "../index";
-type Iterate<TInput extends readonly string[], TChars extends readonly string[] = []> = [] extends TInput ? TChars : Iterate<AfterFirst<TInput>, IfStringLiteral<First<TInput>, IfNever<Chars<First<TInput>>, TChars, [
-    ...TChars,
-    First<Chars<First<TInput>>>
-]>, TChars>>;
+import { First, Chars } from "../index";
+type Process<TContent extends string> = First<Chars<TContent>>;
+type Iterate<TContent extends readonly string[]> = {
+    [K in keyof TContent]: Process<TContent[K]>;
+};
 /**
  * **FirstChar**`<TContent>`
  *
- * Receives either a string or a tuple of strings. Based on the input
- * it is converted to:
+ * When `TContent` extends a _string_:
+ *   - will return the first character in a string literal
+ *   - returns `string` when a wide type is encountered
+ *   - returns `never` when an empty string is passed in
  *
- * - **String:**
- *    - when a string is received it will return the first character
- * in that string as a string literal.
- *    - 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 first
- * character
- *    - any wide strings encountered will be ignored in the returned array
+ * When `TContent` is a tuple of strings:
+ *   - each item will be processed as described above
+ *
+ * **Related:** `LastChar`, `AfterFirstChar`
  */
-export type FirstChar<TContent extends string | readonly string[]> = IfString<TContent, First<Split<AsString<TContent>>>, Iterate<AsArray<TContent>>>;
+export type FirstChar<TContent extends string | readonly string[]> = TContent extends readonly string[] ? Iterate<TContent> : TContent extends string ? string extends TContent ? string : Process<TContent> : never;
 export {};
 //# sourceMappingURL=FirstChar.d.ts.map