inferred-types 0.37.5 → 0.40.1

package/dist/types/src/types/type-conversion/ToBoolean.d.ts

@@ -0,0 +1,15 @@
+import { Scalar, IfFalsy, IfLength, IfTruthy, Keys, AnyObject, IfNever, IfExtends } from "..";
+/**
+ * **ToBoolean**`<T>`
+ *
+ * Type utility which converts `T` into a boolean type regardless of
+ * `T`'s underlying type.
+ *
+ * - _boolean_ values are proxied through
+ * - _scalar_ values are tested with the JS Truthy test to return a true/false value
+ * - _containers_ with no keys evaluate to false, with keys to true
+ * - _never_, _null_, and _undefined_ map to false
+ * - all other values return the wide "boolean" type
+ */
+export type ToBoolean<T> = IfNever<T, false, T extends boolean ? T : T extends Scalar ? IfTruthy<T, true, IfFalsy<T, false, boolean>> : T extends readonly unknown[] ? IfLength<Keys<T>, 0, false, true> : T extends AnyObject ? IfLength<Keys<T>, 0, false, true> : IfExtends<T, undefined, false, boolean>>;
+//# sourceMappingURL=ToBoolean.d.ts.map

package/dist/types/src/types/type-conversion/ToBoolean.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ToBoolean.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/ToBoolean.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,IAAI,CAAC;AAG9F;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,OAAO,CAClC,CAAC,EACD,KAAK,EACL,CAAC,SAAS,OAAO,GACf,CAAC,GACD,CAAC,SAAS,MAAM,GACd,QAAQ,CACN,CAAC,EACD,IAAI,EACJ,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAC3B,GACD,CAAC,SAAS,SAAS,OAAO,EAAE,GAC1B,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GACjC,CAAC,SAAS,SAAS,GACjB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GACjC,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAC9C,CAAC"}

package/dist/types/src/types/type-conversion/ToBoolean.js

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

package/dist/types/src/types/type-conversion/ToContainer.d.ts

@@ -0,0 +1,23 @@
+import { AnyArray, AnyFunction, AnyObject, Scalar, IfEqual, IfNever } from "..";
+/**
+ * **ToContainer**`<T>`
+ *
+ * Provides a narrowing feature for union types which _include_ the
+ * option to be a `Container` but might also be a Scalar value or
+ * a function.
+ *
+ * However, unlike a simple intersection with `readonly any[] | AnyObject`,
+ * this type will detect where there is no overlap and instead of returning
+ * a `never` value it will just convert to `AnyObject | AnyArray`:
+ *
+ * If the union of `T` with `Exclude<T, Scalar| undefined | AnyFunction>`
+ * - is a _container_ than we're done we simply apply the Exclude and return the type
+ * - is a **Scalar** value or _undefined_ we just convert to the generic `AnyObject | AnyArray`
+ * - if we resolve to `unknown` or `any` then all we can logically do is wrap it into a readonly array (e.g. `[unknown]` or `[any]` respectively).
+ */
+export type ToContainer<T> = IfNever<Exclude<T, Scalar | undefined | AnyFunction>, AnyObject | AnyArray, IfEqual<Exclude<T, Scalar | undefined | AnyFunction>, any, [
+    any
+], IfEqual<Exclude<T, Scalar | undefined | AnyFunction>, unknown, [
+    unknown
+], Exclude<T, Scalar | undefined | AnyFunction>>>>;
+//# sourceMappingURL=ToContainer.d.ts.map

package/dist/types/src/types/type-conversion/ToContainer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ToContainer.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/ToContainer.ts"],"names":[],"mappings":"AACA,OAAO,EACL,QAAQ,EACR,WAAW,EACX,SAAS,EACT,MAAM,EACN,OAAO,EACP,OAAO,EACR,MAAM,IAAI,CAAC;AAEZ;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,OAAO,CAClC,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,WAAW,CAAC,EAC5C,SAAS,GAAG,QAAQ,EAEpB,OAAO,CACL,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,WAAW,CAAC,EAAE,GAAG,EACjD;IAAC,GAAG;CAAC,EACL,OAAO,CACP,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,WAAW,CAAC,EAAE,OAAO,EACrD;IAAC,OAAO;CAAC,EACT,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,WAAW,CAAC,CAC3C,CACF,CAEF,CAAC"}

