inferred-types 0.51.0 → 0.51.2

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

@@ -0,0 +1,8 @@
+import { Tuple } from "inferred-types/dist/types/index";
+/**
+ * **AfterFirst**`<T>`
+ *
+ * returns the elements in an array _after_ the first element
+ */
+export type AfterFirst<T extends Tuple> = T extends readonly [unknown, ...unknown[]] ? T extends readonly [unknown, ...infer Rest] ? readonly [...Rest] : never : T extends unknown[] ? [] : T extends [unknown, ...infer Rest] ? Rest : [];
+//# sourceMappingURL=AfterFirst.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AfterFirst.d.ts","sourceRoot":"","sources":["../../../src/types/lists/AfterFirst.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AAExD;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,KAAK,IACpC,CAAC,SAAS,SAAS,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,GACxC,CAAC,SAAS,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC,GAAG,IAAI,CAAC,GAAG,KAAK,GACxE,CAAC,SAAS,OAAO,EAAE,GACjB,EAAE,GACF,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,IAAI,CAAC,GAChC,IAAI,GACJ,EAAE,CAAC"}

package/dist/types/lists/AfterFirst.js

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

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

@@ -0,0 +1,11 @@
+import { ErrorCondition } from "inferred-types/dist/types/index";
+/**
+ * **AllowNonTupleWhenSingular**`<TTuple>`
+ *
+ * Converts `T` to being `T | T[0]` when the tuple's length
+ * is 1. Otherwise keeps the type as `T`.
+ *
+ * This type pairs well with the `AsArray` utility.
+ */
+export type AllowNonTupleWhenSingular<TTuple extends readonly unknown[]> = TTuple["length"] extends 1 ? TTuple[0] extends ErrorCondition ? TTuple[0] : TTuple | TTuple[0] : TTuple;
+//# sourceMappingURL=AllowNonTupleWhenSingular.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AllowNonTupleWhenSingular.d.ts","sourceRoot":"","sources":["../../../src/types/lists/AllowNonTupleWhenSingular.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAEjE;;;;;;;GAOG;AACH,MAAM,MAAM,yBAAyB,CACnC,MAAM,SAAS,SAAS,OAAO,EAAE,IAC/B,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC1B,MAAM,CAAC,CAAC,CAAC,SAAS,cAAc,GAC9B,MAAM,CAAC,CAAC,CAAC,GACT,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,GACpB,MAAM,CAAC"}

package/dist/types/lists/AllowNonTupleWhenSingular.js

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

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

@@ -0,0 +1,12 @@
+import { IsEmptyContainer, TupleToUnion, Widen } from "inferred-types/dist/types/index";
+/**
+ * **ArrayElementType**`<T>`
+ *
+ * Determines what type the elements in an array are.
+ * ```ts
+ * // string
+ * type T = ArrayElementType<string[]>;
+ * ```
+ */
+export type ArrayElementType<T extends readonly unknown[]> = IsEmptyContainer<T> extends true ? [...T][0] : Widen<TupleToUnion<T>>;
+//# sourceMappingURL=ArrayElementType.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ArrayElementType.d.ts","sourceRoot":"","sources":["../../../src/types/lists/ArrayElementType.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AAExF;;;;;;;;GAQG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAEzF,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GACT,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/types/lists/ArrayElementType.js

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

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

@@ -0,0 +1,15 @@
+import { If, IsUndefined, Mutable, Tuple } from "inferred-types/dist/types/index";
+type _AsArray<T> = T extends Tuple ? Mutable<T> : If<IsUndefined<T>, [
+], [
+    T
+]>;
+/**
+ * **AsArray**`<T>`
+ *
+ * Type utility which ensures that `T` is an array by
+ * encapsulating it as a single item array if it is a
+ * non-array type.
+ */
+export type AsArray<T> = _AsArray<T> extends any[] ? _AsArray<T> : never;
+export {};
+//# sourceMappingURL=AsArray.d.ts.map

package/dist/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,EAAE,EAAG,WAAW,EAAG,OAAO,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AAEpF,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,GAC5B,OAAO,CAAC,CAAC,CAAC,GACV,EAAE,CACA,WAAW,CAAC,CAAC,CAAC,EACd;CAAE,EACF;IAAC,CAAC;CAAC,CACJ,CAAC;AAIR;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,SAAS,GAAG,EAAE,GAChD,QAAQ,CAAC,CAAC,CAAC,GACX,KAAK,CAAC"}

