inferred-types 0.37.6 → 0.40.2

package/dist/src/types/lists/AsArray.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AsArray.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/AsArray.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAE/C;;;;;;;;GAQG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,GAClC,CAAC,GACD,CAAC,SAAS,OAAO,EAAE,GACjB,SAAS,CAAC,GAAG,CAAC,CAAC,GACf,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/src/types/lists/AsArray.js

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

package/dist/src/types/lists/AsReadonlyArray.d.ts

@@ -0,0 +1,2 @@
+export type AsReadonlyArray<T extends unknown[]> = T extends readonly [] ? T : readonly unknown[];
+//# sourceMappingURL=AsReadonlyArray.d.ts.map

package/dist/src/types/lists/AsReadonlyArray.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AsReadonlyArray.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/AsReadonlyArray.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,SAAQ,EAAE,GACnE,CAAC,GACD,SAAS,OAAO,EAAE,CAAC"}

package/dist/src/types/lists/AsReadonlyArray.js

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

package/dist/src/types/lists/BeforeLast.d.ts

@@ -0,0 +1,13 @@
+import { Pop, Tuple } from "..";
+/**
+ * **BeforeLast**`<T>`
+ *
+ * Returns:
+ *
+ * - the _elements_ in an **array** but excluding the last element
+ * - the _characters_ in a **string** excluding the last character
+ *
+ * **Related:** `Pop`, `Last`, `AfterFirst`, `First`
+ */
+export type BeforeLast<T extends Tuple | string> = T extends string ? Pop<T> : T extends Tuple ? Pop<T> : never;
+//# sourceMappingURL=BeforeLast.d.ts.map

package/dist/src/types/lists/BeforeLast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"BeforeLast.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/BeforeLast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,GAAG,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC;AAGjC;;;;;;;;;GASG;AACH,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,KAAK,GAAG,MAAM,IACtB,CAAC,SAAS,MAAM,GAChB,GAAG,CAAC,CAAC,CAAC,GACN,CAAC,SAAS,KAAK,GACb,GAAG,CAAC,CAAC,CAAC,GACN,KAAK,CAAC"}

package/dist/src/types/lists/BeforeLast.js

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

package/dist/src/types/lists/ConvertAndMap.d.ts