package/dist/types/src/types/type-conversion/ToContainer.js

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

package/dist/types/src/types/type-conversion/ToNumber.d.ts

@@ -0,0 +1,14 @@
+import { Scalar, IfScalar, ToNumericArray, IfTrue, IfFalse, IfBoolean, Tuple } from "..";
+type ConvertElement<TValue extends Scalar> = TValue extends number ? TValue : TValue extends `${infer N extends number}` ? N : IfTrue<TValue, 1, IfFalse<TValue, 0, IfBoolean<TValue, 1 | 0, never>>>;
+/**
+ * **ToNumber**`<T>`
+ *
+ * - Converts `T` into a numeric type:
+ *    - if `T` is a Scalar/Object it's converted to a number where possible
+ *    - if `T` is an array then each element will be converted to a number where possible
+ *    - any non-numeric content which can not be converted to a number will be convert to `never`
+ *    - a number or a numeric array will be proxied through "as is"
+ */
+export type ToNumber<TValue> = TValue extends Tuple ? ToNumericArray<TValue> : IfScalar<TValue, ConvertElement<TValue & Scalar>, never>;
+export {};
+//# sourceMappingURL=ToNumber.d.ts.map

package/dist/types/src/types/type-conversion/ToNumber.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ToNumber.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/ToNumber.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,EACN,QAAQ,EACR,cAAc,EACd,MAAM,EACN,OAAO,EACP,SAAS,EACT,KAAK,EACN,MAAM,IAAI,CAAC;AAEZ,KAAK,cAAc,CACjB,MAAM,SAAS,MAAM,IAEvB,MAAM,SAAS,MAAM,GACjB,MAAM,GACN,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GACxC,CAAC,GACD,MAAM,CACJ,MAAM,EACN,CAAC,EACD,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CACpD,CAAC;AAER;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAAC,MAAM,IAAI,MAAM,SAAS,KAAK,GAC/C,cAAc,CAAC,MAAM,CAAC,GACtB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC"}

package/dist/types/src/types/type-conversion/ToNumber.js

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

package/dist/types/src/types/type-conversion/ToString.d.ts

@@ -0,0 +1,14 @@
+import { AnyFunction, AnyObject, IfLiteral, IfRef, IsUndefined, Narrowable, Concat } from "..";
+/**
+ * **ToString**
+ *
+ * Converts any type into a string representation.
+ * This utility works as advertised but is in early stages
+ * so expect it to be refined over time.
+ *
+ * **Related:** `AsString`
+ */
+export type ToString<T> = T extends string ? T : T extends number ? IfLiteral<T, `${T}`, `${number}`> : T extends boolean ? IfLiteral<T, `${T}`, `${boolean}`> : T extends null ? "null" : IsUndefined<T> extends true ? "undefined" : T extends AnyObject ? IfRef<T, Concat<["Ref<", T extends {
+    value: Narrowable;
+} ? ToString<T["value"]> : "", ">"]>, "Object"> : T extends symbol ? "symbol" : T extends string[] ? "string[]" : T extends number[] ? "number[]" : T extends boolean[] ? "boolean[]" : T extends AnyFunction[] ? "Function[]" : T extends AnyObject[] ? "Object[]" : T extends unknown[] ? "unknown[]" : T extends any[] ? "any[]" : "unknown";
+//# sourceMappingURL=ToString.d.ts.map

