inferred-types 0.42.0 → 0.43.0

package/dist/types/literals/Shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Shape.d.ts","sourceRoot":"","sources":["../../../src/types/literals/Shape.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,EAAE,EACF,UAAU,EACV,SAAS,EACT,OAAO,EACP,MAAM,EACN,YAAY,EACZ,OAAO,EACP,KAAK,EACL,YAAY,EACZ,WAAW,EACX,OAAO,EACP,OAAO,EACP,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,UAAU,EACV,UAAU,EACV,GAAG,EACH,QAAQ,EACR,EAAE,EACF,SAAS,EACT,aAAa,EACd,iBAAwB;AACzB,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEtF,KAAK,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AAG1C;;;;;;GAMG;AACH,MAAM,MAAM,KAAK,GAAG,KAAK,aAAa,GAAG,MAAM,IAAI,CAAA;AAEnD;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAC3B,MAAM,SAAS,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,EAC3C,UAAU,SAAS,OAAO,GAAG,OAAO,IAClC;IACF,GAAG,EAAE,CACH,IAAI,SAAS,MAAM,EACnB,CAAC,EAAE,IAAI,KAAK,iBAAiB,CAAC,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;IAC/D,IAAI,EAAE,MAAM,EAAE,CACZ,MAAM,CAAC,UAAU,CAAC,EAClB,YAAY,CAAC,MAAM,CAAC,EACpB,MAAM,CACP,CAAC;CACH,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,GAAG,QAAQ,CAAC;AAGzG,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI;IACpC;;;;OAIG;IACH,aAAa,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;IACjC;;OAEG;IACH,GAAG,EAAE,MAAM,GAAG,CAAC;IACf;;;;OAIG;IACH,QAAQ,EAAE,MAAM,QAAQ,CAAC;IACzB;;;;OAIG;IACH,OAAO,EAAE,MAAM,OAAO,CAAC;IACvB;;;;;;;;;OASG;IACH,YAAY,EAAE,CAAC,CAAC,SAAS,cAAc,GAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC;IACpF;;;;;;;;;OASG;IACH,YAAY,EAAE,CAAC,CAAC,SAAS,cAAc,GAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC;IACpF;;;;OAIG;IACH,WAAW,EAAE,MAAM,UAAU,CAAC;IAC9B;;;;OAIG;IACH,WAAW,EAAE,MAAM,UAAU,CAAC;IAG9B,IAAI,EAAE,MAAM,CAAC,CAAC;CACf,CAAA;AAGD,MAAM,MAAM,iBAAiB,CAC3B,MAAM,GAAG,KAAK,EACd,QAAQ,SAAS,MAAM,GAAG,EAAE,IAC1B,IAAI,CAAC;IACP;;;;;;;;;;OAUG;IACH,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC3E,oBAAoB,CAAC,MAAM,CAAC,GAC5B,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,CAAC,CAAC,CAAC,CAAC,GACJ,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACvB;;;;;;;;OAQG;IACH,MAAM,EAAE,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC5E,MAAM,GACN,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,CAAC,CAAC,CAAC,CAAC,GACJ,YAAY,CAAC,CAAC,CAAC,CAAC;IACpB;;;;;OAKG;IACH,OAAO,EAAE,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CACvC,MAAM,CAAC,CAAC,CAAC,EACT,IAAI,EACJ,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAC/B,CAAC;IACF;;;;OAIG;IACH,IAAI,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,MAAM,CAAC,CAAC;IACrD;;;;OAIG;IACH,SAAS,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,SAAS,GAAG,MAAM,CAAC,CAAC;IACpE;;;;OAIG;IACH,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC;CAC/D,EAAE,QAAQ,CAAC,CAAA;AAIZ,MAAM,MAAM,WAAW,GAAG,aAAa,GAAG,KAAK,CAAC;AAEhD,KAAK,eAAe,GAAG;IACrB,KAAK,EAAE,CAAC,CAAC,SAAS,SAAS,CAAC,WAAW,EAAC,GAAG,WAAW,EAAE,CAAC,EAAE,GAAG,QAAQ,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;CAC1F,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAGlE;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,aAAa,GAAG,kBAAkB,CAAC;AAE5D;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,cAAc,GAAG,aAAa,CAAC;AAE9D;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,kBAAkB,CAAC;AAElD,KAAK,mBAAmB,GAAG;IACzB,EAAE,EAAE,CAAC,KAAK,SAAS,SAAS,UAAU,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,KAAI,CAAC;QACvD,OAAO,EAAE,CAAC,OAAO,SAAS,gBAAgB,EAAE,GAAG,EAAE,OAAO,KAAK,CAAC;YAC5D,aAAa,EAAE,CACb,MAAM,SAAS,gBAAgB,EAC7B,EAAE,EAAE,MAAM,KAAK,WAAW,CAC1B,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EACtC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,EAC1C,QAAQ,CAAC,MAAM,CAAC,CACjB,CAAC;YACF,IAAI,EAAE,MAAM,WAAW,CACrB,QAAQ,CAAC,KAAK,CAAC,EACf,QAAQ,CAAC,OAAO,CAAC,CAClB,CAAC;SACH,CAAC,CAAC;QACL,IAAI,EAAE,MAAM,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;KAC1C,CAAC,CAAC;CACR,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,QAAQ,GAAG,iBAAiB,CAAC;AAE1E,MAAM,MAAM,aAAa,GAAG,mBAAmB,GAAG,aAAa,CAAA;AAE/D,MAAM,MAAM,iBAAiB,CAC3B,CAAC,SAAS,aAAa,IACrB,CAAC,SAAS,aAAa,GACzB,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAC3B,CAAC,SAAS,QAAQ,GAChB,MAAM,GACN,CAAC,SAAS,QAAQ,GAClB,MAAM,GACN,CAAC,SAAS,iBAAiB,GAC3B,MAAM,GAAG,MAAM,GACf,KAAK,CAAC;AAIV;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,mBAAmB,GAAG,aAAa,CAAC;AAE7D,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,aAAa,CAAC;AAEhG,MAAM,MAAM,mBAAmB,GAAG,aAAa,GAAG,cAAc,CAAC;AAEjE,MAAM,MAAM,UAAU,GAAG,aAAa,GAAG,cAAc,CAAC;AACxD,MAAM,MAAM,YAAY,GAAG,aAAa,GAAG,cAAc,CAAC;AAE1D,MAAM,MAAM,cAAc,GAAG,kBAAkB,GAAG,aAAa,CAAC;AAChE,MAAM,MAAM,gBAAgB,GAAG,aAAa,GAAG,cAAc,CAAC;AAE9D,KAAK,wBAAwB,GAAG;IAC9B,MAAM,EAAE,CACN,IAAI,SAAS,UAAU,GAAG,iBAAiB,EAC3C,MAAM,SAAS,mBAAmB,GAAG,SAAS,EAC9C,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1E,KAAK,EAAE,CAAC,CAAC,SAAS,aAAa,GAAG,WAAW,EAC3C,IAAI,CAAC,EAAE,CAAC,KACL,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1B,GAAG,EAAE,CAAC,CAAC,SAAS,cAAc,GAAG,aAAa,GAAG,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,KAClE,CAAC,SAAS,aAAa,GACnB,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAChC,CAAC,SAAS,cAAc,GACtB,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAChB,GAAG,CAAC,OAAO,CAAC,CAAC;IACrB,GAAG,EAAE,CACH,IAAI,SAAS,UAAU,GAAG,SAAS,EACnC,MAAM,SAAS,YAAY,GAAG,SAAS,EACvC,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAEvE,OAAO,EAAE,CACP,IAAI,SAAS,cAAc,GAAG,QAAQ,EACtC,MAAM,SAAS,gBAAgB,GAAG,SAAS,EAC3C,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,OAAO,CACtC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,EAC7B,QAAQ,CAAC,MAAM,CAAC,CACjB,CAAC;CACH,CAAA;AAED,MAAM,MAAM,SAAS,GAAG,cAAc,GAAG,aAAa,CAAC;AAEvD,KAAK,2BAA2B,GAAG;IACjC,UAAU,EAAE,CAAC,CAAC,SAAS,kBAAkB,EAAE,GAAG,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC;IAClE;;;;;;;;;;;OAWG;IACH,KAAK,EAAE,CAAC,CAAC,SAAS,SAAS,SAAS,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC;CACxE,CAAA;AAGD;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,GAAG,iBAAiB,GACtC,eAAe,GACf,mBAAmB,GACnB,wBAAwB,GACxB,2BAA2B,CAAC;AAE9B;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE,QAAQ,KAAK,OAAO,CAAC;AAGvD,MAAM,MAAM,cAAc,GAAG,CAAC,GAAG,EAAE,iBAAiB,GAAG,eAAe,KAAK,OAAO,CAAC"}

