inferred-types 0.37.6 → 0.40.1

package/dist/types/src/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/src/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/src/types/numeric-literals/LessThan.js

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

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

@@ -0,0 +1,14 @@
+import { IsEqual } from "src/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/src/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,iBAAiB,CAAC;AAE1C,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/src/types/numeric-literals/LessThanOrEqual.js

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

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

@@ -0,0 +1,8 @@
+import { IsNegativeNumber, ToNumber, ToString } from "..";
+/**
+ * **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}`>>;
+//# sourceMappingURL=Negative.d.ts.map

package/dist/types/src/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,gBAAgB,EAAG,QAAQ,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AAE3D;;;;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/src/types/numeric-literals/Negative.js

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

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

@@ -0,0 +1,18 @@
+import { Digit, ToString, ToNumber, NumericChar } from "..";
+/**
+ * **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<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;
+//# sourceMappingURL=NextDigit.d.ts.map

package/dist/types/src/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,QAAQ,EACR,WAAW,EACZ,MAAM,IAAI,CAAC;AAEZ;;;;;;;;;;;;;;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/src/types/numeric-literals/NextDigit.js

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

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

@@ -0,0 +1,14 @@
+type Process<L, C extends any[] = [], 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/src/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,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IACzC,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/src/types/numeric-literals/NumericRange.js

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

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

@@ -0,0 +1,18 @@
+import { Digit, NumericChar, ToString, ToNumber } from "..";
+/**
+ * **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<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;
+//# sourceMappingURL=PriorDigit.d.ts.map

package/dist/types/src/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,IAAI,CAAC;AAEZ;;;;;;;;;;;;;;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/src/types/numeric-literals/PriorDigit.js

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

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

@@ -0,0 +1,8 @@
+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<M extends number, S extends number> = LengthDiff<Iterate<M>, Iterate<S>>;
+export {};
+//# sourceMappingURL=Subtract.d.ts.map

package/dist/types/src/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,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;AAEV,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,UAAU,CACnE,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,CACX,CAAC"}

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

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

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

@@ -0,0 +1,18 @@
+import { IfExtends, Increment, ToNumber } from "..";
+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 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/src/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,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AAEpD,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"}

package/dist/types/src/types/numeric-literals/ToInteger.js

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

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

@@ -0,0 +1,17 @@
+import { Tuple, ToNumber, IfTrue, IfReadonlyArray, NonEmptyContainer } from "src/types";
+type _Convert<T extends Tuple> = IfTrue<NonEmptyContainer<T>, {
+    [K in keyof T]: ToNumber<T[K]>;
+}, number[]>;
+/**
+ * **ToNumericArray**`<TList>`
+ *
+ * Type 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 {};
+//# sourceMappingURL=ToNumericArray.d.ts.map

package/dist/types/src/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,EAAE,QAAQ,EAAE,MAAM,EAAG,eAAe,EAAE,iBAAiB,EAAC,MAAM,WAAW,CAAC;AAExF,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"}

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

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

package/dist/types/src/types/numeric-literals/ValueCallback.d.ts

@@ -0,0 +1,12 @@
+/**
+ * **ValueCallback**`<TVal, TReturn>`
+ *
+ * A type utility to build a simple "value callback".
+ *
+ * ```ts
+ * // <V extends string>(v: V) => `hi ${string}`;
+ * type T = ValueCallback<string, `hi ${string}`>;
+ * ```
+ */
+export type ValueCallback<TVal, TReturn> = <V extends TVal>(v: V) => TReturn;
+//# sourceMappingURL=ValueCallback.d.ts.map

package/dist/types/src/types/numeric-literals/ValueCallback.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValueCallback.d.ts","sourceRoot":"","sources":["../../../../../src/types/numeric-literals/ValueCallback.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,MAAM,MAAM,aAAa,CACvB,IAAI,EACJ,OAAO,IACL,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC"}