@@ -0,0 +1,54 @@
+import { TupleToUnion, UnionToTuple, Narrowable, Keys, WithoutValue, First, AfterFirst, AnyObject, Tuple, Nothing } from "..";
+/**
+ * **ConverterDefn**`<TStr,TNum,TBool,TObj,TTuple,TNothing>`
+ *
+ * A conversion definition which has wide types for keys and
+ * callback functions to call when a particular type is provided
+ * as input.
+ */
+export type ConverterDefn<TStr, TNum, TBool, TObj, TTuple, TNothing> = {
+    string: <T extends string>(v: T) => TStr;
+    number: <T extends number>(v: T) => TNum;
+    boolean: <T extends boolean>(v: T) => TBool;
+    object: <T extends AnyObject>(v: T) => TObj;
+    tuple: <T extends Tuple>(v: T) => TTuple;
+    nothing: <T extends Nothing>(v: T) => TNothing;
+};
+type ConverterKeys<S, N, B, O> = UnionToTuple<Keys<WithoutValue<{
+    string: S;
+    number: N;
+    boolean: B;
+    object: O;
+}, undefined>>>;
+type ConverterInputType<T extends string> = T extends "string" ? string : T extends "number" ? number : T extends "boolean" ? boolean : T extends "object" ? Record<string, unknown> : unknown;
+type ConverterInputUnion<TConverted extends readonly unknown[], TRemaining extends readonly string[]> = [] extends TRemaining ? TConverted : ConverterInputUnion<[
+    ...TConverted,
+    ConverterInputType<First<TRemaining>>
+], AfterFirst<TRemaining>>;
+/**
+ * **AvailableConverters**
+ *
+ * Type utility which will produce the correct union type for a "converter"
+ */
+export type AvailableConverters<S, N, B, O> = ConverterKeys<S, N, B, O> extends readonly string[] ? TupleToUnion<ConverterInputUnion<[], ConverterKeys<S, N, B, O>>> : never;
+export type Conversion<TInput extends Narrowable, TOutput extends Narrowable> = <T extends TInput>(input: T) => TOutput;
+export type ConverterCoverage = "string" | "number" | "boolean" | "object";
+/**
+ * Extracts the coverage provided by a `StrongMap` as a Tuple
+ */
+export type MapCoverage<T extends StrongMap<ConverterCoverage>> = T extends StrongMap<infer Coverage> ? UnionToTuple<Coverage> : never;
+export type StrongMapTypes<K extends readonly unknown[]> = [] extends K ? never : TupleToUnion<[
+    First<K> extends "string" ? TupleToUnion<[string, ...UnionToTuple<StrongMapTypes<AfterFirst<K>>>]> : First<K> extends "number" ? TupleToUnion<[number, ...UnionToTuple<StrongMapTypes<AfterFirst<K>>>]> : First<K> extends "boolean" ? TupleToUnion<[boolean, ...UnionToTuple<StrongMapTypes<AfterFirst<K>>>]> : First<K> extends "object" ? TupleToUnion<[Record<string, unknown>, ...UnionToTuple<StrongMapTypes<AfterFirst<K>>>]> : never,
+    ...UnionToTuple<StrongMapTypes<AfterFirst<K>>>
+]>;
+export type StrongMap<TDefined = ConverterCoverage> = {
+    string: TDefined extends "string" ? <T extends string, R>(v: T) => R : never;
+    number: TDefined extends "number" ? <T extends number, R>(v: T) => R : never;
+    boolean: TDefined extends "boolean" ? <T extends boolean, R>(v: T) => R : never;
+    object: TDefined extends "object" ? <T extends Record<string, unknown>, R>(v: T) => R : never;
+};
+export type StrongMapTransformer<M extends StrongMap> = <T extends readonly StrongMapTypes<MapCoverage<M>>[]>(tuple: T) => {
+    [K in keyof T]: T[K] extends string ? M["string"] extends (...args: unknown[]) => unknown ? ReturnType<M["string"]> : never : T[K] extends number ? M["number"] extends (...args: unknown[]) => unknown ? ReturnType<M["number"]> : never : T[K] extends boolean ? M["boolean"] extends (...args: unknown[]) => unknown ? ReturnType<M["boolean"]> : never : T[K] extends Record<string, unknown> ? M["object"] extends (...args: unknown[]) => unknown ? ReturnType<M["object"]> : never : never;
+}[keyof T];
+export {};
+//# sourceMappingURL=ConvertAndMap.d.ts.map