package/dist/types/literals/VueComputedRef.d.ts

@@ -0,0 +1,35 @@
+/**
+ * **VueComputedRef**
+ *
+ * The goal of this type is to _appear_ to the runtime and type systems
+ * to be a `ComputedRef` (aka, **Computed** property).
+ *
+ * None of the functionality is provided by this but it allows us to create
+ * _types_ and _type guards_ which can respond to this structure without
+ * needing to have `Vue` but a dependency on this package.
+ */
+export type VueComputedRef<T = any> = {
+    value: T;
+    effect: any;
+};
+/**
+ * **IsComputedRef**`<T>`
+ *
+ * Boolean operator which determines whether `T` is seen to be a `ComputedRef`
+ * property from **VueJS**.
+ */
+export type IsComputedRef<T> = T extends {
+    value: unknown;
+    effect: object;
+} ? true : false;
+/**
+ * **AsVueComputedRef**
+ *
+ * Narrowing type that takes an _unknown_ `T` and tests to see if is
+ * a **VueJS** `ComputedRef` property. If it is then the narrowed type
+ * is returned, otherwise `never`.
+ *
+ * **Related:** `VueComputedRef`, `IsVueComputedRef`
+ */
+export type AsVueComputedRef<T> = T extends VueComputedRef ? T & VueComputedRef : never;
+//# sourceMappingURL=VueComputedRef.d.ts.map

package/dist/types/literals/VueComputedRef.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"VueComputedRef.d.ts","sourceRoot":"","sources":["../../../src/types/literals/VueComputedRef.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,MAAM,MAAM,cAAc,CAAC,CAAC,GAAG,GAAG,IAAI;IACpC,KAAK,EAAE,CAAC,CAAC;IACT,MAAM,EAAE,GAAG,CAAC;CACb,CAAA;AAGD;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACzE,IAAI,GACJ,KAAK,CAAC;AAGR;;;;;;;;GAQG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS,cAAc,GACxD,CAAC,GAAG,cAAc,GAClB,KAAK,CAAC"}

package/dist/types/literals/VueComputedRef.js

@@ -0,0 +1,11 @@
+/**
+ * **VueComputedRef**
+ *
+ * The goal of this type is to _appear_ to the runtime and type systems
+ * to be a `ComputedRef` (aka, **Computed** property).
+ *
+ * None of the functionality is provided by this but it allows us to create
+ * _types_ and _type guards_ which can respond to this structure without
+ * needing to have `Vue` but a dependency on this package.
+ */
+export {};

package/dist/types/literals/VueRef.d.ts

@@ -1,9 +1,20 @@
 /**
+ * **VueRef**`<T>`
+ *
  * Intended to be the same type as VueJS's `Ref<T>` but without the need
  * to include any of the VueJS framework in deps.
+ *
+ * **Notes:**
+ *
+ *  - a real `Ref<T>` has both the `value` property and a _private_ symbol
+ * exposed to the runtime as a type (but the type is intentionally not exported).
+ *  - whenever using this type, please use it with `IsRef()`,`isRef()` utils
+ *
+ * **Related:**
+ *
+ * - `IsRef<T>`, `isRef()`, `VueComputedRef<T>`
  */