package/dist/types/src/types/numeric-literals/ValueCallback.js

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

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

@@ -0,0 +1,20 @@
+export * from "./Decrement";
+export * from "./Increment";
+export * from "./ToNumericArray";
+export * from "./Digitize";
+export * from "./NextDigit";
+export * from "./PriorDigit";
+export * from "./Abs";
+export * from "./AbsMaybe";
+export * from "./Digit";
+export * from "./DigitNonZero";
+export * from "./Negative";
+export * from "./ToInteger";
+export * from "./LessThan";
+export * from "./LessThanOrEqual";
+export * from "./NumericRange";
+export * from "./GreaterThan";
+export * from "./Float";
+export * from "./AsNumberWhenPossible";
+export * from "./ValueCallback";
+//# sourceMappingURL=index.d.ts.map

package/dist/types/src/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":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,OAAO,CAAC;AACtB,cAAc,YAAY,CAAC;AAC3B,cAAc,SAAS,CAAC;AACxB,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,eAAe,CAAC;AAC9B,cAAc,SAAS,CAAC;AACxB,cAAc,wBAAwB,CAAC;AACvC,cAAc,iBAAiB,CAAC"}

package/dist/types/src/types/numeric-literals/index.js

@@ -0,0 +1,19 @@
+export * from "./Decrement";
+export * from "./Increment";
+export * from "./ToNumericArray";
+export * from "./Digitize";
+export * from "./NextDigit";
+export * from "./PriorDigit";
+export * from "./Abs";
+export * from "./AbsMaybe";
+export * from "./Digit";
+export * from "./DigitNonZero";
+export * from "./Negative";
+export * from "./ToInteger";
+export * from "./LessThan";
+export * from "./LessThanOrEqual";
+export * from "./NumericRange";
+export * from "./GreaterThan";
+export * from "./Float";
+export * from "./AsNumberWhenPossible";
+export * from "./ValueCallback";

package/dist/types/src/types/runtime-types/DescribeType.d.ts

@@ -0,0 +1,32 @@
+import { AnyFunction, AnyObject, Nothing, IfNever, IfStringLiteral, IsEqual, IfNumericLiteral, IfBooleanLiteral, IfLiteral, IfUnion, UnionToTuple, Concat, Join, IfTuple } from "..";
+type DescribeWide<T> = IfNever<T, "never", IsEqual<T, Nothing> extends true ? "nothing" : T extends string ? "string" : T extends number ? "number" : T extends boolean ? "boolean" : T extends AnyFunction ? "function" : T extends unknown[] | readonly unknown[] ? IfTuple<T, Concat<["tuple[", Join<T, ", ", 3>, "]"]>, "array"> : T extends AnyObject | object ? "object" : T extends symbol ? "symbol" : IsEqual<T, null> extends true ? "null" : IsEqual<T, undefined> extends true ? "undefined" : T extends unknown ? "unknown" : "never">;
+type DescribeNarrow<T> = IfNever<T, "never", IsEqual<T, Nothing> extends true ? "nothing" : T extends string ? IfStringLiteral<T, `string-literal(${T})`, "string"> : T extends number ? IfNumericLiteral<T, `numeric-literal(${T})`, "number"> : T extends boolean ? IfBooleanLiteral<T, T extends true ? "true" : "false", "boolean"> : T extends AnyFunction ? "function" : T extends unknown[] ? IfTuple<T, Concat<["tuple[", Join<T, ", ", 3>, "]"]>, "array"> : T extends AnyObject | object ? IfLiteral<T, "object-literal", "object"> : T extends symbol ? "symbol" : IsEqual<T, null> extends true ? "null" : IsEqual<T, undefined> extends true ? "undefined" : T extends unknown ? "unknown" : "never">;
+/**
+ * **DescribeType**`<T>`
+ *
+ * Describes the type in string form. The type match
+ * it is looking for is only _wide types_.
+ *
+ * **Related:** `DescribeTypeNarrowly`
+ */
+export type DescribeType<T> = IfNever<T, "never", IfUnion<DescribeWide<T>, Concat<[
+    "union(",
+    Join<UnionToTuple<DescribeWide<T>>, " | ">,
+    ")"
+]>, DescribeWide<T>>>;
+/**
+ * **DescribeTypeNarrowly**`<T>`
+ *
+ * Describes the type in string form. The description
+ * attempts to segment all literal types from their wide
+ * counterparts.
+ *
+ * **Related:** `DescribeType`
+ */
+export type DescribeTypeNarrowly<T> = IfNever<T, "never", IsEqual<T, boolean> extends true ? "boolean" : IfUnion<DescribeNarrow<T>, Concat<[
+    "union(",
+    Join<UnionToTuple<DescribeNarrow<T>>, " | ">,
+    ")"
+]>, DescribeNarrow<T>>>;
+export {};
+//# sourceMappingURL=DescribeType.d.ts.map