package/dist/src/types/lists/ConvertAndMap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConvertAndMap.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/ConvertAndMap.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,YAAY,EAAG,UAAU,EAAG,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC;AAKhI;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,CACvB,IAAI,EACJ,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,MAAM,EACN,QAAQ,IACN;IACF,MAAM,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC;IACzC,MAAM,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC;IACzC,OAAO,EAAE,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC;IAC5C,MAAM,EAAE,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC;IAC5C,KAAK,EAAE,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC;IACzC,OAAO,EAAE,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC;CAChD,CAAC;AAEF,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,YAAY,CAC3C,IAAI,CACF,YAAY,CACV;IACE,MAAM,EAAE,CAAC,CAAC;IACV,MAAM,EAAE,CAAC,CAAC;IACV,OAAO,EAAE,CAAC,CAAC;IACX,MAAM,EAAE,CAAC,CAAC;CACX,EACD,SAAS,CACV,CACF,CACF,CAAC;AAEF,KAAK,kBAAkB,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,QAAQ,GAC1D,MAAM,GACN,CAAC,SAAS,QAAQ,GAClB,MAAM,GACN,CAAC,SAAS,SAAS,GACnB,OAAO,GACP,CAAC,SAAS,QAAQ,GAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACvB,OAAO,CAAC;AAEZ,KAAK,mBAAmB,CACtB,UAAU,SAAS,SAAS,OAAO,EAAE,EACrC,UAAU,SAAS,SAAS,MAAM,EAAE,IAClC,EAAE,SAAS,UAAU,GAErB,UAAU,GAEV,mBAAmB,CACjB;IAAC,GAAG,UAAU;IAAE,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;CAAC,EACtD,UAAU,CAAC,UAAU,CAAC,CACvB,CAAC;AAEN;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,GAC7F,YAAY,CAAC,mBAAmB,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAChE,KAAK,CAAC;AAEV,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,UAAU,EAAE,OAAO,SAAS,UAAU,IAAI,CAAC,CAAC,SAAS,MAAM,EAC/F,KAAK,EAAE,CAAC,KACL,OAAO,CAAC;AAEb,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE3E;;GAEG;AAEH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,SAAS,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,SAAS,CACnF,MAAM,QAAQ,CACf,GACG,YAAY,CAAC,QAAQ,CAAC,GACtB,KAAK,CAAC;AAEV,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,GACnE,KAAK,GACL,YAAY,CACV;IACE,KAAK,CAAC,CAAC,CAAC,SAAS,QAAQ,GACrB,YAAY,CAAC,CAAC,MAAM,EAAE,GAAG,YAAY,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACtE,KAAK,CAAC,CAAC,CAAC,SAAS,QAAQ,GACzB,YAAY,CAAC,CAAC,MAAM,EAAE,GAAG,YAAY,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACtE,KAAK,CAAC,CAAC,CAAC,SAAS,SAAS,GAC1B,YAAY,CAAC,CAAC,OAAO,EAAE,GAAG,YAAY,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvE,KAAK,CAAC,CAAC,CAAC,SAAS,QAAQ,GACzB,YAAY,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,YAAY,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvF,KAAK;IACT,GAAG,YAAY,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/C,CACF,CAAC;AAEN,MAAM,MAAM,SAAS,CAAC,QAAQ,GAAG,iBAAiB,IAAI;IACpD,MAAM,EAAE,QAAQ,SAAS,QAAQ,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IAC7E,MAAM,EAAE,QAAQ,SAAS,QAAQ,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IAC7E,OAAO,EAAE,QAAQ,SAAS,SAAS,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,EAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACjF,MAAM,EAAE,QAAQ,SAAS,QAAQ,GAC7B,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,EAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAClD,KAAK,CAAC;CACX,CAAC;AAEF,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,SAAS,IAAI,CACtD,CAAC,SAAS,SAAS,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,EAEnD,KAAK,EAAE,CAAC,KACL;KACF,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAC/B,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,GACjD,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GACvB,KAAK,GACP,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GACnB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,GACjD,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GACvB,KAAK,GACP,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,GACpB,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,GAClD,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GACxB,KAAK,GACP,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACpC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,GACjD,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GACvB,KAAK,GACP,KAAK;CACV,CAAC,MAAM,CAAC,CAAC,CAAC"}

package/dist/src/types/lists/ConvertAndMap.js

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

package/dist/src/types/lists/ConvertSet.d.ts

@@ -0,0 +1,23 @@
+import { Narrowable, AfterFirst, FindExtends, First } from "..";
+export type ConversionTuple = [from: Narrowable, to: Narrowable];
+type Convert<TValue, TConversions extends readonly ConversionTuple[]> = FindExtends<TConversions, TValue, 0> extends ConversionTuple ? FindExtends<TConversions, TValue, 0>[1] : TValue;
+type ConvertAcc<TSet extends readonly unknown[], TConversions extends readonly ConversionTuple[], TResults extends readonly unknown[] = []> = [] extends TSet ? TResults : ConvertAcc<AfterFirst<TSet>, TConversions, [
+    ...TResults,
+    Convert<First<TSet>, TConversions>
+]>;
+/**
+ * **ConvertSet**`<TSet, TConversions>`
+ *
+ * Utility which works on a list `TSet` and converts matched values
+ * to an alternative type.
+ * ```ts
+ * type List = ["abc", 123, null, "michael", undefined, "jackson"];
+ * // ["abc", 123, "michael", "jackson"]
+ * type Converted = ConvertSet<
+ *    List, [ [null, never], [undefined, never] ]
+ * >
+ * ```
+ */
+export type ConvertSet<TSet extends readonly unknown[], TConversions extends ConversionTuple | readonly ConversionTuple[]> = TConversions extends readonly ConversionTuple[] ? ConvertAcc<TSet, TConversions> : TConversions extends ConversionTuple ? ConvertAcc<TSet, readonly [TConversions]> : never;
+export {};
+//# sourceMappingURL=ConvertSet.d.ts.map