package/dist/types/lists/AsArray.js

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

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

@@ -0,0 +1,16 @@
+import { RemoveNever } from "../containers";
+import { NumberLike } from "../numeric-literals";
+import { AsNumber } from "../type-conversion";
+/**
+ * **AsNumericArray**`<T>`
+ *
+ * Converts into a numeric array:
+ *
+ * - `number` values are proxied through
+ * - `${number}` values are converted to a number
+ * - all other types are converted to `never` and removed
+ */
+export type AsNumericArray<T> = T extends readonly unknown[] ? RemoveNever<{
+    [K in keyof T]: T[K] extends NumberLike ? AsNumber<T[K]> : never;
+}> : never;
+//# sourceMappingURL=AsNumericArray.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AsNumericArray.d.ts","sourceRoot":"","sources":["../../../src/types/lists/AsNumericArray.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAG9C;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,OAAO,EAAE,GAC1D,WAAW,CAAC;KACX,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,GACnC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACd,KAAK;CACV,CAAC,GACA,KAAK,CAAC"}

package/dist/types/lists/AsNumericArray.js

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

package/dist/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/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/types/lists/AsReadonlyArray.js

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

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

@@ -0,0 +1,12 @@
+import { Tuple, If, IsUndefined } from "inferred-types/dist/types/index";
+/**
+ * **AsTuple**`<T>`
+ *
+ * Type utility which ensures that `T` is tuple value
+ * encapsulating it as a single item array if it is a
+ * non-array type.
+ *
+ * **Related:** `AsArray`
+ */
+export type AsTuple<T> = T extends Tuple ? T : T extends unknown[] ? readonly [...T] : If<IsUndefined<T>, readonly [], readonly [T]>;
+//# sourceMappingURL=AsTuple.d.ts.map

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

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

package/dist/types/lists/AsTuple.js

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

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

@@ -0,0 +1,20 @@
+import { Chars, Concat, Handle, IsEqual, Pop, Tuple } from "inferred-types/dist/types/index";
+/**
+ * **BeforeLast**`<T>`
+ *
+ * Returns:
+ *
+ * - the _elements_ in an **array**; _excluding_ the last element
+ * - the _characters_ in a **string** excluding the last character
+ *
+ * This behavior is _very_ much like `Pop<T>` but where `Pop<T>` will
+ * return _never_ when an empty input is passed in, this utility returns
+ * the "empty" state:
+ *
+ * - a _tuple_ will return `[]`
+ * - a _string_ will return ""
+ *
+ * **Related:** `Pop`, `Last`, `AfterFirst`, `First`
+ */
+export type BeforeLast<T extends Tuple | string> = T extends string ? string extends T ? string : IsEqual<T, ""> extends true ? "" : Pop<Chars<T>> extends readonly string[] ? Concat<Pop<Chars<T>>> : never : T extends Tuple ? Handle<Pop<T>, never, []> : never;
+//# sourceMappingURL=BeforeLast.d.ts.map

package/dist/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,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AAG9F;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,KAAK,GAAG,MAAM,IACtB,CAAC,SAAS,MAAM,GAChB,MAAM,SAAS,CAAC,GACd,MAAM,GACR,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GACzB,EAAE,GACF,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,GACrC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GACrB,KAAK,GACT,CAAC,SAAS,KAAK,GACb,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,GACzB,KAAK,CAAC"}

package/dist/types/lists/BeforeLast.js

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

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

@@ -0,0 +1,54 @@
+import { TupleToUnion, UnionToTuple, Narrowable, Keys, WithoutValue, First, AfterFirst, AnyObject, Tuple, Nothing } from "inferred-types/dist/types/index";
+/**
+ * **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/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,iCAAiC,CAAC;AAK7J;;;;;;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/types/lists/ConvertAndMap.js

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

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

@@ -0,0 +1,23 @@
+import { Narrowable, AfterFirst, First, Find } from "inferred-types/dist/types/index";
+export type ConversionTuple = [from: Narrowable, to: Narrowable];
+type Convert<TValue, TConversions extends readonly ConversionTuple[]> = Find<TConversions, "extends", TValue, 0> extends ConversionTuple ? Find<TConversions, "extends", 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/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,EAAI,KAAK,EAAE,IAAI,EAAE,MAAM,iCAAiC,CAAC;AAEzF,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,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,SAAS,eAAe,GAChE,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAC3C,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/types/lists/ConvertSet.js

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

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

@@ -0,0 +1,7 @@
+/**
+ * **ElementOf**`<T>`
+ *
+ * Pulls the type of an array's element out of the array type itself.
+ */
+export type ElementOf<T> = T extends (infer U)[] ? U : never;
+//# sourceMappingURL=ElementOf.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ElementOf.d.ts","sourceRoot":"","sources":["../../../src/types/lists/ElementOf.ts"],"names":[],"mappings":"AACA;;;;GAIG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC"}