-export type VueRef<T = unknown, S extends symbol = symbol> = {
-    RefSymbol: S;
+export type VueRef<T = any> = {
     value: T;
 };
 //# sourceMappingURL=VueRef.d.ts.map

package/dist/types/literals/VueRef.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"VueRef.d.ts","sourceRoot":"","sources":["../../../src/types/literals/VueRef.ts"],"names":[],"mappings":"AACA;;;GAGG;AAEH,MAAM,MAAM,MAAM,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI;IAC3D,SAAS,EAAE,CAAC,CAAC;IACb,KAAK,EAAE,CAAC,CAAC;CACV,CAAC"}
+{"version":3,"file":"VueRef.d.ts","sourceRoot":"","sources":["../../../src/types/literals/VueRef.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,GAAG,GAAG,IAAI;IAC5B,KAAK,EAAE,CAAC,CAAC;CACV,CAAC"}

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

@@ -2,10 +2,18 @@ export * from "./OptRequired";
 export * from "./Color";
 export * from "./ExpandRecursively";
 export * from "./Narrowable";
+export * from "./Narrow";
 export * from "./NarrowableDefined";
 export * from "./NarrowableScalar";
 export * from "./Box";
 export * from "./VueRef";
+export * from "./VueComputedRef";
 export * from "./ContainerKeyGuarantee";
 export * from "./ContainerBlockKey";
+export * from "./RuntimeUnion";
+export * from "./Shape";
+export * from "./DoneFnTuple";
+export * from "./Choices";
+export * from "./FromDefn";
+export * from "./FromTokenNames";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/literals/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,SAAS,CAAC;AACxB,cAAc,qBAAqB,CAAC;AACpC,cAAc,cAAc,CAAC;AAC7B,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,OAAO,CAAC;AACtB,cAAc,UAAU,CAAC;AACzB,cAAc,yBAAyB,CAAC;AACxC,cAAc,qBAAqB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/literals/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,SAAS,CAAC;AACxB,cAAc,qBAAqB,CAAC;AACpC,cAAc,cAAc,CAAC;AAC7B,cAAc,UAAU,CAAC;AACzB,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,OAAO,CAAC;AACtB,cAAc,UAAU,CAAC;AACzB,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,qBAAqB,CAAC;AACpC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,SAAS,CAAC;AACxB,cAAc,eAAe,CAAC;AAC9B,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,kBAAkB,CAAC"}

package/dist/types/literals/index.js

@@ -2,9 +2,17 @@ export * from "./OptRequired.js";
 export * from "./Color.js";
 export * from "./ExpandRecursively.js";
 export * from "./Narrowable.js";
+export * from "./Narrow.js";
 export * from "./NarrowableDefined.js";
 export * from "./NarrowableScalar.js";
 export * from "./Box.js";
 export * from "./VueRef.js";
+export * from "./VueComputedRef.js";
 export * from "./ContainerKeyGuarantee.js";
 export * from "./ContainerBlockKey.js";
+export * from "./RuntimeUnion.js";
+export * from "./Shape.js";
+export * from "./DoneFnTuple.js";
+export * from "./Choices.js";
+export * from "./FromDefn.js";
+export * from "./FromTokenNames.js";

package/dist/types/numeric-literals/Abs.d.ts

@@ -1,4 +1,5 @@
-import { IfLiteral, NumberLike, AsNumber, StripLeading } from "../index";
+import { NumberLike, AsNumber, StripLeading, IsStringLiteral, If, AsString } from "../index";
+type Process<T extends `${number}`> = If<IsStringLiteral<T>, StripLeading<T, "-">, string>;
 /**
  * **Abs**`<T>`
  *
@@ -6,8 +7,7 @@ import { IfLiteral, NumberLike, AsNumber, StripLeading } from "../index";
  *
  * - you can pass in a numeric string literal and it perform ABS func while
  * preserving string literal type
- * - wide numeric types are not allowed and will resolve to `never`; use `AbsMaybe`
- * if you want to allow wide types through
  */
-export type Abs<T extends NumberLike> = IfLiteral<T, T extends `${number}` ? StripLeading<`${T}`, "-"> : AsNumber<StripLeading<`${T}`, "-">>, number>;
+export type Abs<T extends NumberLike> = T extends number ? AsNumber<Process<AsString<T>>> : T extends `${number}` ? Process<T> : never;
+export {};
 //# sourceMappingURL=Abs.d.ts.map

package/dist/types/numeric-literals/Abs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Abs.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Abs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAG,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,iBAAwB;AAGjF;;;;;;;;;GASG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,UAAU,IAAI,SAAS,CAC/C,CAAC,EACD,CAAC,SAAS,GAAG,MAAM,EAAE,GACnB,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GACzB,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,EACrC,MAAM,CACP,CAAC"}
+{"version":3,"file":"Abs.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Abs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,eAAe,EACf,EAAE,EACF,QAAQ,EACT,iBAAwB;AAEzB,KAAK,OAAO,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI,EAAE,CACtC,eAAe,CAAC,CAAC,CAAC,EAClB,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,EACpB,MAAM,CACP,CAAC;AAGF;;;;;;;GAOG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS,MAAM,GACtD,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAC9B,CAAC,SAAS,GAAG,MAAM,EAAE,GACnB,OAAO,CAAC,CAAC,CAAC,GACV,KAAK,CAAC"}

package/dist/types/numeric-literals/AbsMaybe.d.ts

@@ -1,4 +1,4 @@
-import { IfLiteral, ToNumber, ToString, StripLeading } from "../index";
+import { ToNumber, StripLeading, If, Or, IsNumericLiteral, IsStringLiteral, AsString } from "../index";
 /**
  * **AbsMaybe**`<T>`
  *
@@ -10,5 +10,5 @@ import { IfLiteral, ToNumber, ToString, StripLeading } from "../index";
  * as the absolute value can not be known at design time; if you'd prefer to
  * block any wide types then use `Abs` instead
  */
-export type AbsMaybe<T extends number | `${number}`> = IfLiteral<T, T extends string ? StripLeading<T, "-"> : ToNumber<StripLeading<ToString<T>, "-">>, number>;
+export type AbsMaybe<T extends number | `${number}`> = If<Or<[IsNumericLiteral<T>, IsStringLiteral<T>]>, T extends string ? StripLeading<T, "-"> : ToNumber<StripLeading<AsString<T>, "-">>, number>;
 //# sourceMappingURL=AbsMaybe.d.ts.map

package/dist/types/numeric-literals/AbsMaybe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AbsMaybe.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/AbsMaybe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAG,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,iBAAwB;AAE/E;;;;;;;;;;GAUG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,IAAI,SAAS,CAC9D,CAAC,EACD,CAAC,SAAS,MAAM,GACZ,YAAY,CAAC,CAAC,EAAC,GAAG,CAAC,GACnB,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,EAE3C,MAAM,CACP,CAAC"}
+{"version":3,"file":"AbsMaybe.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/AbsMaybe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,QAAQ,EAAG,YAAY,EAAE,EAAE,EAAE,EAAE,EAAE,gBAAgB,EAAE,eAAe,EAAE,QAAQ,EAAE,iBAAwB;AAEhH;;;;;;;;;;GAUG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,IAAI,EAAE,CACvD,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,EAC7C,CAAC,SAAS,MAAM,GACZ,YAAY,CAAC,CAAC,EAAC,GAAG,CAAC,GACnB,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,EAE3C,MAAM,CACP,CAAC"}

package/dist/types/numeric-literals/Add.d.ts

@@ -1,11 +1,13 @@
-import { IfAnd, IfOr, IsString, IsNegativeNumber } from "../boolean-logic";
-import { NumericChar } from "../string-literals";
+import { IsString, IsNegativeNumber, If, Or, And, IsWideType } from "../boolean-logic";
+import { AfterFirst } from "../lists/AfterFirst";
+import { NumericChar } from "../string-literals/character-sets/NumericChar";
+import { FixedLengthArray } from "../tuples/FixedLengthArray";
 import { AsNumber } from "../type-conversion/AsNumber";
+import { AsString } from "../type-conversion/AsString";
 import { Abs } from "./Abs";
-import { Negative } from "./Negative";
+import { Decrement } from "./Decrement";
 import { NumberLike } from "./NumberLike";
-type Or<left extends boolean, right extends boolean> = left extends true ? true : right extends true ? true : false;
-type CoalesceToString<n extends string | number | bigint> = n extends string ? n : `${n}`;
+type Either<left extends boolean, right extends boolean> = left extends true ? true : right extends true ? true : false;
 type DecrementDigit<digit extends NumericChar> = digit extends "1" ? "0" : digit extends "2" ? "1" : digit extends "3" ? "2" : digit extends "4" ? "3" : digit extends "5" ? "4" : digit extends "6" ? "5" : digit extends "7" ? "6" : digit extends "8" ? "7" : digit extends "9" ? "8" : digit extends "10" ? "9" : never;
 type IncrementDigit<digit extends NumericChar> = digit extends "0" ? {
     result: "1";
@@ -45,7 +47,7 @@ type SingleDigitSumResult<result extends NumericChar, carry extends boolean> = {
 type SumSingleDigits<left extends NumericChar, right extends NumericChar, carryIn extends boolean = false, carryOut extends boolean = false> = carryIn extends true ? IncrementDigit<left> extends SingleDigitSumResult<infer leftIncremented, infer carryOutFromIncrement> ? SumSingleDigits<leftIncremented, right, false, carryOutFromIncrement> : never : right extends "0" ? {
     result: left;
     carry: carryOut;
-} : IncrementDigit<left> extends SingleDigitSumResult<infer leftIncremented, infer carryOutFromIncrement> ? SumSingleDigits<leftIncremented, DecrementDigit<right>, false, Or<carryOut, carryOutFromIncrement>> : never;
+} : IncrementDigit<left> extends SingleDigitSumResult<infer leftIncremented, infer carryOutFromIncrement> ? SumSingleDigits<leftIncremented, DecrementDigit<right>, false, Either<carryOut, carryOutFromIncrement>> : never;
 type RightMostDigitResult<rest extends string, digit extends NumericChar> = {
     rest: rest;
     digit: digit;
@@ -55,6 +57,9 @@ type RightMostDigit<s extends string> = s extends `${infer rest}${NumericChar}`
     digit: digit;
 } : never : never;
 type SumStrings<left extends string, right extends string, accumulatedResultDigits extends string = "", carry extends boolean = false> = "" extends left ? "" extends right ? carry extends true ? `1${accumulatedResultDigits}` : accumulatedResultDigits : RightMostDigit<right> extends RightMostDigitResult<infer remainingRight, infer rightDigit> ? SumSingleDigits<"0", rightDigit, carry> extends SingleDigitSumResult<infer resultDigit, infer resultCarry> ? SumStrings<"", remainingRight, `${resultDigit}${accumulatedResultDigits}`, resultCarry> : never : never : "" extends right ? RightMostDigit<left> extends RightMostDigitResult<infer remainingLeft, infer leftDigit> ? SumSingleDigits<"0", leftDigit, carry> extends SingleDigitSumResult<infer resultDigit, infer resultCarry> ? SumStrings<remainingLeft, "", `${resultDigit}${accumulatedResultDigits}`, resultCarry> : never : never : RightMostDigit<left> extends RightMostDigitResult<infer remainingLeft, infer leftDigit> ? RightMostDigit<right> extends RightMostDigitResult<infer remainingRight, infer rightDigit> ? SumSingleDigits<leftDigit, rightDigit, carry> extends SingleDigitSumResult<infer resultDigit, infer resultCarry> ? SumStrings<remainingLeft, remainingRight, `${resultDigit}${accumulatedResultDigits}`, resultCarry> : never : never : never;
+type _Subtract<TValue extends `${number}`, TCountArr extends readonly unknown[]> = [] extends TCountArr ? TValue : _Subtract<Decrement<TValue>, AfterFirst<TCountArr>>;
+type Process<A extends `${number}`, B extends `${number}`> = And<[IsNegativeNumber<A>, IsNegativeNumber<B>]> extends true ? Abs<A> extends `${number}` ? Abs<B> extends `${number}` ? `-${SumStrings<Abs<A>, Abs<B>>}` : never : never : IsNegativeNumber<B> extends true ? FixedLengthArray<unknown, AsNumber<Abs<B>>> extends readonly unknown[] ? _Subtract<A, FixedLengthArray<unknown, AsNumber<Abs<B>>>> : never : IsNegativeNumber<A> extends true ? FixedLengthArray<unknown, AsNumber<Abs<A>>> extends readonly unknown[] ? _Subtract<B, FixedLengthArray<unknown, AsNumber<Abs<A>>>> : never : SumStrings<A, B>;
+type CheckWide<A extends NumberLike, B extends NumberLike> = IsWideType<A> extends true ? true : IsWideType<B> extends true ? true : false;
 /**
  * **Add**`<A,B>`
  *
@@ -63,15 +68,6 @@ type SumStrings<left extends string, right extends string, accumulatedResultDigi
  * - if either or both `A` and `B` are a `${number}` then a `${number}` type is returned
  * - if both are numeric values than the type is `number`.
  */
-export type Add<A extends NumberLike, B extends NumberLike> = IfAnd<[
-    IsNegativeNumber<A>,
-    IsNegativeNumber<B>
-], IfOr<[
-    IsString<A>,
-    IsString<B>
-], `-${SumStrings<CoalesceToString<Abs<A>>, CoalesceToString<Abs<B>>>}`, Negative<AsNumber<SumStrings<CoalesceToString<Abs<A>>, CoalesceToString<Abs<B>>>>>>, IfOr<[
-    IsString<A>,
-    IsString<B>
-], SumStrings<CoalesceToString<A>, CoalesceToString<B>>, AsNumber<SumStrings<CoalesceToString<A>, CoalesceToString<B>>>>>;
+export type Add<A extends NumberLike, B extends NumberLike> = CheckWide<A, B> extends true ? Or<[IsString<A>, IsString<A>]> extends true ? string : number : Or<[IsWideType<A>, IsWideType<B>]> extends true ? If<Or<[IsString<A>, IsString<A>]>, string, number> : Or<[IsString<A>, IsString<B>]> extends true ? Process<AsString<A>, AsString<B>> : AsNumber<Process<AsString<A>, AsString<B>>>;
 export {};
 //# sourceMappingURL=Add.d.ts.map

package/dist/types/numeric-literals/Add.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Add.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Add.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,GAAG,EAAE,MAAM,OAAO,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,KAAK,EAAE,CAAC,IAAI,SAAS,OAAO,EAAE,KAAK,SAAS,OAAO,IACjD,IAAI,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC;AAE/D,KAAK,gBAAgB,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,MAAM,GAAG,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;AAE1F,KAAK,cAAc,CAAC,KAAK,SAAS,WAAW,IAC3C,KAAK,SAAS,GAAG,GAAG,GAAG,GACrB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,IAAI,GAAG,GAAG,GACxB,KAAK,CAAC;AAEV,KAAK,cAAc,CAAC,KAAK,SAAS,WAAW,IAC3C,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAC,GAC9C,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GAChD,KAAK,CAAC;AAEV,KAAK,oBAAoB,CAAC,MAAM,SAAS,WAAW,EAAE,KAAK,SAAS,OAAO,IAAI;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAEhH,KAAK,eAAe,CAAC,IAAI,SAAS,WAAW,EAAE,KAAK,SAAS,WAAW,EAAE,OAAO,SAAS,OAAO,GAAG,KAAK,EAAE,QAAQ,SAAS,OAAO,GAAG,KAAK,IACzI,OAAO,SAAS,IAAI,GAChB,cAAc,CAAC,IAAI,CAAC,SAAS,oBAAoB,CAAC,MAAM,eAAe,EAAE,MAAM,qBAAqB,CAAC,GACnG,eAAe,CAAC,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,CAAC,GACrE,KAAK,GACP,KAAK,SAAS,GAAG,GACf;IAAE,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GACjC,cAAc,CAAC,IAAI,CAAC,SAAS,oBAAoB,CAAC,MAAM,eAAe,EAAE,MAAM,qBAAqB,CAAC,GACnG,eAAe,CAAC,eAAe,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC,GACnG,KAAK,CAAC;AAEhB,KAAK,oBAAoB,CAAC,IAAI,SAAS,MAAM,EAAE,KAAK,SAAS,WAAW,IAAI;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAEzG,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,IAClC,CAAC,SAAS,GAAG,MAAM,IAAI,GAAG,WAAW,EAAE,GACnC,CAAC,SAAS,GAAG,IAAI,GAAG,MAAM,KAAK,EAAE,GAC/B;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAC5B,KAAK,GACP,KAAK,CAAC;AAEZ,KAAK,UAAU,CAAC,IAAI,SAAS,MAAM,EAAE,KAAK,SAAS,MAAM,EAAE,uBAAuB,SAAS,MAAM,GAAG,EAAE,EAAE,KAAK,SAAS,OAAO,GAAG,KAAK,IACnI,EAAE,SAAS,IAAI,GAEX,EAAE,SAAS,KAAK,GAEd,KAAK,SAAS,IAAI,GAAG,IAAI,uBAAuB,EAAE,GAAG,uBAAuB,GAE5E,cAAc,CAAC,KAAK,CAAC,SAAS,oBAAoB,CAAC,MAAM,cAAc,EAAE,MAAM,UAAU,CAAC,GACxF,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,SAAS,oBAAoB,CAAC,MAAM,WAAW,EAAE,MAAM,WAAW,CAAC,GACxG,UAAU,CAAC,EAAE,EAAE,cAAc,EAAE,GAAG,WAAW,GAAG,uBAAuB,EAAE,EAAE,WAAW,CAAC,GACvF,KAAK,GACP,KAAK,GAET,EAAE,SAAS,KAAK,GAEd,cAAc,CAAC,IAAI,CAAC,SAAS,oBAAoB,CAAC,MAAM,aAAa,EAAE,MAAM,SAAS,CAAC,GACrF,eAAe,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,oBAAoB,CAAC,MAAM,WAAW,EAAE,MAAM,WAAW,CAAC,GACvG,UAAU,CAAC,aAAa,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,uBAAuB,EAAE,EAAE,WAAW,CAAC,GACtF,KAAK,GACP,KAAK,GAEP,cAAc,CAAC,IAAI,CAAC,SAAS,oBAAoB,CAAC,MAAM,aAAa,EAAE,MAAM,SAAS,CAAC,GACrF,cAAc,CAAC,KAAK,CAAC,SAAS,oBAAoB,CAAC,MAAM,cAAc,EAAE,MAAM,UAAU,CAAC,GACxF,eAAe,CAAC,SAAS,EAAE,UAAU,EAAE,KAAK,CAAC,SAAS,oBAAoB,CAAC,MAAM,WAAW,EAAE,MAAM,WAAW,CAAC,GAC9G,UAAU,CAAC,aAAa,EAAE,cAAc,EAAE,GAAG,WAAW,GAAG,uBAAuB,EAAE,EAAE,WAAW,CAAC,GAClG,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEhB;;;;;;;GAOG;AACH,MAAM,MAAM,GAAG,CACb,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,UAAU,IAClB,KAAK,CACP;IAAE,gBAAgB,CAAC,CAAC,CAAC;IAAE,gBAAgB,CAAC,CAAC,CAAC;CAAE,EAE5C,IAAI,CACF;IAAE,QAAQ,CAAC,CAAC,CAAC;IAAE,QAAQ,CAAC,CAAC,CAAC;CAAE,EAE5B,IAAI,UAAU,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAEpE,QAAQ,CAAC,QAAQ,CACf,UAAU,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAC,CACH,EAED,IAAI,CACF;IAAE,QAAQ,CAAC,CAAC,CAAC;IAAE,QAAQ,CAAC,CAAC,CAAC;CAAE,EAC5B,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,EACpD,QAAQ,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D,CACF,CAAC"}
+{"version":3,"file":"Add.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Add.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACvF,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,GAAG,EAAE,MAAM,OAAO,CAAC;AAC5B,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,KAAK,MAAM,CAAC,IAAI,SAAS,OAAO,EAAE,KAAK,SAAS,OAAO,IACrD,IAAI,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC;AAE/D,KAAK,cAAc,CAAC,KAAK,SAAS,WAAW,IAC3C,KAAK,SAAS,GAAG,GAAG,GAAG,GACrB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,GAAG,GAAG,GAAG,GACvB,KAAK,SAAS,IAAI,GAAG,GAAG,GACxB,KAAK,CAAC;AAEV,KAAK,cAAc,CAAC,KAAK,SAAS,WAAW,IAC3C,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAC,GAC9C,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,KAAK,SAAS,GAAG,GAAG;IAAE,MAAM,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GAChD,KAAK,CAAC;AAEV,KAAK,oBAAoB,CAAC,MAAM,SAAS,WAAW,EAAE,KAAK,SAAS,OAAO,IAAI;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAEhH,KAAK,eAAe,CAAC,IAAI,SAAS,WAAW,EAAE,KAAK,SAAS,WAAW,EAAE,OAAO,SAAS,OAAO,GAAG,KAAK,EAAE,QAAQ,SAAS,OAAO,GAAG,KAAK,IACzI,OAAO,SAAS,IAAI,GAChB,cAAc,CAAC,IAAI,CAAC,SAAS,oBAAoB,CAAC,MAAM,eAAe,EAAE,MAAM,qBAAqB,CAAC,GACnG,eAAe,CAAC,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,CAAC,GACrE,KAAK,GACP,KAAK,SAAS,GAAG,GACf;IAAE,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GACjC,cAAc,CAAC,IAAI,CAAC,SAAS,oBAAoB,CAAC,MAAM,eAAe,EAAE,MAAM,qBAAqB,CAAC,GACnG,eAAe,CAAC,eAAe,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC,GACvG,KAAK,CAAC;AAEhB,KAAK,oBAAoB,CAAC,IAAI,SAAS,MAAM,EAAE,KAAK,SAAS,WAAW,IAAI;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAEzG,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,IAClC,CAAC,SAAS,GAAG,MAAM,IAAI,GAAG,WAAW,EAAE,GACnC,CAAC,SAAS,GAAG,IAAI,GAAG,MAAM,KAAK,EAAE,GAC/B;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAC5B,KAAK,GACP,KAAK,CAAC;AAEZ,KAAK,UAAU,CACb,IAAI,SAAS,MAAM,EACnB,KAAK,SAAS,MAAM,EACpB,uBAAuB,SAAS,MAAM,GAAG,EAAE,EAC3C,KAAK,SAAS,OAAO,GAAG,KAAK,IAE7B,EAAE,SAAS,IAAI,GAEX,EAAE,SAAS,KAAK,GAEd,KAAK,SAAS,IAAI,GAAG,IAAI,uBAAuB,EAAE,GAAG,uBAAuB,GAE5E,cAAc,CAAC,KAAK,CAAC,SAAS,oBAAoB,CAAC,MAAM,cAAc,EAAE,MAAM,UAAU,CAAC,GACxF,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,SAAS,oBAAoB,CAAC,MAAM,WAAW,EAAE,MAAM,WAAW,CAAC,GACxG,UAAU,CAAC,EAAE,EAAE,cAAc,EAAE,GAAG,WAAW,GAAG,uBAAuB,EAAE,EAAE,WAAW,CAAC,GACvF,KAAK,GACP,KAAK,GAET,EAAE,SAAS,KAAK,GAEd,cAAc,CAAC,IAAI,CAAC,SAAS,oBAAoB,CAAC,MAAM,aAAa,EAAE,MAAM,SAAS,CAAC,GACrF,eAAe,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,oBAAoB,CAAC,MAAM,WAAW,EAAE,MAAM,WAAW,CAAC,GACvG,UAAU,CAAC,aAAa,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,uBAAuB,EAAE,EAAE,WAAW,CAAC,GACtF,KAAK,GACP,KAAK,GAEP,cAAc,CAAC,IAAI,CAAC,SAAS,oBAAoB,CAAC,MAAM,aAAa,EAAE,MAAM,SAAS,CAAC,GACrF,cAAc,CAAC,KAAK,CAAC,SAAS,oBAAoB,CAAC,MAAM,cAAc,EAAE,MAAM,UAAU,CAAC,GACxF,eAAe,CAAC,SAAS,EAAE,UAAU,EAAE,KAAK,CAAC,SAAS,oBAAoB,CAAC,MAAM,WAAW,EAAE,MAAM,WAAW,CAAC,GAC9G,UAAU,CAAC,aAAa,EAAE,cAAc,EAAE,GAAG,WAAW,GAAG,uBAAuB,EAAE,EAAE,WAAW,CAAC,GAClG,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEhB,KAAK,SAAS,CACZ,MAAM,SAAS,GAAG,MAAM,EAAE,EAC1B,SAAS,SAAS,SAAS,OAAO,EAAE,IAClC,EAAE,SAAS,SAAS,GACtB,MAAM,GACN,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;AAGtD,KAAK,OAAO,CACV,CAAC,SAAS,GAAG,MAAM,EAAE,EACrB,CAAC,SAAS,GAAG,MAAM,EAAE,IACnB,GAAG,CAAC,CAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAE,CAAC,SAAS,IAAI,GAE9D,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,GACxB,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,GACxB,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAChC,KAAK,GACP,KAAK,GACP,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9B,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GACpE,SAAS,CAAC,CAAC,EAAC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxD,KAAK,GACP,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9B,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GACpE,SAAS,CAAC,CAAC,EAAC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxD,KAAK,GACP,UAAU,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC;AAExB,KAAK,SAAS,CACd,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,UAAU,IAChB,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAC5B,IAAI,GACJ,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAC1B,IAAI,GACJ,KAAK,CAAC;AAER;;;;;;;GAOG;AACH,MAAM,MAAM,GAAG,CACf,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,UAAU,IAChB,SAAS,CAAC,CAAC,EAAC,CAAC,CAAC,SAAS,IAAI,GAC7B,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACvC,MAAM,GACN,MAAM,GAET,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAE5C,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,GAEjD,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACxC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAChC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/dist/types/numeric-literals/AsNumberWhenPossible.d.ts

@@ -1,9 +1,9 @@
-import { IfUnion, ToNumber, TupleToUnion, UnionToTuple } from "../index";
+import { If, IsUnion, ToNumber, TupleToUnion, UnionToTuple } from "../index";
 type Convert<T> = T extends `${number}` ? ToNumber<T> : T;
 type ConvertTuple<T> = T extends unknown[] ? {
     [K in keyof T]: Convert<T[K]>;
 } : never;
-type ConvertUnion<T> = IfUnion<T, TupleToUnion<ConvertTuple<UnionToTuple<T>>>, never>;
+type ConvertUnion<T> = If<IsUnion<T>, TupleToUnion<ConvertTuple<UnionToTuple<T>>>, never>;
 /**
  * **AsNumberWhenPossible**`<T>`
  *
@@ -17,6 +17,6 @@ type ConvertUnion<T> = IfUnion<T, TupleToUnion<ConvertTuple<UnionToTuple<T>>>, n
  * literal values will be converted to a numeric literal but the return type will
  * still be a _union_.
  */
-export type AsNumberWhenPossible<T> = IfUnion<T, ConvertUnion<T>, T extends readonly unknown[] ? ConvertTuple<T> : Convert<T>>;
+export type AsNumberWhenPossible<T> = If<IsUnion<T>, ConvertUnion<T>, T extends readonly unknown[] ? ConvertTuple<T> : Convert<T>>;
 export {};
 //# sourceMappingURL=AsNumberWhenPossible.d.ts.map

package/dist/types/numeric-literals/AsNumberWhenPossible.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AsNumberWhenPossible.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/AsNumberWhenPossible.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAG,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,iBAAwB;AAGjF,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,GACnC,QAAQ,CAAC,CAAC,CAAC,GACX,CAAC,CAAC;AAGN,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,EAAE,GACxC;KACC,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC9B,GACC,KAAK,CAAC;AAGR,KAAK,YAAY,CAAC,CAAC,IAAI,OAAO,CAC5B,CAAC,EACD,YAAY,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAC3C,KAAK,CACN,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,OAAO,CAC3C,CAAC,EACD,YAAY,CAAC,CAAC,CAAC,EACf,CAAC,SAAS,SAAS,OAAO,EAAE,GACxB,YAAY,CAAC,CAAC,CAAC,GACf,OAAO,CAAC,CAAC,CAAC,CACf,CAAC"}
+{"version":3,"file":"AsNumberWhenPossible.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/AsNumberWhenPossible.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,OAAO,EAAG,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,iBAAwB;AAGrF,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,GACnC,QAAQ,CAAC,CAAC,CAAC,GACX,CAAC,CAAC;AAGN,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,EAAE,GACxC;KACC,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC9B,GACC,KAAK,CAAC;AAGR,KAAK,YAAY,CAAC,CAAC,IAAI,EAAE,CACvB,OAAO,CAAC,CAAC,CAAC,EACV,YAAY,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAC3C,KAAK,CACN,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,EAAE,CACtC,OAAO,CAAC,CAAC,CAAC,EACV,YAAY,CAAC,CAAC,CAAC,EACf,CAAC,SAAS,SAAS,OAAO,EAAE,GACxB,YAAY,CAAC,CAAC,CAAC,GACf,OAAO,CAAC,CAAC,CAAC,CACf,CAAC"}

package/dist/types/numeric-literals/Decrement.d.ts

@@ -1,4 +1,4 @@
-import { Tuple, Length, FixedLengthArray, ToNumber } from "../index";
+import { Tuple, Length, FixedLengthArray } from "../index";
 type Pop<T extends Tuple> = Length<T> extends 0 ? 0 : T extends [unknown, ...(infer Rest)] ? Length<Rest> : never;
 /**
  * **Decrement**`<T>`
@@ -8,6 +8,6 @@ type Pop<T extends Tuple> = Length<T> extends 0 ? 0 : T extends [unknown, ...(in
  *
  * - Once reaching zero the Decrement<T> utility will stay at 0
  */
-export type Decrement<T extends number | `${number}`> = T extends number ? Pop<FixedLengthArray<unknown, T>> : T extends `${number}` ? `${Decrement<ToNumber<T>>}` : never;
+export type Decrement<T extends number | `${number}`> = T extends number ? Pop<FixedLengthArray<unknown, T>> : T extends `${infer Num extends number}` ? `${Decrement<Num>}` : never;
 export {};
 //# sourceMappingURL=Decrement.d.ts.map

package/dist/types/numeric-literals/Decrement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Decrement.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Decrement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,iBAAwB;AAE5E,KAAK,GAAG,CAAC,CAAC,SAAS,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAC3C,CAAC,GACD,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAClC,MAAM,CAAC,IAAI,CAAC,GACZ,KAAK,CAAC;AAEZ;;;;;;;GAOG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,MAAM,GACpE,GAAG,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,GACjC,CAAC,SAAS,GAAG,MAAM,EAAE,GACnB,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAC3B,KAAK,CAAC"}
+{"version":3,"file":"Decrement.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Decrement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,iBAAwB;AAElE,KAAK,GAAG,CAAC,CAAC,SAAS,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAC3C,CAAC,GACD,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAClC,MAAM,CAAC,IAAI,CAAC,GACZ,KAAK,CAAC;AAEZ;;;;;;;GAOG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,MAAM,GACpE,GAAG,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,GACjC,CAAC,SAAS,GAAG,MAAM,GAAG,SAAS,MAAM,EAAE,GACrC,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,GACnB,KAAK,CAAC"}

package/dist/types/numeric-literals/Digitize.d.ts

@@ -1,4 +1,4 @@
-import { IfNotLiteral, IsNegativeNumber, NumericChar, ToString, Abs, Digital, DigitalLiteral } from "../index";
+import { IsNegativeNumber, NumericChar, ToString, Abs, Digital, DigitalLiteral, AfterFirst, AsNumber, First, IsLiteral, Not, If } from "../index";
 type HasMoreThanOneDigit<T extends `${number}`> = T extends `${NumericChar}${NumericChar}${string}` ? true : false;
 type MostSignificantDigit<T extends `${number}`> = HasMoreThanOneDigit<T> extends true ? T extends `${infer Digit}${NumericChar}${string}` ? Digit & NumericChar : never : T & NumericChar;
 type RemainingDigits<T extends `${number}`> = T extends `${NumericChar}${number}` ? T extends `${NumericChar}${infer Rest}` ? Rest : never : T;
@@ -7,6 +7,10 @@ type _Digitize<TNumber extends `${number}`, TResults extends readonly NumericCha
     ...TResults,
     MostSignificantDigit<TNumber>
 ]> : [...TResults, MostSignificantDigit<TNumber>];
+type AsNumericElements<TIn extends readonly `${number}`[], TOut extends readonly number[] = []> = [] extends TIn ? TOut : AsNumericElements<AfterFirst<TIn>, [
+    ...TOut,
+    AsNumber<First<TIn>>
+]>;
 /**
  * **Digitize**`<T>`
  *
@@ -19,9 +23,12 @@ type _Digitize<TNumber extends `${number}`, TResults extends readonly NumericCha
  * type S = Digitize<"-123">;
  * ```
  */
-export type Digitize<T extends `${number}` | number> = IfNotLiteral<T, never, T extends `${number}` ? [
+export type Digitize<T extends `${number}` | number> = If<Not<IsLiteral<T>>, never, T extends `${number}` ? [
     Sign<T>,
     Readonly<_Digitize<ToString<Abs<T>>>>
-] & DigitalLiteral : T extends number ? [Sign<T>, Readonly<_Digitize<ToString<Abs<T>>>>] & Digital : never>;
+] & DigitalLiteral : T extends number ? [
+    Sign<T>,
+    _Digitize<ToString<Abs<T>>> extends readonly `${number}`[] ? Readonly<AsNumericElements<_Digitize<ToString<Abs<T>>>>> : never
+] & Digital : never>;
 export {};
 //# sourceMappingURL=Digitize.d.ts.map

package/dist/types/numeric-literals/Digitize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Digitize.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Digitize.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,QAAQ,EACR,GAAG,EACH,OAAO,EACP,cAAc,EACjB,iBAAwB;AAEzB,KAAK,mBAAmB,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,WAAW,GAAG,WAAW,GAAG,MAAM,EAAE,GAC/F,IAAI,GACJ,KAAK,CAAC;AAEV,KAAK,oBAAoB,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI,mBAAmB,CAAC,CAAC,CAAC,SAAS,IAAI,GAClF,CAAC,SAAS,GAAG,MAAM,KAAK,GAAG,WAAW,GAAG,MAAM,EAAE,GAC/C,KAAK,GAAG,WAAW,GACnB,KAAK,GACP,CAAC,GAAG,WAAW,CAAC;AAEpB,KAAK,eAAe,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,WAAW,GAAG,MAAM,EAAE,GAC7E,CAAC,SAAS,GAAG,WAAW,GAAG,MAAM,IAAI,EAAE,GACrC,IAAI,GACJ,KAAK,GACP,CAAC,CAAC;AAEN,KAAK,IAAI,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,GAAG,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GACxE,GAAG,GACH,GAAG,CAAC;AAER,KAAK,SAAS,CACZ,OAAO,SAAS,GAAG,MAAM,EAAE,EAC3B,QAAQ,SAAS,SAAS,WAAW,EAAE,GAAG,EAAE,IAC1C,mBAAmB,CAAC,OAAO,CAAC,SAAS,IAAI,GACzC,SAAS,CACP,eAAe,CAAC,OAAO,CAAC,EACxB;IAAC,GAAG,QAAQ;IAAE,oBAAoB,CAAC,OAAO,CAAC;CAAC,CAC7C,GACD,CAAC,GAAG,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC;AAEjD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,GAAG,MAAM,IAAI,YAAY,CACjE,CAAC,EACD,KAAK,EACL,CAAC,SAAS,GAAG,MAAM,EAAE,GACjB;IACA,IAAI,CAAC,CAAC,CAAC;IACP,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtC,GAAG,cAAc,GAChB,CAAC,SAAS,MAAM,GACd,CAAE,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAC3D,KAAK,CACZ,CAAC"}
+{"version":3,"file":"Digitize.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Digitize.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,gBAAgB,EAChB,WAAW,EACX,QAAQ,EACR,GAAG,EACH,OAAO,EACP,cAAc,EACd,UAAU,EACV,QAAQ,EACR,KAAK,EACL,SAAS,EACT,GAAG,EACH,EAAE,EACL,iBAAwB;AAEzB,KAAK,mBAAmB,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,WAAW,GAAG,WAAW,GAAG,MAAM,EAAE,GAC/F,IAAI,GACJ,KAAK,CAAC;AAEV,KAAK,oBAAoB,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI,mBAAmB,CAAC,CAAC,CAAC,SAAS,IAAI,GAClF,CAAC,SAAS,GAAG,MAAM,KAAK,GAAG,WAAW,GAAG,MAAM,EAAE,GAC/C,KAAK,GAAG,WAAW,GACnB,KAAK,GACP,CAAC,GAAG,WAAW,CAAC;AAEpB,KAAK,eAAe,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,WAAW,GAAG,MAAM,EAAE,GAC7E,CAAC,SAAS,GAAG,WAAW,GAAG,MAAM,IAAI,EAAE,GACrC,IAAI,GACJ,KAAK,GACP,CAAC,CAAC;AAEN,KAAK,IAAI,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,GAAG,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GACxE,GAAG,GACH,GAAG,CAAC;AAER,KAAK,SAAS,CACZ,OAAO,SAAS,GAAG,MAAM,EAAE,EAC3B,QAAQ,SAAS,SAAS,WAAW,EAAE,GAAG,EAAE,IAC1C,mBAAmB,CAAC,OAAO,CAAC,SAAS,IAAI,GACzC,SAAS,CACP,eAAe,CAAC,OAAO,CAAC,EACxB;IAAC,GAAG,QAAQ;IAAE,oBAAoB,CAAC,OAAO,CAAC;CAAC,CAC7C,GACD,CAAC,GAAG,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC;AAEjD,KAAK,iBAAiB,CACpB,GAAG,SAAS,SAAS,GAAG,MAAM,EAAE,EAAE,EAClC,IAAI,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,IACjC,EAAE,SAAS,GAAG,GAChB,IAAI,GACJ,iBAAiB,CACf,UAAU,CAAC,GAAG,CAAC,EACf;IAAC,GAAG,IAAI;IAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;CAAC,CAChC,CAAC;AAEJ;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,QAAQ,CAClB,CAAC,SAAS,GAAG,MAAM,EAAE,GAAG,MAAM,IAC5B,EAAE,CACJ,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EACjB,KAAK,EACL,CAAC,SAAS,GAAG,MAAM,EAAE,GACjB;IACA,IAAI,CAAC,CAAC,CAAC;IACP,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtC,GAAG,cAAc,GAChB,CAAC,SAAS,MAAM,GACd;IACE,IAAI,CAAC,CAAC,CAAC;IACP,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAAG,MAAM,EAAE,EAAE,GACxD,QAAQ,CAAC,iBAAiB,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxD,KAAK;CACR,GAAG,OAAO,GACX,KAAK,CACZ,CAAC"}

package/dist/types/numeric-literals/Increment.d.ts

@@ -1,4 +1,4 @@
-import { Tuple, Length, FixedLengthArray, ToNumber, ToString } from "../index";
+import { Tuple, Length, FixedLengthArray, ToString, AsNumber } from "../index";
 type Push<T extends Tuple> = Length<[
     ...T,
     unknown
@@ -15,6 +15,6 @@ type Push<T extends Tuple> = Length<[
  * type T = Increment<"1">;
  * ```
  */
-export type Increment<T extends number | `${number}`> = T extends number ? Push<FixedLengthArray<unknown, T>> : T extends `${number}` ? ToString<Increment<ToNumber<T>>> : never;
+export type Increment<T extends number | `${number}`> = T extends number ? Push<FixedLengthArray<unknown, T>> : T extends `${number}` ? ToString<Increment<AsNumber<T>>> : never;
 export {};
 //# sourceMappingURL=Increment.d.ts.map

package/dist/types/numeric-literals/Increment.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Increment.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Increment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,iBAAwB;AAEtF,KAAK,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI,MAAM,CACjC;IAAC,GAAG,CAAC;IAAE,OAAO;CAAC,CAChB,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,MAAM,GACpE,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,GAClC,CAAC,SAAS,GAAG,MAAM,EAAE,GACnB,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAChC,KAAK,CAAC"}
+{"version":3,"file":"Increment.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Increment.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,MAAM,EACN,gBAAgB,EAChB,QAAQ,EACR,QAAQ,EACT,iBAAwB;AAEzB,KAAK,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI,MAAM,CACjC;IAAC,GAAG,CAAC;IAAE,OAAO;CAAC,CAChB,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,MAAM,GACpE,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,GAClC,CAAC,SAAS,GAAG,MAAM,EAAE,GACnB,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAChC,KAAK,CAAC"}

package/dist/types/numeric-literals/Negative.d.ts

@@ -1,8 +1,8 @@
-import { IsNegativeNumber, ToNumber, ToString } from "../index";
+import { AsNumber, AsString, IsNegativeNumber } from "../index";
 /**
  * **Negative**`<T>`
  *
  * Ensures that the number represented by `T` is a _negative_ number.
  */
-export type Negative<T extends number | `${number}`> = T extends `${number}` ? ToString<Negative<ToNumber<T>>> : IsNegativeNumber<T> extends true ? T : ToNumber<ToString<`-${T}`>>;
+export type Negative<T extends number | `${number}`> = T extends `${number}` ? AsString<Negative<AsNumber<T>>> : IsNegativeNumber<T> extends true ? T : AsNumber<AsString<`-${T}`>>;
 //# sourceMappingURL=Negative.d.ts.map

package/dist/types/numeric-literals/Negative.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Negative.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Negative.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAG,QAAQ,EAAE,QAAQ,EAAE,iBAAwB;AAExE;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,GACxE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAC/B,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9B,CAAC,GACD,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC"}
+{"version":3,"file":"Negative.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Negative.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,EAAE,iBAAwB;AAEvE;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,GACxE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAC/B,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9B,CAAC,GACD,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC"}

package/dist/types/numeric-literals/NextDigit.d.ts

@@ -1,4 +1,4 @@
-import { Digit, ToString, ToNumber, NumericChar } from "../index";
+import { Digit, ToString, NumericChar, AsNumber } from "../index";
 /**
  * **NextDigit**`<T>`
  *
@@ -14,5 +14,5 @@ import { Digit, ToString, ToNumber, NumericChar } from "../index";
  * type S = NextDigit<"4">;
  * ```
  */
-export type NextDigit<T extends Digit | NumericChar> = T extends `${NumericChar}` ? ToString<NextDigit<ToNumber<T>>> : T extends 0 ? 1 : T extends 1 ? 2 : T extends 2 ? 3 : T extends 3 ? 4 : T extends 4 ? 5 : T extends 5 ? 6 : T extends 6 ? 7 : T extends 7 ? 8 : T extends 8 ? 9 : T extends 9 ? 0 : never;
+export type NextDigit<T extends Digit | NumericChar> = T extends `${NumericChar}` ? ToString<NextDigit<AsNumber<T>>> : T extends 0 ? 1 : T extends 1 ? 2 : T extends 2 ? 3 : T extends 3 ? 4 : T extends 4 ? 5 : T extends 5 ? 6 : T extends 6 ? 7 : T extends 7 ? 8 : T extends 8 ? 9 : T extends 9 ? 0 : never;
 //# sourceMappingURL=NextDigit.d.ts.map

package/dist/types/numeric-literals/NextDigit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NextDigit.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/NextDigit.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,WAAW,EACZ,iBAAwB;AAEzB;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,KAAK,GAAG,WAAW,IAAI,CAAC,SAAS,GAAG,WAAW,EAAE,GAC/E,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAChC,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,KAAK,CAAC"}
+{"version":3,"file":"NextDigit.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/NextDigit.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,QAAQ,EACR,WAAW,EACX,QAAQ,EACT,iBAAwB;AAEzB;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,KAAK,GAAG,WAAW,IAAI,CAAC,SAAS,GAAG,WAAW,EAAE,GAC/E,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAChC,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,KAAK,CAAC"}

package/dist/types/numeric-literals/PriorDigit.d.ts

@@ -1,4 +1,4 @@
-import { Digit, NumericChar, ToString, ToNumber } from "../index";
+import { Digit, NumericChar, ToString, AsNumber } from "../index";
 /**
  * **PriorDigit**`<T>`
  *
@@ -14,5 +14,5 @@ import { Digit, NumericChar, ToString, ToNumber } from "../index";
  * type S = PriorDigit<"5">;
  * ```
  */
-export type PriorDigit<T extends Digit | NumericChar> = T extends `${NumericChar}` ? ToString<PriorDigit<ToNumber<T>>> : T extends 0 ? 9 : T extends 1 ? 0 : T extends 2 ? 1 : T extends 3 ? 2 : T extends 4 ? 3 : T extends 5 ? 4 : T extends 6 ? 5 : T extends 7 ? 6 : T extends 8 ? 7 : T extends 9 ? 8 : never;
+export type PriorDigit<T extends Digit | NumericChar> = T extends `${NumericChar}` ? ToString<PriorDigit<AsNumber<T>>> : T extends 0 ? 9 : T extends 1 ? 0 : T extends 2 ? 1 : T extends 3 ? 2 : T extends 4 ? 3 : T extends 5 ? 4 : T extends 6 ? 5 : T extends 7 ? 6 : T extends 8 ? 7 : T extends 9 ? 8 : never;
 //# sourceMappingURL=PriorDigit.d.ts.map

package/dist/types/numeric-literals/Subtract.d.ts

@@ -1,10 +1,10 @@
-import { Abs, IfGreaterThan, IfNegativeNumber, Negative, Add } from "../index";
+import { Abs, IsGreaterThan, If, Negative, Add, IsNegativeNumber } from "../index";
 type Iterate<T extends number, A extends number[] = []> = A["length"] extends T ? A : Iterate<T, [...A, A["length"]]>;
 type LengthDiff<A extends unknown[], B extends unknown[]> = A extends [
     unknown,
     ...infer ATail
 ] ? B extends [unknown, ...infer BTail] ? LengthDiff<ATail, BTail> : A["length"] : B extends [] ? 0 : never;
-export type Subtract<A extends number, B extends number> = IfNegativeNumber<B, // second operand is negative so switch to addition
-Add<A, Abs<B>>, IfGreaterThan<A, B, LengthDiff<Iterate<A>, Iterate<B>>, Negative<LengthDiff<Iterate<B>, Iterate<A>>>>>;
+export type Subtract<A extends number, B extends number> = If<IsNegativeNumber<B>, // second operand is negative so switch to addition
+Add<A, Abs<B>>, If<IsGreaterThan<A, B>, LengthDiff<Iterate<A>, Iterate<B>>, Negative<LengthDiff<Iterate<B>, Iterate<A>>>>>;
 export {};
 //# sourceMappingURL=Subtract.d.ts.map

package/dist/types/numeric-literals/Subtract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Subtract.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Subtract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,GAAG,EAAE,aAAa,EAAE,gBAAgB,EAAE,QAAQ,EAAE,GAAG,EAAE,iBAAwB;AAEvF,KAAK,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC3E,CAAC,GACD,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEpC,KAAK,UAAU,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS;IACpE,OAAO;IACP,GAAG,MAAM,KAAK;CACf,GACG,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,KAAK,CAAC,GACjC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,GACxB,CAAC,CAAC,QAAQ,CAAC,GACb,CAAC,SAAS,EAAE,GACZ,CAAC,GACD,KAAK,CAAC;AAGV,MAAM,MAAM,QAAQ,CAClB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,IAElB,gBAAgB,CACd,CAAC,EAAG,mDAAmD;AACvD,GAAG,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAEb,aAAa,CACX,CAAC,EAAE,CAAC,EACJ,UAAU,CACR,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,CACX,EACD,QAAQ,CAAC,UAAU,CACjB,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,CACX,CAAC,CACH,CACF,CAAC"}
+{"version":3,"file":"Subtract.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Subtract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,gBAAgB,EAAE,iBAAwB;AAE3F,KAAK,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC3E,CAAC,GACD,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEpC,KAAK,UAAU,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS;IACpE,OAAO;IACP,GAAG,MAAM,KAAK;CACf,GACG,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,KAAK,CAAC,GACjC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,GACxB,CAAC,CAAC,QAAQ,CAAC,GACb,CAAC,SAAS,EAAE,GACZ,CAAC,GACD,KAAK,CAAC;AAGV,MAAM,MAAM,QAAQ,CAClB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,IAElB,EAAE,CACA,gBAAgB,CAAC,CAAC,CAAC,EAAG,mDAAmD;AACzE,GAAG,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAEb,EAAE,CACA,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EACnB,UAAU,CACR,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,CACX,EACD,QAAQ,CAAC,UAAU,CACjB,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,CACX,CAAC,CACH,CACF,CAAC"}

package/dist/types/numeric-literals/ToInteger.d.ts

@@ -1,7 +1,7 @@
-import { IfExtends, Increment, ToNumber } from "../index";
+import { If, Extends, Increment, ToNumber } from "../index";
 export type ToIntegerOp = "truncate" | "round";
 type Truncate<T extends `${number}`> = T extends `${number}.${number}` ? T extends `${infer Q}.${number}` ? Q & `${number}` : never : T;
-type Round<T extends `${number}`> = T extends `${number}.${number}` ? T extends `${infer Q}.${infer D}${number}` ? IfExtends<D, "0" | "1" | "2" | "3" | "4", Q & `${number}`, Increment<Q & `${number}`>> : never : T;
+type Round<T extends `${number}`> = T extends `${number}.${number}` ? T extends `${infer Q}.${infer D}${number}` ? If<Extends<D, "0" | "1" | "2" | "3" | "4">, Q & `${number}`, Increment<Q & `${number}`>> : never : T;
 type EnsureKind<TKind extends number | `${number}`, TVal extends `${number}`> = TKind extends number ? ToNumber<TVal> : TVal;
 /**
  * **ToInteger**`<T>`

package/dist/types/numeric-literals/ToInteger.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ToInteger.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/ToInteger.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,iBAAwB;AAEjE,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC;AAE/C,KAAK,QAAQ,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,IACnC,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC3B,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,EAAE,GAC9B,CAAC,GAAG,GAAG,MAAM,EAAE,GACf,KAAK,GACP,CAAC,CAAC;AAEN,KAAK,KAAK,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC/D,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,EAAE,GACxC,SAAS,CACP,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,EAC9B,CAAC,GAAG,GAAG,MAAM,EAAE,EACf,SAAS,CAAC,CAAC,GAAG,GAAG,MAAM,EAAE,CAAC,CAC3B,GACD,KAAK,GACP,CAAC,CAAC;AAEN,KAAK,UAAU,CACb,KAAK,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,EAClC,IAAI,SAAS,GAAG,MAAM,EAAE,IACtB,KAAK,SAAS,MAAM,GACpB,QAAQ,CAAC,IAAI,CAAC,GACd,IAAI,CAAC;AAET;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,CACnB,IAAI,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,EACjC,GAAG,SAAS,WAAW,GAAG,UAAU,IAClC,GAAG,SAAS,UAAU,GACtB,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,IAAI,EAAE,GAAG,GAAG,MAAM,EAAE,CAAC,CAAC,GACnD,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,GAAG,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC"}
+{"version":3,"file":"ToInteger.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/ToInteger.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,iBAAwB;AAEnE,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC;AAE/C,KAAK,QAAQ,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,IACnC,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC3B,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,EAAE,GAC9B,CAAC,GAAG,GAAG,MAAM,EAAE,GACf,KAAK,GACP,CAAC,CAAC;AAEN,KAAK,KAAK,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC/D,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,EAAE,GACxC,EAAE,CACA,OAAO,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,EACvC,CAAC,GAAG,GAAG,MAAM,EAAE,EACf,SAAS,CAAC,CAAC,GAAG,GAAG,MAAM,EAAE,CAAC,CAC3B,GACD,KAAK,GACP,CAAC,CAAC;AAEN,KAAK,UAAU,CACb,KAAK,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,EAClC,IAAI,SAAS,GAAG,MAAM,EAAE,IACtB,KAAK,SAAS,MAAM,GACpB,QAAQ,CAAC,IAAI,CAAC,GACd,IAAI,CAAC;AAET;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,CACnB,IAAI,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,EACjC,GAAG,SAAS,WAAW,GAAG,UAAU,IAClC,GAAG,SAAS,UAAU,GACtB,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,IAAI,EAAE,GAAG,GAAG,MAAM,EAAE,CAAC,CAAC,GACnD,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,GAAG,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC"}

package/dist/types/numeric-literals/ToNumericArray.d.ts

@@ -1,17 +1,17 @@
-import { Tuple, ToNumber, IfTrue, IfReadonlyArray, NonEmptyContainer } from "../index";
-type _Convert<T extends Tuple> = IfTrue<NonEmptyContainer<T>, {
-    [K in keyof T]: ToNumber<T[K]>;
-}, number[]>;
+import { Tuple, IsReadonlyArray, IsNonEmptyContainer, ToNumber } from "../index";
+type _Convert<TInput extends Tuple> = IsNonEmptyContainer<TInput> extends true ? {
+    [K in keyof TInput]: ToNumber<TInput[K]>;
+} : number[];
 /**
  * **ToNumericArray**`<TList>`
  *
- * Type utility which accepts an array of numeric values _or_ a numeric
+ * Utility which accepts an array of numeric values _or_ a numeric
  * string literal and ensures that each element is made into a numeric value.
  *
  * - wide `number` types are fine and will be preserved as such
  * - numeric string literals will be converted to a narrow numeric type if
  * possible
  */
-export type ToNumericArray<TList extends Tuple> = IfReadonlyArray<TList, Readonly<_Convert<TList>>, _Convert<TList>>;
+export type ToNumericArray<TList extends Tuple> = IsReadonlyArray<TList> extends true ? Readonly<_Convert<TList>> : _Convert<TList>;
 export {};
 //# sourceMappingURL=ToNumericArray.d.ts.map

package/dist/types/numeric-literals/ToNumericArray.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ToNumericArray.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/ToNumericArray.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAG,eAAe,EAAE,iBAAiB,EAAC,iBAAwB;AAE9F,KAAK,QAAQ,CAAC,CAAC,SAAS,KAAK,IAC7B,MAAM,CACJ,iBAAiB,CAAC,CAAC,CAAC,EAEpB;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/B,EAED,MAAM,EAAE,CACT,CAAC;AAGF;;;;;;;;;GASG;AACH,MAAM,MAAM,cAAc,CACxB,KAAK,SAAS,KAAK,IACjB,eAAe,CACjB,KAAK,EACL,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EACzB,QAAQ,CAAC,KAAK,CAAC,CAChB,CAAC"}
+{"version":3,"file":"ToNumericArray.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/ToNumericArray.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAG,eAAe,EAAE,mBAAmB,EAAE,QAAQ,EAAC,iBAAwB;AAExF,KAAK,QAAQ,CACX,MAAM,SAAS,KAAK,IAClB,mBAAmB,CAAC,MAAM,CAAC,SAAS,IAAI,GACxC;KACC,CAAC,IAAI,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CACzC,GACC,MAAM,EAAE,CAAC;AAEb;;;;;;;;;GASG;AACH,MAAM,MAAM,cAAc,CACxB,KAAK,SAAS,KAAK,IACjB,eAAe,CAAC,KAAK,CAAC,SAAS,IAAI,GACnC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GACzB,QAAQ,CAAC,KAAK,CAAC,CAAC"}