package/dist/src/types/lists/ConvertSet.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConvertSet.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/ConvertSet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAG,UAAU,EAAG,WAAW,EAAG,KAAK,EAAE,MAAM,IAAI,CAAC;AAEnE,MAAM,MAAM,eAAe,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;AAEjE,KAAK,OAAO,CACV,MAAM,EACN,YAAY,SAAS,SAAS,eAAe,EAAE,IAC7C,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,SAAS,eAAe,GAC5D,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GACvC,MAAM,CAAC;AAEX,KAAK,UAAU,CACb,IAAI,SAAS,SAAS,OAAO,EAAE,EAC/B,YAAY,SAAS,SAAS,eAAe,EAAE,EAC/C,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,EAAE,SAAS,IAAI,GACf,QAAQ,GACR,UAAU,CACR,UAAU,CAAC,IAAI,CAAC,EAChB,YAAY,EACZ;IAAE,GAAG,QAAQ;IAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;CAAE,CACpD,CAAC;AAEN;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,UAAU,CACpB,IAAI,SAAS,SAAS,OAAO,EAAE,EAC/B,YAAY,SAAS,eAAe,GAAG,SAAS,eAAe,EAAE,IAC/D,YAAY,SAAS,SAAS,eAAe,EAAE,GAC/C,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,GAC9B,YAAY,SAAS,eAAe,GAClC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC,GACzC,KAAK,CAAC"}

package/dist/src/types/lists/ConvertSet.js

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

package/dist/src/types/lists/Filter.d.ts

@@ -0,0 +1,28 @@
+import { Narrowable, RetainFromList } from "..";
+/**
+ * Operations which can be used with the `Filter` type utility
+ */
+export type FilterOps = "equals" | "not-equal" | "extends" | "extends(unionize)" | "does-not-extend" | "does-not-extend(unionize)";
+/**
+ * **Filter**`<TList, TFilter, [TOp]>`
+ *
+ * Allows a known tuple `TList` to be reduced to a subset with the value `TFilter`
+ * and a comparison operator represented by `TOp`.
+ *
+ * By default `TOp` is set to _extends_ which ensures that those values in the list which
+ * _extend_ `TValue` are retained but the remaining filtered out.
+ *
+ * ```ts
+ * type T = [1,"foo",3];
+ * // [1,3]
+ * type T2 = Filter<T, number>;
+ * ```
+ * - `TFilter` can be single value or a Tuple of values
+ * - in the case of a Tuple of values, an "OR" operation will be used ... meaning that
+ * the elements in `TList` will be kept if an element extends _any_ of the `TFilter`
+ * entries
+ *
+ * **Related:** `RetainFromList`, `RemoveFromList`
+ */
+export type Filter<TList extends unknown[] | readonly unknown[], TFilter extends readonly unknown[] | Narrowable, TOp extends FilterOps = "extends"> = RetainFromList<TList, TOp, TFilter>;
+//# sourceMappingURL=Filter.d.ts.map

package/dist/src/types/lists/Filter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Filter.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/Filter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,IAAI,CAAC;AAEhD;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,WAAW,GAAG,SAAS,GAAG,mBAAmB,GAAG,iBAAiB,GAAG,2BAA2B,CAAC;AAEnI;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,MAAM,CAChB,KAAK,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,EAC5C,OAAO,SAAS,SAAS,OAAO,EAAE,GAAG,UAAU,EAC/C,GAAG,SAAS,SAAS,GAAG,SAAS,IAC/B,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC"}

package/dist/src/types/lists/Filter.js

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

package/dist/src/types/lists/Find.d.ts