package/dist/types/lists/ElementOf.js

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

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

@@ -0,0 +1,32 @@
+import { ComparatorOperation, Compare, IsArray, IfNever, If, TupleToUnion, RemoveNever } from "inferred-types/dist/types/index";
+/**
+ * Iterates over each element of the Tuple
+ */
+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> : SingleFilter<Rest, TFilter, TOp, [...Result, Head]> : Result;
+type Process<TList extends unknown[] | readonly unknown[], TFilter, TOp extends ComparatorOperation> = TList extends unknown[] ? SingleFilter<TList, TFilter, TOp> : TList extends readonly unknown[] ? Readonly<SingleFilter<[...TList], TFilter, TOp>> : never;
+/**
+ * **Filter**`<TList, TComparator, [TOp]>`
+ *
+ * Allows a known tuple `TList` to be reduced to a subset with the value `TFilter`:
+ *
+ * - How the list is reduced depends on `TOp` which defaults to "extends"
+ * - other values include "equals", "does-not-extend", "does-not-equal"
+ *
+ * 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, string>;
+ * ```
+ * - `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 readonly unknown[], TComparator, TOp extends ComparatorOperation = "extends"> = TList extends readonly unknown[] ? IfNever<TComparator, RemoveNever<TList>, If<IsArray<TComparator>, Process<TList, TupleToUnion<TComparator>, TOp>, Process<TList, TComparator, TOp>>> : never;
+export {};
+//# sourceMappingURL=Filter.d.ts.map

package/dist/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,EACL,mBAAmB,EACnB,OAAO,EACP,OAAO,EACP,OAAO,EACP,EAAE,EACF,YAAY,EACZ,WAAW,EACZ,MAAM,iCAAiC,CAAC;AAGzC;;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,MAAM,CAAC,GACxC,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,GACrD,MAAM,CAAC;AAGX,KAAK,OAAO,CACV,KAAK,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,EAC5C,OAAO,EACP,GAAG,SAAS,mBAAmB,IAC7B,KAAK,SAAS,OAAO,EAAE,GACzB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,GAEjC,KAAK,SAAS,SAAS,OAAO,EAAE,GAC5B,QAAQ,CACN,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CACvC,GACD,KAAK,CAAC;AAGZ;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,MAAM,CAChB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,WAAW,EACX,GAAG,SAAS,mBAAmB,GAAG,SAAS,IACzC,KAAK,SAAS,SAAS,OAAO,EAAE,GAClC,OAAO,CACL,WAAW,EACX,WAAW,CAAC,KAAK,CAAC,EAClB,EAAE,CACA,OAAO,CAAC,WAAW,CAAC,EACpB,OAAO,CACL,KAAK,EACL,YAAY,CAAC,WAAW,CAAC,EACzB,GAAG,CACJ,EACD,OAAO,CACL,KAAK,EACL,WAAW,EACX,GAAG,CACJ,CACF,CACF,GACD,KAAK,CAAC"}

package/dist/types/lists/Filter.js

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

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

@@ -0,0 +1,23 @@
+import { ComparatorOperation, Compare, IfNever, RemoveNever, IsDotPath, Throw, Get } from "inferred-types/dist/types/index";
+/**
+ * Iterates over each element of the Tuple
+ */
+type SingleFilter<TList extends readonly unknown[], TComparator, TProp extends string, TOp extends ComparatorOperation, Result extends unknown[] = []> = TList extends [infer Head, ...infer Rest] ? [
+    Compare<Get<Head, TProp>, TOp, TComparator>
+] extends [true] ? SingleFilter<Rest, TComparator, TProp, TOp, Result> : SingleFilter<Rest, TComparator, TProp, TOp, [...Result, Head]> : Result;
+type Process<TList extends readonly unknown[], TComparator, TProp extends string, TOp extends ComparatorOperation> = TList extends unknown[] ? SingleFilter<TList, TComparator, TProp, TOp> : TList extends readonly unknown[] ? Readonly<SingleFilter<[...TList], TComparator, TProp, TOp>> : never;
+/**
+ * **FilterByProp**`<TList, TComparator, TProp, [TOp]>`
+ *
+ * Allows a known tuple `TList` to be reduced to a subset with the value `TComparator`
+ * being compared to each element in TList[TProp]; if comparison resolves to a `true`
+ * value then the element `TList[TProp]` is removed but otherwise retained.
+ *
+ * - How the list is _compared_ depends on `TOp` which defaults to "extends"
+ * - other values include "equals", "does-not-extend", "does-not-equal"
+ *
+ * **Related:** `RetainByProp`, `Filter`, `RetainFromList`, `RemoveFromList`, `FilterProps`
+ */
+export type FilterByProp<TList extends readonly unknown[], TComparator, TProp extends string, TOp extends ComparatorOperation = "extends"> = IsDotPath<TProp> extends false ? Throw<"invalid-dot-path", `the property value TProp must be a valid dotpath but "${TProp}" is not valid!`> : TList extends readonly unknown[] ? IfNever<TComparator, RemoveNever<TList>, TComparator extends any[] ? Process<TList, TComparator[number], TProp, TOp> : Process<TList, TComparator, TProp, TOp>> : never;
+export {};
+//# sourceMappingURL=FilterByProp.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FilterByProp.d.ts","sourceRoot":"","sources":["../../../src/types/lists/FilterByProp.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,OAAO,EACP,OAAO,EACP,WAAW,EACX,SAAS,EACT,KAAK,EACL,GAAG,EACJ,MAAM,iCAAiC,CAAC;AAGzC;;GAEG;AACH,KAAK,YAAY,CACf,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,WAAW,EACX,KAAK,SAAS,MAAM,EACpB,GAAG,SAAS,mBAAmB,EAC/B,MAAM,SAAS,OAAO,EAAE,GAAG,EAAE,IAC3B,KAAK,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACzC;IACE,OAAO,CACL,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,EAChB,GAAG,EACH,WAAW,CACZ;CACF,SAAS,CAAC,IAAI,CAAC,GACd,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GACnD,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,GAChE,MAAM,CAAC;AAIX,KAAK,OAAO,CACV,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,WAAW,EACX,KAAK,SAAS,MAAM,EACpB,GAAG,SAAS,mBAAmB,IAC5B,KAAK,SAAS,OAAO,EAAE,GAC1B,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,GAE5C,KAAK,SAAS,SAAS,OAAO,EAAE,GAC5B,QAAQ,CACN,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAClD,GACD,KAAK,CAAC;AAEZ;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,YAAY,CACtB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,WAAW,EACX,KAAK,SAAS,MAAM,EACpB,GAAG,SAAS,mBAAmB,GAAG,SAAS,IACzC,SAAS,CAAC,KAAK,CAAC,SAAS,KAAK,GAChC,KAAK,CAAC,kBAAkB,EAAE,yDAAyD,KAAK,iBAAiB,CAAC,GAE1G,KAAK,SAAS,SAAS,OAAO,EAAE,GAChC,OAAO,CACL,WAAW,EACX,WAAW,CAAC,KAAK,CAAC,EAClB,WAAW,SAAS,GAAG,EAAE,GACrB,OAAO,CACL,KAAK,EACL,WAAW,CAAC,MAAM,CAAC,EACnB,KAAK,EACL,GAAG,CACJ,GACD,OAAO,CACL,KAAK,EACL,WAAW,EACX,KAAK,EACL,GAAG,CACJ,CACJ,GACH,KAAK,CAAC"}