package/dist/types/src/types/type-conversion/ToString.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ToString.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/ToString.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,SAAS,EAAC,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAC,MAAM,IAAI,CAAC;AAE7F;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACtC,CAAC,GACD,CAAC,SAAS,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,GACpD,CAAC,SAAS,OAAO,GAAG,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAG,GAAG,OAAO,EAAE,CAAC,GACvD,CAAC,SAAS,IAAI,GAAG,MAAM,GACvB,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,WAAW,GACzC,CAAC,SAAS,SAAS,GAAG,KAAK,CACzB,CAAC,EACD,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,SAAS;IAAE,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,EAClF,QAAQ,CACT,GACD,CAAC,SAAS,MAAM,GAAG,QAAQ,GAC3B,CAAC,SAAS,MAAM,EAAE,GAAG,UAAU,GAC/B,CAAC,SAAS,MAAM,EAAE,GAAG,UAAU,GAC/B,CAAC,SAAS,OAAO,EAAE,GAAG,WAAW,GACjC,CAAC,SAAS,WAAW,EAAE,GAAG,YAAY,GACtC,CAAC,SAAS,SAAS,EAAE,GAAG,UAAU,GAClC,CAAC,SAAS,OAAO,EAAE,GAAG,WAAW,GACjC,CAAC,SAAS,GAAG,EAAE,GAAG,OAAO,GACzB,SAAS,CAAC"}

package/dist/types/src/types/type-conversion/ToString.js

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

package/dist/types/src/types/type-conversion/ToUnion.d.ts

@@ -0,0 +1,10 @@
+/**
+ * **ToUnion**`<T>`
+ *
+ * Converts `T` -- which must be an array of something -- to
+ * a Union type.
+ *
+ * **Related:** `TupleToUnion`
+ */
+export type ToUnion<T extends any[]> = T[number];
+//# sourceMappingURL=ToUnion.d.ts.map

package/dist/types/src/types/type-conversion/ToUnion.d.ts.map

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

package/dist/types/src/types/type-conversion/ToUnion.js

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

package/dist/types/src/types/type-conversion/Trim.d.ts

@@ -0,0 +1,12 @@
+import { Whitespace } from "..";
+/**
+ * Trims off blank spaces, `\n` and `\t` characters from both sides of a _string literal_.
+ * ```ts
+ * // "foobar"
+ * type T = Trim<"\n\t  foobar ">;
+ * // string
+ * type T = Trim<string>;
+ * ```
+ */
+export type Trim<S extends string> = string extends S ? string : S extends `${Whitespace}${infer Right}` ? Trim<Right> : S extends `${infer Left}${Whitespace}` ? Trim<Left> : S;
+//# sourceMappingURL=Trim.d.ts.map

package/dist/types/src/types/type-conversion/Trim.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Trim.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/Trim.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAGhC;;;;;;;;GAQG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAAG,MAAM,GAC5D,CAAC,SAAS,GAAG,UAAU,GAAG,MAAM,KAAK,EAAE,GACvC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,GAAG,MAAM,IAAI,GAAG,UAAU,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC"}

package/dist/types/src/types/type-conversion/Trim.js

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

package/dist/types/src/types/type-conversion/TrimLeft.d.ts

@@ -0,0 +1,12 @@
+import { Whitespace } from "..";
+/**
+ * Trims off whitespace on left of string
+ * ```ts
+ * // "foobar "
+ * type T = TrimLeft<"\n\t  foobar ">;
+ * // string
+ * type T = TrimLeft<string>;
+ * ```
+ */
+export type TrimLeft<S extends string> = string extends S ? string : S extends `${Whitespace}${infer Right}` ? TrimLeft<Right> : S;
+//# sourceMappingURL=TrimLeft.d.ts.map

package/dist/types/src/types/type-conversion/TrimLeft.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TrimLeft.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/TrimLeft.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAEhC;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAAG,MAAM,GAChE,CAAC,SAAS,GAAG,UAAU,GAAG,MAAM,KAAK,EAAE,GACvC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC"}

package/dist/types/src/types/type-conversion/TrimLeft.js

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

package/dist/types/src/types/type-conversion/TrimRight.d.ts

@@ -0,0 +1,12 @@
+import { Whitespace } from "..";
+/**
+ * Trims off whitespace on left of string
+ * ```ts
+ * // "\n foobar"
+ * type T = TrimRight<"\n foobar \t">;
+ * // string
+ * type T = TrimRight<string>;
+ * ```
+ */
+export type TrimRight<S extends string> = string extends S ? string : S extends `${infer Right}${Whitespace}` ? TrimRight<Right> : S;
+//# sourceMappingURL=TrimRight.d.ts.map