package/dist/types/src/types/runtime-types/DescribeType.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DescribeType.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/DescribeType.ts"],"names":[],"mappings":"AACA,OAAO,EACL,WAAW,EACX,SAAS,EACT,OAAO,EACP,OAAO,EACP,eAAe,EACf,OAAO,EACP,gBAAgB,EAChB,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,OAAO,EACR,MAAM,IAAI,CAAC;AAEZ,KAAK,YAAY,CAAC,CAAC,IAAI,OAAO,CAC5B,CAAC,EACD,OAAO,EACP,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GAAG,SAAS,GAC1C,CAAC,SAAS,MAAM,GAAG,QAAQ,GAC3B,CAAC,SAAS,MAAM,GAAG,QAAQ,GAC3B,CAAC,SAAS,OAAO,GAAG,SAAS,GAC7B,CAAC,SAAS,WAAW,GAAG,UAAU,GAClC,CAAC,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,GACtC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,GAChE,CAAC,SAAS,SAAS,GAAG,MAAM,GAAG,QAAQ,GACvC,CAAC,SAAS,MAAM,GAAG,QAAQ,GAC3B,OAAO,CAAC,CAAC,EAAC,IAAI,CAAC,SAAS,IAAI,GAAI,MAAM,GACtC,OAAO,CAAC,CAAC,EAAC,SAAS,CAAC,SAAS,IAAI,GAAI,WAAW,GAChD,CAAC,SAAS,OAAO,GAAG,SAAS,GAC7B,OAAO,CACV,CAAC;AAEF,KAAK,cAAc,CAAC,CAAC,IAAI,OAAO,CAChC,CAAC,EAAE,OAAO,EACV,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GAAG,SAAS,GAC1C,CAAC,SAAS,MAAM,GAAG,eAAe,CAChC,CAAC,EACD,kBAAkB,CAAC,GAAG,EACtB,QAAQ,CACT,GACD,CAAC,SAAS,MAAM,GAAG,gBAAgB,CACjC,CAAC,EACD,mBAAmB,CAAC,GAAG,EACvB,QAAQ,CACT,GACD,CAAC,SAAS,OAAO,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,MAAM,GAAG,OAAO,EAAE,SAAS,CAAC,GACrF,CAAC,SAAS,WAAW,GAAG,UAAU,GAClC,CAAC,SAAS,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,GACpF,CAAC,SAAS,SAAS,GAAG,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,gBAAgB,EAAE,QAAQ,CAAC,GACvE,CAAC,SAAS,MAAM,GAAG,QAAQ,GAC3B,OAAO,CAAC,CAAC,EAAC,IAAI,CAAC,SAAS,IAAI,GAAI,MAAM,GACtC,OAAO,CAAC,CAAC,EAAC,SAAS,CAAC,SAAS,IAAI,GAAI,WAAW,GAChD,CAAC,SAAS,OAAO,GAAG,SAAS,GAC7B,OAAO,CACR,CAAC;AAGF;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,OAAO,CACnC,CAAC,EACD,OAAO,EACP,OAAO,CACL,YAAY,CAAC,CAAC,CAAC,EACf,MAAM,CAAC;IACL,QAAQ;IACR,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;IAC1C,GAAG;CACJ,CAAC,EACF,YAAY,CAAC,CAAC,CAAC,CAChB,CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,OAAO,CAC7C,CAAC,EACD,OAAO,EACP,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GAC5B,SAAS,GACT,OAAO,CACL,cAAc,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC;IACL,QAAQ;IACR,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;IAC5C,GAAG;CACJ,CAAC,EACF,cAAc,CAAC,CAAC,CAAC,CAClB,CACJ,CAAC"}

