inferred-types 0.42.0 → 0.43.0

package/dist/types/functions/AsFnMeta.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AsFnMeta.d.ts","sourceRoot":"","sources":["../../../src/types/functions/AsFnMeta.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,iBAAwB;AAE3G;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,CAClB,GAAG,SAAS,WAAW,IACrB,OAAO,CACT,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,EACzB,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,EACpD,MAAM,CACJ,UAAU,CAAC,GAAG,CAAC,EACf,UAAU,CAAC,GAAG,CAAC,EACf,OAAO,CAAC,GAAG,CAAC,SAAS,eAAe,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAC5D,CACF,CAAC"}
+{"version":3,"file":"AsFnMeta.d.ts","sourceRoot":"","sources":["../../../src/types/functions/AsFnMeta.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,WAAW,EACX,MAAM,EACN,OAAO,EACP,WAAW,EACX,gBAAgB,EAChB,aAAa,EACb,gBAAgB,EACjB,iBAAwB;AAEzB;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAClB,GAAG,SAAS,WAAW,IACrB,GAAG,SAAS,aAAa,GAC3B,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC7C,MAAM,CACN,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,EACf,UAAU,CAAC,GAAG,CAAC,EACf,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAC/B,GACC,MAAM,CAAC,GAAG,EAAC,UAAU,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,GAE3D,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC"}

package/dist/types/functions/Fn.d.ts

@@ -0,0 +1,9 @@
+import { AnyFunction, ObjectKey } from "../base-types";
+export type FnDefn = [fn: AnyFunction] | [fn: AnyFunction, desc: string] | [fn: AnyFunction, props: Record<ObjectKey, unknown>];
+/**
+ * **Fn**`<TArgs,TReturn>`
+ */
+export type Fn<TFn extends FnDefn = FnDefn> = TFn extends [fn: AnyFunction] ? TFn[0] : TFn extends [fn: AnyFunction, desc: string] ? TFn[0] & {
+    desc: TFn[1];
+} : TFn extends [fn: AnyFunction, props: Record<ObjectKey, unknown>] ? TFn[0] & TFn[1] : never;
+//# sourceMappingURL=Fn.d.ts.map

package/dist/types/functions/Fn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Fn.d.ts","sourceRoot":"","sources":["../../../src/types/functions/Fn.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAEvD,MAAM,MAAM,MAAM,GAAG,CAAC,EAAE,EAAE,WAAW,CAAE,GACrC,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,GAC/B,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAE,CAAC;AAExD;;GAEG;AACH,MAAM,MAAM,EAAE,CACZ,GAAG,SAAS,MAAM,GAAG,MAAM,IACzB,GAAG,SAAS,CAAE,EAAE,EAAE,WAAW,CAAE,GACjC,GAAG,CAAC,CAAC,CAAC,GACN,GAAG,SAAS,CAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,GAC1C,GAAG,CAAC,CAAC,CAAC,GAAG;IAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;CAAE,GACzB,GAAG,SAAS,CAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAE,GAChE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GACf,KAAK,CAAC"}

package/dist/types/functions/FnFrom.d.ts

@@ -0,0 +1,3 @@
+import { Dictionary, EmptyObject, Tuple } from "../base-types";
+export type FnFrom<TParams extends Tuple, TReturn = unknown, TProps extends Dictionary = EmptyObject> = TProps extends EmptyObject ? <T extends TParams>(...args: T) => TReturn : (<T extends TParams>(...args: T) => TReturn) & TProps;
+//# sourceMappingURL=FnFrom.d.ts.map

package/dist/types/functions/FnFrom.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FnFrom.d.ts","sourceRoot":"","sources":["../../../src/types/functions/FnFrom.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAG/D,MAAM,MAAM,MAAM,CAChB,OAAO,SAAS,KAAK,EACrB,OAAO,GAAG,OAAO,EACjB,MAAM,SAAS,UAAU,GAAG,WAAW,IACrC,MAAM,SAAS,WAAW,GAC5B,CAAC,CAAC,SAAS,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,OAAO,GAC1C,CAAC,CAAC,CAAC,SAAS,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,GAAG,MAAM,CAAA"}

package/dist/types/functions/FnMeta.d.ts

@@ -1,4 +1,4 @@
-import { IndexableObject } from "../index";
+import { AnyFunction, Dictionary, IsNarrowingFn, IsNonEmptyObject } from "../index";
 /**
  * **FnMeta**<TArgs,TReturn,TProps>
  *
@@ -10,9 +10,13 @@ import { IndexableObject } from "../index";
  * 3. `props` - any Key/Value props also packaged with the function, if no
  * key/values are found it will be set to `no-props`.
  */
-export type FnMeta<TArgs extends readonly unknown[], TReturn, TProps extends IndexableObject | "no-props"> = {
+export type FnMeta<TFn extends AnyFunction = AnyFunction, TArgs extends readonly any[] = readonly any[], TReturn = unknown, TProps extends Dictionary = Dictionary> = {
+    fn: TFn;
     args: TArgs;
     returns: TReturn;
     props: TProps;
+    hasProps: [IsNonEmptyObject<TProps>] extends [true] ? true : false;
+    hasArgs: TArgs["length"] extends 0 ? false : true;
+    isNarrowingFn: IsNarrowingFn<TFn>;
 };
 //# sourceMappingURL=FnMeta.d.ts.map

package/dist/types/functions/FnMeta.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FnMeta.d.ts","sourceRoot":"","sources":["../../../src/types/functions/FnMeta.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,eAAe,EAAE,iBAAwB;AAEnD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,CAChB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,OAAO,EACP,MAAM,SAAS,eAAe,GAAG,UAAU,IACzC;IACF,IAAI,EAAE,KAAK,CAAC;IACZ,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC"}
+{"version":3,"file":"FnMeta.d.ts","sourceRoot":"","sources":["../../../src/types/functions/FnMeta.ts"],"names":[],"mappings":"AACA,OAAO,EACL,WAAW,EACX,UAAU,EACV,aAAa,EACb,gBAAgB,EACjB,iBAAwB;AAKzB;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,CAChB,GAAG,SAAS,WAAW,GAAG,WAAW,EACrC,KAAK,SAAS,SAAS,GAAG,EAAE,GAAG,SAAS,GAAG,EAAE,EAC7C,OAAO,GAAG,OAAO,EACjB,MAAM,SAAS,UAAU,GAAG,UAAU,IACpC;IACF,EAAE,EAAE,GAAG,CAAC;IACR,IAAI,EAAE,KAAK,CAAC;IACZ,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;IACnE,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;IAClD,aAAa,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC;CACnC,CAAC"}

package/dist/types/functions/FnProps.d.ts

@@ -1,9 +1,11 @@
-import { AnyFunction, ExpandRecursively, IfNever } from "../index";
+import { AnyFunction, EmptyObject, IsEqual, ObjectKey } from "../index";
+type Process<T extends AnyFunction> = IsEqual<T, Function> extends true ? EmptyObject : keyof T extends ObjectKey ? Pick<T, keyof T> : never;
 /**
  * **FnProps**`<T>`
  *
  * Return a dictionary of key/value pairs from a function. If no key/value
  * pairs are assigned to the function base then an empty object is returned.
  */
-export type FnProps<T extends AnyFunction> = IfNever<ExpandRecursively<keyof T>, {}, ExpandRecursively<Pick<T, ExpandRecursively<keyof T>>>>;
+export type FnProps<T extends AnyFunction> = Process<T>;
+export {};
 //# sourceMappingURL=FnProps.d.ts.map

package/dist/types/functions/FnProps.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FnProps.d.ts","sourceRoot":"","sources":["../../../src/types/functions/FnProps.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAG,iBAAiB,EAAE,OAAO,EAAE,iBAAwB;AAE3E;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,WAAW,IACzC,OAAO,CACL,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAC1B,EAAE,EACF,iBAAiB,CAAC,IAAI,CAAC,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CACvD,CAAC"}
+{"version":3,"file":"FnProps.d.ts","sourceRoot":"","sources":["../../../src/types/functions/FnProps.ts"],"names":[],"mappings":"AACA,OAAO,EACL,WAAW,EACX,WAAW,EACX,OAAO,EACP,SAAS,EACV,iBAAwB;AAEzB,KAAK,OAAO,CACV,CAAC,SAAS,WAAW,IACnB,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,SAAS,IAAI,GACnC,WAAW,GACX,MAAM,CAAC,SAAS,SAAS,GACrB,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,GAChB,KAAK,CAAC;AAEZ;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CACjB,CAAC,SAAS,WAAW,IACnB,OAAO,CAAC,CAAC,CAAC,CAAC"}

package/dist/types/functions/HandleDoneFn.d.ts

@@ -0,0 +1,12 @@
+import { TypedFunction } from "../base-types";
+/**
+ * **HandleDoneFn**`<T>`
+ *
+ * A type utility which looks for a `done` property on `T` and
+ * if it's a function it will convert the type to the _return type_
+ * of the `done()` function.
+ */
+export type HandleDoneFn<T> = T extends {
+    done: TypedFunction;
+} ? ReturnType<T["done"]> : T;
+//# sourceMappingURL=HandleDoneFn.d.ts.map

package/dist/types/functions/HandleDoneFn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"HandleDoneFn.d.ts","sourceRoot":"","sources":["../../../src/types/functions/HandleDoneFn.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,aAAa,EAAE,MAAM,eAAe,CAAC;AAE/C;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GAC3D,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GACrB,CAAC,CAAC"}

package/dist/types/functions/IdentityFn.d.ts

@@ -0,0 +1,11 @@
+import { IsLiteral, IsUnion } from "../boolean-logic";
+import { Throw } from "../errors/Throw";
+/**
+ * **IdentityFn**`<TValue, [TNarrow]>`
+ *
+ * A function which returns the value of `T`.
+ */
+export type IdentityFn<TValue, TNarrow extends boolean = false> = [TNarrow] extends [true] ? [IsLiteral<TValue>] extends [true] ? [IsUnion<TValue>] extends [true] ? <T extends TValue>(v: T) => T : Throw<"invalid-literal", `A narrowing identity function must be based off a wide type or a union of literals!`, "IdentityFn", {
+    value: TValue;
+}> : <T extends TValue>(v: T) => T : () => TValue;
+//# sourceMappingURL=IdentityFn.d.ts.map

package/dist/types/functions/IdentityFn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IdentityFn.d.ts","sourceRoot":"","sources":["../../../src/types/functions/IdentityFn.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAGxC;;;;GAIG;AACH,MAAM,MAAM,UAAU,CACpB,MAAM,EACN,OAAO,SAAS,OAAO,GAAG,KAAK,IAC7B,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,GAC1B,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAChC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC9B,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,GAC7B,KAAK,CAAC,iBAAiB,EAAE,qFAAqF,EAAE,YAAY,EAAE;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GAClJ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,GAC/B,MAAM,MAAM,CAAC"}

package/dist/types/functions/LiteralFn.d.ts

@@ -0,0 +1,20 @@
+import { AnyFunction, AsFnMeta, Dictionary, EmptyObject, IsEqual, IsNonEmptyObject, Tuple } from "../index";
+/**
+ * **LiteralFn**`<TFn>`
+ *
+ * Receives any function `TFn` and makes sure that it is not using
+ * generics to narrow the inputs coming into the function.
+ *
+ * **Related:** `IsLiteralFn`, `NarrowingFn`
+ */
+export type LiteralFn<TFn extends AnyFunction> = AsFnMeta<TFn>["hasProps"] extends true ? AsFnMeta<TFn>["hasArgs"] extends true ? ((...args: AsFnMeta<TFn>["args"]) => AsFnMeta<TFn>["returns"]) & AsFnMeta<TFn>["props"] : (() => AsFnMeta<TFn>["returns"]) & AsFnMeta<TFn>["props"] : AsFnMeta<TFn>["hasArgs"] extends true ? (...args: AsFnMeta<TFn>["args"]) => AsFnMeta<TFn>["returns"] : () => AsFnMeta<TFn>["returns"];
+/**
+ * **AsLiteralFn**`<TParams,TReturns,TProps>`
+ *
+ * Constructs a `LiteralFn` from component aspects of
+ * a function.
+ *
+ * **Related:** `LiteralFn`, `NarrowingFn`, `AsNarrowingFn`
+ */
+export type AsLiteralFn<TParams extends Tuple | AnyFunction, TReturn = unknown, TProps extends Dictionary = EmptyObject> = TParams extends AnyFunction ? LiteralFn<TParams> : TParams extends Tuple ? IsNonEmptyObject<TProps> extends true ? IsEqual<TParams, []> extends true ? (() => TReturn) & TProps : ((...args: TParams) => TReturn) & TProps : IsEqual<TParams, []> extends true ? () => TReturn : (...args: TParams) => TReturn : never;
+//# sourceMappingURL=LiteralFn.d.ts.map

package/dist/types/functions/LiteralFn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LiteralFn.d.ts","sourceRoot":"","sources":["../../../src/types/functions/LiteralFn.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,QAAQ,EACR,UAAU,EACV,WAAW,EACX,OAAO,EACP,gBAAgB,EAChB,KAAK,EACN,iBAAwB;AAEzB;;;;;;;GAOG;AACH,MAAM,MAAM,SAAS,CACnB,GAAG,SAAS,WAAW,IAEzB,QAAQ,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,SAAS,IAAI,GACpC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,IAAI,GACnC,CAAC,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GACvF,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAC3D,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,IAAI,GACnC,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,GAC5D,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAE;AAGpC;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CACrB,OAAO,SAAS,KAAK,GAAG,WAAW,EACnC,OAAO,GAAG,OAAO,EACjB,MAAM,SAAS,UAAU,GAAG,WAAW,IACrC,OAAO,SAAS,WAAW,GAC7B,SAAS,CAAC,OAAO,CAAC,GAClB,OAAO,SAAS,KAAK,GACnB,gBAAgB,CAAC,MAAM,CAAC,SAAS,IAAI,GACnC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,IAAI,GAC/B,CAAC,MAAM,OAAO,CAAC,GAAG,MAAM,GACxB,CAAC,CAAC,GAAG,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,GAAG,MAAM,GAC5C,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,IAAI,GAC/B,MAAM,OAAO,GACb,CAAC,GAAG,IAAI,EAAE,OAAO,KAAK,OAAO,GACjC,KAAK,CAAC"}

package/dist/types/functions/LogicFunction.d.ts

@@ -3,5 +3,5 @@
  *
  * A function -- with _optional_ parameters -- which returns a boolean value.
  */
-export type LogicFunction<TParams extends readonly unknown[] = unknown[]> = (...args: TParams) => boolean;
+export type LogicFunction<TReturns extends boolean = boolean> = (...args: any[]) => TReturns;
 //# sourceMappingURL=LogicFunction.d.ts.map

package/dist/types/functions/LogicFunction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"LogicFunction.d.ts","sourceRoot":"","sources":["../../../src/types/functions/LogicFunction.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,aAAa,CAAC,OAAO,SAAS,SAAS,OAAO,EAAE,GAAG,OAAO,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC"}
+{"version":3,"file":"LogicFunction.d.ts","sourceRoot":"","sources":["../../../src/types/functions/LogicFunction.ts"],"names":[],"mappings":"AACA;;;;GAIG;AACH,MAAM,MAAM,aAAa,CACvB,QAAQ,SAAS,OAAO,GAAG,OAAO,IAChC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,QAAQ,CAAC"}

package/dist/types/functions/NarrowingFn.d.ts

@@ -0,0 +1,32 @@
+import { AnyFunction, Dictionary, EmptyObject, IsEqual, IsNarrowingFn, IsNonEmptyObject, Throw, Tuple, TypedFunction } from "../index";
+/**
+ * **NarrowingFn**`<N>`
+ *
+ * Produces a function which helps to narrow down to the type passed in
+ * by assigning generics to all input parameters.
+ *
+ * ```ts
+ * // <T extends string>(name: string) => string
+ * type Fn1 = NarrowingFn<(name: string) => string>;
+ * // <T extends number>(v: T) => T
+ * type Fn2 = NarrowingFn<number>;
+ * // <T extends number>(v: T) => T
+ * type Fn2 = NarrowingFn<42>;
+ * ```
+ *
+ * **Related:** `LiteralFn`, `IsNarrowingFn`
+ */
+export type NarrowingFn<TFn extends AnyFunction> = TFn extends TypedFunction ? IsEqual<Parameters<TFn>, []> extends true ? Throw<"no-parameters", `To make a function a NarrowingFn it must have at least one parameter!`, "NarrowingFn", {
+    library: "inferred-types";
+    params: TFn;
+}> : IsNarrowingFn<TFn> extends true ? TFn : (<T extends Parameters<TFn>>(...args: T) => ReturnType<TFn>) : NarrowingFn<TypedFunction>;
+/**
+ * **AsNarrowingFn**`<TParams,TReturns,TProps>`
+ *
+ * Constructs a `NarrowingFn` from component aspects of
+ * a function.
+ *
+ * **Related:** `LiteralFn`, `NarrowingFn`, `AsLiteralFn`
+ */
+export type AsNarrowingFn<TParams extends Tuple | TypedFunction, TReturn = unknown, TProps extends Dictionary = EmptyObject> = TParams extends TypedFunction ? NarrowingFn<TParams> : TParams extends Tuple ? [IsNonEmptyObject<TProps>] extends [true] ? [IsEqual<TParams, []>] extends [true] ? (() => TReturn) & TProps : (<T extends TParams>(...args: T) => TReturn) & TProps : [IsEqual<TParams, []>] extends [true] ? () => TReturn : <T extends TParams>(...args: T) => TReturn : never;
+//# sourceMappingURL=NarrowingFn.d.ts.map

package/dist/types/functions/NarrowingFn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"NarrowingFn.d.ts","sourceRoot":"","sources":["../../../src/types/functions/NarrowingFn.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,UAAU,EACV,WAAW,EACX,OAAO,EACP,aAAa,EACb,gBAAgB,EAChB,KAAK,EACL,KAAK,EACL,aAAa,EACd,iBAAwB;AAIzB;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,WAAW,CACrB,GAAG,SAAS,WAAW,IACrB,GAAG,SAAS,aAAa,GACzB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GACvC,KAAK,CACH,eAAe,EACf,uEAAuE,EACvE,aAAa,EACb;IAAE,OAAO,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,GAAG,CAAA;CAAE,CAC3C,GACD,aAAa,CAAC,GAAG,CAAC,SAAS,IAAI,GAC7B,GAAG,GACH,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC,GAChE,WAAW,CAAC,aAAa,CAAC,CAAC;AAG/B;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,CACrB,OAAO,SAAS,KAAK,GAAG,aAAa,EACrC,OAAO,GAAG,OAAO,EACjB,MAAM,SAAS,UAAU,GAAG,WAAW,IAE3C,OAAO,SAAS,aAAa,GACrB,WAAW,CAAC,OAAO,CAAC,GACxB,OAAO,SAAS,KAAK,GACjB,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACvC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACnC,CAAC,MAAM,OAAO,CAAC,GAAG,MAAM,GACxB,CAAC,CAAC,CAAC,SAAS,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,GAAG,MAAM,GACzD,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACnC,MAAM,OAAO,GACb,CAAC,CAAC,SAAS,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,OAAO,GAC9C,KAAK,CAAA"}

package/dist/types/functions/OnlyFnProps.d.ts

@@ -0,0 +1,9 @@
+import { AnyFunction, AsFnMeta } from "../index";
+/**
+ * **OnlyFnProps**`<T>`
+ *
+ * Takes a function `T` and strips the function away leaving only
+ * any key/values that were stored alongside it.
+ */
+export type OnlyFnProps<T extends AnyFunction> = AsFnMeta<T>["props"];
+//# sourceMappingURL=OnlyFnProps.d.ts.map

package/dist/types/functions/OnlyFnProps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OnlyFnProps.d.ts","sourceRoot":"","sources":["../../../src/types/functions/OnlyFnProps.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,iBAAwB;AAExD;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,WAAW,IACnB,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC"}

package/dist/types/functions/RemoveFnProps.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RemoveFnProps.d.ts","sourceRoot":"","sources":["../../../src/types/functions/RemoveFnProps.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,iBAAwB;AAExD;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC"}
+{"version":3,"file":"RemoveFnProps.d.ts","sourceRoot":"","sources":["../../../src/types/functions/RemoveFnProps.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,iBAAwB;AAExD;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CACvB,CAAC,SAAS,WAAW,IACnB,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC"}

package/dist/types/functions/ToFn.d.ts

@@ -1,4 +1,4 @@
-import { AnyFunction, IfNotError, FnMeta } from "../index";
+import { AnyFunction, FnMeta, IsNever } from "../index";
 /**
  * **ToFn**`<T>`
  *
@@ -12,5 +12,5 @@ import { AnyFunction, IfNotError, FnMeta } from "../index";
  *
  * **Related:** `AsFn`
  */
-export type ToFn<T> = IfNotError<T, {}, T extends AnyFunction ? T : T extends FnMeta<infer Args, infer Returns, infer Props> ? "no-props" extends Props ? (...args: Args) => Returns : ((...args: Args) => Returns) & Props : () => T>;
+export type ToFn<T> = T extends AnyFunction ? T : T extends FnMeta<infer _Args, infer _Returns, infer Props, infer Fn> ? IsNever<Props> extends true ? Fn : Fn & Props : () => T;
 //# sourceMappingURL=ToFn.d.ts.map

package/dist/types/functions/ToFn.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ToFn.d.ts","sourceRoot":"","sources":["../../../src/types/functions/ToFn.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,iBAAwB;AAElE;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,UAAU,CAC9B,CAAC,EACD,EAAE,EACF,CAAC,SAAS,WAAW,GACjB,CAAC,GACD,CAAC,SAAS,MAAM,CAAC,MAAM,IAAI,EAAE,MAAM,OAAO,EAAE,MAAM,KAAK,CAAC,GACtD,UAAU,SAAS,KAAK,GACtB,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,OAAO,GAC1B,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,GAAG,KAAK,GAC1C,MAAM,CAAC,CACV,CAAC"}
+{"version":3,"file":"ToFn.d.ts","sourceRoot":"","sources":["../../../src/types/functions/ToFn.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAwB;AAE/D;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,GACrC,CAAC,GACD,CAAC,SAAS,MAAM,CAAC,MAAM,KAAK,EAAE,MAAM,QAAQ,EAAE,MAAM,KAAK,EAAE,MAAM,EAAE,CAAC,GAClE,OAAO,CAAC,KAAK,CAAC,SAAS,IAAI,GACzB,EAAE,GACF,EAAE,GAAG,KAAK,GAChB,MAAM,CAAC,CAAA"}

package/dist/types/functions/TypeGuard.d.ts

@@ -5,5 +5,5 @@ import { Narrowable } from "../index";
  * a typing for a **TS** type-guard which evaluates an _unknown_ input
  * and determines if it is of type `T`.
  */
-export type TypeGuard<T> = <U extends Narrowable>(value: U) => value is T & U;
+export type TypeGuard<T, U = Narrowable> = <UU extends U>(value: UU) => value is T & UU;
 //# sourceMappingURL=TypeGuard.d.ts.map

package/dist/types/functions/TypeGuard.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TypeGuard.d.ts","sourceRoot":"","sources":["../../../src/types/functions/TypeGuard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,iBAAwB;AAE7C;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC"}
+{"version":3,"file":"TypeGuard.d.ts","sourceRoot":"","sources":["../../../src/types/functions/TypeGuard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,iBAAwB;AAE7C;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,IAAI,CAAC,EAAE,SAAS,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC"}

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

@@ -4,6 +4,12 @@ export * from "./AsFnMeta";
 export * from "./RemoveFnProps";
 export * from "./ToFn";
 export * from "./FnMeta";
+export * from "./FnFrom";
 export * from "./PromiseAll";
 export * from "./FnProps";
+export * from "./Fn";
+export * from "./HandleDoneFn";
+export * from "./NarrowingFn";
+export * from "./LiteralFn";
+export * from "./IdentityFn";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/functions/index.ts"],"names":[],"mappings":"AAMA,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,QAAQ,CAAC;AACvB,cAAc,UAAU,CAAC;AACzB,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/functions/index.ts"],"names":[],"mappings":"AAMA,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,QAAQ,CAAC;AACvB,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC;AAC1B,cAAc,MAAM,CAAC;AACrB,cAAc,gBAAgB,CAAA;AAC9B,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA"}

package/dist/types/functions/index.js

@@ -9,8 +9,14 @@ export * from "./AsFnMeta.js";
 export * from "./RemoveFnProps.js";
 export * from "./ToFn.js";
 export * from "./FnMeta.js";
+export * from "./FnFrom.js";
 export * from "./PromiseAll.js";
 export * from "./FnProps.js";
+export * from "./Fn.js";
+export * from "./HandleDoneFn.js";
+export * from "./NarrowingFn.js";
+export * from "./LiteralFn.js";
+export * from "./IdentityFn.js";
 // export * from "src/types/index";
 // #endregion auto-indexed files
 // see https://github.com/inocan-group/do-devops/docs/autoindex.md

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

@@ -1,4 +1,4 @@
-import { EmptyContainer, TupleToUnion, Widen } from "../index";
+import { IsEmptyContainer, TupleToUnion, Widen } from "../index";
 /**
  * **ArrayElementType**`<T>`
  *
@@ -8,5 +8,5 @@ import { EmptyContainer, TupleToUnion, Widen } from "../index";
  * type T = ArrayElementType<string[]>;
  * ```
  */
-export type ArrayElementType<T extends readonly unknown[]> = EmptyContainer<T> extends true ? [...T][0] : Widen<TupleToUnion<T>>;
+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

@@ -1 +1 @@
-{"version":3,"file":"ArrayElementType.d.ts","sourceRoot":"","sources":["../../../src/types/lists/ArrayElementType.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAwB;AAEtE;;;;;;;;GAQG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,cAAc,CAAC,CAAC,CAAC,SAAS,IAAI,GAEvF,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GACT,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"ArrayElementType.d.ts","sourceRoot":"","sources":["../../../src/types/lists/ArrayElementType.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAwB;AAExE;;;;;;;;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/AsArray.d.ts

@@ -1,4 +1,4 @@
-import { IfUndefined, Tuple } from "../index";
+import { If, IsUndefined, Tuple } from "../index";
 /**
  * **AsArray**`<T>`
  *
@@ -6,5 +6,5 @@ import { IfUndefined, Tuple } from "../index";
  * encapsulating it as a single item array if it is a
  * non-array type.
  */
-export type AsArray<T> = T extends Tuple ? T : T extends unknown[] ? readonly [...T] : IfUndefined<T, [], [T]>;
+export type AsArray<T> = T extends Tuple ? T : T extends unknown[] ? readonly [...T] : If<IsUndefined<T>, [], [T]>;
 //# sourceMappingURL=AsArray.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"AsArray.d.ts","sourceRoot":"","sources":["../../../src/types/lists/AsArray.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAwB;AAErD;;;;;;GAMG;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,EAAG,EAAE,EAAG,CAAC,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"AsArray.d.ts","sourceRoot":"","sources":["../../../src/types/lists/AsArray.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAG,WAAW,EAAE,KAAK,EAAE,iBAAwB;AAE1D;;;;;;GAMG;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,EAAG,EAAE,EAAG,CAAC,CAAC,CAAC,CAAC,CAAC"}

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

@@ -1,4 +1,4 @@
-import { IfUndefined, Tuple } from "../index";
+import { Tuple, If, IsUndefined } from "../index";
 /**
  * **AsTuple**`<T>`
  *
@@ -8,5 +8,5 @@ import { IfUndefined, Tuple } from "../index";
  *
  * **Related:** `AsArray`
  */
-export type AsTuple<T> = T extends Tuple ? T : T extends unknown[] ? readonly [...T] : IfUndefined<T, readonly [], readonly [T]>;
+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

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

@@ -1,13 +1,20 @@
-import { Pop, Tuple } from "../index";
+import { Chars, Concat, Handle, IsEqual, Pop, Tuple } from "../index";
 /**
  * **BeforeLast**`<T>`
  *
  * Returns:
  *
- * - the _elements_ in an **array** but excluding the last element
+ * - 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 appropriate "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 ? Pop<T> : T extends Tuple ? Pop<T> : never;
+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

@@ -1 +1 @@
-{"version":3,"file":"BeforeLast.d.ts","sourceRoot":"","sources":["../../../src/types/lists/BeforeLast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,GAAG,EAAE,KAAK,EAAE,iBAAwB;AAG9C;;;;;;;;;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"}
+{"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,iBAAwB;AAG9E;;;;;;;;;;;;;;;;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/Filter.d.ts

@@ -1,13 +1,23 @@
-import { Narrowable, RetainFromList } from "../index";
+import { ComparatorOperation, Compare, IsArray, IfNever, Or, If, IsEqual, TupleToUnion, RemoveNever } from "../index";
 /**
- * Operations which can be used with the `Filter` type utility
+ * Iterates over each element of the Tuple
  */
-export type FilterOps = "equals" | "not-equal" | "extends" | "extends(unionize)" | "does-not-extend" | "does-not-extend(unionize)";
+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;
+type PrepList<T extends readonly unknown[], O extends ComparatorOperation> = If<Or<[
+    IsEqual<O, "contains">,
+    IsEqual<O, "startsWith">,
+    IsEqual<O, "endsWith">
+]>, RemoveNever<{
+    [K in keyof T]: T[K] extends string | number ? T[K] : never;
+}>, T>;
 /**
- * **Filter**`<TList, TFilter, [TOp]>`
+ * **Filter**`<TList, TComparator, [TOp]>`
  *
- * Allows a known tuple `TList` to be reduced to a subset with the value `TFilter`
- * and a comparison operator represented by `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.
@@ -15,7 +25,7 @@ export type FilterOps = "equals" | "not-equal" | "extends" | "extends(unionize)"
  * ```ts
  * type T = [1,"foo",3];
  * // [1,3]
- * type T2 = Filter<T, number>;
+ * 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
@@ -24,5 +34,6 @@ export type FilterOps = "equals" | "not-equal" | "extends" | "extends(unionize)"
  *
  * **Related:** `RetainFromList`, `RemoveFromList`
  */
-export type Filter<TList extends unknown[] | readonly unknown[], TFilter extends readonly unknown[] | Narrowable, TOp extends FilterOps = "extends"> = RetainFromList<TList, TOp, TFilter>;
+export type Filter<TList extends readonly unknown[], TComparator, TOp extends ComparatorOperation = "extends"> = PrepList<TList, TOp> extends readonly unknown[] ? IfNever<TComparator, RemoveNever<TList>, If<IsArray<TComparator>, Process<PrepList<TList, TOp>, TupleToUnion<TComparator>, TOp>, Process<PrepList<TList, TOp>, TComparator, TOp>>> : never;
+export {};
 //# sourceMappingURL=Filter.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"Filter.d.ts","sourceRoot":"","sources":["../../../src/types/lists/Filter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,iBAAwB;AAE7D;;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"}
+{"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,EAAE,EACF,OAAO,EACP,YAAY,EACZ,WAAW,EACZ,iBAAwB;AAGzB;;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;AAEZ,KAAK,QAAQ,CACT,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,mBAAmB,IAC3B,EAAE,CACJ,EAAE,CAAC;IACD,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC;IACtB,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC;IACxB,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC;CACvB,CAAC,EACF,WAAW,CAAC;KACT,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GACxC,CAAC,CAAC,CAAC,CAAC,GACJ,KAAK;CACV,CAAC,EACF,CAAC,CACF,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,MAAM,CAChB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,WAAW,EACX,GAAG,SAAS,mBAAmB,GAAG,SAAS,IACzC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,SAAS,OAAO,EAAE,GACjD,OAAO,CACL,WAAW,EACX,WAAW,CAAC,KAAK,CAAC,EAClB,EAAE,CACA,OAAO,CAAC,WAAW,CAAC,EACpB,OAAO,CACL,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,EACpB,YAAY,CAAC,WAAW,CAAC,EACzB,GAAG,CACJ,EACD,OAAO,CACL,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,EACpB,WAAW,EACX,GAAG,CACJ,CACF,CACF,GACD,KAAK,CAAC"}

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

@@ -0,0 +1,19 @@
+import { Constant } from "../../constants/index";
+import { IsLiteral, RemoveMarked } from "../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,8BAA4B;AAC/C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,iBAAwB;AAG1D,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/FilterWideTypes.d.ts

@@ -0,0 +1,18 @@
+import { Constant } from "../../constants/Constant";
+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,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;;;;;;;;;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/Find.d.ts

@@ -1,5 +1,5 @@
-import { IfEqual, IfExtends, AfterFirst, First } from "../index";
-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>;
+import { IsEqual, If, AfterFirst, First } from "../index";
+type FindAcc<TList extends readonly unknown[], TFind, TDeref extends string | number | null> = [] extends TList ? undefined : TDeref extends keyof First<TList> ? If<IsEqual<First<TList>[TDeref], TFind>, First<TList>, FindAcc<AfterFirst<TList>, TFind, TDeref>> : If<IsEqual<First<TList>, TFind>, First<TList>, FindAcc<AfterFirst<TList>, TFind, TDeref>>;
 /**
  * **Find**`<TList,TFind,TIndex>`
  *
@@ -19,7 +19,7 @@ type FindAcc<TList extends readonly unknown[], TFind, TDeref extends string | nu
  * **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>;
+type FindExtendsAcc<TList extends readonly unknown[], TFind, TDeref extends string | number | null> = [] extends TList ? undefined : TDeref extends null ? First<TList> extends TFind ? First<TList> : FindExtendsAcc<AfterFirst<TList>, TFind, TDeref> : TDeref extends keyof First<TList> ? First<TList>[TDeref] extends TFind ? First<TList> : FindExtendsAcc<AfterFirst<TList>, TFind, TDeref> : FindExtendsAcc<AfterFirst<TList>, TFind, TDeref>;
 /**
  * **FindExtends**`<TList, TFind, TIndex>`
  *

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

@@ -1 +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,iBAAwB;AAEzE,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"}
+{"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,iBAAwB;AAEjE,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,EAAE,CACA,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,EACpC,KAAK,CAAC,KAAK,CAAC,EACZ,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAC1C,GACD,EAAE,CACA,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,EAC5B,KAAK,CAAC,KAAK,CAAC,EACZ,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAC1C,CAAC;AAER;;;;;;;;;;;;;;;;;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,IAAI,GACjB,KAAK,CAAC,KAAK,CAAC,SAAS,KAAK,GACxB,KAAK,CAAC,KAAK,CAAC,GACZ,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAClD,MAAM,SAAS,MAAM,KAAK,CAAC,KAAK,CAAC,GAC/B,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,KAAK,GAC9B,KAAK,CAAC,KAAK,CAAC,GACZ,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GACpD,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CACnD;AAEL;;;;;;;;;;;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/types/lists/First.d.ts

@@ -1,9 +1,13 @@
 /**
  * **First**`<T>`
  *
- * Returns the _first_ type in a list.
+ * 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_
  *
- * Typing ensures that list has at a minimum one item in it.
+ * **Related:** `Second`, `Last`
  */
-export type First<T> = T extends readonly any[] ? T[0] extends T[number] ? T[0] : never : never;
+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

@@ -1 +1 @@
-{"version":3,"file":"First.d.ts","sourceRoot":"","sources":["../../../src/types/lists/First.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AAEH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,GAAG,EAAE,GAC3C,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GACrC,KAAK,CAAC"}
+{"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/Flatten.d.ts

@@ -1,13 +1,36 @@
-import { Contains, AfterFirst, First } from "../index";
-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>]>;
+import { Contains, AfterFirst, First, IsUnion, UnionToTuple, TupleToUnion, IsTuple, Or } from "../index";
+type TupleHasUnionWithTuple<T extends readonly unknown[]> = Or<{
+    [K in keyof T]: [IsUnion<T[K]>] extends [true] ? Contains<UnionToTuple<T[K]>, unknown[]> : false;
+}>;
+type _Flat<TList extends readonly unknown[], TLevel extends 1 | 2 | 3, TResults extends readonly unknown[] = []> = [] extends TList ? TLevel extends 1 ? TResults : Or<[
+    Contains<TResults, unknown[]>,
+    TupleHasUnionWithTuple<TResults>
+]> extends true ? TLevel extends 3 ? _Flat<TResults, 2> : _Flat<TResults, 1> : TupleHasUnionWithTuple<TResults> extends true ? TResults : TResults : _Flat<AfterFirst<TList>, TLevel, First<TList> extends unknown[] | readonly unknown[] ? [...TResults, ...First<TList>] : IsUnion<First<TList>> extends true ? [
+    ...TResults,
+    ...(ReduceUnion<First<TList>> extends unknown[] ? ReduceUnion<First<TList>> : [ReduceUnion<First<TList>>])
+] : [...TResults, First<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 ReduceUnion<TValue> = IsUnion<TValue> extends true ? IterateScalar<UnionToTuple<TValue>, 1> : TValue;
+type WideFlatten<T> = T extends (infer Type)[] ? Type extends unknown[] ? Type : T : never;
+type Process<TList, TLevel extends 1 | 2 | 3 = 1> = TList extends readonly unknown[] ? IsTuple<TList> extends true ? _Flat<TList, TLevel> : WideFlatten<TList> : IsUnion<TList> extends true ? FlattenUnion<TList> : TList;
+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]>`
+ * **Flatten**`<TList, [TLevel], [ToScalar]>`
  *
- * 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.
+ * - 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
  */
-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 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