@@ -0,0 +1,37 @@
+import { IfEqual, IfExtends, AfterFirst, First } from "..";
+type FindAcc<TList extends readonly unknown[], TFind, TDeref extends string | number | null> = [] extends TList ? undefined : TDeref extends keyof First<TList> ? IfEqual<First<TList>[TDeref], TFind, First<TList>, FindAcc<AfterFirst<TList>, TFind, TDeref>> : FindAcc<AfterFirst<TList>, TFind, TDeref>;
+/**
+ * **Find**`<TList,TFind,TIndex>`
+ *
+ * Type utility used to find the first value in `TList` which _equals_ `TValue`.
+ * Will return _undefined_ if no matches found.
+ *
+ * - use **FindExtends** if you want a more permissive match
+ * - by default, values in `TList` will be compared directly but you can _dereference_
+ * array and object properties with `TIndex` if you want to compare on a child property
+ *
+ * ```ts
+ * type List = [ { id: 1, value: "hi" }, { id: 2, value: "bye" } ]
+ * // { id: 1; value: "hi" }
+ * type T = Find<List, 1, "id">
+ * ```
+ *
+ * **Related**: `FindExtends`
+ */
+export type Find<TList extends readonly unknown[], TFind, TDeref extends string | number | null = null> = FindAcc<TList, TFind, TDeref>;
+type FindExtendsAcc<TList extends readonly unknown[], TFind, TDeref extends string | number | null> = [] extends TList ? undefined : TDeref extends keyof First<TList> ? IfExtends<TFind, First<TList>[TDeref], First<TList>, FindAcc<AfterFirst<TList>, TFind, TDeref>> : FindAcc<AfterFirst<TList>, TFind, TDeref>;
+/**
+ * **FindExtends**`<TList, TFind, TIndex>`
+ *
+ * Type utility used to find the first value in `TList` which _extends_ `TValue`.
+ * Will return _undefined_ if no matches found.
+ *
+ * - use **Find** if you want a stricter match
+ * - by default, values in `TList` will be compared directly but you can _dereference_
+ * array and object properties with `TIndex` if you want to compare on a child property
+ *
+ * **Related:** `Find`
+ */
+export type FindExtends<TList extends readonly unknown[], TFind, TDeref extends string | number | null = null> = FindExtendsAcc<TList, TFind, TDeref>;
+export {};
+//# sourceMappingURL=Find.d.ts.map

package/dist/src/types/lists/Find.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Find.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/Find.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,SAAS,EAAG,UAAU,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC;AAE5D,KAAK,OAAO,CACV,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,KAAK,EACL,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,IAAI,IACnC,EAAE,SAAS,KAAK,GAChB,SAAS,GACT,MAAM,SAAS,MAAM,KAAK,CAAC,KAAK,CAAC,GAC/B,OAAO,CACL,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAC3B,KAAK,CAAC,KAAK,CAAC,EACZ,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAC1C,GACD,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAEhD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,KAAK,EACL,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,IAC1C,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAElC,KAAK,cAAc,CACjB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,KAAK,EACL,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,IAAI,IACnC,EAAE,SAAS,KAAK,GAChB,SAAS,GACT,MAAM,SAAS,MAAM,KAAK,CAAC,KAAK,CAAC,GAC/B,SAAS,CACP,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,EAC3B,KAAK,CAAC,KAAK,CAAC,EACZ,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAC1C,GACD,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAEhD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,KAAK,EACL,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,IAC1C,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC"}

package/dist/src/types/lists/Find.js

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

package/dist/src/types/lists/First.d.ts

@@ -0,0 +1,10 @@
+import { Tuple } from "..";
+/**
+ * **First**`<T>`
+ *
+ * Returns the _first_ type in a list.
+ *
+ * Typing ensures that list has at a minimum one item in it.
+ */
+export type First<T extends Tuple> = T[0] extends T[number] ? T[0] : never;
+//# sourceMappingURL=First.d.ts.map

package/dist/src/types/lists/First.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"First.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/First.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC;AAE3B;;;;;;GAMG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,KAAK,IAC/B,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC"}

package/dist/src/types/lists/First.js

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

package/dist/src/types/lists/FirstOrElse.d.ts

