inferred-types 0.42.0 → 0.43.0

package/dist/types/lists/Flatten.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Flatten.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Flatten.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAG,UAAU,EAAE,KAAK,EAAE,iBAAwB;AAE/D,KAAK,KAAK,CACR,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,MAAM,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EACxB,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,EAAE,SAAS,KAAK,GAChB,MAAM,SAAS,CAAC,GACd,QAAQ,GACR,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,SAAS,IAAI,GACxC,MAAM,SAAS,CAAC,GACd,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,GAClB,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,GACpB,QAAQ,GACZ,KAAK,CACH,UAAU,CAAC,KAAK,CAAC,EACjB,MAAM,EACN,KAAK,CAAC,KAAK,CAAC,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,GAC/C,CAAE,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAC/B,CAAE,GAAG,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAE,CAClC,CAAC;AAEN;;;;;;;GAOG;AACH,MAAM,MAAM,OAAO,CACjB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,MAAM,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAC1B,KAAK,SAAS,OAAO,EAAE,GACvB,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,GACpB,KAAK,SAAS,SAAS,OAAO,EAAE,GAC9B,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAC9B,KAAK,CAAC"}
+{"version":3,"file":"Flatten.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Flatten.ts"],"names":[],"mappings":"AACA,OAAO,EACL,QAAQ,EACR,UAAU,EACV,KAAK,EACL,OAAO,EACP,YAAY,EACZ,YAAY,EACZ,OAAO,EACP,EAAE,EACH,iBAAwB;AAEzB,KAAK,sBAAsB,CACzB,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,EAAE,CAAC;KACJ,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC1C,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GACvC,KAAK;CACV,CAAC,CAAC;AAEH,KAAK,KAAK,CACR,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,MAAM,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EACxB,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,EAAE,SAAS,KAAK,GAChB,MAAM,SAAS,CAAC,GACd,QAAQ,GACR,EAAE,CAAC;IACD,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC7B,sBAAsB,CAAC,QAAQ,CAAC;CACjC,CAAC,SAAS,IAAI,GACb,MAAM,SAAS,CAAC,GACd,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,GAClB,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,GACpB,sBAAsB,CAAC,QAAQ,CAAC,SAAS,IAAI,GACzC,QAAQ,GACR,QAAQ,GAChB,KAAK,CACH,UAAU,CAAC,KAAK,CAAC,EACjB,MAAM,EACN,KAAK,CAAC,KAAK,CAAC,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,GAC/C,CAAE,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAC/B,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,IAAI,GAChC;IACE,GAAG,QAAQ;IACX,GAAG,CACD,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,EAAE,GACvC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GACzB,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAChC;CACF,GACD,CAAE,GAAG,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAE,CACpC,CAAC;AAEN,KAAK,OAAO,CACV,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,MAAM,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IACtB,YAAY,CAAC;KACd,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GAC3C,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GACrB,CAAC,CAAC,CAAC,CAAC;CACT,CAAC,CAAC;AAEH,MAAM,MAAM,YAAY,CACtB,MAAM,IACJ,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,GAC9B,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAChC,MAAM,CAAC;AAET,KAAK,WAAW,CACd,MAAM,IACJ,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,GAC9B,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GACtC,MAAM,CAAC;AAET,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GAC1C,IAAI,SAAS,OAAO,EAAE,GACpB,IAAI,GACJ,CAAC,GACH,KAAK,CAAA;AAET,KAAK,OAAO,CACZ,KAAK,EACL,MAAM,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IACxB,KAAK,SAAS,SAAS,OAAO,EAAE,GAClC,OAAO,CAAC,KAAK,CAAC,SAAS,IAAI,GAC3B,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,GACpB,WAAW,CAAC,KAAK,CAAC,GAClB,OAAO,CAAC,KAAK,CAAC,SAAS,IAAI,GAC3B,YAAY,CAAC,KAAK,CAAC,GACnB,KAAK,CAAC;AAER,KAAK,QAAQ,CACX,KAAK,EACL,MAAM,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IACtB,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC1C,YAAY,CAAC,OAAO,CAAC,KAAK,EAAC,MAAM,CAAC,CAAC,GACnC,OAAO,CAAC,KAAK,EAAC,MAAM,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GAC1C,IAAI,GACJ,KAAK,CAAC;AAEV,KAAK,aAAa,CAChB,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,MAAM,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IACtB,YAAY,CAAC;KACd,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,EAAE,GAClC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GACtB,CAAC,CAAC,CAAC,CAAC;CACT,CAAC,CAAC;AAEH;;;;;;;;;;GAUG;AACH,MAAM,MAAM,OAAO,CACjB,KAAK,EACL,MAAM,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAC5B,QAAQ,SAAS,OAAO,GAAG,KAAK,IAC9B,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,GAC5B,OAAO,CAAC,KAAK,EAAC,MAAM,CAAC,GACrB,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC7C,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,EAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,GACzD,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAChD,YAAY,CAAC,OAAO,CAAC,KAAK,EAAC,MAAM,CAAC,CAAC,GACnC,OAAO,CAAC,KAAK,EAAC,MAAM,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GAC1C,IAAI,GACJ,KAAK,CAAA"}

package/dist/types/lists/GetEach.d.ts

@@ -1,15 +1,17 @@
-import { Get, IfReadonlyArray, IfValidDotPath, IndexOf, Mutable, RemoveNever } from "../index";
+import { Get, IsReadonlyArray, IsValidDotPath, IndexOf, Mutable, RemoveNever } from "../index";
+type Process<TList extends readonly unknown[], TKey extends string> = RemoveNever<{
+    [K in keyof TList]: [TKey] extends [keyof TList[K]] ? [IndexOf<TList[K], TKey>] extends [undefined] ? never : IndexOf<TList[K], TKey> : [IsValidDotPath<TList[K], TKey>] extends [true] ? Mutable<Get<TList[K], TKey, never>> : never;
+}>;
 /**
 * **GetEach**`<TList, TKey, [THandleErrors]>`
 *
 * Type utility which receives a list of types -- `TList` -- and then _gets_ a
 * key `TKey` (using dot syntax) from each element in the array.
 *
-* - if a given element is not an object then `never` is returned
-* - if a given element is an object and `undefined` extends that properties type
-* then `undefined` is set otherwise `never`.
-* - by default all `never` values are removed from the resultant type but you can
-* change this behavior by changing `TRetainNever` to **true**
+* - if a given element is not an object then it is excluded from the result set
+* - values which evaluate to _undefined_ are also removed from the result set
+* - if either `null` or "" are used for `TKey` then this simply proxies `TList`
+* through
 *
 * ```ts
 * // ["Bob", "Wendy"]
@@ -19,7 +21,6 @@ import { Get, IfReadonlyArray, IfValidDotPath, IndexOf, Mutable, RemoveNever } f
 * ], "name">
 * ```
 */
-export type GetEach<TList extends readonly unknown[], TKey extends string | number | null> = TKey extends null ? TList : RemoveNever<{
-    [K in keyof TList]: TKey extends keyof TList[K] ? IndexOf<TList[K], TKey> : IfValidDotPath<TList[K], TKey, IfReadonlyArray<TList, Get<TList[K], TKey>, Mutable<Get<TList[K], TKey>>>, never>;
-}>;
+export type GetEach<TList extends readonly unknown[], TKey extends string | null> = TKey extends null ? TList : TKey extends "" ? TList : IsReadonlyArray<TList> extends true ? Readonly<Process<[...TList], Exclude<TKey, null>>> : Process<TList, Exclude<TKey, null>>;
+export {};
 //# sourceMappingURL=GetEach.d.ts.map