package/dist/types/src/types/type-conversion/TrimRight.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TrimRight.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/TrimRight.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAEhC;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAAG,MAAM,GACjE,CAAC,SAAS,GAAG,MAAM,KAAK,GAAG,UAAU,EAAE,GACvC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC"}

package/dist/types/src/types/type-conversion/TrimRight.js

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

package/dist/types/src/types/type-conversion/TupleToUnion.d.ts

@@ -0,0 +1,14 @@
+import { IfLength, Keys } from "..";
+/**
+ * Converts a Tuple type into a _union_ of the tuple elements
+ *
+ * ```ts
+ * const arr = [1, 3, 5] as const;
+ * // 1 | 3 | 5
+ * type U = TupleToUnion<typeof arr>;
+ * ```
+ *
+ * **Note:** an empty array will be converted to a `string` type.
+ */
+export type TupleToUnion<T> = T extends readonly unknown[] ? IfLength<Keys<T>, 0, never, T[number]> : never;
+//# sourceMappingURL=TupleToUnion.d.ts.map

package/dist/types/src/types/type-conversion/TupleToUnion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TupleToUnion.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/TupleToUnion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAC,IAAI,EAAE,MAAM,IAAI,CAAC;AAEnC;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,OAAO,EAAE,GACtD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GACtC,KAAK,CAAC"}

package/dist/types/src/types/type-conversion/TupleToUnion.js

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

package/dist/types/src/types/type-conversion/UnionToIntersection.d.ts

@@ -0,0 +1,7 @@
+/**
+ * **UnionToIntersection**`<U>`
+ *
+ * Type utility which converts a union type to an intersection
+ */
+export type UnionToIntersection<U> = (U extends U ? (x: U) => unknown : never) extends (x: infer R) => unknown ? R : never;
+//# sourceMappingURL=UnionToIntersection.d.ts.map

package/dist/types/src/types/type-conversion/UnionToIntersection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"UnionToIntersection.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/UnionToIntersection.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CACnC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,KAAK,CACxC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,OAAO,GAC7B,CAAC,GACD,KAAK,CAAC"}

package/dist/types/src/types/type-conversion/UnionToIntersection.js

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

package/dist/types/src/types/type-conversion/UnionToTuple.d.ts

@@ -0,0 +1,11 @@
+type UnionToIntersectionFn<T> = (T extends T ? (x: () => T) => unknown : never) extends (x: infer R) => unknown ? R : never;
+type GetUnionLast<T> = UnionToIntersectionFn<T> extends () => infer R ? R : never;
+type Prepend<Arr extends unknown[], Item> = [Item, ...Arr];
+/**
+ * UnionToTuple<1 | 2> = [1, 2].
+ */
+export type UnionToTuple<T, Result extends unknown[] = [], Last = GetUnionLast<T>> = [
+    T
+] extends [never] ? Result : UnionToTuple<Exclude<T, Last>, Prepend<Result, Last>>;
+export {};
+//# sourceMappingURL=UnionToTuple.d.ts.map

package/dist/types/src/types/type-conversion/UnionToTuple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"UnionToTuple.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/UnionToTuple.ts"],"names":[],"mappings":"AAEA,KAAK,qBAAqB,CAAC,CAAC,IAAI,CAC9B,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,OAAO,GAAG,KAAK,CAC9C,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,OAAO,GAC7B,CAAC,GACD,KAAK,CAAC;AAEV,KAAK,YAAY,CAAC,CAAC,IAAI,qBAAqB,CAAC,CAAC,CAAC,SAAS,MAAM,MAAM,CAAC,GACjE,CAAC,GACD,KAAK,CAAC;AACV,KAAK,OAAO,CAAC,GAAG,SAAS,OAAO,EAAE,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,SAAS,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI;IACnF,CAAC;CACF,SAAS,CAAC,KAAK,CAAC,GAEb,MAAM,GAEN,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC"}

package/dist/types/src/types/type-conversion/UnionToTuple.js

@@ -0,0 +1,2 @@
+/* eslint-disable @typescript-eslint/no-unused-vars */
+export {};

package/dist/types/src/types/type-conversion/UnionWithAll.d.ts