package/dist/types/lists/FilterByProp.js

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

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

@@ -0,0 +1,19 @@
+import { Constant } from "inferred-types/dist/constants/index";
+import { IsLiteral, RemoveMarked } from "inferred-types/dist/types/index";
+type Process<T extends readonly unknown[]> = RemoveMarked<{
+    [K in keyof T]: IsLiteral<T[K]> extends true ? Constant<"Marked"> : T[K];
+}>;
+/**
+ * **FilterLiterals**`<T>`
+ *
+ * Receives a tuple of items and filters out all literal items
+ * (e.g., object literals, tuple literals, string literals,
+ * numeric literals, and boolean literals).
+ *
+ * Elements like _undefined_ and `null` are kept in the tuple.
+ *
+ * **Related:** `Filter`, `FilterWideTypes`, `RetainLiterals`
+ */
+export type FilterLiterals<T extends readonly unknown[]> = Process<T> extends readonly unknown[] ? Process<T> : never;
+export {};
+//# sourceMappingURL=FilterLiterals.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FilterLiterals.d.ts","sourceRoot":"","sources":["../../../src/types/lists/FilterLiterals.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAG1E,KAAK,OAAO,CACZ,CAAC,SAAS,SAAS,OAAO,EAAE,IACxB,YAAY,CAAC;KACd,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACxC,QAAQ,CAAC,QAAQ,CAAC,GAClB,CAAC,CAAC,CAAC,CAAC;CACT,CAAC,CAAA;AAGF;;;;;;;;;;GAUG;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/FilterLiterals.js

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

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