@@ -0,0 +1,9 @@
+import { Tuple, First } from "..";
+/**
+ * **FirstOrElse**`<T,E>`
+ *
+ * Returns the _first_ type in a list but if there are no elements then
+ * it will return `E` (which defaults to _undefined_).
+ */
+export type FirstOrElse<T extends Tuple, E = undefined> = T extends Tuple<unknown, "1+"> ? First<T> : E;
+//# sourceMappingURL=FirstOrElse.d.ts.map

package/dist/src/types/lists/FirstOrElse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FirstOrElse.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/FirstOrElse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAC,MAAM,IAAI,CAAC;AAGjC;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,KAAK,EACf,CAAC,GAAG,SAAS,IACX,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,GAC9B,KAAK,CAAC,CAAC,CAAC,GACR,CAAC,CAAC"}

package/dist/src/types/lists/FirstOrElse.js

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

package/dist/src/types/lists/FirstString.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Returns the first `string` value from an array of values
+ */
+export type FirstString<T extends readonly unknown[]> = T extends [infer S, ...unknown[]] ? S extends string ? S : never : never;
+//# sourceMappingURL=FirstString.d.ts.map

package/dist/src/types/lists/FirstString.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FirstString.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/FirstString.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IACpD,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,GAC7B,CAAC,SAAS,MAAM,GAAG,CAAC,GAAG,KAAK,GAC5B,KAAK,CAAC"}

package/dist/src/types/lists/FirstString.js

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

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

@@ -0,0 +1,14 @@
+import { Contains } from "..";
+import { AfterFirst, First } from "..";
+type _Flat<TList extends readonly unknown[], TLevel extends 1 | 2 | 3, TResults extends readonly unknown[] = []> = [] extends TList ? TLevel extends 1 ? TResults : Contains<TResults, unknown[]> extends true ? TLevel extends 3 ? _Flat<TResults, 2> : _Flat<TResults, 1> : TResults : _Flat<AfterFirst<TList>, TLevel, First<TList> extends unknown[] | readonly unknown[] ? [...TResults, ...First<TList>] : [...TResults, First<TList>]>;
+/**
+ * **Flatten**`<TList, [TLevel]>`
+ *
+ * Flattens the passed in array while preserving strong types.
+ *
+ * - by default it will only flatten _one_ level but you may
+ * optionally extend this to two or three levels.
+ */
+export type Flatten<TList extends readonly unknown[], TLevel extends 1 | 2 | 3 = 1> = TList extends unknown[] ? _Flat<TList, TLevel> : TList extends readonly unknown[] ? Readonly<_Flat<TList, TLevel>> : never;
+export {};
+//# sourceMappingURL=Flatten.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Flatten.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/Flatten.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC;AAEvC,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"}

package/dist/src/types/lists/Flatten.js

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

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

@@ -0,0 +1,25 @@
+import { Get, IfReadonlyArray, IfValidDotPath, IndexOf, Mutable, RemoveNever } from "..";
+/**
+* **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**
+*
+* ```ts
+* // ["Bob", "Wendy"]
+* type T = GetEach<[
+*    { name: "Bob", age: 12 },
+*    { name: "Wendy", age: 24 }
+* ], "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>;
+}>;
+//# sourceMappingURL=GetEach.d.ts.map

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

@@ -0,0 +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,MAAM,IAAI,CAAC;AAGZ;;;;;;;;;;;;;;;;;;;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"}

package/dist/src/types/lists/GetEach.js

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

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

@@ -0,0 +1,20 @@
+import { AnyObject, IfNull, IsNegativeNumber, Abs, Decrement, Reverse, ErrorCondition, Concat, ToString, IfValidKey } from "..";
+/**
+ * **IndexOf**<TValue, TIdx>
+ *
+ * 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
+ *
+ * **Related:** `Get`
+ */
+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";
+}>>;
+//# sourceMappingURL=IndexOf.d.ts.map

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

@@ -0,0 +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,MAAM,IAAI,CAAC;AAEZ;;;;;;;;;;;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"}

package/dist/src/types/lists/IndexOf.js

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