@@ -0,0 +1,15 @@
+/**
+ * **UnionWithAll**`<TList,TUnion>`
+ *
+ * Type utility which iterates through each element of `TList` and creates a
+ * a union between the current value and `TUnion`.
+ * ```ts
+ * type Arr = [1,2,"foo"];
+ * // [1,2, "foo" | number]
+ * type Num = UnionWithAll<Arr, number>;
+ * ```
+ */
+export type UnionWithAll<TList extends readonly unknown[], TUnion> = {
+    [K in keyof TList]: TList[K] | TUnion;
+};
+//# sourceMappingURL=UnionWithAll.d.ts.map

package/dist/types/src/types/type-conversion/UnionWithAll.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"UnionWithAll.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/UnionWithAll.ts"],"names":[],"mappings":"AACA;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CACtB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,MAAM,IACJ;KACD,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM;CACtC,CAAC"}

package/dist/types/src/types/type-conversion/UnionWithAll.js

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

package/dist/types/src/types/type-conversion/ValueOrReturnValue.d.ts

@@ -0,0 +1,20 @@
+import { AnyFunction } from "..";
+type Process<T extends readonly unknown[]> = {
+    [K in keyof T]: T[K] extends AnyFunction ? ReturnType<T[K]> : T[K];
+};
+/**
+ * **ValueOrReturnValue**`<TEval>`
+ *
+ * Takes a value or a tuple of values in `TEval` and evaluates what
+ * the item's _return type_ is when an element is a function; otherwise it just proxies
+ * the element's type forward.
+ *
+ * ### Example
+ * ```ts
+ * // [true, "foo", "bar"]
+ * type T = ValueOrReturns<[true, "foo", () => "bar"]>;
+ * ```
+ */
+export type ValueOrReturnValue<TEval> = TEval extends readonly unknown[] ? Process<TEval> : Process<[TEval]>[0];
+export {};
+//# sourceMappingURL=ValueOrReturnValue.d.ts.map

package/dist/types/src/types/type-conversion/ValueOrReturnValue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValueOrReturnValue.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/ValueOrReturnValue.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,IAAI,CAAC;AAGjC,KAAK,OAAO,CACV,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B;KACD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,GACtC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAChB,CAAC,CAAC,CAAC,CAAC;CACP,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,kBAAkB,CAAC,KAAK,IAAI,KAAK,SAAS,SAAS,OAAO,EAAE,GACtE,OAAO,CAAC,KAAK,CAAC,GACd,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/types/src/types/type-conversion/ValueOrReturnValue.js

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

package/dist/types/src/types/type-conversion/Widen.d.ts

@@ -0,0 +1,11 @@
+import { AnyFunction, AnyObject, IsEqual, WidenProps } from "..";
+/**
+ * **Widen**<T>
+ *
+ * Makes all efforts to _widen_ the type found (though
+ * not to the point it is "unknown" or "any").
+ */
+export type Widen<T> = T extends string ? string : T extends number ? number : T extends boolean ? boolean : T extends readonly string[] ? string[] : T extends readonly number[] ? number[] : T extends readonly boolean[] ? boolean[] : T extends readonly AnyFunction[] ? AnyFunction[] : T extends readonly unknown[] ? {
+    [K in keyof T]: Widen<T[K]>;
+} : IsEqual<{}, T> extends true ? object : T extends AnyObject ? WidenProps<T> : T;
+//# sourceMappingURL=Widen.d.ts.map

package/dist/types/src/types/type-conversion/Widen.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Widen.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/Widen.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAEjE;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACnC,MAAM,GACN,CAAC,SAAS,MAAM,GAChB,MAAM,GACN,CAAC,SAAS,OAAO,GACjB,OAAO,GACP,CAAC,SAAS,SAAS,MAAM,EAAE,GAC3B,MAAM,EAAE,GACR,CAAC,SAAS,SAAS,MAAM,EAAE,GAC3B,MAAM,EAAE,GACR,CAAC,SAAS,SAAS,OAAO,EAAE,GAC5B,OAAO,EAAE,GACT,CAAC,SAAS,SAAS,WAAW,EAAE,GAChC,WAAW,EAAE,GACb,CAAC,SAAS,SAAS,OAAO,EAAE,GAC5B;KACC,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5B,GACC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,GAC3B,MAAM,GACN,CAAC,SAAS,SAAS,GACjB,UAAU,CAAC,CAAC,CAAC,GACf,CAAC,CAAC"}