@@ -0,0 +1,18 @@
+import { Constant } from "inferred-types/dist/constants/index";
+import { IsWideType } from "../boolean-logic";
+import { If } from "../boolean-logic/branching/If";
+import { RemoveMarked } from "../containers";
+/**
+ * **FilterWideTypes**`<T>`
+ *
+ * Receives a tuple of items and filters out all "wide types"
+ * (e.g., object, number, string, Record<string, string>, boolean, etc.).
+ *
+ * All literal types and elements such as _undefined_ and `null` are kept in the tuple.
+ *
+ * **Related:** `Filter`, `FilterLiterals`, `RetainWideTypes`
+ */
+export type FilterWideTypes<T extends readonly unknown[]> = RemoveMarked<{
+    [K in keyof T]: If<IsWideType<T[K]>, Constant<"Marked">, T[K]>;
+}>;
+//# sourceMappingURL=FilterWideTypes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FilterWideTypes.d.ts","sourceRoot":"","sources":["../../../src/types/lists/FilterWideTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AAC/D,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;;;;;;;;;GASG;AACH,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,YAAY,CAAC;KACd,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAChB,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAChB,QAAQ,CAAC,QAAQ,CAAC,EAClB,CAAC,CAAC,CAAC,CAAC,CACL;CACF,CAAC,CAAA"}

package/dist/types/lists/FilterWideTypes.js

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

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

@@ -0,0 +1,26 @@
+import { IsEqual, If, AfterFirst, First, Or, NumberLike, Compare } from "inferred-types/dist/types/index";
+type FindAcc<TList extends readonly unknown[], TOp extends "extends" | "equals" | "startsWith" | "endsWith" | "lessThan" | "greaterThan", TComparator, TDeref extends string | number | null> = [] extends TList ? undefined : TDeref extends keyof First<TList> ? If<Compare<First<TList>[TDeref], TOp, TComparator>, First<TList>, FindAcc<AfterFirst<TList>, TOp, TComparator, TDeref>> : If<Compare<First<TList>, TOp, TComparator>, First<TList>, FindAcc<AfterFirst<TList>, TOp, TComparator, TDeref>>;
+/**
+ * **Find**`<TList,TOp,TComparator,[TDeref]>`
+ *
+ * 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[], TOp extends "extends" | "equals" | "startsWith" | "endsWith" | "lessThan" | "greaterThan", TComparator extends Or<[
+    IsEqual<TOp, "startsWith">,
+    IsEqual<TOp, "endsWith">
+]> extends true ? string : Or<[IsEqual<TOp, "lessThan">, IsEqual<TOp, "greaterThan">]> extends true ? NumberLike : unknown, TDeref extends string | number | null = null> = FindAcc<TList, TOp, TComparator, TDeref>;
+export {};
+//# sourceMappingURL=Find.d.ts.map

package/dist/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,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAE1G,KAAK,OAAO,CACV,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,GAAG,SAAS,SAAS,GAAG,QAAQ,GAAG,YAAY,GAAG,UAAU,GAAG,UAAU,GAAG,aAAa,EACzF,WAAW,EACX,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,IAAI,IACnC,EAAE,SAAS,KAAK,GAChB,SAAS,GACT,MAAM,SAAS,MAAM,KAAK,CAAC,KAAK,CAAC,GAC/B,EAAE,CACA,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,WAAW,CAAC,EAC/C,KAAK,CAAC,KAAK,CAAC,EACZ,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,GAAG,EAAC,WAAW,EAAE,MAAM,CAAC,CACpD,GACD,EAAE,CACA,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,WAAW,CAAC,EACvC,KAAK,CAAC,KAAK,CAAC,EACZ,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,GAAG,EAAC,WAAW,EAAE,MAAM,CAAC,CACpD,CAAC;AAER;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,GAAG,SAAS,SAAS,GAAG,QAAQ,GAAG,YAAY,GAAG,UAAU,GAAG,UAAU,GAAG,aAAa,EACzF,WAAW,SAAS,EAAE,CAAC;IACrB,OAAO,CAAC,GAAG,EAAC,YAAY,CAAC;IAAE,OAAO,CAAC,GAAG,EAAC,UAAU,CAAC;CACnD,CAAC,SAAS,IAAI,GACb,MAAM,GACN,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAC,UAAU,CAAC,EAAE,OAAO,CAAC,GAAG,EAAC,aAAa,CAAC,CAAC,CAAC,SAAS,IAAI,GACtE,UAAU,GACV,OAAO,EACT,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,IAC1C,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC"}

package/dist/types/lists/Find.js

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

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

@@ -0,0 +1,13 @@
+/**
+ * **First**`<T>`
+ *
+ * Returns the _first_ 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:** `Second`, `Last`
+ */
+export type First<T, ELSE = never> = T extends readonly unknown[] ? T[0] extends T[number] ? T[0] : ELSE : never;
+//# sourceMappingURL=First.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"First.d.ts","sourceRoot":"","sources":["../../../src/types/lists/First.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CACf,CAAC,EACD,IAAI,GAAG,KAAK,IACV,CAAC,SAAS,SAAS,OAAO,EAAE,GAC5B,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GACpC,KAAK,CAAC"}

