inferred-types 0.51.0 → 0.51.2

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

@@ -0,0 +1,12 @@
+import { AsNumber, EnsureLeading, NumberLike, Zero } from "inferred-types/dist/types/index";
+type Process<T extends `${number}`> = EnsureLeading<T, "-">;
+/**
+ * **AsNegativeNumber**
+ *
+ * Ensures that the number-like value for `T` is a negative number.
+ *
+ * **Related**: `Abs`, `InvertNumericSign`
+ */
+export type AsNegativeNumber<T extends NumberLike> = T extends Zero ? T : T extends number ? AsNumber<Process<`${T}`>> extends number ? AsNumber<Process<`${T}`>> : never : T extends `${number}` ? Process<T> extends `${number}` ? Process<T> : never : never;
+export {};
+//# sourceMappingURL=AsNegativeNumber.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AsNegativeNumber.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/AsNegativeNumber.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,aAAa,EACb,UAAU,EACV,IAAI,EACL,MAAM,iCAAiC,CAAA;AAGxC,KAAK,OAAO,CACZ,CAAC,SAAS,GAAG,MAAM,EAAE,IACjB,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AAEzB;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,CAC1B,CAAC,SAAS,UAAU,IAClB,CAAC,SAAS,IAAI,GAChB,CAAC,GACD,CAAC,SAAS,MAAM,GACd,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,GACtC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GACzB,KAAK,GACP,CAAC,SAAS,GAAG,MAAM,EAAE,GACrB,OAAO,CAAC,CAAC,CAAC,SAAS,GAAG,MAAM,EAAE,GAC5B,OAAO,CAAC,CAAC,CAAC,GACV,KAAK,GACP,KAAK,CAAC"}

package/dist/types/numeric-literals/AsNegativeNumber.js

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

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

@@ -0,0 +1,22 @@
+import { If, IsUnion, ToNumber, TupleToUnion, UnionToTuple } from "inferred-types/dist/types/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> = If<IsUnion<T>, TupleToUnion<ConvertTuple<UnionToTuple<T>>>, never>;
+/**
+ * **AsNumberWhenPossible**`<T>`
+ *
+ * Takes any value `T` and either returns `T` as an _identity value_ or where
+ * it finds a string literal which can be converted to a number it will convert
+ * it to that number value.
+ *
+ * - if an array of values is passed in then the values are iterated over and
+ * the same process is applied to each.
+ * - if the type of `T` is a _union type_ then any numeric string literal in the
+ * literal values will be converted to a numeric literal but the return type will
+ * still be a _union_.
+ */
+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