package/dist/types/src/types/runtime-types/DescribeType.js

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

package/dist/types/src/types/runtime-types/FromLiteralTokens.d.ts

@@ -0,0 +1,12 @@
+import { IfStartsWith, AfterFirst, First, AlphaChar, Bracket, ClosingBracket, Digit, LowerAlphaChar, OpeningBracket, StripLeading, UpperAlphaChar, StringLiteralToken } from "..";
+type _Tokenize<T extends StringLiteralToken> = IfStartsWith<T, "literal:", StripLeading<T, "literal:">, T extends "<string>" ? `${string}` : T extends "<number>" ? `${number}` : T extends "<boolean>" ? `${boolean}` : T extends "<letter>" ? `${AlphaChar}` : T extends "<letter:lowercase>" ? `${LowerAlphaChar}` : T extends "<letter:uppercase>" ? `${UpperAlphaChar}` : T extends "<digit>" ? `${Digit}` : T extends "<bracket>" ? `${Bracket}` : T extends "<bracket:opening>" ? `${OpeningBracket}` : T extends "<bracket:closing>" ? `${ClosingBracket}` : never>;
+type _Convert<T extends readonly StringLiteralToken[], Type extends string = ""> = [] extends T ? Type : _Convert<AfterFirst<T>, `${Type}${_Tokenize<First<T>>}`>;
+/**
+ * **FromLiteralTokens**`<T>`
+ *
+ * Type utility which converts an array of `StringLiteralToken`'s
+ * into a literal type.
+ */
+export type FromLiteralTokens<T extends readonly StringLiteralToken[]> = _Convert<T>;
+export {};
+//# sourceMappingURL=FromLiteralTokens.d.ts.map

package/dist/types/src/types/runtime-types/FromLiteralTokens.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FromLiteralTokens.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/FromLiteralTokens.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,IAAI,CAAC;AAElL,KAAK,SAAS,CAAC,CAAC,SAAS,kBAAkB,IACzC,YAAY,CACV,CAAC,EAAE,UAAU,EACb,YAAY,CAAC,CAAC,EAAE,UAAU,CAAC,EAC3B,CAAC,SAAS,UAAU,GAAG,GAAG,MAAM,EAAE,GAChC,CAAC,SAAS,UAAU,GAAG,GAAG,MAAM,EAAE,GAClC,CAAC,SAAS,WAAW,GAAG,GAAG,OAAO,EAAE,GACpC,CAAC,SAAS,UAAU,GAAG,GAAG,SAAS,EAAE,GACrC,CAAC,SAAS,oBAAoB,GAAG,GAAG,cAAc,EAAE,GACpD,CAAC,SAAS,oBAAoB,GAAG,GAAG,cAAc,EAAE,GACpD,CAAC,SAAS,SAAS,GAAG,GAAG,KAAK,EAAE,GAChC,CAAC,SAAS,WAAW,GAAG,GAAG,OAAO,EAAE,GACpC,CAAC,SAAS,mBAAmB,GAAG,GAAG,cAAc,EAAE,GACnD,CAAC,SAAS,mBAAmB,GAAG,GAAG,cAAc,EAAE,GACnD,KAAK,CACR,CAAC;AAEJ,KAAK,QAAQ,CACX,CAAC,SAAS,SAAS,kBAAkB,EAAE,EACvC,IAAI,SAAS,MAAM,GAAG,EAAE,IACtB,EAAE,SAAS,CAAC,GACd,IAAI,GACJ,QAAQ,CACN,UAAU,CAAC,CAAC,CAAC,EACb,GAAG,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAChC,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAC3B,CAAC,SAAS,SAAS,kBAAkB,EAAE,IACrC,QAAQ,CAAC,CAAC,CAAC,CAAC"}