package/dist/src/types/lists/IntersectAll.d.ts

@@ -0,0 +1,14 @@
+import { ExpandRecursively, Narrowable, AfterFirst, First } from "..";
+type Intersect<TList extends readonly unknown[], TIntersect extends Narrowable, TResults extends unknown[] = []> = [] extends TList ? TResults : Intersect<AfterFirst<TList>, TIntersect, [
+    ...TResults,
+    ExpandRecursively<First<TList> & TIntersect>
+]>;
+/**
+ * **IntersectAll**`<TList, TIntersect>`
+ *
+ * Type utility which adds an _intersection_ with each element in `TList`
+ * with `TIntersect`.
+ */
+export type IntersectAll<TList extends readonly unknown[], TIntersect extends Narrowable> = TList extends readonly unknown[] ? Readonly<Intersect<TList, TIntersect>> : [...Intersect<TList, TIntersect>];
+export {};
+//# sourceMappingURL=IntersectAll.d.ts.map

package/dist/src/types/lists/IntersectAll.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IntersectAll.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/IntersectAll.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC;AAEtE,KAAK,SAAS,CACZ,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,UAAU,SAAS,UAAU,EAC7B,QAAQ,SAAS,OAAO,EAAE,GAAG,EAAE,IAC7B,EAAE,SAAS,KAAK,GAChB,QAAQ,GACR,SAAS,CACP,UAAU,CAAC,KAAK,CAAC,EACjB,UAAU,EACV;IAAC,GAAG,QAAQ;IAAE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;CAAE,CAC7D,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,UAAU,SAAS,UAAU,IAC3B,KAAK,SAAS,SAAS,OAAO,EAAE,GAClC,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,GACtC,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC"}

package/dist/src/types/lists/IntersectAll.js

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

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

@@ -0,0 +1,8 @@
+import { AfterFirst, IfLength, Length, Tuple } from "..";
+/**
+ * **Last**`<TList>`
+ *
+ * Returns the _last_ element in a list of elements
+ */
+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>>;
+//# sourceMappingURL=Last.d.ts.map

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

@@ -0,0 +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,MAAM,IAAI,CAAC;AAE1D;;;;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"}

package/dist/src/types/lists/Last.js

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

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

@@ -0,0 +1,15 @@
+import type { AnyObject, Container, IfEqual, IfLiteral, IfStringLiteral, Keys, StrLen, ToString } from "..";
+/**
+ * Utility type which returns the length of:
+ *
+ * - an _array_ (provides the number of elements)
+ * - an _object_ (provides the number of keys)
+ * - a _string_ (provides the number of chars)
+ * - a _number_ (it will provide the number of digits)
+ *
+ * ```ts
+ * 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 AnyObject ? IfEqual<T, {}, 0, Keys<T>["length"]> : number;
+//# sourceMappingURL=Length.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Length.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/Length.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAG,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AAG7G;;;;;;;;;;;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,SAAS,GACjB,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GACpC,MAAM,CAAC"}

package/dist/src/types/lists/Length.js

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

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

@@ -0,0 +1,24 @@
+import { IfBoolean, AfterFirst, First, LogicFunction } from "src/types";
+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>>;
+/**
+ * **LogicalReturns**`<TValues, TParams>`
+ *
+ * Given a known tuple of values, this utility will reduce it to
+ * another tuple of items which are either a _boolean type_ or a function
+ * with a boolean return. In the latter case the function's return value
+ * will be represented in the Tuple.
+ *
+ * **See Also**: `ReturnTypes` and `TruthyReturns`
+ */
+export type LogicalReturns<TValues extends readonly unknown[], TParams extends readonly unknown[] = []> = ProcessLogicalReturns<TValues, TParams>;
+export {};
+//# sourceMappingURL=LogicalReturns.d.ts.map

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

@@ -0,0 +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,MAAM,WAAW,CAAC;AAIzE,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"}

package/dist/src/types/lists/LogicalReturns.js

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

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