@@ -0,0 +1 @@
+{"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,MAAM,iCAAiC,CAAC;AAGrG,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/AsNumberWhenPossible.js

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

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

@@ -0,0 +1,73 @@
+import { If, IsEqual } from "../boolean-logic";
+import { AsNumber } from "../type-conversion";
+import { NumberLike } from "./NumberLike";
+type Tighten<T extends string> = T extends ` ${infer Rest extends string}` ? T extends `  ${infer Double extends string}` ? Double : Rest : T;
+type Process<T extends string, Result extends readonly unknown[] = []> = T extends `${infer Element},${infer Rest}` ? Process<Rest, [
+    ...Result,
+    Tighten<Element> extends NumberLike ? AsNumber<Tighten<Element>> : Tighten<Element>
+]> : [
+    ...Result,
+    Tighten<T> extends NumberLike ? AsNumber<Tighten<T>> : Tighten<T>
+];
+type ProcessJsonTuple<T extends string, Result extends readonly unknown[] = []> = T extends `${infer Element},${infer Rest}` ? ProcessJsonTuple<Rest, [
+    ...Result,
+    Tighten<Element> extends NumberLike ? AsNumber<Tighten<Element>> : If<IsEqual<Tighten<Element>, "true">, true, If<IsEqual<Tighten<Element>, "false">, false, Tighten<`"${Element}"`>>>
+]> : [
+    ...Result,
+    Tighten<T> extends NumberLike ? AsNumber<Tighten<T>> : If<IsEqual<Tighten<T>, "true">, true, If<IsEqual<Tighten<T>, "false">, false, Tighten<`"${T}"`>>>
+];
+type ProcessStr<T extends string, Result extends readonly unknown[] = []> = T extends `${infer Element},${infer Rest}` ? ProcessStr<Rest, [
+    ...Result,
+    Tighten<Element>
+]> : [
+    ...Result,
+    Tighten<T>
+];
+type ProcessUnion<T extends string, Result extends string | number = never> = T extends `${infer Element},${infer Rest}` ? ProcessUnion<Rest, Tighten<Element> extends NumberLike ? Result | AsNumber<Tighten<Element>> : Result | Tighten<Element>> : Tighten<T> extends NumberLike ? Result | AsNumber<Tighten<T>> : Result | Tighten<T>;
+type ProcessUnionStr<T extends string, Result extends string | number = never> = T extends `${infer Element},${infer Rest}` ? ProcessUnionStr<Rest, Result | Tighten<Element>> : Result | Tighten<T>;
+/**
+ * **CsvToTuple**`<T>`
+ *
+ * Converts a CSV string into a tuple with both numbers
+ * and string literals extracted.
+ *
+ * **Related:** `CsvToTupleStr`, `CsvToUnion`
+ */
+export type CsvToTuple<T extends string> = Process<T>;
+/**
+ * **CsvToTupleStr**`<T>`
+ *
+ * Converts a CSV string into a tuple of string literals.
+ *
+ * **Related:** `CsvToTuple`
+ */
+export type CsvToTupleStr<T extends string> = ProcessStr<T>;
+/**
+ * **CsvToUnion**`<T>`
+ *
+ * Converts a CSV string into a union of string and/or numeric literals.
+ *
+ * **Related:** `CsvToTuple`, `CsvToStrUnion`
+ */
+export type CsvToUnion<T extends string> = ProcessUnion<T>;
+/**
+ * **CsvToStrUnion**`<T>`
+ *
+ * Converts a CSV string into a union of string literals.
+ *
+ * **Related:** `CsvToTuple`, `CsvToUnion`
+ */
+export type CsvToStrUnion<T extends string> = ProcessUnionStr<T>;
+/**
+ * **CsvToTuple**`<T>`
+ *
+ * Converts a CSV string into a tuple with both numbers
+ * and string literals but for the string literals it ensures
+ * -- just like you find with JSON strings -- that there are
+ * explicit double quotes around the string.
+ *
+ * **Related:** `CsvToTuple`, `CsvToTupleStr`, `CsvToUnion`
+ */
+export type CsvToJsonTuple<T extends string> = ProcessJsonTuple<T>;
+export {};
+//# sourceMappingURL=CSV.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"CSV.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/CSV.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG1C,KAAK,OAAO,CACV,CAAC,SAAS,MAAM,IACd,CAAC,SAAS,IAAI,MAAM,IAAI,SAAS,MAAM,EAAE,GAC3C,CAAC,SAAS,KAAK,MAAM,MAAM,SAAS,MAAM,EAAE,GAC1C,MAAM,GACN,IAAI,GACN,CAAC,CAAC;AAGJ,KAAK,OAAO,CACV,CAAC,SAAS,MAAM,EAChB,MAAM,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACpC,CAAC,SAAS,GAAG,MAAM,OAAO,IAAI,MAAM,IAAI,EAAE,GAC5C,OAAO,CACL,IAAI,EACJ;IACE,GAAG,MAAM;IACT,OAAO,CAAC,OAAO,CAAC,SAAS,UAAU,GAC/B,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAC1B,OAAO,CAAC,OAAO,CAAC;CACrB,CACF,GACD;IACE,GAAG,MAAM;IACT,OAAO,CAAC,CAAC,CAAC,SAAS,UAAU,GACvB,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GACpB,OAAO,CAAC,CAAC,CAAC;CACnB,CAAC;AAEF,KAAK,gBAAgB,CACnB,CAAC,SAAS,MAAM,EAChB,MAAM,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACpC,CAAC,SAAS,GAAG,MAAM,OAAO,IAAI,MAAM,IAAI,EAAE,GAC5C,gBAAgB,CACd,IAAI,EACJ;IACE,GAAG,MAAM;IACT,OAAO,CAAC,OAAO,CAAC,SAAS,UAAU,GAC/B,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAC1B,EAAE,CACA,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EACjC,IAAI,EACJ,EAAE,CACA,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,EAClC,KAAK,EACL,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,CACxB,CACF;CACN,CACF,GACD;IACE,GAAG,MAAM;IACT,OAAO,CAAC,CAAC,CAAC,SAAS,UAAU,GACvB,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GACpB,EAAE,CACA,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAC3B,IAAI,EACJ,EAAE,CACA,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAC5B,KAAK,EACL,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAClB,CACF;CACV,CAAC;AAIF,KAAK,UAAU,CACb,CAAC,SAAS,MAAM,EAChB,MAAM,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACpC,CAAC,SAAS,GAAG,MAAM,OAAO,IAAI,MAAM,IAAI,EAAE,GAC5C,UAAU,CACR,IAAI,EACJ;IACE,GAAG,MAAM;IACT,OAAO,CAAC,OAAO,CAAC;CACjB,CACF,GACD;IACE,GAAG,MAAM;IACT,OAAO,CAAC,CAAC,CAAC;CACX,CAAC;AAEJ,KAAK,YAAY,CACf,CAAC,SAAS,MAAM,EAChB,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,KAAK,IACpC,CAAC,SAAS,GAAG,MAAM,OAAO,IAAI,MAAM,IAAI,EAAE,GAC5C,YAAY,CACV,IAAI,EACJ,OAAO,CAAC,OAAO,CAAC,SAAS,UAAU,GAC7B,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GACnC,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAChC,GACD,OAAO,CAAC,CAAC,CAAC,SAAS,UAAU,GACrB,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAC7B,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAE9B,KAAK,eAAe,CAClB,CAAC,SAAS,MAAM,EAChB,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,KAAK,IACpC,CAAC,SAAS,GAAG,MAAM,OAAO,IAAI,MAAM,IAAI,EAAE,GAC5C,eAAe,CACb,IAAI,EACJ,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAC1B,GACD,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAEtB;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC;AAGtD;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;AAG5D;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;AAG3D;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC;AAEjE;;;;;;;;;GASG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC"}

package/dist/types/numeric-literals/CSV.js

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

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

@@ -0,0 +1,13 @@
+import { Tuple, Length, FixedLengthArray } from "inferred-types/dist/types/index";
+type Pop<T extends Tuple> = Length<T> extends 0 ? 0 : T extends [unknown, ...(infer Rest)] ? Length<Rest> : never;
+/**
+ * **Decrement**`<T>`
+ *
+ * Allows a number -- or a string literal of a number -- to be _decremented_
+ * by one.
+ *
+ * - 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 `${infer Num extends number}` ? `${Decrement<Num>}` : never;
+export {};
+//# sourceMappingURL=Decrement.d.ts.map

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

@@ -0,0 +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,MAAM,iCAAiC,CAAC;AAElF,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/Decrement.js

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

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

@@ -0,0 +1,14 @@
+import { If, AsNegativeNumber, HaveSameNumericSign, AsNumber, Abs, Add, NumberLike, IsGreaterThan, ParseInt, StartsWith } from "inferred-types/dist/types/index";
+type Process<A extends NumberLike, B extends NumberLike> = If<HaveSameNumericSign<A, B>, If<IsGreaterThan<Abs<A>, Abs<B>>, Add<Abs<A>, AsNegativeNumber<B>>, Add<Abs<B>, AsNegativeNumber<A>>>, Add<Abs<A>, Abs<B>>>;
+/**
+ * **Delta**`<A,B>`
+ *
+ * Provides the _delta_ between two numbers (including
+ * between negative numbers).
+ */
+export type Delta<A extends NumberLike, B extends NumberLike> = A extends `${number}` ? Process<A, B> : AsNumber<Process<A, B>>;
+type AsLit<T extends NumberLike> = T extends `${number}` ? T : T extends number ? `${T}` : never;
+type ProcessNeg<A extends `${number}`, B extends `${number}`> = Delta<A, B> extends `${infer Num extends number}` ? StartsWith<Num, "-"> extends true ? `${Num}` : `-${Num}` : never;
+export type NegDelta<A extends NumberLike, B extends NumberLike> = A extends number ? ParseInt<ProcessNeg<AsLit<A>, AsLit<B>>> : ProcessNeg<AsLit<A>, AsLit<B>>;
+export {};
+//# sourceMappingURL=Delta.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Delta.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Delta.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,EAAE,EACF,gBAAgB,EAChB,mBAAmB,EACnB,QAAQ,EACR,GAAG,EACH,GAAG,EACH,UAAU,EACV,aAAa,EACb,QAAQ,EACR,UAAU,EACX,MAAM,iCAAiC,CAAC;AAGzC,KAAK,OAAO,CACZ,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,UAAU,IAChB,EAAE,CACJ,mBAAmB,CAAC,CAAC,EAAC,CAAC,CAAC,EACxB,EAAE,CACA,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAC5B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAChC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CACjC,EAED,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACnB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CACjB,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,UAAU,IAChB,CAAC,SAAS,GAAG,MAAM,EAAE,GACvB,OAAO,CAAC,CAAC,EAAC,CAAC,CAAC,GACZ,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC,CAAA;AAGxB,KAAK,KAAK,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,GACtD,CAAC,GACD,CAAC,SAAS,MAAM,GACd,GAAG,CAAC,EAAE,GACN,KAAK,CAAC;AAGV,KAAK,UAAU,CACf,CAAC,SAAS,GAAG,MAAM,EAAE,EACrB,CAAC,SAAS,GAAG,MAAM,EAAE,IACjB,KAAK,CAAC,CAAC,EAAC,CAAC,CAAC,SAAS,GAAG,MAAM,GAAG,SAAS,MAAM,EAAE,GAChD,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,IAAI,GAC/B,GAAG,GAAG,EAAE,GACR,IAAI,GAAG,EAAE,GACX,KAAK,CAAC;AAEV,MAAM,MAAM,QAAQ,CACpB,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,UAAU,IAChB,CAAC,SAAS,MAAM,GAClB,QAAQ,CAAC,UAAU,CACjB,KAAK,CAAC,CAAC,CAAC,EACR,KAAK,CAAC,CAAC,CAAC,CACT,CAAC,GACF,UAAU,CACR,KAAK,CAAC,CAAC,CAAC,EACR,KAAK,CAAC,CAAC,CAAC,CACT,CAAC"}

package/dist/types/numeric-literals/Delta.js

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

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

@@ -0,0 +1,10 @@
+import { NUMERIC_DIGIT } from "inferred-types/dist/constants/index";
+/**
+ * **Digit**
+ *
+ * A single numeric digit.
+ *
+ * **Related:** `NumericChar`
+ */
+export type Digit = typeof NUMERIC_DIGIT[number];
+//# sourceMappingURL=Digit.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Digit.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Digit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAEpE;;;;;;GAMG;AACH,MAAM,MAAM,KAAK,GAAG,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC"}

package/dist/types/numeric-literals/Digit.js

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

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

@@ -0,0 +1,8 @@
+import { Digit } from "inferred-types/dist/types/index";
+/**
+ * **DigitNonZero**
+ *
+ * A non-zero based digit (aka, 1-9).
+ */
+export type DigitNonZero = Exclude<Digit, 0>;
+//# sourceMappingURL=DigitNonZero.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DigitNonZero.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/DigitNonZero.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AAExD;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC"}

package/dist/types/numeric-literals/DigitNonZero.js

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

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

@@ -0,0 +1,24 @@
+import { NumericChar, NumericSign, NumberLike, Chars, ToNumericArray, Digit, Or, IsEqual } from "inferred-types/dist/types/index";
+type Pos<T extends NumberLike, N extends `${number}`> = [
+    "+",
+    T extends string ? Chars<N> : ToNumericArray<Chars<N>>
+];
+type Neg<T extends NumberLike, N extends `${number}`> = [
+    "-",
+    T extends string ? Chars<N> : ToNumericArray<Chars<N>>
+];
+/**
+ * **Digitize**`<T>`
+ *
+ * Takes a literal value of a number -- either a numeric literal or a string literal
+ * is accepted -- and converts into a tuple: `[ NumericSign, Digits[] ]`
+ * ```ts
+ * // ["+", readonly [1,2,3] ]
+ * type N = Digitize<123>;
+ * // ["-", readonly ["1","2","3"] ]
+ * type S = Digitize<"-123">;
+ * ```
+ */
+export type Digitize<T extends NumberLike> = Or<[IsEqual<T, number>, IsEqual<T, `${number}`>]> extends true ? [sign: NumericSign, digits: T extends string ? NumericChar[] : Digit[]] : `${T}` extends `-${infer Rest extends `${number}`}` ? Neg<T, Rest> : `${T}` extends `${"+" | ""}${infer Rest extends `${number}`}` ? Pos<T, Rest> : never;
+export {};
+//# sourceMappingURL=Digitize.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Digitize.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Digitize.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,WAAW,EACX,WAAW,EACX,UAAU,EACV,KAAK,EACL,cAAc,EACd,KAAK,EACL,EAAE,EACF,OAAO,EACV,MAAM,iCAAiC,CAAC;AAEzC,KAAK,GAAG,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI;IACtD,GAAG;IACH,CAAC,SAAS,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACvD,CAAC;AAEF,KAAK,GAAG,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,GAAG,MAAM,EAAE,IAAI;IACtD,GAAG;IACH,CAAC,SAAS,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACvD,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,QAAQ,CAClB,CAAC,SAAS,UAAU,IAClB,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,EAAC,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9D,CAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,WAAW,EAAE,GAAG,KAAK,EAAE,CAAE,GACzE,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,IAAI,SAAS,GAAG,MAAM,EAAE,EAAE,GACnD,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GACZ,GAAG,CAAC,EAAE,SAAS,GAAG,GAAG,GAAE,EAAE,GAAG,MAAM,IAAI,SAAS,GAAG,MAAM,EAAE,EAAE,GAC5D,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GACZ,KAAK,CAAA"}

package/dist/types/numeric-literals/Digitize.js

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

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

@@ -0,0 +1,17 @@
+import { Tuple, FixedLengthArray, ToString, AsNumber } from "inferred-types/dist/types/index";
+type Push<T extends Tuple> = [...T, unknown]["length"];
+/**
+ * **Increment**`<T>`
+ *
+ * Allows a number -- or a string literal of a number -- to be _incremented_
+ * by one.
+ * ```ts
+ * // 2
+ * type T = Increment<1>;
+ * // "2"
+ * type T = Increment<"1">;
+ * ```
+ */
+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

@@ -0,0 +1 @@
+{"version":3,"file":"Increment.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Increment.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,gBAAgB,EAChB,QAAQ,EACR,QAAQ,EACT,MAAM,iCAAiC,CAAC;AAEzC,KAAK,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC;AAEvD;;;;;;;;;;;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/Increment.js

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

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

@@ -0,0 +1,9 @@
+import { AsNegativeNumber, IsNegativeNumber, Abs, NumberLike } from "inferred-types/dist/types/index";
+/**
+ * **InvertNumericSign**`<T>`
+ *
+ * Inverts the numeric symbol of the value `T` passed in (aka, negative numbers become
+ * positive and visa versa).
+ */
+export type InvertNumericSign<T extends NumberLike> = IsNegativeNumber<T> extends true ? Abs<T> : AsNegativeNumber<T>;
+//# sourceMappingURL=InvertNumericSign.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"InvertNumericSign.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/InvertNumericSign.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,GAAG,EACH,UAAU,EACV,MAAM,iCAAiC,CAAC;AAG1C;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,UAAU,IAAI,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GACpF,GAAG,CAAC,CAAC,CAAC,GACN,gBAAgB,CAAC,CAAC,CAAC,CAAC"}

package/dist/types/numeric-literals/InvertNumericSign.js

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

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

@@ -0,0 +1,13 @@
+type Calc<A extends number, B extends number, Count extends 1[] = []> = Count["length"] extends B ? false : Count["length"] extends A ? true : Calc<A, B, [...Count, 1]>;
+/**
+ * **LessThan**`<A,B>`
+ *
+ * Boolean operator which checks whether `A` is
+ * _less than_ `B`.
+ *
+ * - Note: this solution is cheap and cheerful and doesn't
+ * try to address negative numbers or other edge cases
+ */
+export type LessThan<A extends number, B extends number> = Calc<A, B>;
+export {};
+//# sourceMappingURL=LessThan.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"LessThan.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/LessThan.ts"],"names":[],"mappings":"AAAA,KAAK,IAAI,CACT,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,EAChB,KAAK,SAAS,CAAC,EAAE,GAAG,EAAE,IAClB,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC3B,KAAK,GACL,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvB,IAAI,GACJ,IAAI,CAAC,CAAC,EAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AAE7B;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAClB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,IACd,IAAI,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC"}

package/dist/types/numeric-literals/LessThan.js

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

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

@@ -0,0 +1,14 @@
+import { IsEqual } from "inferred-types/dist/types/index";
+type Calc<A extends number, B extends number, Count extends 1[] = []> = Count["length"] extends B ? false : Count["length"] extends A ? true : IsEqual<A, B> extends true ? true : Calc<A, B, [...Count, 1]>;
+/**
+ * **LessThanOrEqual**`<A,B>`
+ *
+ * Boolean operator which checks whether `A` is
+ * _less than_ `B`.
+ *
+ * - Note: this solution is cheap and cheerful and doesn't
+ * try to address negative numbers or other edge cases
+ */
+export type LessThanOrEqual<A extends number, B extends number> = Calc<A, B>;
+export {};
+//# sourceMappingURL=LessThanOrEqual.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"LessThanOrEqual.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/LessThanOrEqual.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAE1D,KAAK,IAAI,CACT,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,EAChB,KAAK,SAAS,CAAC,EAAE,GAAG,EAAE,IAClB,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC3B,KAAK,GACL,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvB,IAAI,GACJ,OAAO,CAAC,CAAC,EAAC,CAAC,CAAC,SAAS,IAAI,GACvB,IAAI,GACJ,IAAI,CAAC,CAAC,EAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AAE/B;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,EAAC,CAAC,SAAS,MAAM,IAAI,IAAI,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC"}

package/dist/types/numeric-literals/LessThanOrEqual.js

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

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

@@ -0,0 +1,8 @@
+import { AsNumber, AsString, IsNegativeNumber } from "inferred-types/dist/types/index";
+/**
+ * **Negative**`<T>`
+ *
+ * Ensures that the number represented by `T` is a _negative_ number.
+ */
+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

@@ -0,0 +1 @@
+{"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,MAAM,iCAAiC,CAAC;AAEvF;;;;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/Negative.js

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

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

@@ -0,0 +1,18 @@
+import { Digit, ToString, NumericChar, AsNumber } from "inferred-types/dist/types/index";
+/**
+ * **NextDigit**`<T>`
+ *
+ * Given a numeric digit, this utility provides the next numeric digit in sequence.
+ *
+ * - this includes the overflow condition of `9` -> `0`
+ * - a string literal digit can be passed in as well and the next string literal
+ * digit will be returned
+ * ```ts
+ * // 5
+ * type N = NextDigit<4>;
+ * // "5"
+ * type S = NextDigit<"4">;
+ * ```
+ */
+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

@@ -0,0 +1 @@
+{"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,MAAM,iCAAiC,CAAC;AAEzC;;;;;;;;;;;;;;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/NextDigit.js

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

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

@@ -0,0 +1,8 @@
+/**
+ * **NumberLike**
+ *
+ * A type which represents a number whether it be a _number_ or
+ * a string literal shaped as a number (aka, `${string}`).
+ */
+export type NumberLike = number | `${number}`;
+//# sourceMappingURL=NumberLike.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"NumberLike.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/NumberLike.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,GAAG,MAAM,EAAE,CAAG"}

package/dist/types/numeric-literals/NumberLike.js

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

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

@@ -0,0 +1,14 @@
+type Process<L, C extends unknown[] = [], R = L> = C["length"] extends L ? R : Process<L, [...C, 0], C["length"] | R>;
+/**
+ * **NumericRange**`<TLow,THigh>`
+ *
+ * Creates a union type of numbers between `TLow` and `THigh`
+ *
+ * ```ts
+ * // 2 | 3 | 4 | 5 | 6 | 7
+ * type Range = NumericRange<2,7>;
+ * ```
+ */
+export type NumericRange<TLow, THigh> = TLow | Exclude<Process<THigh>, Process<TLow>>;
+export {};
+//# sourceMappingURL=NumericRange.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"NumericRange.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/NumericRange.ts"],"names":[],"mappings":"AAAA,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAC7C,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACf,CAAC,GACD,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AAE/C;;;;;;;;;GASG;AACH,MAAM,MAAM,YAAY,CAAC,IAAI,EAAE,KAAK,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC"}

package/dist/types/numeric-literals/NumericRange.js

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

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

@@ -0,0 +1,18 @@
+import { Digit, NumericChar, ToString, AsNumber } from "inferred-types/dist/types/index";
+/**
+ * **PriorDigit**`<T>`
+ *
+ * Given a numeric digit, this utility provides the next numeric digit in sequence.
+ *
+ * - this includes the overflow condition of `0` -> `9`
+ * - a string literal digit can be passed in as well and the next string literal
+ * digit will be returned
+ * ```ts
+ * // 4
+ * type N = PriorDigit<5>;
+ * // "4"
+ * type S = PriorDigit<"5">;
+ * ```
+ */
+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/PriorDigit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PriorDigit.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/PriorDigit.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,WAAW,EACX,QAAQ,EACR,QAAQ,EACT,MAAM,iCAAiC,CAAC;AAEzC;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,KAAK,GAAG,WAAW,IAAI,CAAC,SAAS,GAAG,WAAW,EAAE,GAChF,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GACjC,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.js

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

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

@@ -0,0 +1,13 @@
+import { Delta, IsNegativeNumber, NumberLike, AsNegativeNumber, HaveSameNumericSign, Add, Abs, ParseInt, As, IsWideType, Or, IsGreaterThanOrEqual, NegDelta } from "inferred-types/dist/types/index";
+type ConvertNumber<A extends number, B extends number> = HaveSameNumericSign<A, B> extends true ? IsNegativeNumber<A> extends true ? Add<Abs<A>, Abs<B>> extends NumberLike ? AsNegativeNumber<Add<Abs<A>, Abs<B>>> : never : IsNegativeNumber<B> extends true ? Add<A, B> : IsNegativeNumber<A> extends true ? IsGreaterThanOrEqual<Abs<B>, Abs<A>> extends true ? Delta<A, B> : Add<B, A> : IsGreaterThanOrEqual<Abs<B>, Abs<A>> extends true ? NegDelta<A, B> : Delta<A, B> : never;
+type SummedStrings<A extends number, B extends number> = AsNegativeNumber<Add<A, B>>;
+type ConvertString<A extends `${number}`, B extends `${number}`> = HaveSameNumericSign<A, B> extends true ? IsNegativeNumber<A> extends true ? Add<Abs<A>, Abs<B>> extends NumberLike ? SummedStrings<ParseInt<Abs<A>>, ParseInt<Abs<B>>> : never : IsNegativeNumber<B> extends true ? Add<A, B> : IsNegativeNumber<A> extends true ? IsGreaterThanOrEqual<Abs<B>, Abs<A>> extends true ? Delta<A, B> : Add<B, A> : IsGreaterThanOrEqual<Abs<B>, Abs<A>> extends true ? NegDelta<A, B> : Delta<A, B> : never;
+type Process<A extends NumberLike, B extends NumberLike> = A extends number ? B extends number ? ConvertNumber<A, B> : ConvertNumber<A, ParseInt<B>> : A extends `${number}` ? B extends `${number}` ? ConvertString<A, B> : ConvertString<A, `${As<B, number>}`> : never;
+/**
+ * **Subtract**`<A,B>`
+ *
+ * Subtracts the value of `B` _from_ `A`.
+ */
+export type Subtract<A extends NumberLike, B extends NumberLike> = Or<[IsWideType<A>, IsWideType<B>]> extends true ? A extends number ? number : `${number}` : Process<A, B>;
+export {};
+//# sourceMappingURL=Subtract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Subtract.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Subtract.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,gBAAgB,EAChB,UAAU,EACV,gBAAgB,EAChB,mBAAmB,EACnB,GAAG,EACH,GAAG,EACH,QAAQ,EACR,EAAE,EACF,UAAU,EACV,EAAE,EACF,oBAAoB,EACpB,QAAQ,EACT,MAAM,iCAAiC,CAAC;AAGzC,KAAK,aAAa,CAChB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,IACd,mBAAmB,CAAC,CAAC,EAAC,CAAC,CAAC,SAAS,IAAI,GACvC,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,GACnC,gBAAgB,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,GACtC,KAAK,GACP,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9B,GAAG,CAAC,CAAC,EAAC,CAAC,CAAC,GACR,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9B,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9C,KAAK,CAAC,CAAC,EAAC,CAAC,CAAC,GACV,GAAG,CAAC,CAAC,EAAC,CAAC,CAAC,GACV,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9C,QAAQ,CAAC,CAAC,EAAC,CAAC,CAAC,GACb,KAAK,CAAC,CAAC,EAAC,CAAC,CAAC,GAClB,KAAK,CAAC;AAER,KAAK,aAAa,CAChB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,IACd,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC,CAAC;AAE/B,KAAK,aAAa,CAChB,CAAC,SAAS,GAAG,MAAM,EAAE,EACrB,CAAC,SAAS,GAAG,MAAM,EAAE,IACnB,mBAAmB,CAAC,CAAC,EAAC,CAAC,CAAC,SAAS,IAAI,GACvC,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,GACnC,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GACjD,KAAK,GACP,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAChC,GAAG,CAAC,CAAC,EAAC,CAAC,CAAC,GACR,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9B,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9C,KAAK,CAAC,CAAC,EAAC,CAAC,CAAC,GACV,GAAG,CAAC,CAAC,EAAC,CAAC,CAAC,GACV,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9C,QAAQ,CAAC,CAAC,EAAC,CAAC,CAAC,GACb,KAAK,CAAC,CAAC,EAAC,CAAC,CAAC,GAChB,KAAK,CAAC;AAER,KAAK,OAAO,CACZ,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,UAAU,IAChB,CAAC,SAAS,MAAM,GAClB,CAAC,SAAS,MAAM,GAChB,aAAa,CAAC,CAAC,EAAC,CAAC,CAAC,GAClB,aAAa,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAC5B,CAAC,SAAS,GAAG,MAAM,EAAE,GACrB,CAAC,SAAS,GAAG,MAAM,EAAE,GACnB,aAAa,CAAC,CAAC,EAAC,CAAC,CAAC,GAClB,aAAa,CAAC,CAAC,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,GACrC,KAAK,CAAC;AAER;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAClB,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,UAAU,IAClB,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACjD,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,GAAG,MAAM,EAAE,GACvC,OAAO,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC"}

package/dist/types/numeric-literals/Subtract.js

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

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

@@ -0,0 +1,18 @@
+import { If, Extends, Increment, ToNumber } from "inferred-types/dist/types/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}` ? 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>`
+ *
+ * Type utility which converts a _number_ (or numeric string
+ * literal) to an _integer_ value.
+ *
+ * - the optional `TOp` generic provides methods for converting
+ * a float to integer but the default is just to remove the
+ * decimal value from the number (aka, "truncate").
+ */
+export type ToInteger<TVal extends number | `${number}`, TOp extends ToIntegerOp = "truncate"> = TOp extends "truncate" ? EnsureKind<TVal, Truncate<`${TVal}` & `${number}`>> : EnsureKind<TVal, Round<`${TVal}` & `${number}`>>;
+export {};
+//# sourceMappingURL=ToInteger.d.ts.map

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

@@ -0,0 +1 @@
+{"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,MAAM,iCAAiC,CAAC;AAEnF,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/ToInteger.js

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

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

@@ -0,0 +1,17 @@
+import { Tuple, IsReadonlyArray, IsNonEmptyContainer, ToNumber } from "inferred-types/dist/types/index";
+type _Convert<TInput extends Tuple> = IsNonEmptyContainer<TInput> extends true ? {
+    [K in keyof TInput]: ToNumber<TInput[K]>;
+} : number[];
+/**
+ * **ToNumericArray**`<TList>`
+ *
+ * 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> = IsReadonlyArray<TList> extends true ? Readonly<_Convert<TList>> : _Convert<TList>;
+export {};
+//# sourceMappingURL=ToNumericArray.d.ts.map

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

@@ -0,0 +1 @@
+{"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,MAAM,iCAAiC,CAAC;AAExG,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"}

package/dist/types/numeric-literals/ToNumericArray.js

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

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

@@ -0,0 +1,8 @@
+/**
+ * **Zero**
+ *
+ * A representation of **zero**; either as the number zero or
+ * the string literal equivalent.
+ */
+export type Zero = 0 | `0`;
+//# sourceMappingURL=Zero.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Zero.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/Zero.ts"],"names":[],"mappings":"AACA;;;;;GAKG;AACH,MAAM,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC"}

package/dist/types/numeric-literals/Zero.js

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

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

@@ -0,0 +1,25 @@
+export * from "./Add";
+export * from "./Abs";
+export * from "./AbsMaybe";
+export * from "./AsNumberWhenPossible";
+export * from "./Decrement";
+export * from "./Digit";
+export * from "./Digitize";
+export * from "./DigitNonZero";
+export * from "./Increment";
+export * from "./LessThan";
+export * from "./LessThanOrEqual";
+export * from "./Negative";
+export * from "./NumericRange";
+export * from "./PriorDigit";
+export * from "./Subtract";
+export * from "./ToInteger";
+export * from "./ToNumericArray";
+export * from "./NextDigit";
+export * from "./NumberLike";
+export * from "./CSV";
+export * from "./InvertNumericSign";
+export * from "./Delta";
+export * from "./AsNegativeNumber";
+export * from "./Zero";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/numeric-literals/index.ts"],"names":[],"mappings":"AAAC,cAAc,OAAO,CAAC;AACvB,cAAc,OAAO,CAAC;AACtB,cAAc,YAAY,CAAC;AAC3B,cAAc,wBAAwB,CAAC;AACvC,cAAc,aAAa,CAAC;AAC5B,cAAc,SAAS,CAAC;AACxB,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,OAAO,CAAC;AACtB,cAAc,qBAAqB,CAAC;AACpC,cAAc,SAAS,CAAC;AACxB,cAAc,oBAAoB,CAAC;AACnC,cAAc,QAAQ,CAAC"}