package/dist/types/src/types/runtime-types/FromLiteralTokens.js

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

package/dist/types/src/types/runtime-types/LiteralType.d.ts

@@ -0,0 +1,3 @@
+import { AnyObject, Tuple } from "..";
+export type LiteralType = string | number | boolean | AnyObject | Tuple;
+//# sourceMappingURL=LiteralType.d.ts.map

package/dist/types/src/types/runtime-types/LiteralType.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LiteralType.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/LiteralType.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC;AAEtC,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,KAAK,CAAC"}

package/dist/types/src/types/runtime-types/LiteralType.js

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

package/dist/types/src/types/runtime-types/StringLiteralToken.d.ts

@@ -0,0 +1,40 @@
+import { CSV, Digit } from "..";
+export type OptModifier = `|opt`;
+/**
+ * **BespokeLiteral**
+ *
+ * A string literal token which has a discrete literal value
+ */
+export type BespokeLiteral = `literal:${string}`;
+/**
+ * **BespokeUnion**
+ *
+ * A string literal token which represents a discrete set of
+ * values who's union represents the string literal value.
+ *
+ * Note: if you need a comma literal in your union type then it
+ * must be serialized to `Constant<"comma">`.
+ */
+export type BespokeUnion<T extends Digit = 1> = `union:[${CSV<T>}`;
+type OptionalOptModifier = OptModifier | "";
+/**
+ * **StringLiteralToken**
+ *
+ * Tokens are broken up into three types:
+ *
+ * 1. **bespoke** literal values can also be specified by prefixing with
+ * `literal:` and then the literal value.
+ * 2. **union** literal values can be expressed as `union:[CSV]`
+ * 3. **known** literals are surrounded by `<` and `>` characters and
+ * represent a known type definition which is valid for a string
+ * literal.
+ *
+ *    - within known literals there are three char "scopes":
+ *        - `<string>` effectively allows any number and type of chars
+ *        - `<number>` and `<boolean>` allow for as many characters as is required for completing the type
+ *        - all others -- like `<digit>`, `<letter>`, etc. -- are just a single character
+ *    - known literals can add the `| opt` modifier to become intersected with `| ""` which makes them an optional condition. Note that only `<string>` does _not_ allow this as this optionality provides no additional optionality.
+ */
+export type StringLiteralToken = BespokeLiteral | "<string>" | `<number${OptionalOptModifier}>` | `<digit${OptionalOptModifier}>` | `<boolean${OptionalOptModifier}>` | `<letter${OptionalOptModifier}>` | `<letter:lowercase${OptionalOptModifier}>` | `<letter:uppercase${OptionalOptModifier}>` | `<bracket${OptionalOptModifier}>` | `<bracket:opening${OptionalOptModifier}>` | `<bracket:closing${OptionalOptModifier}>` | `<whitespace${OptionalOptModifier}>`;
+export {};
+//# sourceMappingURL=StringLiteralToken.d.ts.map

