inferred-types 0.46.0 → 0.47.0

package/dist/runtime/runtime-types/parse.js

@@ -1,29 +0,0 @@
-import { isShape } from "./shape.js";
-import { getTokenName } from "./shape-helpers/getTokenName.js";
-import { getTokenData } from "./shape-helpers/getTokenData.js";
-const handleTypeToken = (token) => () => {
-    return {
-        isToken: true,
-        type: null,
-        token,
-        tokenName: getTokenName(token),
-        tokenData: getTokenData(token),
-    };
-};
-/**
- * **parse**`(value)`
- *
- * Detects if the value passed in is a type token
- * from the `ShapeApi`.
- */
-export const parse = (value) => {
-    return isShape(value)
-        ? handleTypeToken(value)()
-        : {
-            isToken: false,
-            type: value,
-        };
-};
-// export const IsParsedToken = <T>(value: T): value is ParsedToken<T> => {
-//   return isObject(value) && "isToken" in value && value.isToken === true;
-// }

package/dist/types/base-types/fns/AnyFnWithDict.d.ts

@@ -1,9 +0,0 @@
-import { Dictionary, TypedFunction } from "../..";
-/**
- * **AnyFnWithDict**
- *
- * Allows you to easily express a function of _any_ parameters,
- * _any_ return value, so long as the function has the properties
- */
-export type AnyFnWithDict<TDict extends Dictionary> = TypedFunction & TDict;
-//# sourceMappingURL=AnyFnWithDict.d.ts.map

package/dist/types/base-types/fns/AnyFnWithDict.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"AnyFnWithDict.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/fns/AnyFnWithDict.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,OAAO,CAAC;AAGlD;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,UAAU,IAAI,aAAa,GAAG,KAAK,CAAC"}

package/dist/types/base-types/fns/FnWithDict.d.ts

@@ -1,10 +0,0 @@
-import type { AnyObject, IsTrue, If, JustFunction, TypedFunction } from "../../index";
-/**
- * **FnWithDict**`<TFn,TProps,[TClone]>`
- *
- * Represents any function which is intersected with a dictionary of KV's.
- *
- * **Related**: `SimpleFn`, `NarrowableFn`, `AnyFunction`, `IsFunctionWithDict`
- */
-export type FnWithDict<TFn extends TypedFunction, TProps extends AnyObject, TClone extends boolean | null | undefined = true> = If<IsTrue<TClone>, JustFunction<TFn> & TProps, TFn & TProps>;
-//# sourceMappingURL=FnWithDict.d.ts.map

package/dist/types/base-types/fns/FnWithDict.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"FnWithDict.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/fns/FnWithDict.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,SAAS,EACT,MAAM,EACN,EAAE,EACF,YAAY,EACZ,aAAa,EACd,oBAAwB;AAIzB;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CACpB,GAAG,SAAS,aAAa,EACzB,MAAM,SAAS,SAAS,EACxB,MAAM,SAAS,OAAO,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,IAC9C,EAAE,CACJ,MAAM,CAAC,MAAM,CAAC,EACd,YAAY,CAAC,GAAG,CAAC,GAAG,MAAM,EAC1B,GAAG,GAAG,MAAM,CACb,CAAC"}

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