package/dist/types/lists/GetEach.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"GetEach.d.ts","sourceRoot":"","sources":["../../../src/types/lists/GetEach.ts"],"names":[],"mappings":"AACA,OAAO,EACL,GAAG,EACH,eAAe,EACf,cAAc,EACd,OAAO,EACP,OAAO,EACP,WAAW,EACZ,iBAAwB;AAGzB;;;;;;;;;;;;;;;;;;;EAmBE;AACF,MAAM,MAAM,OAAO,CACjB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,IAAI,SAAS,MAAM,GAAG,MAAM,GAAG,IAAI,IAEjC,IAAI,SAAS,IAAI,GACjB,KAAK,GACH,WAAW,CAAC;KACX,CAAC,IAAI,MAAM,KAAK,GAAG,IAAI,SAAS,MAAM,KAAK,CAAC,CAAC,CAAC,GAC3C,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GACvB,cAAc,CACZ,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAEd,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAE,EAE1E,KAAK,CACN;CACN,CAAC,CAAC"}
+{"version":3,"file":"GetEach.d.ts","sourceRoot":"","sources":["../../../src/types/lists/GetEach.ts"],"names":[],"mappings":"AACA,OAAO,EACL,GAAG,EACH,eAAe,EACf,cAAc,EACd,OAAO,EACP,OAAO,EACP,WAAW,EACZ,iBAAwB;AAEzB,KAAK,OAAO,CACV,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,IAAI,SAAS,MAAM,IAClB,WAAW,CAAC;KACZ,CAAC,IAAI,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAC/C,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAC3C,KAAK,GACL,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GACzB,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC7C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,GACtC,KAAK;CACT,CAAC,CAAC;AAKH;;;;;;;;;;;;;;;;;;EAkBE;AACF,MAAM,MAAM,OAAO,CACjB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,IAAI,SAAS,MAAM,GAAG,IAAI,IACxB,IAAI,SAAS,IAAI,GACnB,KAAK,GACL,IAAI,SAAS,EAAE,GACf,KAAK,GACL,eAAe,CAAC,KAAK,CAAC,SAAS,IAAI,GACjC,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAClD,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC"}

package/dist/types/lists/IndexOf.d.ts

@@ -1,20 +1,57 @@
-import { AnyObject, IfNull, IsNegativeNumber, Abs, Decrement, Reverse, ErrorCondition, Concat, ToString, IfValidKey } from "../index";
+import { IsNull, IsNegativeNumber, Abs, Decrement, Reverse, ToString, Dictionary, ObjectKey, If, AsString, IsValidIndex, AsPropertyKey, Throw, ErrorCondition, Concat } from "../index";
+import { Constant } from "../../constants/index";
+type Override<TValue, TOverride> = TOverride extends Constant<"no-override"> ? TValue : TValue extends ErrorCondition<"invalid-index"> ? TOverride : TValue;
+type NegativeIndex<TValue extends readonly unknown[], TIdx extends number> = Decrement<Abs<TIdx>> extends number ? If<IsValidIndex<TValue, Decrement<Abs<TIdx>>>, TValue[Decrement<Abs<TIdx>>], Throw<"invalid-index", `Use of a negative index [${AsString<TIdx>}] was unsuccessful in matching a valid index`, "IndexOf", {
+    container: TValue;
+    key: TIdx;
+    context: {
+        revIndex: Decrement<Abs<TIdx>>;
+        revContainer: Reverse<TValue>;
+    };
+}>> : never;
+type HandleArr<TValue extends readonly unknown[], TIdx extends PropertyKey> = TIdx extends number ? IsNegativeNumber<TIdx> extends true ? NegativeIndex<Reverse<TValue>, TIdx> : If<IsValidIndex<TValue, TIdx>, TValue[TIdx], Throw<"invalid-index", Concat<["Attempt to index [", ToString<TIdx>, "] into a non-container type!"]>, "IndexOf", {
+    container: TValue;
+    key: TIdx;
+    library: "inferred-types";
+}>> : Throw<"invalid-index", `IndexOf<Tuple,${ToString<TIdx>}> failed because a tuple container must use numeric indexes!`, "IndexOf", {
+    container: TValue;
+    key: TIdx;
+    library: "inferred-types";
+}>;
+type HandleObj<TValue extends Dictionary, TIdx extends PropertyKey> = TIdx extends keyof TValue ? TValue[TIdx] : Throw<"invalid-index", Concat<["Attempt to index [", ToString<TIdx>, "] into a non-container type!"]>, "IndexOf", {
+    container: TValue;
+    key: TIdx;
+    library: "inferred-types";
+}>;
+type Process<TValue, TIdx extends PropertyKey | null> = If<IsNull<TIdx>, TValue, TValue extends readonly unknown[] ? If<IsValidIndex<TValue, AsPropertyKey<TIdx>>, HandleArr<TValue, AsPropertyKey<TIdx>>, Throw<"invalid-index", `Call to IndexOf<DescribeType<TValue>,${AsString<TIdx>}> is not allowed as an tuple based container must receive either null or numeric index value.`, "IndexOf", {
+    library: "inferred-types";
+    container: TValue;
+    key: TIdx;
+}>> : TValue extends Dictionary ? TIdx extends ObjectKey ? HandleObj<TValue, TIdx> : Throw<"invalid-index", `Call to IndexOf<DescribeType<TValue>,${AsString<TIdx>}> is not allowed as an object based container must receive either null, a string, or a symbol index value.`, "IndexOf", {
+    library: "inferred-types";
+    container: TValue;
+    key: TIdx;
+}> : Throw<"invalid-index", `IndexOf<ToString<TValue>},${ToString<TIdx>}> was called but the a non-null value was used to index a non-container which will never work!`, "IndexOf", {
+    library: "inferred-types";
+    container: TValue;
+    key: TIdx;
+}>>;
 /**
- * **IndexOf**<TValue, TIdx>
+ * **IndexOf**<TValue, TIdx, [TOverride]>
  *
  * A type utility which _dereferences_ a property/index item on an array
  * or object.
  *
  * - if `TIdx` is passed in as `null` then this will act as an identity
  * function and return `TValue`.
- * - if `TIdx` is a negative number it will index in reverse
+ * - if `TIdx` is a negative number it will index in reverse for tuple based
+ * containers
  *
- * **Related:** `Get`
+ * **Related:** `Get`, `IsValidIndex`
+ *
+ * **Errors:** produces an `ErrorCondition<"invalid-index">` when an a bad index value
+ * is passed in for the given container
  */
-export type IndexOf<TValue, TIdx extends PropertyKey | null> = IfNull<TIdx, TValue, TValue extends readonly unknown[] ? IsNegativeNumber<TIdx> extends true ? IndexOf<// negative indexing
-Reverse<TValue>, Decrement<Abs<TIdx & number>>> : IfValidKey<TValue, Exclude<TIdx, null>> : TValue extends AnyObject ? TIdx extends keyof TValue ? TValue[TIdx] : never : ErrorCondition<"invalid-index", Concat<["Attempt to index [", ToString<TIdx>, "] into a non-container type!"]>, {
-    container: TValue;
-    key: TIdx;
-    library: "IndexOf";
-}>>;
+export type IndexOf<TValue, TIdx extends PropertyKey | null, TOverride = Constant<"no-override">> = TIdx extends null ? TValue : Override<Process<TValue, TIdx>, TOverride>;
+export {};
 //# sourceMappingURL=IndexOf.d.ts.map