package/dist/types/src/types/runtime-types/StringLiteralToken.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StringLiteralToken.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/StringLiteralToken.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC;AAEhC,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAEjC;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,WAAW,MAAM,EAAE,CAAC;AAEjD;;;;;;;;GAQG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;AAEnE,KAAK,mBAAmB,GAAG,WAAW,GAAG,EAAE,CAAC;AAE5C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,kBAAkB,GAAG,cAAc,GAAG,UAAU,GAAG,UAAU,mBAAmB,GAAG,GAAG,SAAS,mBAAmB,GAAG,GAAG,WAAW,mBAAmB,GAAG,GAAG,UAAU,mBAAmB,GAAG,GAAG,oBAAoB,mBAAmB,GAAG,GAAG,oBAAoB,mBAAmB,GAAG,GAAG,WAAW,mBAAmB,GAAG,GAAG,mBAAmB,mBAAmB,GAAG,GAAG,mBAAmB,mBAAmB,GAAG,GAAG,cAAc,mBAAmB,GAAG,CAAC"}

package/dist/types/src/types/runtime-types/StringLiteralToken.js

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

package/dist/types/src/types/runtime-types/TokenizeStringLiteral.d.ts

@@ -0,0 +1,24 @@
+import { IfLiteral, IfNumber, IfString, AfterFirst, First, ToString, StringLiteralToken } from "..";
+type _Tokenize<T extends readonly (string | number | boolean)[], Results extends readonly StringLiteralToken[] = []> = [] extends T ? Results : First<T> extends StringLiteralToken ? _Tokenize<AfterFirst<T>, [...Results, First<T>]> : IfLiteral<First<T>, _Tokenize<AfterFirst<T>, [
+    ...Results,
+    `literal:${ToString<First<T>>}`
+]>, _Tokenize<AfterFirst<T>, [
+    ...Results,
+    IfString<First<T>, "<string>", IfNumber<First<T>, "<number>", "<boolean>">>
+]>>;
+/**
+ * **TokenizeStringLiteral**`<T>`
+ *
+ * Type utility which receives a list of _tokens_ which are intended
+ * to represent the underlying type of a string literal. This utility
+ * will ensure that known tokens -- those delimited by `<` and `>` symbols
+ * are maintained but that any _string literals_ are prefixed with "literal:".
+ *
+ * - a wide _number_ or _boolean_ type will be converted to `${number}` and `${boolean}`
+ * - literal values for number and boolean will be converted to a string using `ToString<T>`
+ *
+ * **Related:** `ToStringLiteral<T>`
+ */
+export type TokenizeStringLiteral<T extends readonly (string | number | boolean)[]> = _Tokenize<T>;
+export {};
+//# sourceMappingURL=TokenizeStringLiteral.d.ts.map

package/dist/types/src/types/runtime-types/TokenizeStringLiteral.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TokenizeStringLiteral.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/TokenizeStringLiteral.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,IAAI,CAAC;AAGpG,KAAK,SAAS,CACZ,CAAC,SAAS,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,EAAE,EAChD,OAAO,SAAS,SAAS,kBAAkB,EAAE,GAAG,EAAE,IAChD,EAAE,SAAS,CAAC,GACZ,OAAO,GACP,KAAK,CAAC,CAAC,CAAC,SAAS,kBAAkB,GACnC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAChD,SAAS,CACP,KAAK,CAAC,CAAC,CAAC,EAER,SAAS,CACP,UAAU,CAAC,CAAC,CAAC,EACb;IAAC,GAAG,OAAO;IAAE,WAAW,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;CAAC,CAC9C,EAED,SAAS,CACP,UAAU,CAAC,CAAC,CAAC,EACb;IACE,GAAG,OAAO;IACV,QAAQ,CACN,KAAK,CAAC,CAAC,CAAC,EACR,UAAU,EACV,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,WAAW,CAAC,CAC5C;CACF,CACF,CAEF,CAAC;AAGN;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,qBAAqB,CAC/B,CAAC,SAAS,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,EAAE,IAC9C,SAAS,CAAC,CAAC,CAAC,CAAC"}

package/dist/types/src/types/runtime-types/TokenizeStringLiteral.js

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