package/dist/types/src/types/type-conversion/Widen.js

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

package/dist/types/src/types/type-conversion/WidenProps.d.ts

@@ -0,0 +1,11 @@
+import { AnyObject, IsIndexable } from "..";
+import { Widen } from "./Widen";
+/**
+ * **WidenProps**`<T>`
+ *
+ * Type utility which widens the properties of an object.
+ */
+export type WidenProps<T extends AnyObject> = IsIndexable<T> extends true ? {
+    [K in keyof T]: Widen<T[K]>;
+} : T;
+//# sourceMappingURL=WidenProps.d.ts.map

package/dist/types/src/types/type-conversion/WidenProps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"WidenProps.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/WidenProps.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAG,WAAW,EAAE,MAAM,IAAI,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAEhC;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,SAAS,IAAI,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GACrE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC/B,CAAC,CAAC"}

package/dist/types/src/types/type-conversion/WidenProps.js

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

package/dist/types/src/types/type-conversion/WithDefault.d.ts

@@ -0,0 +1,23 @@
+import { IfExtends, IfFalsy, Nothing } from "..";
+/**
+ * **WithDefault**`<TVal,TDef>`
+ *
+ * Provided a type `TVal`, this utility will proxy any value which is
+ * _not_ `null` or `undefined` through as `TVal`; otherwise it will
+ * substitute in `TDef`.
+ *
+ * **Note:** you may optionally set the criteria for using the default
+ * value from `null` or `undefined` to any _falsy_ value.
+ *
+ * ### Examples
+ * ```ts
+ * // "foo"
+ * type T1 = WithDefault<"foo","bar">;
+ * // "bar"
+ * type T2 = WithDefault<null,"bar">;
+ * // "bar"
+ * type T3 = WithoutDefault<"", "bar", "falsy">;
+ * ```
+ */
+export type WithDefault<TVal, TDef, TPolicy extends "nothing" | "falsy" = "nothing"> = TPolicy extends "nothing" ? IfExtends<TVal, Nothing, TDef, TVal> : IfFalsy<TVal, TDef, TVal>;
+//# sourceMappingURL=WithDefault.d.ts.map

package/dist/types/src/types/type-conversion/WithDefault.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"WithDefault.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/WithDefault.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC;AAEjD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,WAAW,CACrB,IAAI,EACJ,IAAI,EACJ,OAAO,SAAS,SAAS,GAAG,OAAO,GAAG,SAAS,IAC7C,OAAO,SAAS,SAAS,GAC3B,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,GACpC,OAAO,CAAC,IAAI,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC"}

package/dist/types/src/types/type-conversion/WithDefault.js

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

package/dist/types/src/types/type-conversion/form-fields.d.ts

@@ -0,0 +1,13 @@
+import { NumericChar } from "..";
+/**
+ * An email address
+ */
+export type Email = `${string}@${string}.${string}`;
+type Zip5 = `${NumericChar}${NumericChar}${string}${NumericChar}`;
+type Zip4 = `${NumericChar}${string}`;
+/**
+ * A relatively strong type for Zip5 or Zip5+4 zip codes
+ */
+export type ZipCode = Zip5 | `${Zip5}-${Zip4}`;
+export {};
+//# sourceMappingURL=form-fields.d.ts.map

package/dist/types/src/types/type-conversion/form-fields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"form-fields.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/form-fields.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,IAAI,CAAC;AAEjC;;GAEG;AACH,MAAM,MAAM,KAAK,GAAG,GAAG,MAAM,IAAI,MAAM,IAAI,MAAM,EAAE,CAAC;AAEpD,KAAK,IAAI,GAAG,GAAG,WAAW,GAAG,WAAW,GAAG,MAAM,GAAG,WAAW,EAAE,CAAC;AAClE,KAAK,IAAI,GAAG,GAAG,WAAW,GAAG,MAAM,EAAE,CAAC;AAEtC;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,IAAI,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC"}