package/dist/types/lists/First.js

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

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

@@ -0,0 +1,9 @@
+import { Tuple, First } from "inferred-types/dist/types/index";
+/**
+ * **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/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,iCAAiC,CAAC;AAG9D;;;;;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/types/lists/FirstOrElse.js

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

package/dist/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/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/types/lists/FirstString.js

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

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

@@ -0,0 +1,53 @@
+import { AfterFirst, First, IsUnion, UnionToTuple, TupleToUnion, IsTuple, Or, Decrement, HasUnionType, HasArray, IsArray, As, UnionHasArray } from "inferred-types/dist/types/index";
+type ToFlat<T> = IsArray<T> extends true ? As<T, readonly unknown[]> : IsUnion<T> extends true ? UnionHasArray<T> extends true ? [FlattenUnion<T>] : [T] : [T];
+type FlatPass<TList extends readonly unknown[], TResult extends readonly unknown[] = []> = [] extends TList ? TResult : FlatPass<AfterFirst<TList>, [
+    ...TResult,
+    ...ToFlat<First<TList>>
+]>;
+/**
+ * Processes Tuple structures.
+ *
+ * - Each pass will start by validating that `TList` still has
+ * either Tuples within it or values which are Tuples
+ * - Assuming it does
+ */
+type FlattenTuple<TList extends readonly unknown[], TLevel extends 0 | 1 | 2 | 3> = TLevel extends 0 ? TList : Or<[HasUnionType<TList>, HasArray<TList>]> extends true ? FlattenTuple<FlatPass<TList>, Decrement<TLevel>> : TList;
+type Iterate<T extends readonly unknown[], TDepth extends 1 | 2 | 3> = TupleToUnion<{
+    [K in keyof T]: T[K] extends readonly unknown[] ? Flatten<T[K], TDepth> : T[K];
+}>;
+export type FlattenUnion<TValue> = IsUnion<TValue> extends true ? Iterate<UnionToTuple<TValue>, 1> : TValue;
+type WideFlatten<T> = T extends (infer Type)[] ? Type extends unknown[] ? Type : T : never;
+/**
+ * Responsible for branching the flattening operation
+ * to either `_Flat`, `WideFlatten` for Tuples or Arrays
+ * and `FlattenUnion` for a union type.
+ *
+ * Just returns `TList` "as is" if it's not a a Tuple or
+ * Union type.
+ */
+type Process<TList, TLevel extends 1 | 2 | 3 = 1> = TList extends readonly unknown[] ? IsTuple<TList> extends true ? FlattenTuple<TList, TLevel> : WideFlatten<TList> : IsUnion<TList> extends true ? FlattenUnion<TList> : TList;
+/**
+ * converts a wide array to a scalar and tuple
+ * to a union type
+ */
+type ToScalar<TList, TLevel extends 1 | 2 | 3> = [IsTuple<Process<TList>>] extends [true] ? TupleToUnion<Process<TList, TLevel>> : Process<TList, TLevel> extends (infer Type)[] ? Type : never;
+type IterateScalar<T extends readonly unknown[], TLevel extends 1 | 2 | 3> = TupleToUnion<{
+    [K in keyof T]: T[K] extends unknown[] ? ToScalar<T[K], TLevel> : T[K];
+}>;
+/**
+ * **Flatten**`<TList, [TLevel], [ToScalar]>`
+ *
+ * - where `TList` is an array, this utility will flatten the array to a depth of
+ * `TLevel` (by default one level).
+ * - where `TList` is a _union type_ it will flatten any of it's elements
+ * - where `TList is neither an array nor has a union type which is, this utility
+ * simply proxies the value `TList` through
+ * - in most cases you would not _flatten_ below a single dimensional array but
+ * if you set `ToScalar` to `true` then it will flatten right out of being an array
+ * into a union type
+ */
+export type Flatten<TList, TLevel extends 1 | 2 | 3 = 1, ToScalar extends boolean = false> = [ToScalar] extends [false] ? Process<TList, TLevel> : [
+    IsUnion<Process<TList, TLevel>>
+] extends [true] ? IterateScalar<UnionToTuple<Process<TList, TLevel>>, TLevel> : [IsTuple<Process<TList, TLevel>>] extends [true] ? TupleToUnion<Process<TList, TLevel>> : Process<TList, TLevel> extends (infer Type)[] ? Type : never;
+export {};
+//# sourceMappingURL=Flatten.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Flatten.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Flatten.ts"],"names":[],"mappings":"AACA,OAAO,EACL,UAAU,EACV,KAAK,EACL,OAAO,EACP,YAAY,EACZ,YAAY,EACZ,OAAO,EACP,EAAE,EACF,SAAS,EACT,YAAY,EACZ,QAAQ,EACR,OAAO,EACP,EAAE,EACF,aAAa,EACd,MAAM,iCAAiC,CAAC;AAEzC,KAAK,MAAM,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACtC,EAAE,CAAC,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC,GACzB,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,aAAa,CAAC,CAAC,CAAC,SAAS,IAAI,GAC3B,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GACjB,CAAC,CAAC,CAAC,GACP,CAAC,CAAC,CAAC,CAAC;AAGN,KAAK,QAAQ,CACX,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,OAAO,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACrC,EAAE,SAAS,KAAK,GAClB,OAAO,GACP,QAAQ,CACN,UAAU,CAAC,KAAK,CAAC,EACjB;IACE,GAAG,OAAO;IACV,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;CACxB,CACF,CAAC;AAGJ;;;;;;GAMG;AACH,KAAK,YAAY,CACf,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,MAAM,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAC1B,MAAM,SAAS,CAAC,GAClB,KAAK,GACL,EAAE,CAAC,CAAE,YAAY,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAG,CAAC,SAAS,IAAI,GACxD,YAAY,CACV,QAAQ,CAAC,KAAK,CAAC,EACf,SAAS,CAAC,MAAM,CAAC,CAClB,GACD,KAAK,CAAC;AAGV,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,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GAC1C,IAAI,SAAS,OAAO,EAAE,GACpB,IAAI,GACJ,CAAC,GACH,KAAK,CAAA;AAET;;;;;;;GAOG;AACH,KAAK,OAAO,CACV,KAAK,EACL,MAAM,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAC1B,KAAK,SAAS,SAAS,OAAO,EAAE,GAClC,OAAO,CAAC,KAAK,CAAC,SAAS,IAAI,GAC3B,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,GAC3B,WAAW,CAAC,KAAK,CAAC,GAClB,OAAO,CAAC,KAAK,CAAC,SAAS,IAAI,GAC3B,YAAY,CAAC,KAAK,CAAC,GACnB,KAAK,CAAC;AAER;;;GAGG;AACH,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;;;;;;;;;;;GAWG;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,GAE5B,OAAO,CAAC,KAAK,EAAC,MAAM,CAAC,GAErB;IAAC,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/Flatten.js

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