inferred-types 0.42.1 → 0.43.0

package/dist/types/tuples/FirstKey.d.ts

@@ -1,9 +1,9 @@
-import { AnyObject, Keys, UnionToTuple } from "../index";
+import { Dictionary, Keys, Tuple, UnionToTuple } from "../index";
 /**
  * Returns the _first_ key in an object.
  *
  * **Note:** key order is not guaranteed so typically this is used
  * for a key/value pair where only one key is expected
  */
-export type FirstKey<T extends AnyObject> = UnionToTuple<Keys<T>> extends readonly unknown[] ? UnionToTuple<Keys<T>>[0] : never;
+export type FirstKey<T extends Dictionary | Tuple> = T extends Tuple ? T extends [infer First extends unknown, ...unknown[]] ? First : never : UnionToTuple<Keys<T>> extends readonly unknown[] ? UnionToTuple<Keys<T>>[0] : never;
 //# sourceMappingURL=FirstKey.d.ts.map

package/dist/types/tuples/FirstKey.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FirstKey.d.ts","sourceRoot":"","sources":["../../../src/types/tuples/FirstKey.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,IAAI,EAAG,YAAY,EAAE,iBAAwB;AAEjE;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,SAAS,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GACxF,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxB,KAAK,CAAC"}
+{"version":3,"file":"FirstKey.d.ts","sourceRoot":"","sources":["../../../src/types/tuples/FirstKey.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,UAAU,EAAE,IAAI,EAAG,KAAK,EAAE,YAAY,EAAE,iBAAwB;AAE1E;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,KAAK,IAAI,CAAC,SAAS,KAAK,GAClE,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,OAAO,EAAG,GAAG,OAAO,EAAE,CAAC,GACpD,KAAK,GACL,KAAK,GAEP,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GAC9C,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxB,KAAK,CAAC"}

package/dist/types/tuples/FirstKeyValue.d.ts

@@ -1,4 +1,4 @@
-import { AnyObject } from "../index";
+import { Dictionary } from "../index";
 import { FirstKey } from "./FirstKey";
 /**
  * Utility type which operates on a dictionary and provides the **value** of the
@@ -6,5 +6,5 @@ import { FirstKey } from "./FirstKey";
  * about key order, this is typically only used in cases where it's known there is
  * a single key on the object.
  */
-export type FirstKeyValue<T extends AnyObject> = FirstKey<T> extends keyof T ? T[FirstKey<T>] : never;
+export type FirstKeyValue<T extends Dictionary> = FirstKey<T> extends keyof T ? T[FirstKey<T>] : never;
 //# sourceMappingURL=FirstKeyValue.d.ts.map

package/dist/types/tuples/FirstKeyValue.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FirstKeyValue.d.ts","sourceRoot":"","sources":["../../../src/types/tuples/FirstKeyValue.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAwB;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI,QAAQ,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC"}
+{"version":3,"file":"FirstKeyValue.d.ts","sourceRoot":"","sources":["../../../src/types/tuples/FirstKeyValue.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,UAAU,EAAE,iBAAwB;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,UAAU,IAAI,QAAQ,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC"}

package/dist/types/tuples/FirstOfEach.d.ts

@@ -2,10 +2,10 @@
  * **FirstOfEach**`<TList>`
  *
  * Expects `TList` to consist of an array of arrays and then this utility will reduce
- * this to a _union_ of all the first elements in `TList`
+ * this to a _tuple_ of all the first elements in `TList`.
  *
  * ```ts
- * // "foo" | "bar"
+ * // ["foo", "bar"]
  * type A = FirstOfEach<[ ["foo", 1], ["bar", 2] ]>;
  * ```
  */

package/dist/types/tuples/FixedLengthArray.d.ts

@@ -4,11 +4,12 @@ type GrowExp<A extends any[], N extends number, P extends any[][], L extends num
 type MapItemType<T, I> = {
     [K in keyof T]: I;
 };
+type Process<T, N extends number> = N extends 0 ? [] : MapItemType<GrowExp<[0], N, []>, T>;
 /**
  * **FixedLengthArray**`<T,N>`
  *
  * Creates a fixed length `<N>` array of a given type `<T>`
  */
-export type FixedLengthArray<T, N extends number> = N extends 0 ? [] : MapItemType<GrowExp<[0], N, []>, T>;
+export type FixedLengthArray<T, N extends number> = Process<T, N> extends readonly unknown[] ? Process<T, N> : never;
 export {};
 //# sourceMappingURL=FixedLengthArray.d.ts.map

package/dist/types/tuples/FixedLengthArray.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FixedLengthArray.d.ts","sourceRoot":"","sources":["../../../src/types/tuples/FixedLengthArray.ts"],"names":[],"mappings":"AACA,KAAK,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAC7B,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAErF,KAAK,UAAU,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,GAAG,EAAE,EAAE,IAClE,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpI,KAAK,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,GAAG,EAAE,EAAE,EAAE,CAAC,SAAS,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,IAC/F,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAE3I,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC;CAAE,CAAC;AAE/C;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAC9C,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC"}
+{"version":3,"file":"FixedLengthArray.d.ts","sourceRoot":"","sources":["../../../src/types/tuples/FixedLengthArray.ts"],"names":[],"mappings":"AACA,KAAK,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAC7B,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAErF,KAAK,UAAU,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,GAAG,EAAE,EAAE,IAClE,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpI,KAAK,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,GAAG,EAAE,EAAE,EAAE,CAAC,SAAS,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,IAC/F,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAE3I,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC;CAAE,CAAC;AAE/C,KAAK,OAAO,CACV,CAAC,EACD,CAAC,SAAS,MAAM,IACd,CAAC,SAAS,CAAC,GACb,EAAE,GACF,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEtC;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAChD,OAAO,CAAC,CAAC,EAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GACnC,OAAO,CAAC,CAAC,EAAC,CAAC,CAAC,GACZ,KAAK,CAAC"}

package/dist/types/tuples/LastOfEach.d.ts

@@ -1,14 +1,16 @@
-import { Decrement } from "../index";
+import { Last } from "../index";
 /**
  * **LastOfEach**`<TList>`
  *
  * Expects `TList` to consist of an array of arrays and then this utility will reduce
- * this to a _union_ of all the _last_ elements in `TList`
+ * this to a _tuple_ of all the _last_ elements in `TList`
  *
  * ```ts
- * // "foo" | "bar"
+ * // [1, 2]
  * type A = LastOfEach<[ ["foo", 1], ["bar", 2] ]>;
  * ```
  */
-export type LastOfEach<T extends readonly unknown[][]> = T[number][Decrement<T[number]["length"]>] extends T[number][number] ? T[number][Decrement<T[number]["length"]>] : never;
+export type LastOfEach<T extends readonly unknown[][]> = {
+    [K in keyof T]: T[K] extends readonly unknown[] ? Last<T[K]> : never;
+};
 //# sourceMappingURL=LastOfEach.d.ts.map

package/dist/types/tuples/LastOfEach.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"LastOfEach.d.ts","sourceRoot":"","sources":["../../../src/types/tuples/LastOfEach.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAwB;AAE5C;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,IAC5B,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GACnE,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GACzC,KAAK,CAAC"}
+{"version":3,"file":"LastOfEach.d.ts","sourceRoot":"","sources":["../../../src/types/tuples/LastOfEach.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,IAAI,EAAE,iBAAwB;AAExC;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,IAC5B;KACD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GAC3C,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACV,KAAK;CACV,CAAA"}

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

@@ -2,6 +2,7 @@ export * from "./DictArray";
 export * from "./FirstKey";
 export * from "./FirstKeyValue";
 export * from "./FirstOfEach";
+export * from "./LastOfEach";
 export * from "./FromDictArray";
 export * from "./FixedLengthArray";
 export * from "./SecondOfEach";

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/tuples/index.ts"],"names":[],"mappings":"AAMA,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,iBAAiB,CAAC;AAChC,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/tuples/index.ts"],"names":[],"mappings":"AAMA,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,iBAAiB,CAAC;AAChC,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC"}

package/dist/types/tuples/index.js

@@ -7,6 +7,7 @@ export * from "./DictArray.js";
 export * from "./FirstKey.js";
 export * from "./FirstKeyValue.js";
 export * from "./FirstOfEach.js";
+export * from "./LastOfEach.js";
 export * from "./FromDictArray.js";
 export * from "./FixedLengthArray.js";
 export * from "./SecondOfEach.js";

package/dist/types/type-conversion/AsBoolean.d.ts

@@ -1,7 +1,5 @@
-import { ErrorCondition } from "../index";
-export type AsBoolean<T> = T extends boolean ? T : boolean extends T ? T : ErrorCondition<"invalid-conversion", `The AsBoolean<T> utility was provided a variable which was not convertible to boolean!`, {
-    context: {
-        variable: T;
-    };
+import { Throw } from "../index";
+export type AsBoolean<T> = T extends boolean ? T : boolean extends T ? T : Throw<"invalid-conversion", `The AsBoolean<T> utility was provided a variable which was not convertible to boolean!`, "AsBoolean", {
+    value: T;
 }>;
 //# sourceMappingURL=AsBoolean.d.ts.map

package/dist/types/type-conversion/AsBoolean.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AsBoolean.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsBoolean.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAC,iBAAwB;AAEhD,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GACxC,CAAC,GACD,OAAO,SAAS,CAAC,GACjB,CAAC,GACD,cAAc,CACZ,oBAAoB,EACpB,wFAAwF,EACxF;IAAE,OAAO,EAAE;QAAE,QAAQ,EAAE,CAAC,CAAA;KAAE,CAAA;CAAC,CAC5B,CAAC"}
+{"version":3,"file":"AsBoolean.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsBoolean.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,KAAK,EAAC,iBAAwB;AAExC,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GACxC,CAAC,GACD,OAAO,SAAS,CAAC,GACjB,CAAC,GACD,KAAK,CACH,oBAAoB,EACpB,wFAAwF,EACxF,WAAW,EACX;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,CACb,CAAC"}

package/dist/types/type-conversion/AsContainer.d.ts

@@ -0,0 +1,9 @@
+import { Dictionary } from "../base-types/Dictionary";
+/**
+ * **AsContainer**`<T, [TError]>`
+ *
+ * Returns `T` with the type that ensures it is a
+ * container.
+ */
+export type AsContainer<T, TError = never> = T extends readonly unknown[] ? T & readonly unknown[] : T extends Dictionary ? T & Dictionary : TError;
+//# sourceMappingURL=AsContainer.d.ts.map

package/dist/types/type-conversion/AsContainer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AsContainer.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsContainer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAGtD;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CACrB,CAAC,EACD,MAAM,GAAG,KAAK,IACZ,CAAC,SAAS,SAAS,OAAO,EAAE,GAC5B,CAAC,GAAG,SAAS,OAAO,EAAE,GACtB,CAAC,SAAS,UAAU,GAClB,CAAC,GAAG,UAAU,GACd,MAAM,CAAC"}

package/dist/types/type-conversion/AsDefined.d.ts

@@ -0,0 +1,8 @@
+/**
+ * **AsDefined**`<T>`
+ *
+ * Ensures that if `T` includes _undefined_ as part of a union, it is
+ * removed.
+ */
+export type AsDefined<T> = Exclude<T, undefined>;
+//# sourceMappingURL=AsDefined.d.ts.map

package/dist/types/type-conversion/AsDefined.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AsDefined.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsDefined.ts"],"names":[],"mappings":"AACA;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC"}

package/dist/types/type-conversion/AsDictionary.d.ts

@@ -0,0 +1,3 @@
+import { Dictionary } from "../base-types";
+export type AsDictionary<T> = T extends Dictionary ? T : never;
+//# sourceMappingURL=AsDictionary.d.ts.map

package/dist/types/type-conversion/AsDictionary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AsDictionary.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsDictionary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE3C,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,GAC9C,CAAC,GACD,KAAK,CAAC"}

package/dist/types/type-conversion/AsFunction.d.ts

@@ -1,10 +1,9 @@
-import { AnyFunction } from "../index";
 /**
- * **AsString**<T>
+ * **AsFunction**<TTest, [TParams]>
  *
  * Attempts to narrow `T` to a string type where possible.
  *
  * **Related:** `ToString`
  */
-export type AsFunction<T> = T extends AnyFunction ? T & AnyFunction : never;
+export type AsFunction<TTest, TParams extends readonly unknown[] = readonly unknown[]> = TTest & (<TArgs extends TParams>(args: TArgs) => unknown);
 //# sourceMappingURL=AsFunction.d.ts.map

package/dist/types/type-conversion/AsFunction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AsFunction.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsFunction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,iBAAwB;AAE9C;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,GAC7C,CAAC,GAAG,WAAW,GACf,KAAK,CAAC"}
+{"version":3,"file":"AsFunction.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsFunction.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CACpB,KAAK,EACL,OAAO,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,IACrD,KAAK,GAAG,CAAC,CAAC,KAAK,SAAS,OAAO,EAAE,IAAI,EAAE,KAAK,KAAK,OAAO,CAAC,CAAC"}

package/dist/types/type-conversion/AsNonNull.d.ts

@@ -0,0 +1,21 @@
+import { If, IsEqual, IsUnion } from "../boolean-logic";
+import { Throw } from "../errors";
+import { Filter } from "../lists/Filter";
+import { TupleToUnion } from "./TupleToUnion";
+import { UnionToTuple } from "./UnionToTuple";
+type InvalidCast<T> = Throw<"invalid-cast", `An attempt to cast a type as being non-null based was unsuccessful!`, "AsNonNull", {
+    library: "inferred-types";
+    value: T;
+}>;
+/**
+ * **AsNonNull**`<T>`
+ *
+ * A narrowing utility which ensures that a union type which includes a `null`
+ * option will have the **null** option removed.
+ *
+ * **Note:** if `T` is _equal to **null** then an `ErrorCondition<"invalid-cast">`
+ * will be raised.
+ */
+export type AsNonNull<T> = If<IsEqual<T, null>, InvalidCast<T>, IsUnion<T> extends true ? TupleToUnion<Filter<UnionToTuple<T>, null>> : T> extends null ? never : If<IsEqual<T, null>, InvalidCast<T>, IsUnion<T> extends true ? TupleToUnion<Filter<UnionToTuple<T>, null>> : T>;
+export {};
+//# sourceMappingURL=AsNonNull.d.ts.map

package/dist/types/type-conversion/AsNonNull.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AsNonNull.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsNonNull.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,KAAK,WAAW,CAAC,CAAC,IAAI,KAAK,CACzB,cAAc,EACd,qEAAqE,EACrE,WAAW,EACX;IAAC,OAAO,EAAE,gBAAgB,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAC,CACtC,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,EAAE,CAC3B,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,EAChB,WAAW,CAAC,CAAC,CAAC,EACd,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACnB,YAAY,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAC3C,CAAC,CACN,SAAS,IAAI,GACZ,KAAK,GACL,EAAE,CACA,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,EAChB,WAAW,CAAC,CAAC,CAAC,EACd,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACnB,YAAY,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAC3C,CAAC,CACJ,CAAA"}

package/dist/types/type-conversion/AsNumber.d.ts

@@ -11,6 +11,6 @@ type ParseInt<T> = T extends `${infer N extends number}` ? N : never;
  * ```
  * **Related:** `ToNumber`
  */
-export type AsNumber<T> = T extends number ? T & number : number extends T ? T & number : T extends `${number}` ? ParseInt<T> : never;
+export type AsNumber<T> = T extends number ? T & number : number extends T ? number : T extends `${number}` ? ParseInt<T> : never;
 export {};
 //# sourceMappingURL=AsNumber.d.ts.map

package/dist/types/type-conversion/AsNumber.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AsNumber.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsNumber.ts"],"names":[],"mappings":"AAEA,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC;AACrE;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACtC,CAAC,GAAG,MAAM,GACV,MAAM,SAAS,CAAC,GACd,CAAC,GAAG,MAAM,GACV,CAAC,SAAS,GAAG,MAAM,EAAE,GACnB,QAAQ,CAAC,CAAC,CAAC,GACX,KAAK,CAAC"}
+{"version":3,"file":"AsNumber.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsNumber.ts"],"names":[],"mappings":"AAEA,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC;AACrE;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACtC,CAAC,GAAG,MAAM,GACV,MAAM,SAAS,CAAC,GACd,MAAM,GACN,CAAC,SAAS,GAAG,MAAM,EAAE,GACnB,QAAQ,CAAC,CAAC,CAAC,GACX,KAAK,CAAC"}

package/dist/types/type-conversion/AsObject.d.ts

@@ -0,0 +1,2 @@
+export type AsObject<T> = T extends object ? T : never;
+//# sourceMappingURL=AsObject.d.ts.map

package/dist/types/type-conversion/AsObject.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AsObject.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsObject.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACxC,CAAC,GACD,KAAK,CAAC"}

package/dist/types/type-conversion/AsObjectKeys.d.ts

@@ -0,0 +1,15 @@
+import { ObjectKey } from "../index";
+/**
+ * **AsObjectKeys**`<T>`
+ *
+ * Narrows type by validating that `T` extends a tuple of only
+ * values which extend `ObjectKey`.
+ */
+export type AsObjectKeys<T extends readonly unknown[]> = T extends readonly ObjectKey[] ? T : never;
+/**
+ * **AsObjectKey**`<T>`
+ *
+ * Narrows type by validating that `T` extends `ObjectKey`.
+ */
+export type AsObjectKey<T> = T extends ObjectKey ? T : never;
+//# sourceMappingURL=AsObjectKeys.d.ts.map

package/dist/types/type-conversion/AsObjectKeys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AsObjectKeys.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsObjectKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAwB;AAG5C;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,CAAC,SAAS,SAAS,SAAS,EAAE,GAChC,CAAC,GACD,KAAK,CAAC;AAER;;;;GAIG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,GAAG,CAAC,GAAG,KAAK,CAAC"}

package/dist/types/type-conversion/AsPropertyKey.d.ts

@@ -1,13 +1,8 @@
-import { Tuple } from "../base-types";
-export type Process<T> = T extends string | number | symbol ? T & PropertyKey : never;
-export type ProcessEach<T extends Tuple> = {
-    [K in keyof T]: Process<T[K]>;
-};
 /**
  * **AsPropertyKey**`<T>`
  *
  * Ensures that `T` is a property key or, if a tuple is passed in, that
  * all values extend `PropertyKey`
  */
-export type AsPropertyKey<T> = T extends Tuple ? ProcessEach<T> : Process<T>;
+export type AsPropertyKey<T> = T extends PropertyKey ? T : never;
 //# sourceMappingURL=AsPropertyKey.d.ts.map

package/dist/types/type-conversion/AsPropertyKey.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AsPropertyKey.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsPropertyKey.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAGtC,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GACzD,CAAC,GAAG,WAAW,GACf,KAAK,CAAC;AAER,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,KAAK,IAAI;KACxC,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC9B,CAAA;AACD;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,GAC1C,WAAW,CAAC,CAAC,CAAC,GACd,OAAO,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"AsPropertyKey.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsPropertyKey.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,GAChD,CAAC,GACD,KAAK,CAAC"}

package/dist/types/type-conversion/AsRecord.d.ts

@@ -0,0 +1,10 @@
+import { Dictionary, Tuple } from "../base-types";
+/**
+ * **AsRecord**`<T>`
+ *
+ * Receives a `Record`, `object`, or `Tuple` and ensures the type
+ * is a `Record` type for all object-like types and just passes
+ * Tuples through "as is".
+ */
+export type AsRecord<T extends Dictionary | object> = T extends Tuple ? T : T extends Dictionary ? T : T extends object ? T extends any[] ? never : NonNullable<unknown> : never;
+//# sourceMappingURL=AsRecord.d.ts.map

package/dist/types/type-conversion/AsRecord.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AsRecord.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsRecord.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAElD;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,CAClB,CAAC,SAAS,UAAU,GAAG,MAAM,IAC3B,CAAC,SAAS,KAAK,GACjB,CAAC,GACD,CAAC,SAAS,UAAU,GACpB,CAAC,GACD,CAAC,SAAS,MAAM,GAEd,CAAC,SAAS,GAAG,EAAE,GACb,KAAK,GACL,WAAW,CAAC,OAAO,CAAC,GACtB,KAAK,CAAC"}

package/dist/types/type-conversion/AsRef.d.ts

@@ -0,0 +1,5 @@
+import { Container } from "../base-types";
+export type AsRef<T> = T extends Container ? T & {
+    value: unknown;
+} : never;
+//# sourceMappingURL=AsRef.d.ts.map

package/dist/types/type-conversion/AsRef.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AsRef.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsRef.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE1C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,GACtC,CAAC,GAAG;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GACtB,KAAK,CAAC"}

package/dist/types/type-conversion/AsString.d.ts

@@ -9,5 +9,5 @@
  *
  * **Related:** `ToString`
  */
-export type AsString<T> = T extends string ? T & string : T extends number ? `${T}` : T extends boolean ? `${T}` : string extends T ? string & T : never;
+export type AsString<T> = T extends string ? T & string : T extends number ? `${T}` : T extends boolean ? `${T}` : string extends T ? string : never;
 //# sourceMappingURL=AsString.d.ts.map

package/dist/types/type-conversion/AsString.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AsString.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsString.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;GAUG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACtC,CAAC,GAAG,MAAM,GACV,CAAC,SAAS,MAAM,GACd,GAAG,CAAC,EAAE,GACN,CAAC,SAAS,OAAO,GACf,GAAG,CAAC,EAAE,GACN,MAAM,SAAS,CAAC,GACd,MAAM,GAAG,CAAC,GACV,KAAK,CACZ"}
+{"version":3,"file":"AsString.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/AsString.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACtC,CAAC,GAAG,MAAM,GACV,CAAC,SAAS,MAAM,GACd,GAAG,CAAC,EAAE,GACN,CAAC,SAAS,OAAO,GACf,GAAG,CAAC,EAAE,GACN,MAAM,SAAS,CAAC,GACd,MAAM,GACL,KAAK,CACb"}

package/dist/types/type-conversion/Awaited.d.ts

@@ -4,5 +4,5 @@
  * Unwraps the expected return value inside a promise-like
  * result.
  */
-export type Awaited<T> = T extends PromiseLike<infer Inner> ? Inner extends Promise<unknown> ? Awaited<Inner> : Inner : never;
+export type Awaited<T> = T extends PromiseLike<infer Inner> ? Inner : never;
 //# sourceMappingURL=Awaited.d.ts.map

package/dist/types/type-conversion/Awaited.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Awaited.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/Awaited.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,KAAK,CAAC,GACvD,KAAK,SAAS,OAAO,CAAC,OAAO,CAAC,GAC5B,OAAO,CAAC,KAAK,CAAC,GACd,KAAK,GACP,KAAK,CAAC"}
+{"version":3,"file":"Awaited.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/Awaited.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,KAAK,CAAC,GACvD,KAAK,GACL,KAAK,CAAC"}

package/dist/types/type-conversion/Break.d.ts

@@ -8,6 +8,8 @@
  * // ["there", " I was, there I was"]
  * type T2 = Break<"there I was, there I was", " ">;
  * ```
+ *
+ * **Related:** `Split`
  */
 export type Break<T extends string, D extends string> = (string extends T ? [string, string] : (T extends `${infer F}${D}${infer _R}` ? (F extends `${infer _X}${D}${infer _Y}` ? never : (T extends `${F}${infer R}` ? [F, R] : never)) : [T, ""]));
 //# sourceMappingURL=Break.d.ts.map

package/dist/types/type-conversion/Break.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Break.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/Break.ts"],"names":[],"mappings":"AACA;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,CACtD,MAAM,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CACpC,CAAC,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,EAAE,EAAE,GAAG,CACtC,CAAC,SAAS,GAAG,MAAM,EAAE,GAAG,CAAC,GAAG,MAAM,EAAE,EAAE,GAAG,KAAK,GAAG,CAC/C,CAAC,SAAS,GAAG,CAAC,GAAG,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAC5C,CACF,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CACZ,CACF,CAAC"}
+{"version":3,"file":"Break.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/Break.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,CACtD,MAAM,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CACpC,CAAC,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,EAAE,EAAE,GAAG,CACtC,CAAC,SAAS,GAAG,MAAM,EAAE,GAAG,CAAC,GAAG,MAAM,EAAE,EAAE,GAAG,KAAK,GAAG,CAC/C,CAAC,SAAS,GAAG,CAAC,GAAG,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAC5C,CACF,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CACZ,CACF,CAAC"}

package/dist/types/type-conversion/IntersectWithAll.d.ts

@@ -1,4 +1,4 @@
-import { RemoveNever } from "../index";
+import { Filter } from "../index";
 /**
  * **IntersectWithAll**`<TList,TIntersection>`
  *
@@ -12,7 +12,7 @@ import { RemoveNever } from "../index";
  * type Num = IntersectWithAll<Arr, number>;
  * ```
  */
-export type IntersectWithAll<TList extends readonly unknown[], TIntersection> = RemoveNever<{
+export type IntersectWithAll<TList extends readonly unknown[], TIntersection> = Filter<{
     [K in keyof TList]: TList[K] & TIntersection;
-}>;
+}, never>;
 //# sourceMappingURL=IntersectWithAll.d.ts.map

package/dist/types/type-conversion/IntersectWithAll.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"IntersectWithAll.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/IntersectWithAll.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,iBAAwB;AAE9C;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,gBAAgB,CAC1B,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,aAAa,IACX,WAAW,CAAC;KACb,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,aAAa;CAC7C,CAAC,CAAC"}
+{"version":3,"file":"IntersectWithAll.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/IntersectWithAll.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,iBAAwB;AAEzC;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,gBAAgB,CAC1B,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,aAAa,IACX,MAAM,CAAC;KACR,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,aAAa;CAC7C,EAAE,KAAK,CAAC,CAAC"}

package/dist/types/type-conversion/LeftWhitespace.d.ts

@@ -7,5 +7,5 @@ import { TrimLeft } from "./TrimLeft";
  * type T = LeftWhitespace<"\n\t foobar">;
  * ```
  */
-export type LeftWhitespace<S extends string> = string extends S ? string : Replace<S, TrimLeft<S>, "">;
+export type LeftWhitespace<S extends string> = string extends S ? string : Replace<S, TrimLeft<S> extends string ? TrimLeft<S> : never, "">;
 //# sourceMappingURL=LeftWhitespace.d.ts.map

package/dist/types/type-conversion/LeftWhitespace.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"LeftWhitespace.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/LeftWhitespace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAC3D,MAAM,GACN,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC"}
+{"version":3,"file":"LeftWhitespace.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/LeftWhitespace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAC3D,MAAM,GACN,OAAO,CACL,CAAC,EACD,QAAQ,CAAC,CAAC,CAAC,SAAS,MAAM,GACtB,QAAQ,CAAC,CAAC,CAAC,GACX,KAAK,EACT,EAAE,CACH,CAAC"}

package/dist/types/type-conversion/Merge.d.ts

@@ -1,9 +1,17 @@
-import { IfUndefined, DoesExtend, IfAnd, IsOptionalScalar, Narrowable, AfterFirst, First, AnyObject, Scalar, MergeObjects } from "../index";
-export type MergeScalars<TDefault extends Narrowable, TOverride extends Narrowable> = IfAnd<[
-    IsOptionalScalar<TDefault>,
-    IsOptionalScalar<TOverride>
-], IfUndefined<TOverride, TDefault, Exclude<TOverride, undefined>>, never>;
-type MergeTuplesAcc<TDefault extends readonly unknown[], TOverride extends readonly unknown[], TKey extends string | false = false, TResults extends readonly unknown[] = []> = TOverride extends [infer Override, ...infer Rest extends unknown[]] ? IfUndefined<Override, MergeTuplesAcc<AfterFirst<TDefault>, Rest, TKey, [...TResults, First<TDefault>]>, MergeTuplesAcc<AfterFirst<TDefault>, Rest, TKey, [...TResults, Override]>> : readonly [...TResults, ...TDefault];
+import { IsUndefined, DoesExtend, If, And, Narrowable, AfterFirst, First, Scalar, MergeObjects, Dictionary, AsDictionary, AreSameType, Throw, Or, IsNothing, Nothing } from "../index";
+/**
+ * **MergeScalars**`<TDefault, TOverride, [TEmpty]>`
+ *
+ * Provides a `Scalar` value by evaluating whether `TDefault`
+ * and `TOverride` extends `TEmpty` (which is `null` | `undefined`
+ * by default).
+ *
+ * Note: if both `TDefault` and `TOverride` are _undefined_ then the
+ * exiting type will be _undefined_ (which isn't strictly a `Scalar`
+ * value).
+ */
+export type MergeScalars<TDefault extends Scalar | undefined, TOverride extends Scalar | undefined, TEmpty extends Scalar | undefined = null | undefined> = TDefault extends TEmpty ? TOverride : TOverride extends TEmpty ? TDefault : TOverride;
+type MergeTuplesAcc<TDefault extends readonly unknown[], TOverride extends readonly unknown[], TKey extends string | false = false, TResults extends readonly unknown[] = []> = TOverride extends [infer Override, ...infer Rest extends unknown[]] ? If<IsUndefined<Override>, MergeTuplesAcc<AfterFirst<TDefault>, Rest, TKey, [...TResults, First<TDefault>]>, MergeTuplesAcc<AfterFirst<TDefault>, Rest, TKey, [...TResults, Override]>> : readonly [...TResults, ...TDefault];
 /**
  * **MergeTuples**
  *
@@ -13,15 +21,34 @@ type MergeTuplesAcc<TDefault extends readonly unknown[], TOverride extends reado
  * - if `TDefault` is longer than `TOverride` then `TDefault` will be extended
  */
 export type MergeTuples<TDefault extends readonly Narrowable[], TOverride extends readonly Narrowable[], TKey extends string | false = false> = MergeTuplesAcc<[...TDefault], [...TOverride], TKey>;
-export type Merge<TDefault, TOverride> = IfAnd<[
-    DoesExtend<TDefault, AnyObject>,
-    DoesExtend<TOverride, AnyObject>
-], MergeObjects<TDefault & AnyObject, TOverride & AnyObject>, IfAnd<[
-    DoesExtend<TDefault, Scalar>,
-    DoesExtend<TOverride, Scalar>
-], MergeScalars<TDefault & Scalar, TOverride & Scalar>, IfAnd<[
+type Process<TDefault, TOverride> = And<[
+    DoesExtend<TDefault, Dictionary | Nothing>,
+    DoesExtend<TOverride, Dictionary | Nothing>
+]> extends true ? MergeObjects<AsDictionary<TDefault>, AsDictionary<TOverride>> : And<[
+    DoesExtend<TDefault, Scalar | undefined>,
+    DoesExtend<TOverride, Scalar | undefined>
+]> extends true ? MergeScalars<TDefault & Scalar, TOverride & Scalar> : And<[
     DoesExtend<TDefault, readonly Narrowable[]>,
-    DoesExtend<TDefault, readonly Narrowable[]>
-], MergeTuples<TDefault & readonly Narrowable[], TOverride & readonly Narrowable[]>, never>>>;
+    DoesExtend<TOverride, readonly Narrowable[]>
+]> extends true ? MergeTuples<TDefault & readonly Narrowable[], TOverride & readonly Narrowable[]> : never;
+/**
+ * **Merge**`<TDefault,TOverride>`
+ *
+ * A type utility that will merge any two like values together.
+ *
+ * **Related:** `MergeObjects`, `MergeScalars`, `MergeTuples`
+ */
+export type Merge<TDefault, TOverride> = AreSameType<TDefault, TOverride> extends true ? Process<TDefault, TOverride> : Or<[
+    IsNothing<TDefault>,
+    IsNothing<TOverride>
+]> extends true ? And<[IsNothing<TDefault>, IsNothing<TOverride>]> extends true ? Throw<"invalid-merge", `Merge<TDef,TOver> received two empty values; at least one needs to have a value!`, "Merge", {
+    library: "inferred-types";
+    TDef: TDefault;
+    TOver: TOverride;
+}> : Process<TDefault, TOverride> : Throw<"invalid-merge", `the Merge<TDef,TOver> utility can merge various types but both types must be of the same base type and they were not!`, "Merge", {
+    library: "inferred-types";
+    TDef: TDefault;
+    TOver: TOverride;
+}>;
 export {};
 //# sourceMappingURL=Merge.d.ts.map

package/dist/types/type-conversion/Merge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Merge.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/Merge.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,UAAU,EACV,KAAK,EACL,gBAAgB,EAChB,UAAU,EACV,UAAU,EACV,KAAK,EACL,SAAS,EACT,MAAM,EACN,YAAY,EACb,iBAAwB;AAMzB,MAAM,MAAM,YAAY,CACtB,QAAQ,SAAS,UAAU,EAC3B,SAAS,SAAS,UAAU,IAC1B,KAAK,CACP;IAAC,gBAAgB,CAAC,QAAQ,CAAC;IAAE,gBAAgB,CAAC,SAAS,CAAC;CAAC,EACzD,WAAW,CACT,SAAS,EACT,QAAQ,EACR,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAC9B,EACD,KAAK,CACN,CAAC;AAEF,KAAK,cAAc,CACjB,QAAQ,SAAS,SAAS,OAAO,EAAE,EACnC,SAAS,SAAS,SAAS,OAAO,EAAE,EACpC,IAAI,SAAS,MAAM,GAAG,KAAK,GAAG,KAAK,EACnC,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,SAAS,SAAS,CAAC,MAAM,QAAQ,EAAE,GAAG,MAAM,IAAI,SAAS,OAAO,EAAE,CAAC,GACnE,WAAW,CACX,QAAQ,EACR,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAChF,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAC1E,GACC,SAAS,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC;AAExC;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CACrB,QAAQ,SAAS,SAAS,UAAU,EAAE,EACtC,SAAS,SAAS,SAAS,UAAU,EAAE,EACvC,IAAI,SAAS,MAAM,GAAG,KAAK,GAAG,KAAK,IACjC,cAAc,CAAC,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;AAcxD,MAAM,MAAM,KAAK,CACf,QAAQ,EACR,SAAS,IACP,KAAK,CACP;IAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC;IAAE,UAAU,CAAC,SAAS,EAAE,SAAS,CAAC;CAAC,EACnE,YAAY,CAAC,QAAQ,GAAG,SAAS,EAAC,SAAS,GAAG,SAAS,CAAC,EACxD,KAAK,CACH;IAAE,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAE,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC;CAAE,EAC/D,YAAY,CAAC,QAAQ,GAAG,MAAM,EAAE,SAAS,GAAG,MAAM,CAAC,EACnD,KAAK,CACH;IAAE,UAAU,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IAAE,UAAU,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;CAAE,EAC5F,WAAW,CAAC,QAAQ,GAAG,SAAS,UAAU,EAAE,EAAE,SAAS,GAAG,SAAS,UAAU,EAAE,CAAC,EAChF,KAAK,CACN,CACF,CACF,CAAC"}
+{"version":3,"file":"Merge.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/Merge.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,UAAU,EACV,EAAE,EACF,GAAG,EACH,UAAU,EACV,UAAU,EACV,KAAK,EACL,MAAM,EACN,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,WAAW,EACX,KAAK,EACL,EAAE,EACF,SAAS,EACT,OAAO,EACR,iBAAwB;AAOzB;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CACtB,QAAQ,SAAS,MAAM,GAAG,SAAS,EACnC,SAAS,SAAS,MAAM,GAAG,SAAS,EACpC,MAAM,SAAS,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,SAAS,IAClD,QAAQ,SAAS,MAAM,GACzB,SAAS,GACT,SAAS,SAAS,MAAM,GACtB,QAAQ,GAAG,SAAS,CAAC;AAIzB,KAAK,cAAc,CACjB,QAAQ,SAAS,SAAS,OAAO,EAAE,EACnC,SAAS,SAAS,SAAS,OAAO,EAAE,EACpC,IAAI,SAAS,MAAM,GAAG,KAAK,GAAG,KAAK,EACnC,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,SAAS,SAAS,CAAC,MAAM,QAAQ,EAAE,GAAG,MAAM,IAAI,SAAS,OAAO,EAAE,CAAC,GACnE,EAAE,CACF,WAAW,CAAC,QAAQ,CAAC,EACrB,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAChF,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAC1E,GACC,SAAS,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC;AAExC;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CACrB,QAAQ,SAAS,SAAS,UAAU,EAAE,EACtC,SAAS,SAAS,SAAS,UAAU,EAAE,EACvC,IAAI,SAAS,MAAM,GAAG,KAAK,GAAG,KAAK,IACjC,cAAc,CAAC,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;AAGxD,KAAK,OAAO,CACZ,QAAQ,EACR,SAAS,IACL,GAAG,CAAC;IACN,UAAU,CAAC,QAAQ,EAAE,UAAU,GAAC,OAAO,CAAC;IAAE,UAAU,CAAC,SAAS,EAAE,UAAU,GAAC,OAAO,CAAC;CACpF,CAAC,SAAS,IAAI,GACb,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAC,YAAY,CAAC,SAAS,CAAC,CAAE,GAC7D,GAAG,CAAC;IACF,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAC,SAAS,CAAC;IAAE,UAAU,CAAC,SAAS,EAAE,MAAM,GAAC,SAAS,CAAC;CAChF,CAAC,SAAS,IAAI,GACb,YAAY,CAAC,QAAQ,GAAG,MAAM,EAAE,SAAS,GAAG,MAAM,CAAC,GAEnD,GAAG,CAAC;IACF,UAAU,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IAC3C,UAAU,CAAC,SAAS,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC,SAAS,IAAI,GACb,WAAW,CAAC,QAAQ,GAAG,SAAS,UAAU,EAAE,EAAE,SAAS,GAAG,SAAS,UAAU,EAAE,CAAC,GAChF,KAAK,CAAC;AAGZ;;;;;;GAMG;AACH,MAAM,MAAM,KAAK,CACf,QAAQ,EACR,SAAS,IACP,WAAW,CAAC,QAAQ,EAAC,SAAS,CAAC,SAAS,IAAI,GAC9C,OAAO,CAAC,QAAQ,EAAC,SAAS,CAAC,GAC3B,EAAE,CAAC;IACD,SAAS,CAAC,QAAQ,CAAC;IAAE,SAAS,CAAC,SAAS,CAAC;CAC1C,CAAC,SAAS,IAAI,GACX,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,GAC3D,KAAK,CACH,eAAe,EACf,kFAAkF,EAClF,OAAO,EACP;IAAE,OAAO,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,SAAS,CAAA;CAAE,CAChE,GACD,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,GAC9B,KAAK,CACL,eAAe,EACf,uHAAuH,EACvH,OAAO,EACP;IAAE,OAAO,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,SAAS,CAAA;CAAC,CAC/D,CAAC"}

package/dist/types/type-conversion/MergeObjects.d.ts

@@ -1,10 +1,10 @@
-import { AfterFirst, CombinedKeys, ExpandRecursively, First, IsDefined } from "../index";
-type Process<TKeys extends readonly unknown[], TDef extends object, TOverride extends object, TResult extends Record<string | symbol, unknown> = {}> = [] extends TKeys ? ExpandRecursively<TResult> : Process<AfterFirst<TKeys>, TDef, TOverride, First<TKeys> extends keyof TOverride ? IsDefined<TOverride[First<TKeys>]> extends true ? TResult & Record<First<TKeys>, TOverride[First<TKeys>]> : First<TKeys> extends keyof TDef ? TResult & Record<First<TKeys>, TDef[First<TKeys>]> : TResult & Record<First<TKeys>, undefined> : First<TKeys> extends keyof TDef ? TResult & Record<First<TKeys>, TDef[First<TKeys>]> : TResult & Record<First<TKeys>, undefined>>;
+import { AfterFirst, CombinedKeys, ExpandRecursively, First, IsDefined, Dictionary, ObjectKey, Nothing, IsNothing, EmptyObject, If, As } from "../index";
+type Process<TKeys extends readonly unknown[], TDef extends Dictionary, TOverride extends Dictionary, TResult extends Dictionary = EmptyObject> = [] extends TKeys ? ExpandRecursively<TResult> : Process<AfterFirst<TKeys>, TDef, TOverride, First<TKeys> extends keyof TOverride ? IsDefined<TOverride[First<TKeys>]> extends true ? TResult & Record<First<TKeys>, TOverride[First<TKeys>]> : First<TKeys> extends keyof TDef ? TResult & Record<First<TKeys>, TDef[First<TKeys>]> : TResult & Record<First<TKeys>, undefined> : First<TKeys> extends keyof TDef ? TResult & Record<First<TKeys>, TDef[First<TKeys>]> : First<TKeys> extends ObjectKey ? TResult & Record<First<TKeys>, undefined> : never>;
 /**
  * **MergeObjects**`<TDefault,TOverride>`
  *
  * A type utility that _shallowly merges_ two object types.
  */
-export type MergeObjects<TDef extends object, TOverride extends object> = Process<CombinedKeys<TDef, TOverride>, TDef, TOverride>;
+export type MergeObjects<TDef extends Dictionary | Nothing, TOverride extends Dictionary | Nothing> = Process<CombinedKeys<As<If<IsNothing<TDef>, EmptyObject, TDef>, Dictionary>, As<If<IsNothing<TOverride>, EmptyObject, TOverride>, Dictionary>>, As<If<IsNothing<TDef>, EmptyObject, TDef>, Dictionary>, As<If<IsNothing<TOverride>, EmptyObject, TOverride>, Dictionary>>;
 export {};
 //# sourceMappingURL=MergeObjects.d.ts.map

package/dist/types/type-conversion/MergeObjects.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MergeObjects.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/MergeObjects.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAI,iBAAwB;AAElG,KAAK,OAAO,CACV,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,IAAI,SAAS,MAAM,EACnB,SAAS,SAAS,MAAM,EAExB,OAAO,SAAS,MAAM,CAAC,MAAM,GAAC,MAAM,EAAE,OAAO,CAAC,GAAG,EAAE,IACjD,EAAE,SAAS,KAAK,GAClB,iBAAiB,CAAC,OAAO,CAAC,GAC1B,OAAO,CACL,UAAU,CAAC,KAAK,CAAC,EACjB,IAAI,EACJ,SAAS,EACT,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,SAAS,GAChC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GAC3C,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GACvD,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,IAAI,GAC7B,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAClD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,GAC/C,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,IAAI,GAC/B,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAClD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAC9C,CAAC;AAGJ;;;;GAIG;AACH,MAAM,MAAM,YAAY,CACtB,IAAI,SAAS,MAAM,EACnB,SAAS,SAAS,MAAM,IACtB,OAAO,CACT,YAAY,CAAC,IAAI,EAAC,SAAS,CAAC,EAC5B,IAAI,EACJ,SAAS,CACV,CAAC"}
+{"version":3,"file":"MergeObjects.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/MergeObjects.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAG,YAAY,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,EAAG,iBAAwB;AAElK,KAAK,OAAO,CACV,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,IAAI,SAAS,UAAU,EACvB,SAAS,SAAS,UAAU,EAC5B,OAAO,SAAS,UAAU,GAAG,WAAW,IACtC,EAAE,SAAS,KAAK,GAClB,iBAAiB,CAAC,OAAO,CAAC,GAC1B,OAAO,CACL,UAAU,CAAC,KAAK,CAAC,EACjB,IAAI,EACJ,SAAS,EACT,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,SAAS,GAChC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GAC3C,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GACvD,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,IAAI,GAC7B,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAClD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,GAC/C,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,IAAI,GAC/B,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAClD,KAAK,CAAC,KAAK,CAAC,SAAS,SAAS,GAC5B,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,GACzC,KAAK,CACZ,CAAC;AAEJ;;;;GAIG;AACH,MAAM,MAAM,YAAY,CACtB,IAAI,SAAS,UAAU,GAAG,OAAO,EACjC,SAAS,SAAS,UAAU,GAAG,OAAO,IACpC,OAAO,CACT,YAAY,CACV,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,EACtD,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,UAAU,CAAC,CACjE,EACD,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,EACtD,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,UAAU,CAAC,CACjE,CAAC"}

package/dist/types/type-conversion/Mutable.d.ts

@@ -1,15 +1,24 @@
-import { AnyObject } from "../index";
-type MutableObject<T> = {
-    -readonly [K in keyof T]: T[K] extends AnyObject ? MutableObject<T[K]> : T[K] extends readonly (infer R)[] ? R[] : T[K];
+import { Dictionary, IsObjectLiteral, IsTuple } from "../index";
+type MutableObject<T> = [T] extends [boolean] ? T : {
+    -readonly [K in keyof T]: T[K] extends Dictionary ? MutableObject<T[K]> : IsTuple<T[K]> extends true ? T[K] : T[K] extends readonly (infer R)[] ? R[] : T[K];
 };
-type MutableArray<T extends readonly unknown[]> = [...T];
+type MutableArray<T extends readonly unknown[]> = [
+    ...{
+        [K in keyof T]: Mutable<T[K]>;
+    }
+];
 /**
  * **Mutable**`<T>`
  *
  * Makes a readonly value to a mutable value without
  * widening the type.
  */
-export type Mutable<T> = T extends readonly unknown[] ? MutableArray<T> : T extends AnyObject ? MutableObject<T> : T;
+export type Mutable<T> = [T] extends [readonly unknown[]] ? MutableArray<T> : [T] extends [boolean] ? T : [IsObjectLiteral<T>] extends [true] ? MutableObject<T> : T;
+/**
+ * **Immutable**`<T>`
+ *
+ * Makes a _mutable_ value _immutable_.
+ */
 export type Immutable<T extends {
     [propName: string]: unknown;
 }> = {

package/dist/types/type-conversion/Mutable.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Mutable.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/Mutable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAwB;AAE5C,KAAK,aAAa,CAAC,CAAC,IAAI;IACtB,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAC5C,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACnB,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAC/B,CAAC,EAAE,GACH,CAAC,CAAC,CAAC,CAAC;CACX,CAAC;AAEF,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAGzD;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,OAAO,EAAE,GACjD,YAAY,CAAC,CAAC,CAAC,GACf,CAAC,SAAS,SAAS,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAI/C,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS;IAAE,CAAC,QAAQ,EAAC,MAAM,GAAG,OAAO,CAAA;CAAE,IAAG;IAC/D,QAAQ,EAAE,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS;QAAE,CAAC,QAAQ,EAAC,MAAM,GAAG,OAAO,CAAA;KAAE,GACpE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GACjB,CAAC,CAAC,GAAG,CAAC;CACX,CAAC"}
+{"version":3,"file":"Mutable.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/Mutable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,UAAU,EAAE,eAAe,EAAE,OAAO,EAAE,iBAAwB;AAExE,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GAC3C,CAAC,GACF;IACC,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,GAC7C,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACnB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,CAAC,CAAC,CAAC,CAAC,GACJ,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAC/B,CAAC,EAAE,GACH,CAAC,CAAC,CAAC,CAAC;CACb,CAAC;AAEF,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI;IAAC,GAAG;SAEnD,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAC9B;CAAC,CAAC;AAGH;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,OAAO,EAAE,CAAC,GACrD,YAAY,CAAC,CAAC,CAAC,GACf,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GACnB,CAAC,GACD,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAIjE;;;;GAIG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS;IAAE,CAAC,QAAQ,EAAC,MAAM,GAAG,OAAO,CAAA;CAAE,IAAG;IAC/D,QAAQ,EAAE,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS;QAAE,CAAC,QAAQ,EAAC,MAAM,GAAG,OAAO,CAAA;KAAE,GACpE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GACjB,CAAC,CAAC,GAAG,CAAC;CACX,CAAC"}

package/dist/types/type-conversion/ObjectToKvDict.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ObjectToKvDict.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/ObjectToKvDict.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,SAAS,EACV,iBAAwB;AAGzB;;;;;;;;;;GAUG;AACH,MAAM,MAAM,cAAc,CACxB,IAAI,SAAS,SAAS,IACpB;KACD,CAAC,IAAI,MAAM,IAAI,GAAG;QAAC,GAAG,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;KAAC;CAC5C,CAAC"}
+{"version":3,"file":"ObjectToKvDict.d.ts","sourceRoot":"","sources":["../../../src/types/type-conversion/ObjectToKvDict.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACV,iBAAwB;AAGzB;;;;;;;;;;GAUG;AACH,MAAM,MAAM,cAAc,CACxB,IAAI,SAAS,SAAS,IACpB;KACD,CAAC,IAAI,MAAM,IAAI,GAAG;QAAC,GAAG,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;KAAC;CAC5C,CAAC"}

package/dist/types/type-conversion/RemoveIndex.js

@@ -1,2 +1 @@
-/* eslint-disable @typescript-eslint/no-explicit-any */
 export {};