package/dist/types/src/types/type-conversion/form-fields.js

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

package/dist/types/src/types/type-conversion/index.d.ts

@@ -0,0 +1,39 @@
+export * from "./Awaited";
+export * from "./AsString";
+export * from "./AsNumber";
+export * from "./AsFunction";
+export * from "./TupleToUnion";
+export * from "./UnionToIntersection";
+export * from "./KvDict";
+export * from "./ToString";
+export * from "./ToUnion";
+export * from "./ToNumber";
+export * from "./ToBoolean";
+export * from "./UnionToTuple";
+export * from "./Widen";
+export * from "./WidenProps";
+export * from "./Mutable";
+export * from "./MergeObjects";
+export * from "./Merge";
+export * from "./Break";
+export * from "./ArrConcat";
+export * from "./LeftWhitespace";
+export * from "./Replace";
+export * from "./ReplaceAll";
+export * from "./ObjValues";
+export * from "./RightWhitespace";
+export * from "./ObjectToKvDict";
+export * from "./StringLength";
+export * from "./Trim";
+export * from "./TrimLeft";
+export * from "./TrimRight";
+export * from "./form-fields";
+export * from "./RemoveFromStart";
+export * from "./RemoveFromEnd";
+export * from "./RemoveIndex";
+export * from "./IntersectWithAll";
+export * from "./UnionWithAll";
+export * from "./ToContainer";
+export * from "./ValueOrReturnValue";
+export * from "./WithDefault";
+//# sourceMappingURL=index.d.ts.map

package/dist/types/src/types/type-conversion/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/types/type-conversion/index.ts"],"names":[],"mappings":"AAOA,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC;AACtC,cAAc,UAAU,CAAC;AACzB,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,SAAS,CAAC;AACxB,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,WAAW,CAAC;AAC1B,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAE5B,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,QAAQ,CAAC;AACvB,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC;AAE/B,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,eAAe,CAAC"}

package/dist/types/src/types/type-conversion/index.js

@@ -0,0 +1,46 @@
+// #autoindex
+// #region auto-indexed files
+// index last changed at: 8th Aug, 2022, 09:51 AM ( GMT-7 )
+// hash-code: 200001fa
+// file exports
+export * from "./Awaited";
+export * from "./AsString";
+export * from "./AsNumber";
+export * from "./AsFunction";
+export * from "./TupleToUnion";
+export * from "./UnionToIntersection";
+export * from "./KvDict";
+export * from "./ToString";
+export * from "./ToUnion";
+export * from "./ToNumber";
+export * from "./ToBoolean";
+export * from "./UnionToTuple";
+export * from "./Widen";
+export * from "./WidenProps";
+export * from "./Mutable";
+export * from "./MergeObjects";
+export * from "./Merge";
+export * from "./Break";
+export * from "./ArrConcat";
+export * from "./LeftWhitespace";
+export * from "./Replace";
+export * from "./ReplaceAll";
+export * from "./ObjValues";
+export * from "./RightWhitespace";
+export * from "./ObjectToKvDict";
+export * from "./StringLength";
+export * from "./Trim";
+export * from "./TrimLeft";
+export * from "./TrimRight";
+export * from "./form-fields";
+export * from "./RemoveFromStart";
+export * from "./RemoveFromEnd";
+export * from "./RemoveIndex";
+export * from "./IntersectWithAll";
+export * from "./UnionWithAll";
+export * from "./ToContainer";
+export * from "./ValueOrReturnValue";
+export * from "./WithDefault";
+// #endregion auto-indexed files
+// see https://github.com/inocan-group/do-devops/docs/autoindex.md
+// for more info

package/package.json