@@ -1,40 +0,0 @@
-import { AnyFunction, AnyObject, IsStringLiteral, IsEqual, IsNumericLiteral, IsLiteral, IsUnion, If, UnionToTuple, Join, IsTuple, IsNever, IsTrue, Surround, IsObjectLiteral, Keys, AfterFirst, First, AsString, IsBooleanLiteral, Dictionary, Something, Extends } from "../index";
-type DescribeUnion<T extends readonly unknown[]> = Join<{
-    [K in keyof T]: Describe<T[K]>;
-}, " | ">;
-type DescribeFunction<T extends AnyFunction> = Extends<T, Function> extends true ? "Function" : ``;
-type Describe<T> = If<IsNever<T>, "never", [
-    T
-] extends [string] ? If<IsStringLiteral<T>, `'${T}'`, "string"> : [T] extends [boolean] ? If<IsTrue<T>, "true", If<IsBooleanLiteral<T>, "false", "boolean">> : [T] extends [AnyFunction] ? DescribeFunction<T> : IsEqual<T, null> extends true ? "null" : IsEqual<T, undefined> extends true ? "undefined" : IsEqual<T, unknown> extends true ? "unknown" : [T] extends [number] ? If<IsNumericLiteral<T>, `${T}`, "number"> : [T] extends [AnyFunction] ? DescribeFunction<T> : [T] extends [AnyObject] ? If<IsLiteral<T>, "{ ... }", "object"> : [T] extends [symbol] ? "symbol" : "non-identified-type">;
-type ProcessUnionArray<T extends readonly unknown[]> = `(${DescribeUnion<T>})[]`;
-type HandleWideArray<T extends readonly unknown[]> = T extends (infer U)[] ? IsUnion<U> extends true ? ProcessUnionArray<UnionToTuple<U>> : U extends string ? "string[]" : U extends number ? "number[]" : U extends boolean ? "boolean[]" : "unknown[]" : never;
-/**
- * **DescribeArray**`<T>`
- *
- * Describes an array/tuple in string format
- */
-export type DescribeArray<T extends readonly unknown[]> = IsTuple<T> extends true ? Surround<Join<{
-    [K in keyof T]: Describe<T[K]>;
-}, ", ">, "[", "]"> : HandleWideArray<T>;
-type ObjKey<T extends string | symbol | number> = T extends string ? T : T extends number ? AsString<T> : "symbol";
-type HandleObjLiteral<TObj extends object, TKeys extends readonly (keyof TObj)[], TResult extends string = ""> = [] extends TKeys ? `{ ${TResult} }` : HandleObjLiteral<TObj, AfterFirst<TKeys>, TResult extends "" ? `${ObjKey<First<TKeys>>}: ${AsString<Describe<TObj[First<TKeys>]>>}` : `${TResult}; ${ObjKey<First<TKeys>>}: ${AsString<Describe<TObj[First<TKeys>]>>}`>;
-type RecordKey<K extends PropertyKey> = IsUnion<K> extends true ? Join<UnionToTuple<K>, "|"> : Describe<K>;
-type RecordValue<T> = AsString<Describe<T>>;
-type BuildRecord<K extends PropertyKey, V> = RecordKey<K> extends string ? RecordValue<V> extends string ? `Record<${RecordKey<K>}, ${RecordValue<V>}>` : never : never;
-export type DescribeDictionary<T extends object> = IsObjectLiteral<T> extends true ? HandleObjLiteral<T, Keys<T> extends readonly (keyof T)[] ? Keys<T> : never> : IsEqual<T, object> extends true ? "object" : IsEqual<T, Dictionary> extends true ? "Record<string | symbol, unknown>" : [T] extends [Record<infer K, infer V>] ? BuildRecord<K, V> : "object";
-type DescribeMap<K extends Something, V> = `Map<${AsString<Describe<K>>}, ${AsString<Describe<V>>}>`;
-type DescribeWeakMap<K extends Something, V> = `WeakMap<${AsString<DescribeDictionary<K>>}, ${AsString<Describe<V>>}>`;
-type DescribeSet<T> = `Set<${AsString<Describe<T>>}>`;
-type Process<T> = [IsNever<T>] extends [true] ? "never" : [IsUnion<T>] extends [true] ? DescribeUnion<UnionToTuple<T>> : [T] extends [unknown[]] ? DescribeArray<T> : [T] extends [Dictionary] ? DescribeDictionary<T> : [T] extends [Map<infer K extends Something, infer V>] ? DescribeMap<K, V> : [T] extends [WeakMap<infer K extends object, infer V>] ? DescribeWeakMap<K, V> : [T] extends [Set<infer K>] ? DescribeSet<K> : Describe<T>;
-/**
- * **DescribeType**`<T>`
- *
- * Describes the type of `T`.
- *
- * - this includes being able to identify "runtime types" like those
- * defined from the `type()` runtime utility in this library as the
- * underlying type
- */
-export type DescribeType<T> = Process<T> extends string ? Process<T> : never;
-export {};
-//# sourceMappingURL=DescribeType.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"DescribeType.d.ts","sourceRoot":"","sources":["../../../src/types/runtime-types/DescribeType.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,WAAW,EACX,SAAS,EACT,eAAe,EACf,OAAO,EACP,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,EAAE,EACF,YAAY,EACZ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,MAAM,EACN,QAAQ,EACR,eAAe,EACf,IAAI,EACJ,UAAU,EACV,KAAK,EACL,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,SAAS,EACT,OAAO,EACR,iBAAwB;AAGzB,KAAK,aAAa,CAChB,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,IAAI,CAAC;KACN,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/B,EAAE,KAAK,CAAC,CAAC;AAGV,KAAK,gBAAgB,CAAC,CAAC,SAAS,WAAW,IAAI,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,SAAS,IAAI,GAC5E,UAAU,GACV,EAAE,CAAC;AAEP,KAAK,QAAQ,CACX,CAAC,IACC,EAAE,CACJ,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,EACP;IAAC,CAAC;CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,EAAC,IAAI,CAAC,GAAG,EAAC,QAAQ,CAAC,GAC3D,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GACrB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,GAClE,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,GACzB,gBAAgB,CAAC,CAAC,CAAC,GACnB,OAAO,CAAC,CAAC,EAAC,IAAI,CAAC,SAAS,IAAI,GAAI,MAAM,GACtC,OAAO,CAAC,CAAC,EAAC,SAAS,CAAC,SAAS,IAAI,GAAI,WAAW,GAChD,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GAAG,SAAS,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,GAChE,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAC/C,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC,GAC/D,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,QAAQ,GAC/B,qBAAqB,CAC1B,CAAC;AAEF,KAAK,iBAAiB,CACpB,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,CAAA;AAE7B,KAAK,eAAe,CAClB,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACvB,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAClC,CAAC,SAAS,MAAM,GAAG,UAAU,GAC7B,CAAC,SAAS,MAAM,GAAG,UAAU,GAC7B,CAAC,SAAS,OAAO,GAAG,WAAW,GAC/B,WAAW,GACb,KAAK,CAAC;AAGR;;;;GAIG;AACH,MAAM,MAAM,aAAa,CACvB,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACzB,QAAQ,CACN,IAAI,CAAC;KACF,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/B,EAAE,IAAI,CAAC,EACR,GAAG,EAAE,GAAG,CACT,GACD,eAAe,CAAC,CAAC,CAAC,CAAC;AAErB,KAAK,MAAM,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,MAAM,GAChE,CAAC,GACD,CAAC,SAAS,MAAM,GAChB,QAAQ,CAAC,CAAC,CAAC,GACX,QAAQ,CAAC;AAEX,KAAK,gBAAgB,CACnB,IAAI,SAAS,MAAM,EACnB,KAAK,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,EACrC,OAAO,SAAS,MAAM,GAAG,EAAE,IACzB,EAAE,SAAS,KAAK,GAClB,KAAK,OAAO,IAAI,GAChB,gBAAgB,CACd,IAAI,EACJ,UAAU,CAAC,KAAK,CAAC,EACjB,OAAO,SAAS,EAAE,GAChB,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GACpE,GAAG,OAAO,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CACnF,CAAC;AAEJ,KAAK,SAAS,CACZ,CAAC,SAAS,WAAW,IACnB,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACzB,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAC1B,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEd,KAAK,WAAW,CAAC,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5C,KAAK,WAAW,CACd,CAAC,SAAS,WAAW,EACrB,CAAC,IACC,SAAS,CAAC,CAAC,CAAC,SAAS,MAAM,GAC7B,WAAW,CAAC,CAAC,CAAC,SAAS,MAAM,GAC7B,UAAU,SAAS,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,GAAG,GAC5C,KAAK,GACL,KAAK,CAAC;AAGR,MAAM,MAAM,kBAAkB,CAC5B,CAAC,SAAS,MAAM,IACd,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,GAC/B,gBAAgB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,GAC3E,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,IAAI,GAAG,QAAQ,GAC1C,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,SAAS,IAAI,GAAG,kCAAkC,GACxE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAClC,WAAW,CAAC,CAAC,EAAC,CAAC,CAAC,GAClB,QAAQ,CAAC;AAEf,KAAK,WAAW,CACd,CAAC,SAAS,SAAS,EACnB,CAAC,IACC,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAE9D,KAAK,eAAe,CAClB,CAAC,SAAS,SAAS,EACnB,CAAC,IACC,WAAW,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAE5E,KAAK,WAAW,CACd,CAAC,IACC,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAGpC,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC3C,OAAO,GACP,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACzB,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAChC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,GACnB,aAAa,CAAC,CAAC,CAAC,GACpB,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,GACtB,kBAAkB,CAAC,CAAC,CAAC,GACrB,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,GACrD,WAAW,CAAC,CAAC,EAAC,CAAC,CAAC,GAChB,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GACtD,eAAe,CAAC,CAAC,EAAC,CAAC,CAAC,GACpB,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAC1B,WAAW,CAAC,CAAC,CAAC,GAChB,QAAQ,CAAC,CAAC,CAAC,CAAC;AAId;;;;;;;;GAQG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,MAAM,GACrD,OAAO,CAAC,CAAC,CAAC,GACV,KAAK,CAAC"}

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

@@ -1,2 +0,0 @@
-/* eslint-disable no-use-before-define */
-export {};