@@ -0,0 +1,25 @@
+import { Tuple, Length, ToNumber, AfterFirst, First, IfReadonlyArray } from "..";
+type Recurse<TList extends Tuple, TResults extends Tuple = []> = [] extends TList ? TResults : Recurse<AfterFirst<TList>, [
+    ...TResults,
+    ToNumber<First<TList>>
+]>;
+type Convert<TList extends Tuple> = Length<TList> extends 0 ? number[] : Recurse<{
+    [K in keyof TList]: K;
+}>;
+/**
+ * **NumericKeys**<`TList`>
+ *
+ * Will provide a readonly tuple of numeric keys for
+ * a given literal array and an empty array otherwise.
+ *
+ * ```ts
+ * type Arr = ["foo", "bar", "baz"];
+ * // readonly [0, 1, 2]
+ * type T = NumericKeys<Arr>;
+ * ```
+ *
+ * **Related:** `Keys`
+ */
+export type NumericKeys<TList extends Tuple> = IfReadonlyArray<TList, TList["length"] extends 0 ? number[] : Readonly<Convert<TList>>, Convert<TList>>;
+export {};
+//# sourceMappingURL=NumericKeys.d.ts.map

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

@@ -0,0 +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,MAAM,IAAI,CAAC;AAEjF,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"}

package/dist/src/types/lists/NumericKeys.js

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

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

@@ -0,0 +1,18 @@
+import { Concat, Tuple, Split, Slice, IfEqual, IfStringLiteral } from "..";
+type _Pop<TVal extends Tuple> = TVal extends [...(infer Rest), unknown] ? Rest : never;
+/**
+ * **Pop**`<TList>`
+ *
+ * Removes the last element of a list.
+ * ```ts
+ * // [1,2]
+ * type T = Pop<[1,2,3]>;
+ * ```
+ *
+ * - to provide additional utility, you can also pass
+ * 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 {};
+//# sourceMappingURL=Pop.d.ts.map

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

@@ -0,0 +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,MAAM,IAAI,CAAC;AAE3E,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"}

package/dist/src/types/lists/Pop.js

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

package/dist/src/types/lists/ReplaceLast.d.ts

@@ -0,0 +1,8 @@
+import { Pop } from "..";
+/**
+ * **ReplaceLast**`<TList,TVal>`
+ *
+ * Replaces the _last_ element of `TList` with the value of `TVal`.
+ */
+export type ReplaceLast<TList extends readonly any[], TVal> = Pop<TList> extends readonly unknown[] ? [...Pop<TList>, TVal] : never;
+//# sourceMappingURL=ReplaceLast.d.ts.map

package/dist/src/types/lists/ReplaceLast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ReplaceLast.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/ReplaceLast.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,GAAG,EAAE,MAAM,IAAI,CAAC;AAEzB;;;;GAIG;AACH,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,SAAS,GAAG,EAAE,EAC5B,IAAI,IACF,GAAG,CAAC,KAAK,CAAC,SAAS,SAAS,OAAO,EAAE,GACrC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,GACrB,KAAK,CAAC"}

package/dist/src/types/lists/ReplaceLast.js

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

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

@@ -0,0 +1,21 @@
+import { AfterFirst, First } from "..";
+/**
+ * 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>>
+]>;
+/**
+ * **Retain**`<TList, TFilter>`
+ *
+ * Allows a known tuple `TList` to be reduced to just those elements which
+ * _extend_ type `TFilter`.
+ *
+ * - `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
+ */
+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 {};
+//# sourceMappingURL=Retain.d.ts.map

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

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

package/dist/src/types/lists/Retain.js

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

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

@@ -0,0 +1,15 @@
+import { AnyFunction } from "..";
+/**
+ * **ReturnTypes**`<T>`
+ *
+ * Given any Tuple, this utility will return a _union_ type
+ * that represents all the possible _return types_ from functions found
+ * in the array. Non-function types will be ignored as will functions
+ * which don't return a boolean value.
+ *
+ * **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;
+};
+//# sourceMappingURL=ReturnTypes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ReturnTypes.d.ts","sourceRoot":"","sources":["../../../../src/types/lists/ReturnTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,IAAI,CAAC;AAEjC;;;;;;;;;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"}

package/dist/src/types/lists/ReturnTypes.js

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