@@ -1,64 +1,74 @@
 {
   "name": "inferred-types",
-  "version": "0.37.5",
+  "version": "0.40.1",
   "description": "Functions which provide useful type inference on TS projects",
   "license": "MIT",
   "author": "Ken Snyder<ken@ken.net>",
-  "module": "./dist/index.js",
-  "typings": "./dist/index.d.ts",
+  "type": "module",
+  "module": "./dist/src/inferred-types/index.js",
+  "typings": "./dist/src/inferred-types/index.d.ts",
   "exports": {
     ".": {
-      "import": "./dist/index.js"
+      "import": "./dist/src/inferred-types/index.js",
+      "types": "./dist/src/inferred-types/index.d.ts",
+      "default": "./dist/src/inferred-types/index.js"
     }
   },
   "files": [
     "dist"
   ],
-  "type": "module",
   "repository": {
     "url": "https://github.com/inocan-group/inferred-types"
   },
   "sideEffects": false,
   "scripts": {
     "about": "tokei src",
-    "build": "run-s lint build:bundle",
-    "build:bundle": "tsup src/index.ts --dts --format=esm --clean",
-    "watch": "run-p watch:*",
-    "watch:bundle": "tsup src/index.ts --dts --format=esm --watch",
+    "build": "tsc -b --verbose src/inferred-types",
+    "build:force": "tsc -b -f --verbose src/inferred-types",
+    "diagnostics": "npx tsc -b -f -diagnostics",
     "clean": "rimraf dist/**/*",
-    "lint": "eslint src/**/*.ts --fix && tsc --noEmit ",
-    "lint:full": "eslint src/**/*.ts && eslint tests/**/*.ts && tsc --noEmit",
+    "lint": "run-p lint:*",
+    "lint:test": "eslint tests/**/*.ts --fix",
+    "lint:src": "eslint src/**/*.ts --fix ",
+    "trace": "npx tsc --noEmit --diagnostics && npx analyze-trace trace",
     "test": "vitest",
     "test:ui": "vitest --ui",
     "test:ci": "vitest run",
     "audit:fix": "pnpm audit --fix",
-    "release": "run-s lint:full release:latest test:ci audit:fix release:bump",
+    "release": "run-s lint release:latest test:ci audit:fix release:bump",
     "release:latest": "pnpm install",
     "release:bump": "bumpp",
-    "prepublishOnly": "npm run build"
+    "prepublishOnly": "npm run build:force",
+    "watch": "run-p watch:*",
+    "watch:lint": "esw (src|tests)/**/*.ts -w --clear",
+    "watch:bundle": "tsup src/index.ts --format=esm --dts"
   },
   "dependencies": {
-    "brilliant-errors": "^0.7.3"
+    "vue": "^3.4.6"
   },
   "devDependencies": {
     "@type-challenges/utils": "~0.1.1",
-    "@types/node": "^16.18.7",
-    "@typescript-eslint/eslint-plugin": "^5.46.0",
-    "@typescript-eslint/parser": "^5.46.0",
-    "@vitest/ui": "^0.25.6",
-    "bumpp": "^8.2.1",
+    "@types/node": "^18.19.5",
+    "@typescript-eslint/eslint-plugin": "^6.18.1",
+    "@typescript-eslint/parser": "^6.18.1",
+    "@typescript/analyze-trace": "^0.10.1",
+    "@vitest/ui": "^1.1.3",
+    "bumpp": "^9.2.1",
     "cross-env": "^7.0.3",
-    "eslint": "^8.29.0",
-    "eslint-config-prettier": "^8.5.0",
-    "eslint-plugin-import": "^2.26.0",
-    "eslint-plugin-prettier": "^4.2.1",
+    "eslint": "^8.56.0",
+    "eslint-config-prettier": "^9.1.0",
+    "eslint-import-resolver-typescript": "^3.6.1",
+    "eslint-plugin-import": "^2.29.1",
+    "eslint-plugin-prettier": "^5.1.2",
     "eslint-plugin-promise": "^6.1.1",
+    "eslint-watch": "^8.0.0",
     "npm-run-all": "~4.1.5",
-    "pathe": "^1.0.0",
-    "prettier": "~2.8.1",
-    "tsup": "^6.5.0",
-    "typescript": "^4.9.4",
-    "vite": "^3.2.5",
-    "vitest": "^0.25.6"
+    "pathe": "^1.1.1",
+    "prettier": "^3.1.1",
+    "tsup": "^8.0.1",
+    "typescript": "5.3.3",
+    "vite": "^5.0.11",
+    "vite-node": "^1.1.3",
+    "vitest": "^1.1.3"
   }
 }