package/dist/types/lists/IndexOf.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"IndexOf.d.ts","sourceRoot":"","sources":["../../../src/types/lists/IndexOf.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,MAAM,EACN,gBAAgB,EAChB,GAAG,EACH,SAAS,EACT,OAAO,EACP,cAAc,EACd,MAAM,EACN,QAAQ,EACR,UAAU,EACX,iBAAwB;AAEzB;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,OAAO,CACjB,MAAM,EACN,IAAI,SAAS,WAAW,GAAG,IAAI,IAC7B,MAAM,CACR,IAAI,EAEJ,MAAM,EAEN,MAAM,SAAS,SAAS,OAAO,EAAE,GAC3B,gBAAgB,CAAC,IAAI,CAAC,SAAS,IAAI,GACjC,OAAO,CAAE,oBAAoB;AAC3B,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAC/C,GACD,UAAU,CAAC,MAAM,EAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAE1C,MAAM,SAAS,SAAS,GACtB,IAAI,SAAS,MAAM,MAAM,GACvB,MAAM,CAAC,IAAI,CAAC,GACZ,KAAK,GACP,cAAc,CACZ,eAAe,EACf,MAAM,CAAC,CAAC,oBAAoB,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,8BAA8B,CAAC,CAAC,EAC9E;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,SAAS,CAAA;CAAE,CACrD,CACR,CAAC"}
+{"version":3,"file":"IndexOf.d.ts","sourceRoot":"","sources":["../../../src/types/lists/IndexOf.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,EACN,gBAAgB,EAChB,GAAG,EACH,SAAS,EACT,OAAO,EACP,QAAQ,EACR,UAAU,EACV,SAAS,EACT,EAAE,EACF,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,KAAK,EACL,cAAc,EACd,MAAM,EACP,iBAAwB;AACzB,OAAO,EAAE,QAAQ,EAAE,8BAA4B;AAE/C,KAAK,QAAQ,CACX,MAAM,EACN,SAAS,IACP,SAAS,SAAS,QAAQ,CAAC,aAAa,CAAC,GAC3C,MAAM,GACN,MAAM,SAAS,cAAc,CAAC,eAAe,CAAC,GAC5C,SAAS,GACT,MAAM,CAAC;AAEX,KAAK,aAAa,CAChB,MAAM,SAAS,SAAS,OAAO,EAAE,EACjC,IAAI,SAAS,MAAM,IACjB,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,MAAM,GACnC,EAAE,CACA,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAC1C,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAC5B,KAAK,CACH,eAAe,EACf,4BAA4B,QAAQ,CAAC,IAAI,CAAC,8CAA8C,EACxF,SAAS,EACT;IACE,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,IAAI,CAAC;IACV,OAAO,EAAE;QACP,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/B,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;KAC/B,CAAC;CACH,CACF,CACF,GACD,KAAK,CAAC;AAGV,KAAK,SAAS,CACZ,MAAM,SAAS,SAAS,OAAO,EAAE,EACjC,IAAI,SAAS,WAAW,IACtB,IAAI,SAAS,MAAM,GACrB,gBAAgB,CAAC,IAAI,CAAC,SAAS,IAAI,GACjC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAC,IAAI,CAAC,GACnC,EAAE,CACA,YAAY,CAAC,MAAM,EAAC,IAAI,CAAC,EACzB,MAAM,CAAC,IAAI,CAAC,EACZ,KAAK,CACH,eAAe,EACf,MAAM,CAAC,CAAC,oBAAoB,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,8BAA8B,CAAC,CAAC,EAC9E,SAAS,EACT;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAC5D,CACF,GACH,KAAK,CACH,eAAe,EACf,iBAAiB,QAAQ,CAAC,IAAI,CAAC,8DAA8D,EAC7F,SAAS,EACT;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAC5D,CAAC;AAEJ,KAAK,SAAS,CACd,MAAM,SAAS,UAAU,EACzB,IAAI,SAAS,WAAW,IACpB,IAAI,SAAS,MAAM,MAAM,GAC3B,MAAM,CAAC,IAAI,CAAC,GACZ,KAAK,CACL,eAAe,EACf,MAAM,CAAC,CAAC,oBAAoB,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,8BAA8B,CAAC,CAAC,EAC9E,SAAS,EACT;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAC5D,CAAC;AAEF,KAAK,OAAO,CACZ,MAAM,EACN,IAAI,SAAS,WAAW,GAAG,IAAI,IAC3B,EAAE,CACN,MAAM,CAAC,IAAI,CAAC,EAEZ,MAAM,EAEN,MAAM,SAAS,SAAS,OAAO,EAAE,GAC7B,EAAE,CACA,YAAY,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,EACzC,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,EACtC,KAAK,CACL,eAAe,EACb,wCAAwC,QAAQ,CAAC,IAAI,CAAC,+FAA+F,EACrJ,SAAS,EACT;IAAE,OAAO,EAAE,gBAAgB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,IAAI,CAAA;CAAE,CAC5D,CACF,GACD,MAAM,SAAS,UAAU,GACvB,IAAI,SAAS,SAAS,GACpB,SAAS,CAAC,MAAM,EAAC,IAAI,CAAC,GACtB,KAAK,CACH,eAAe,EACf,wCAAwC,QAAQ,CAAC,IAAI,CAAC,4GAA4G,EAClK,SAAS,EACT;IAAC,OAAO,EAAE,gBAAgB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,IAAI,CAAA;CAAE,CAC3D,GACH,KAAK,CACH,eAAe,EACf,6BAA6B,QAAQ,CAAC,IAAI,CAAC,gGAAgG,EAC3I,SAAS,EACT;IAAE,OAAO,EAAE,gBAAgB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,IAAI,CAAA;CAAE,CAC5D,CACN,CAAC;AAIF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,OAAO,CACjB,MAAM,EACN,IAAI,SAAS,WAAW,GAAG,IAAI,EAC/B,SAAS,GAAG,QAAQ,CAAC,aAAa,CAAC,IACjC,IAAI,SAAS,IAAI,GACnB,MAAM,GACN,QAAQ,CACN,OAAO,CAAC,MAAM,EAAC,IAAI,CAAC,EACpB,SAAS,CACV,CAAA"}

package/dist/types/lists/Last.d.ts

@@ -1,8 +1,10 @@
 import { AfterFirst, IfLength, Length, Tuple } from "../index";
 /**
- * **Last**`<TList>`
+ * **Last**`<TList, [TEmpty]>`
  *
- * Returns the _last_ element in a list of elements
+ * Returns the _last_ element in a list of elements.
+ *
+ * - by default `TEmpty` is _never_ but this can be changed.
  */
-export type Last<T extends Tuple> = IfLength<T, 1, T[0], IfLength<T, 0, never, AfterFirst<T> extends readonly unknown[] ? T[Length<AfterFirst<T>>] extends T[number] ? T[Length<AfterFirst<T>>] : never : never>>;
+export type Last<TContent extends Tuple, TEmpty = never> = IfLength<TContent, 1, TContent[0], IfLength<TContent, 0, TEmpty, AfterFirst<TContent> extends readonly unknown[] ? TContent[Length<AfterFirst<TContent>>] extends TContent[number] ? TContent[Length<AfterFirst<TContent>>] : never : never>>;
 //# sourceMappingURL=Last.d.ts.map

package/dist/types/lists/Last.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Last.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Last.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAG,KAAK,EAAE,iBAAwB;AAEvE;;;;GAIG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI,QAAQ,CAC1C,CAAC,EAAE,CAAC,EAEJ,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,CACN,CAAC,EAAE,CAAC,EAEJ,KAAK,EAEL,UAAU,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GACpC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,GACxC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GACxB,KAAK,GACP,KAAK,CACV,CACF,CAAC"}
+{"version":3,"file":"Last.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Last.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAG,KAAK,EAAE,iBAAwB;AAEvE;;;;;;GAMG;AACH,MAAM,MAAM,IAAI,CACd,QAAQ,SAAS,KAAK,EACtB,MAAM,GAAG,KAAK,IACZ,QAAQ,CACV,QAAQ,EAAE,CAAC,EAEX,QAAQ,CAAC,CAAC,CAAC,EACX,QAAQ,CACN,QAAQ,EAAE,CAAC,EAEX,MAAM,EAEN,UAAU,CAAC,QAAQ,CAAC,SAAS,SAAS,OAAO,EAAE,GAC3C,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,GAC7D,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,GACtC,KAAK,GACP,KAAK,CACV,CACF,CAAC"}

package/dist/types/lists/Length.d.ts

@@ -1,4 +1,7 @@
-import type { Container, IfLiteral, IfStringLiteral, Keys, StrLen, ToString } from "../index";
+import type { AsString, Container, If, IsEqual, ObjectKey, Or, RemoveIndexKeys, StrLen, UnionToTuple } from "../index";
+type _Keys<T extends object> = UnionToTuple<keyof RemoveIndexKeys<T>>;
+type ProcessString<T extends string> = If<IsEqual<T, string>, number, StrLen<T> extends number ? StrLen<T> : never>;
+type ProcessTuple<T extends readonly unknown[]> = T["length"] extends number ? T["length"] : never;
 /**
  * Utility type which returns the length of:
  *
@@ -11,5 +14,13 @@ import type { Container, IfLiteral, IfStringLiteral, Keys, StrLen, ToString } fr
  * type Three = Length<[ "a", "b", "c" ]>;
  * ```
  */
-export type Length<T extends Container | string | number> = T extends string ? IfStringLiteral<T, StrLen<T>, number> : T extends number ? IfLiteral<T, StrLen<ToString<T>>, number> : T extends readonly unknown[] ? T["length"] : T extends unknown[] ? number : T extends object ? Keys<T>["length"] : number;
+export type Length<T extends Container | string | number> = T extends number ? number extends T ? number : ProcessString<AsString<T>> : T extends string ? ProcessString<T> : T extends readonly unknown[] ? ProcessTuple<T> : T extends object ? If<Or<[
+    IsEqual<T, string[]>,
+    IsEqual<T, number[]>,
+    IsEqual<T, boolean[]>,
+    IsEqual<T, unknown[]>,
+    IsEqual<keyof T, string | symbol>,
+    IsEqual<keyof T, string>
+]>, number, _Keys<T> extends readonly ObjectKey[] ? _Keys<T>["length"] : never> : never;
+export {};
 //# sourceMappingURL=Length.d.ts.map

package/dist/types/lists/Length.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Length.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Length.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAwB;AAGrG;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,GAAG,MAAM,GAAG,MAAM,IACxD,CAAC,SAAS,MAAM,GACZ,eAAe,CACb,CAAC,EACD,MAAM,CAAC,CAAC,CAAC,EACT,MAAM,CACP,GACD,CAAC,SAAS,MAAM,GACd,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GACzC,CAAC,SAAS,SAAS,OAAO,EAAE,GAC1B,CAAC,CAAC,QAAQ,CAAC,GACX,CAAC,SAAS,OAAO,EAAE,GACjB,MAAM,GACN,CAAC,SAAS,MAAM,GACd,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GACjB,MAAM,CAAC"}
+{"version":3,"file":"Length.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Length.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,QAAQ,EACR,SAAS,EACT,EAAE,EACF,OAAO,EACP,SAAS,EACT,EAAE,EACF,eAAe,EACf,MAAM,EACN,YAAY,EACb,iBAAwB;AAEzB,KAAK,KAAK,CACV,CAAC,SAAS,MAAM,IACZ,YAAY,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3C,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,EAAE,CACvC,OAAO,CAAC,CAAC,EAAC,MAAM,CAAC,EACjB,MAAM,EACN,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,GACtB,MAAM,CAAC,CAAC,CAAC,GACT,KAAK,CACR,CAAA;AAED,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,MAAM,GAC1E,CAAC,CAAC,QAAQ,CAAC,GACX,KAAK,CAAC;AAGR;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,SAAS,GAAG,MAAM,GAAG,MAAM,IACjC,CAAC,SAAS,MAAM,GACpB,MAAM,SAAS,CAAC,GACd,MAAM,GACN,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAC5B,CAAC,SAAS,MAAM,GACd,aAAa,CAAC,CAAC,CAAC,GAChB,CAAC,SAAS,SAAS,OAAO,EAAE,GAC1B,YAAY,CAAC,CAAC,CAAC,GACf,CAAC,SAAS,MAAM,GAChB,EAAE,CACA,EAAE,CAAC;IACD,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;IACrB,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;IACrB,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACjC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC,EACF,MAAM,EACN,KAAK,CAAC,CAAC,CAAC,SAAS,SAAS,SAAS,EAAE,GACjC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAClB,KAAK,CACV,GAED,KAAK,CAAC"}

package/dist/types/lists/LogicalReturns.d.ts

@@ -1,14 +1,7 @@
-import { IfBoolean, AfterFirst, First, LogicFunction } from "../index";
-type ProcessLogicalReturns<TValues extends readonly unknown[], TParams extends readonly unknown[] = [], TResults extends readonly boolean[] = []> = [] extends TValues ? TResults : IfBoolean<First<TValues>, ProcessLogicalReturns<AfterFirst<TValues>, TParams, [
-    ...TResults,
-    First<TValues> & boolean
-]>, LogicFunction<TParams> extends First<TValues> ? ProcessLogicalReturns<AfterFirst<TValues>, TParams, [
-    ...TResults,
-    ReturnType<LogicFunction<TParams>>
-]> : First<TValues> extends boolean ? ProcessLogicalReturns<AfterFirst<TValues>, TParams, [
-    ...TResults,
-    First<TValues>
-]> : ProcessLogicalReturns<AfterFirst<TValues>, TParams, TResults>>;
+import { LogicFunction } from "../functions";
+type Process<TValues extends readonly (boolean | LogicFunction)[], _TParams extends readonly unknown[] = []> = {
+    [K in keyof TValues]: TValues[K] extends ((...args: any[]) => boolean) ? ReturnType<TValues[K]> : TValues[K];
+};
 /**
  * **LogicalReturns**`<TValues, TParams>`
  *
@@ -17,8 +10,8 @@ type ProcessLogicalReturns<TValues extends readonly unknown[], TParams extends r
  * with a boolean return. In the latter case the function's return value
  * will be represented in the Tuple.
  *
- * **See Also**: `ReturnTypes` and `TruthyReturns`
+ * **Related**: `ReturnTypes` and `TruthyReturns`
  */
-export type LogicalReturns<TValues extends readonly unknown[], TParams extends readonly unknown[] = []> = ProcessLogicalReturns<TValues, TParams>;
+export type LogicalReturns<TValues extends readonly (boolean | LogicFunction)[], _TParams extends readonly unknown[] = []> = Process<TValues, _TParams> extends readonly boolean[] ? Process<TValues, _TParams> : never;
 export {};
 //# sourceMappingURL=LogicalReturns.d.ts.map

package/dist/types/lists/LogicalReturns.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"LogicalReturns.d.ts","sourceRoot":"","sources":["../../../src/types/lists/LogicalReturns.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAG,UAAU,EAAE,KAAK,EAAE,aAAa,EAAE,iBAAwB;AAI/E,KAAK,qBAAqB,CACxB,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,OAAO,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,EACvC,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,EAAE,SAAS,OAAO,GAClB,QAAQ,GACR,SAAS,CACP,KAAK,CAAC,OAAO,CAAC,EAEd,qBAAqB,CACnB,UAAU,CAAC,OAAO,CAAC,EACnB,OAAO,EACP;IAAC,GAAG,QAAQ;IAAE,KAAK,CAAC,OAAO,CAAC,GAAG,OAAO;CAAC,CACxC,EACD,aAAa,CAAC,OAAO,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,GACzC,qBAAqB,CACnB,UAAU,CAAC,OAAO,CAAC,EACnB,OAAO,EACP;IAAC,GAAG,QAAQ;IAAE,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;CAAC,CAClD,GACD,KAAK,CAAC,OAAO,CAAC,SAAS,OAAO,GAC5B,qBAAqB,CACnB,UAAU,CAAC,OAAO,CAAC,EACnB,OAAO,EACP;IAAC,GAAG,QAAQ;IAAE,KAAK,CAAC,OAAO,CAAC;CAAC,CAC9B,GACD,qBAAqB,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CACpE,CAAC;AAGN;;;;;;;;;GASG;AACH,MAAM,MAAM,cAAc,CACxB,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,OAAO,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IAErC,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC"}
+{"version":3,"file":"LogicalReturns.d.ts","sourceRoot":"","sources":["../../../src/types/lists/LogicalReturns.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,KAAK,OAAO,CACZ,OAAO,SAAS,SAAS,CAAC,OAAO,GAAG,aAAa,CAAC,EAAE,EACpD,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACpC;KACH,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,OAAO,CAAC,GAClE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GACtB,OAAO,CAAC,CAAC,CAAC;CACb,CAAA;AAGD;;;;;;;;;GASG;AACH,MAAM,MAAM,cAAc,CACxB,OAAO,SAAS,SAAS,CAAC,OAAO,GAAG,aAAa,CAAC,EAAE,EACpD,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,SAAS,SAAS,OAAO,EAAE,GACvD,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,GAC1B,KAAK,CAAC"}

package/dist/types/lists/NumericKeys.d.ts

@@ -1,11 +1,12 @@
-import { Tuple, Length, ToNumber, AfterFirst, First, IfReadonlyArray } from "../index";
-type Recurse<TList extends Tuple, TResults extends Tuple = []> = [] extends TList ? TResults : Recurse<AfterFirst<TList>, [
+import { Tuple, Length, ToNumber, AfterFirst, First, IsReadonlyArray, If } from "../index";
+type Recurse<TList extends Tuple, TResults extends Tuple = []> = [] extends TList ? [] extends TResults ? number[] : TResults : Recurse<AfterFirst<TList>, [
     ...TResults,
     ToNumber<First<TList>>
 ]>;
 type Convert<TList extends Tuple> = Length<TList> extends 0 ? number[] : Recurse<{
     [K in keyof TList]: K;
 }>;
+type Process<TList extends Tuple> = If<IsReadonlyArray<TList>, TList["length"] extends 0 ? number[] : Readonly<Convert<TList>>, Convert<TList>>;
 /**
  * **NumericKeys**<`TList`>
  *
@@ -20,6 +21,6 @@ type Convert<TList extends Tuple> = Length<TList> extends 0 ? number[] : Recurse
  *
  * **Related:** `Keys`
  */
-export type NumericKeys<TList extends Tuple> = IfReadonlyArray<TList, TList["length"] extends 0 ? number[] : Readonly<Convert<TList>>, Convert<TList>>;
+export type NumericKeys<TList extends Tuple> = Process<TList> extends readonly number[] ? Process<TList> : never;
 export {};
 //# sourceMappingURL=NumericKeys.d.ts.map

package/dist/types/lists/NumericKeys.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NumericKeys.d.ts","sourceRoot":"","sources":["../../../src/types/lists/NumericKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,eAAe,EAAE,iBAAwB;AAE9F,KAAK,OAAO,CACV,KAAK,SAAS,KAAK,EACnB,QAAQ,SAAS,KAAK,GAAG,EAAE,IACzB,EAAE,SAAS,KAAK,GAChB,QAAQ,GACR,OAAO,CACL,UAAU,CAAC,KAAK,CAAC,EACjB;IACE,GAAG,QAAQ;IACX,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAE;CACxB,CACF,CAAC;AAEN,KAAK,OAAO,CACV,KAAK,SAAS,KAAK,IACjB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,GACrB,MAAM,EAAE,GACR,OAAO,CAAC;KACP,CAAC,IAAI,MAAM,KAAK,GAAG,CAAC;CACtB,CAAC,CAAC;AAIP;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,KAAK,IACjB,eAAe,CACjB,KAAK,EACL,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,MAAM,EAAE,GACR,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAC5B,OAAO,CAAC,KAAK,CAAC,CACf,CAAC"}
+{"version":3,"file":"NumericKeys.d.ts","sourceRoot":"","sources":["../../../src/types/lists/NumericKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,EAAE,iBAAwB;AAElG,KAAK,OAAO,CACV,KAAK,SAAS,KAAK,EACnB,QAAQ,SAAS,KAAK,GAAG,EAAE,IACzB,EAAE,SAAS,KAAK,GAChB,EAAE,SAAS,QAAQ,GACjB,MAAM,EAAE,GACR,QAAQ,GACV,OAAO,CACL,UAAU,CAAC,KAAK,CAAC,EACjB;IACE,GAAG,QAAQ;IACX,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAE;CACxB,CACF,CAAC;AAEN,KAAK,OAAO,CACV,KAAK,SAAS,KAAK,IACjB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,GACrB,MAAM,EAAE,GACR,OAAO,CAAC;KACP,CAAC,IAAI,MAAM,KAAK,GAAG,CAAC;CACtB,CAAC,CAAC;AAEP,KAAK,OAAO,CACV,KAAK,SAAS,KAAK,IACjB,EAAE,CACJ,eAAe,CAAC,KAAK,CAAC,EACtB,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,MAAM,EAAE,GACR,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAC5B,OAAO,CAAC,KAAK,CAAC,CACf,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,KAAK,IACjB,OAAO,CAAC,KAAK,CAAC,SAAS,SAAS,MAAM,EAAE,GACxC,OAAO,CAAC,KAAK,CAAC,GACd,KAAK,CAAC"}

package/dist/types/lists/Pop.d.ts

@@ -1,4 +1,4 @@
-import { Concat, Tuple, Split, Slice, IfEqual, IfStringLiteral } from "../index";
+import { Concat, Tuple, IsStringLiteral, Chars, IsWideType } from "../index";
 type _Pop<TVal extends Tuple> = TVal extends [...(infer Rest), unknown] ? Rest : never;
 /**
  * **Pop**`<TList>`
@@ -13,6 +13,6 @@ type _Pop<TVal extends Tuple> = TVal extends [...(infer Rest), unknown] ? Rest :
  * in a string literal and get back the literal with the last
  * character removed.
  */
-export type Pop<TList extends Tuple | string> = TList extends string ? IfEqual<TList, "", "", IfStringLiteral<TList, Concat<Slice<Split<TList & string>, 0, -1>>, string>> : _Pop<Exclude<TList, string>>;
+export type Pop<TList extends Tuple | string> = TList extends string ? IsWideType<TList> extends true ? string : IsStringLiteral<TList> extends true ? TList extends string ? TList extends "" ? "" : Chars<TList> extends readonly string[] ? Concat<_Pop<Chars<TList>>> : never : never : string : _Pop<Exclude<TList, string>>;
 export {};
 //# sourceMappingURL=Pop.d.ts.map

package/dist/types/lists/Pop.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Pop.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Pop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,iBAAwB;AAExF,KAAK,IAAI,CACP,IAAI,SAAS,KAAK,IAChB,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,OAAO,CAAC,GACzC,IAAI,GACJ,KAAK,CAAC;AAER;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,GAAG,CACb,KAAK,SAAS,KAAK,GAAG,MAAM,IAE9B,KAAK,SAAS,MAAM,GAChB,OAAO,CACL,KAAK,EAAE,EAAE,EACT,EAAE,EACF,eAAe,CACb,KAAK,EACL,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAC3C,MAAM,CACP,CACF,GACD,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC"}
+{"version":3,"file":"Pop.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Pop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE,iBAAwB;AAEpF,KAAK,IAAI,CACP,IAAI,SAAS,KAAK,IAChB,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,OAAO,CAAC,GACzC,IAAI,GACJ,KAAK,CAAC;AAER;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,GAAG,CACb,KAAK,SAAS,KAAK,GAAG,MAAM,IAC1B,KAAK,SAAS,MAAM,GACpB,UAAU,CAAC,KAAK,CAAC,SAAS,IAAI,GAC5B,MAAM,GACP,eAAe,CAAC,KAAK,CAAC,SAAS,IAAI,GAChC,KAAK,SAAS,MAAM,GAClB,KAAK,SAAS,EAAE,GACd,EAAE,GACF,KAAK,CAAC,KAAK,CAAC,SAAS,SAAS,MAAM,EAAE,GACpC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAC1B,KAAK,GACT,KAAK,GACP,MAAM,GACR,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC"}

package/dist/types/lists/Push.d.ts

@@ -0,0 +1,15 @@
+import { As } from "../boolean-logic/narrowing/As";
+type Process<TList extends readonly unknown[], TValue> = [
+    ...TList,
+    TValue
+];
+/**
+ * **Push**`<TList,TVal,[TCondition]>`
+ *
+ * Pushes a value `TVal` onto an existing list `TList`.
+ *
+ * - If you want to make the push conditional you can add `TCondition`
+ */
+export type Push<TList extends readonly unknown[], TVal, TCondition = true> = [TCondition] extends [true] ? As<Process<TList, TVal>, readonly unknown[]> : TList;
+export {};
+//# sourceMappingURL=Push.d.ts.map

package/dist/types/lists/Push.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Push.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Push.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,+BAA+B,CAAC;AAEnD,KAAK,OAAO,CACV,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,MAAM,IACJ;IACF,GAAG,KAAK;IACR,MAAM;CACP,CAAC;AAGF;;;;;;GAMG;AACH,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,IAAI,EACJ,UAAU,GAAG,IAAI,IACf,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,GAC3B,EAAE,CAAC,OAAO,CAAC,KAAK,EAAC,IAAI,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC,GAC3C,KAAK,CAAA"}

package/dist/types/lists/Retain.d.ts

@@ -1,12 +1,16 @@
-import { AfterFirst, First } from "../index";
+import { Compare, ComparatorOperation, TupleToUnion, Or, IsEqual, RemoveNever } from "../index";
 /**
  * Iterates over each element of the Tuple
  */
-type SingleFilter<TList extends unknown[] | readonly unknown[], TFilter, Result extends unknown[] = []> = TList extends [infer Head, ...infer Rest] ? [Head] extends [TFilter] ? SingleFilter<Rest, TFilter, [...Result, Head]> : SingleFilter<Rest, TFilter, Result> : Result;
-type Extraction<TList extends readonly unknown[], TExtract extends readonly unknown[], TResults extends readonly unknown[] = []> = [] extends TExtract ? TResults : Extraction<TList, AfterFirst<TExtract>, [
-    ...TResults,
-    ...SingleFilter<TList, First<TExtract>>
-]>;
+type SingleFilter<TList extends readonly unknown[], TFilter, TOp extends ComparatorOperation, Result extends unknown[] = []> = TList extends [infer Head, ...infer Rest] ? [Compare<Head, TOp, TFilter>] extends [true] ? SingleFilter<Rest, TFilter, TOp, [...Result, Head]> : SingleFilter<Rest, TFilter, TOp, Result> : Result;
+type Process<TList extends readonly unknown[], TComparator, TOp extends ComparatorOperation> = TList extends unknown[] ? SingleFilter<TList, TComparator, TOp> : TList extends readonly unknown[] ? Readonly<SingleFilter<[...TList], TComparator, TOp>> : never;
+type PrepList<T extends readonly unknown[], O extends ComparatorOperation> = Or<[
+    IsEqual<O, "contains">,
+    IsEqual<O, "startsWith">,
+    IsEqual<O, "endsWith">
+]> extends true ? RemoveNever<{
+    [K in keyof T]: T[K] extends string | number ? T[K] : never;
+}> : T;
 /**
  * **Retain**`<TList, TFilter>`
  *
@@ -15,7 +19,9 @@ type Extraction<TList extends readonly unknown[], TExtract extends readonly unkn
  *
  * - `TFilter` can be single value or a array of values
  * - when the filter is an array then they are combined in a logical OR operation
+ *
+ * **Related:** `Filter`
  */
-export type Retain<TList extends unknown[] | readonly unknown[], TFilter> = TList extends unknown[] ? TFilter extends readonly unknown[] ? Extraction<TList, TFilter> : SingleFilter<TList, TFilter> : TList extends readonly unknown[] ? Readonly<TFilter extends readonly unknown[] ? Extraction<TList, TFilter> : SingleFilter<[...TList], TFilter>> : never;
+export type Retain<TList extends readonly unknown[], TComparator, TOp extends ComparatorOperation = "extends"> = PrepList<TList, TOp> extends readonly unknown[] ? [TComparator] extends [unknown[]] ? Process<PrepList<TList, TOp>, TupleToUnion<TComparator>, TOp> : Process<PrepList<TList, TOp>, TComparator, TOp> : never;
 export {};
 //# sourceMappingURL=Retain.d.ts.map

package/dist/types/lists/Retain.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Retain.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Retain.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAG,KAAK,EAAE,iBAAwB;AAErD;;GAEG;AACH,KAAK,YAAY,CACf,KAAK,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,EAC5C,OAAO,EACP,MAAM,SAAS,OAAO,EAAE,GAAG,EAAE,IAC3B,KAAK,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACzC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GACtB,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,GAC9C,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,GACrC,MAAM,CAAC;AAEX,KAAK,UAAU,CACb,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,QAAQ,SAAS,SAAS,OAAO,EAAE,EACnC,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,EAAE,SAAS,QAAQ,GACnB,QAAQ,GACR,UAAU,CACR,KAAK,EACL,UAAU,CAAC,QAAQ,CAAC,EACpB;IAAC,GAAG,QAAQ;IAAE,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;CAAC,CACvD,CAAC;AAEN;;;;;;;;GAQG;AACH,MAAM,MAAM,MAAM,CAChB,KAAK,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,EAC5C,OAAO,IACL,KAAK,SAAS,OAAO,EAAE,GAEvB,OAAO,SAAS,SAAS,OAAO,EAAE,GAE9B,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,GAE1B,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,GAEhC,KAAK,SAAS,SAAS,OAAO,EAAE,GAC5B,QAAQ,CACN,OAAO,SAAS,SAAS,OAAO,EAAE,GAC9B,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,GAC1B,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,OAAO,CAAC,CACtC,GACD,KAAK,CAAC"}
+{"version":3,"file":"Retain.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Retain.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,mBAAmB,EACnB,YAAY,EACZ,EAAE,EACF,OAAO,EACP,WAAW,EACZ,iBAAwB;AAEzB;;GAEG;AACH,KAAK,YAAY,CACf,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,OAAO,EACP,GAAG,SAAS,mBAAmB,EAC/B,MAAM,SAAS,OAAO,EAAE,GAAG,EAAE,IAC3B,KAAK,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACzC,CAAC,OAAO,CAAC,IAAI,EAAC,GAAG,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACzC,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,GACnD,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAC1C,MAAM,CAAC;AAGX,KAAK,OAAO,CACV,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,WAAW,EACX,GAAG,SAAS,mBAAmB,IAC7B,KAAK,SAAS,OAAO,EAAE,GACzB,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,CAAC,GAErC,KAAK,SAAS,SAAS,OAAO,EAAE,GAC5B,QAAQ,CACN,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,CAC3C,GACD,KAAK,CAAC;AAEZ,KAAK,QAAQ,CACX,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,mBAAmB,IAC3B,EAAE,CAAC;IACH,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC;IACtB,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC;IACxB,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC;CACvB,CAAC,SAAS,IAAI,GACb,WAAW,CAAC;KACX,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GACxC,CAAC,CAAC,CAAC,CAAC,GACJ,KAAK;CACV,CAAC,GACA,CAAC,CAAC;AAEN;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,CAChB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,WAAW,EACX,GAAG,SAAS,mBAAmB,GAAG,SAAS,IAEzC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,SAAS,OAAO,EAAE,GACjD,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,GAC/B,OAAO,CACL,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,EACpB,YAAY,CAAC,WAAW,CAAC,EACzB,GAAG,CACJ,GACD,OAAO,CACL,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,EACpB,WAAW,EACX,GAAG,CACJ,GACH,KAAK,CAAC"}

package/dist/types/lists/RetainLiterals.d.ts

@@ -0,0 +1,20 @@
+import { Constant } from "../../constants/Constant";
+import { IsLiteral } from "../boolean-logic";
+import { If } from "../boolean-logic/branching/If";
+import { RemoveMarked } from "../containers";
+type Process<T extends readonly unknown[]> = RemoveMarked<{
+    [K in keyof T]: If<IsLiteral<T[K]>, T[K], Constant<"Marked">>;
+}>;
+/**
+ * **RetainLiterals**`<T>`
+ *
+ * Receives a tuple of items and keeps only the literal types
+ * (e.g., object, number, string, Record<string, string>, boolean, etc.).
+ *
+ * All literal types and elements such as _undefined_ and `null` are removed.
+ *
+ * **Related:** `Retain`, `FilterLiterals`, `RetainWideTypes`
+ */
+export type RetainLiterals<T extends readonly unknown[]> = Process<T> extends readonly unknown[] ? Process<T> : never;
+export {};
+//# sourceMappingURL=RetainLiterals.d.ts.map

package/dist/types/lists/RetainLiterals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RetainLiterals.d.ts","sourceRoot":"","sources":["../../../src/types/lists/RetainLiterals.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,EAAE,EAAE,MAAM,+BAA+B,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,KAAK,OAAO,CACZ,CAAC,SAAS,SAAS,OAAO,EAAE,IACxB,YAAY,CAAC;KAChB,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAChB,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACf,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,CAAC,QAAQ,CAAC,CACnB;CACA,CAAC,CAAA;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,cAAc,CACxB,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,OAAO,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GACvC,OAAO,CAAC,CAAC,CAAC,GACV,KAAK,CAAC"}

package/dist/types/lists/RetainWideTypes.d.ts

@@ -0,0 +1,21 @@
+import { Constant } from "../../constants/Constant";
+import { IsWideType } from "../boolean-logic";
+import { If } from "../boolean-logic/branching/If";
+import { RemoveMarked } from "../containers";
+type Process<T extends readonly unknown[]> = RemoveMarked<{
+    [K in keyof T]: If<IsWideType<T[K]>, T[K], Constant<"Marked">>;
+}>;
+/**
+ * **RetainWideTypes**`<T>`
+ *
+ * Receives a tuple of items and keeps only the "wide types"
+ * (e.g., object literals, tuple literals, string literals,
+ * numeric literals, and boolean literals).
+ *
+ * All wide types and elements such as _undefined_ and `null` are removed.
+ *
+ * **Related:** `Retain`, `RetainLiterals`, `FilterWideTypes`
+ */
+export type RetainWideTypes<T extends readonly unknown[]> = Process<T> extends readonly unknown[] ? Process<T> : never;
+export {};
+//# sourceMappingURL=RetainWideTypes.d.ts.map

package/dist/types/lists/RetainWideTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RetainWideTypes.d.ts","sourceRoot":"","sources":["../../../src/types/lists/RetainWideTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,EAAE,EAAE,MAAM,+BAA+B,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,KAAK,OAAO,CACZ,CAAC,SAAS,SAAS,OAAO,EAAE,IACxB,YAAY,CAAC;KACd,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAChB,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAChB,CAAC,CAAC,CAAC,CAAC,EACJ,QAAQ,CAAC,QAAQ,CAAC,CACrB;CACA,CAAC,CAAA;AAEF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,OAAO,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GACvC,OAAO,CAAC,CAAC,CAAC,GACV,KAAK,CAAC"}

package/dist/types/lists/ReturnTypes.d.ts

@@ -1,4 +1,4 @@
-import { AnyFunction } from "../index";
+import { TypedFunction } from "../index";
 /**
  * **ReturnTypes**`<T>`
  *
@@ -10,6 +10,6 @@ import { AnyFunction } from "../index";
  * **See Also**: `LogicalReturns` and `TruthyReturns`
  */
 export type ReturnTypes<T extends readonly unknown[]> = {
-    [K in keyof T]: T[K] extends AnyFunction ? ReturnType<T[K]> extends boolean ? ReturnType<T[K]> : never : never;
+    [K in keyof T]: T[K] extends TypedFunction ? ReturnType<T[K]> extends boolean ? ReturnType<T[K]> : never : never;
 };
 //# sourceMappingURL=ReturnTypes.d.ts.map

package/dist/types/lists/ReturnTypes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ReturnTypes.d.ts","sourceRoot":"","sources":["../../../src/types/lists/ReturnTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,iBAAwB;AAE9C;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI;KACrD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,GACpC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,GAC9B,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAChB,KAAK,GACP,KAAK;CACV,CAAC"}
+{"version":3,"file":"ReturnTypes.d.ts","sourceRoot":"","sources":["../../../src/types/lists/ReturnTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,iBAAwB;AAEhD;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI;KACrD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,aAAa,GACtC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,GAC9B,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAChB,KAAK,GACP,KAAK;CACV,CAAC"}

package/dist/types/lists/Reverse.d.ts

@@ -1,5 +1,8 @@
 import { AfterFirst, First } from "../index";
-type RevAcc<TInput extends readonly unknown[], TResults extends readonly unknown[] = []> = [] extends TInput ? TResults : RevAcc<AfterFirst<TInput>, readonly [First<TInput>, ...TResults]>;
+type RevAcc<TInput extends readonly unknown[], TResults extends readonly unknown[] = []> = [] extends TInput ? TResults : RevAcc<AfterFirst<TInput>, [
+    First<TInput>,
+    ...TResults
+]>;
 export type Reverse<T extends readonly unknown[]> = RevAcc<T>;
 export {};
 //# sourceMappingURL=Reverse.d.ts.map

package/dist/types/lists/Reverse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Reverse.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Reverse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAG,KAAK,EAAE,iBAAwB;AAErD,KAAK,MAAM,CACT,MAAM,SAAS,SAAS,OAAO,EAAE,EACjC,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,EAAE,SAAS,MAAM,GACjB,QAAQ,GACR,MAAM,CACJ,UAAU,CAAC,MAAM,CAAC,EAClB,SAAS,CAAE,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,CAAE,CACxC,CAAC;AAEN,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"Reverse.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Reverse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAG,KAAK,EAAE,iBAAwB;AAErD,KAAK,MAAM,CACT,MAAM,SAAS,SAAS,OAAO,EAAE,EACjC,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,EAAE,SAAS,MAAM,GACjB,QAAQ,GACR,MAAM,CACJ,UAAU,CAAC,MAAM,CAAC,EAClB;IAAE,KAAK,CAAC,MAAM,CAAC;IAAE,GAAG,QAAQ;CAAE,CAC/B,CAAC;AAEN,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC"}

package/dist/types/lists/Second.d.ts

@@ -0,0 +1,13 @@
+/**
+ * **Second**`<T, [ELSE]>`
+ *
+ * Returns the _second_ type in a list. If `TElse` is provided it will set
+ * the type to `TElse` when:
+ * - `T` is a Tuple type
+ * - `T[1]` is not a valid index of `T`
+ * - by default `TElse` is set to _never_
+ *
+ * **Related:** `First`, `Last`
+*/
+export type Second<T, ELSE = never> = T extends readonly unknown[] ? T[1] extends T[number] ? T[1] : ELSE : never;
+//# sourceMappingURL=Second.d.ts.map

package/dist/types/lists/Second.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Second.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Second.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;EAUE;AACF,MAAM,MAAM,MAAM,CAChB,CAAC,EACD,IAAI,GAAG,KAAK,IACV,CAAC,SAAS,SAAS,OAAO,EAAE,GAC5B,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,GAClB,CAAC,CAAC,CAAC,CAAC,GACJ,IAAI,GACR,KAAK,CAAC"}

package/dist/types/lists/Shift.d.ts

@@ -1,5 +1,5 @@
-import { Tuple, IfString, IfStringLiteral, AsString, AfterFirst, Chars, AsArray } from "../index";
-type _Shift<TList extends Tuple> = TList extends [unknown, ...(infer Tail)] ? Tail : undefined;
+import { Tuple, AsString, AsArray, Concat, IsStringLiteral, If, Chars } from "../index";
+type _Shift<TList extends Tuple> = TList extends [unknown, ...(infer Tail)] ? Tail : "";
 /**
  * **Shift**`<T>`
  *
@@ -13,6 +13,6 @@ type _Shift<TList extends Tuple> = TList extends [unknown, ...(infer Tail)] ? Ta
  * in a string literal and get back the literal with the first
  * character removed.
  */
-export type Shift<T extends string | Tuple> = IfString<T, IfStringLiteral<AsString<T>, T extends "" ? "" : AfterFirst<Chars<AsString<T>>>, never>, _Shift<AsArray<T>>>;
+export type Shift<T extends string | Tuple> = T extends Tuple ? _Shift<AsArray<T>> : If<IsStringLiteral<T>, _Shift<AsArray<Chars<AsString<T>>>> extends readonly string[] ? Concat<_Shift<AsArray<Chars<AsString<T>>>>> : "", string>;
 export {};
 //# sourceMappingURL=Shift.d.ts.map

package/dist/types/lists/Shift.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Shift.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Shift.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,UAAU,EACV,KAAK,EACL,OAAO,EACR,iBAAwB;AAEzB,KAAK,MAAM,CAAC,KAAK,SAAS,KAAK,IAC/B,KAAK,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GACpC,IAAI,GACJ,SAAS,CAAC;AAQd;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,KAAK,CACf,CAAC,SAAS,MAAM,GAAG,KAAK,IACtB,QAAQ,CACV,CAAC,EAED,eAAe,CACb,QAAQ,CAAC,CAAC,CAAC,EACX,CAAC,SAAS,EAAE,GACR,EAAE,GACF,UAAU,CAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,EACpC,KAAK,CACN,EAED,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CACnB,CAAC"}
+{"version":3,"file":"Shift.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Shift.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,QAAQ,EACR,OAAO,EACP,MAAM,EACN,eAAe,EACf,EAAE,EACF,KAAK,EACN,iBAAwB;AAEzB,KAAK,MAAM,CAAC,KAAK,SAAS,KAAK,IAC/B,KAAK,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GACpC,IAAI,GACJ,EAAE,CAAC;AAQP;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,KAAK,CACf,CAAC,SAAS,MAAM,GAAG,KAAK,IACtB,CAAC,SAAS,KAAK,GACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAClB,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,GAClF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC3C,EAAE,EACJ,MAAM,CACL,CAAC"}

package/dist/types/lists/Slice.d.ts

@@ -1,3 +1,5 @@
+import { Chars, Concat } from "../string-literals";
+import { Length } from "./Length";
 type NumberToArr<T extends number, R extends unknown[] = []> = R["length"] extends T ? R : NumberToArr<T, [...R, 0]>;
 type ToPositiveIndex<Arr extends readonly unknown[], N extends number> = `${N}` extends `-${infer P extends number}` ? NumberToArr<Arr["length"]> extends [...NumberToArr<P>, ...infer Rest] ? Rest["length"] : 0 : N;
 export type _Slice<TList extends readonly unknown[], TStart extends number = 0, TEnd extends number = TList["length"], Index extends unknown[] = [], R extends unknown[] = [], PStart extends number = ToPositiveIndex<TList, TStart>, PEnd extends number = ToPositiveIndex<TList, TEnd>> = TList extends [infer A, ...infer Rest] ? Index["length"] extends PEnd ? R : Index["length"] extends PStart ? _Slice<Rest, PStart, PEnd, [...Index, 0], [...R, A]> : R["length"] extends 0 ? _Slice<Rest, PStart, PEnd, [...Index, 0], R> : _Slice<Rest, PStart, PEnd, [...Index, 0], [...R, A]> : R;
@@ -10,6 +12,6 @@ export type _Slice<TList extends readonly unknown[], TStart extends number = 0,
  * - `TStart` defaults to 0
  * - `TEnd` defaults to the length of `TList`
  */
-export type Slice<TList extends readonly unknown[], TStart extends number = 0, TEnd extends number = TList["length"]> = _Slice<[...TList], TStart, TEnd>;
+export type Slice<TList extends readonly unknown[] | string, TStart extends number = 0, TEnd extends number = Length<TList>> = TList extends readonly unknown[] ? _Slice<[...TList], TStart, TEnd> : TList extends string ? Chars<TList> extends readonly string[] ? Concat<_Slice<Chars<TList>, TStart, TEnd>> : never : never;
 export {};
 //# sourceMappingURL=Slice.d.ts.map

package/dist/types/lists/Slice.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Slice.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Slice.ts"],"names":[],"mappings":"AAAA,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,EAAE,IAC3D,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACf,CAAC,GACD,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEhC,KAAK,eAAe,CAClB,GAAG,SAAS,SAAS,OAAO,EAAE,EAC9B,CAAC,SAAS,MAAM,IACd,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,GACzC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GACnE,IAAI,CAAC,QAAQ,CAAC,GACd,CAAC,GACH,CAAC,CAAC;AAER,MAAM,MAAM,MAAM,CAChB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,MAAM,SAAS,MAAM,GAAG,CAAC,EACzB,IAAI,SAAS,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,EACrC,KAAK,SAAS,OAAO,EAAE,GAAG,EAAE,EAC5B,CAAC,SAAS,OAAO,EAAE,GAAG,EAAE,EACxB,MAAM,SAAS,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,EACtD,IAAI,SAAS,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,IAChD,KAAK,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GACxC,KAAK,CAAC,QAAQ,CAAC,SAAS,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC,QAAQ,CAAC,SAAS,MAAM,GAC5B,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GACpD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5C,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAC1D,CAAC,CAAC;AAGJ;;;;;;;;GAQG;AACH,MAAM,MAAM,KAAK,CACf,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,MAAM,SAAS,MAAM,GAAG,CAAC,EACzB,IAAI,SAAS,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,IACnC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,EAAC,MAAM,EAAC,IAAI,CAAC,CAAC"}
+{"version":3,"file":"Slice.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Slice.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAElC,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,EAAE,IAC3D,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACf,CAAC,GACD,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEhC,KAAK,eAAe,CAClB,GAAG,SAAS,SAAS,OAAO,EAAE,EAC9B,CAAC,SAAS,MAAM,IACd,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,GACzC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GACnE,IAAI,CAAC,QAAQ,CAAC,GACd,CAAC,GACH,CAAC,CAAC;AAER,MAAM,MAAM,MAAM,CAChB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,MAAM,SAAS,MAAM,GAAG,CAAC,EACzB,IAAI,SAAS,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,EACrC,KAAK,SAAS,OAAO,EAAE,GAAG,EAAE,EAC5B,CAAC,SAAS,OAAO,EAAE,GAAG,EAAE,EACxB,MAAM,SAAS,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,EACtD,IAAI,SAAS,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,IAChD,KAAK,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GACxC,KAAK,CAAC,QAAQ,CAAC,SAAS,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC,QAAQ,CAAC,SAAS,MAAM,GAC5B,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GACpD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5C,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAC1D,CAAC,CAAC;AAGJ;;;;;;;;GAQG;AACH,MAAM,MAAM,KAAK,CACf,KAAK,SAAS,SAAS,OAAO,EAAE,GAAG,MAAM,EACzC,MAAM,SAAS,MAAM,GAAG,CAAC,EACzB,IAAI,SAAS,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IACjC,KAAK,SAAS,SAAS,OAAO,EAAE,GAClC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,EAAC,MAAM,EAAC,IAAI,CAAC,GAC9B,KAAK,SAAS,MAAM,GAClB,KAAK,CAAC,KAAK,CAAC,SAAS,SAAS,MAAM,EAAE,GACpC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,GAC1C,KAAK,GACP,KAAK,CAAC"}

package/dist/types/lists/TruthyReturns.d.ts

@@ -1,4 +1,4 @@
-import { AnyFunction, IfTruthy, TupleToUnion } from "../index";
+import { If, IsTruthy, TupleToUnion, TypedFunction } from "../index";
 /**
  * **TruthyReturns**`<T>`
  *
@@ -15,6 +15,6 @@ import { AnyFunction, IfTruthy, TupleToUnion } from "../index";
  * **See Also**: `ReturnTypes` and `LogicalReturns`
  */
 export type TruthyReturns<T extends readonly unknown[]> = TupleToUnion<{
-    [K in keyof T]: T[K] extends AnyFunction ? IfTruthy<ReturnType<T[K]>, true, false, boolean> : IfTruthy<T[K], true, false, boolean>;
+    [K in keyof T]: T[K] extends TypedFunction ? If<IsTruthy<ReturnType<T[K]>>, true, false, boolean> : If<IsTruthy<T[K]>, true, false, boolean>;
 }>;
 //# sourceMappingURL=TruthyReturns.d.ts.map

package/dist/types/lists/TruthyReturns.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TruthyReturns.d.ts","sourceRoot":"","sources":["../../../src/types/lists/TruthyReturns.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAG,QAAQ,EAAG,YAAY,EAAE,iBAAwB;AAExE;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,YAAY,CAAC;KACpE,CAAC,IAAI,MAAM,CAAC,GACX,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,GACpB,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,GAChD,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;CAC3C,CAAC,CAAC"}
+{"version":3,"file":"TruthyReturns.d.ts","sourceRoot":"","sources":["../../../src/types/lists/TruthyReturns.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,EAAE,EAAE,QAAQ,EAAG,YAAY,EAAE,aAAa,EAAE,iBAAwB;AAE9E;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,YAAY,CAAC;KACpE,CAAC,IAAI,MAAM,CAAC,GACX,CAAC,CAAC,CAAC,CAAC,SAAS,aAAa,GACtB,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,GACpD,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;CAC/C,CAAC,CAAC"}