inferred-types 0.42.1 → 0.43.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "inferred-types",
-  "version": "0.42.1",
+  "version": "0.43.0",
   "description": "Functions which provide useful type inference on TS projects",
   "license": "MIT",
   "author": "Ken Snyder<ken@ken.net>",
@@ -30,61 +30,61 @@
     "build:force": "rimraf dist && tsc -b -f --verbose src/inferred-types",
     "diagnostics": "npx tsc -b -f --extendedDiagnostics src/inferred-types",
     "clean": "rimraf dist/**/*",
-    "lint": "run-s lint:*",
-    "lint:test": "pnpm eslint -c .eslintrc.json ./tests/**/*.ts --ext ts --fix",
-    "lint:src": "npx eslint -c .eslintrc.json ./src/**/*.ts --ext ts --fix ",
+    "lint": "eslint src",
     "trace": "npx tsc --noEmit --diagnostics && npx analyze-trace trace",
     "test": "vitest",
     "test:ui": "vitest --ui",
     "bench": "cd benches && tsx ./index.ts",
     "test:ci": "vitest run",
+    "test:types": "ts-type-tester tests tests/tsconfig.json --warn 6133 -v",
     "audit:fix": "pnpm audit --fix",
+    "audit:types": "ts-type-tester src/types src/types/tsconfig.json --warn 6133 -v",
+    "audit:runtime": "ts-type-tester src/runtime src/runtime/tsconfig.json --warn 6133",
+    "audit:constants": "ts-type-tester src/constants src/constants/tsconfig.json --warn 6133",
     "release": "run-s lint release:latest test:ci audit:fix release:bump",
     "release:latest": "pnpm install",
     "release:bump": "bumpp",
     "prepublishOnly": "npm run build:force",
     "watch": "run-p watch:*",
+    "watch:types": "ts-type-tester tests tests/tsconfig.json --warn 6133 -w",
     "watch:lint": "esw (src|tests)/**/*.ts -w --clear",
     "watch:bundle": "tsup src/index.ts --format=esm --dts"
   },
-  "dependencies": {
-    "vue": "^3.4.15"
-  },
   "devDependencies": {
     "@arktype/attest": "^0.5.4",
+    "@eslint/js": "^9.3.0",
     "@type-challenges/utils": "~0.1.1",
-    "@types/node": "^18.19.14",
-    "@typescript-eslint/eslint-plugin": "^6.21.0",
-    "@typescript-eslint/parser": "^6.21.0",
+    "@types/node": "^18.19.33",
+    "@typescript-eslint/eslint-plugin": "^7.10.0",
+    "@typescript-eslint/parser": "^7.10.0",
     "@typescript/analyze-trace": "^0.10.1",
-    "@vitest/ui": "^1.2.2",
-    "bumpp": "^9.3.0",
+    "@vitest/ui": "^1.6.0",
+    "bumpp": "^9.4.1",
     "chalk": "^5.3.0",
     "cross-env": "^7.0.3",
-    "eslint": "^8.56.0",
+    "eslint": "^9.3.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.3",
     "eslint-plugin-promise": "^6.1.1",
     "eslint-watch": "^8.0.0",
-    "glob": "^10.3.10",
+    "glob": "^10.4.1",
     "npm-run-all": "~4.1.5",
     "pathe": "^1.1.2",
     "prettier": "^3.2.5",
+    "rimraf": "^5.0.7",
     "ts-patch": "^3.1.2",
-    "tsup": "^8.0.1",
-    "tsx": "^4.7.0",
-    "typescript": "5.3.3",
-    "typescript-transform-paths": "^3.4.6",
+    "ts-type-tester": "^0.3.2",
+    "tsup": "^8.0.2",
+    "tsx": "^4.11.0",
+    "typescript": "^5.4.5",
+    "typescript-eslint": "^7.10.0",
+    "typescript-transform-paths": "^3.4.7",
     "typescript-transformer-esm": "^1.1.0",
-    "vite": "^5.0.12",
-    "vite-node": "^1.2.2",
-    "vitest": "^1.2.2"
-  },
-  "pnpm": {
-    "overrides": {
-      "vite@>=5.0.0 <=5.0.11": ">=5.0.12"
-    }
+    "vite": "^5.2.11",
+    "vite-node": "^1.6.0",
+    "vitest": "^1.6.0",
+    "vue": "^3.4.27"
   }
 }

package/dist/runtime/boolean-logic/ifRef.d.ts

@@ -1,13 +0,0 @@
-import { IfRef, Narrowable, VueRef } from "../../types/index";
-/**
- * **ifRef**(value, if, else)
- *
- * tests the `value` passed in to see if it's a VueJS `Ref<T>` value and then provides
- * two optional callback hooks to modify the value based on whether it is or is not.
- *
- * - the default callbacks, if not provided by caller, return the "real" value of the property;
- * which means that it dereferences the `value` prop if it is a **Ref<T>** but otherwise just
- * return the base value passed in.
- */
-export declare function ifRef<T extends Narrowable, IF extends <V extends VueRef & T>(ref: V) => any = <V extends VueRef & T>(ref: V) => V["value"], ELSE extends <V extends Exclude<T, VueRef>>(value: V) => any = <V extends Exclude<T, VueRef>>(value: V) => V>(value: T, ifRef?: IF, notRef?: ELSE): IfRef<T, ReturnType<IF>, ReturnType<ELSE>>;
-//# sourceMappingURL=ifRef.d.ts.map

package/dist/runtime/boolean-logic/ifRef.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ifRef.d.ts","sourceRoot":"","sources":["../../../src/runtime/boolean-logic/ifRef.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAG,UAAU,EAAG,MAAM,EAAE,0BAAwB;AAG9D;;;;;;;;;GASG;AACH,wBAAgB,KAAK,CACnB,CAAC,SAAS,UAAU,EACpB,EAAE,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAC/F,IAAI,SAAS,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,KAAM,GAAG,GAAG,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,KAAM,CAAC,EAE9G,KAAK,EAAE,CAAC,EACR,KAAK,CAAC,EAAE,EAAE,EACV,MAAM,CAAC,EAAE,IAAI,GACZ,KAAK,CAAC,CAAC,EAAC,UAAU,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAO3C"}

package/dist/runtime/boolean-logic/ifRef.js

@@ -1,18 +0,0 @@
-import { isRef } from "../index.js";
-/**
- * **ifRef**(value, if, else)
- *
- * tests the `value` passed in to see if it's a VueJS `Ref<T>` value and then provides
- * two optional callback hooks to modify the value based on whether it is or is not.
- *
- * - the default callbacks, if not provided by caller, return the "real" value of the property;
- * which means that it dereferences the `value` prop if it is a **Ref<T>** but otherwise just
- * return the base value passed in.
- */
-export function ifRef(value, ifRef, notRef) {
-    const if_cb = ifRef || ((v) => v.value);
-    const else_cb = notRef || (v => v);
-    return isRef(value)
-        ? if_cb(value)
-        : else_cb(value);
-}

package/dist/runtime/combinators/filter.d.ts

@@ -1,85 +0,0 @@
-import { LogicalCombinator } from "../../types/index";
-export type FilterStarts = {
-    /** one or more string which the value is allowed to start with */
-    startsWith: string | string[];
-};
-export type FilterIs = {
-    /** whether a string _**is**_ of a particular value */
-    is: string | string[];
-};
-export type FilterEnds = {
-    endsWith: string | string[];
-};
-export type FilterContains = {
-    /** whether any of the strings specified are _contained_ in the value */
-    contains: string | string[];
-};
-export type FilterEquals = {
-    /** one or more values which _equal_ the value passed in */
-    equals: number | number[];
-};
-export type FilterNotEqual = {
-    /** one or more values which ALL _do not equal_ the value passed in */
-    notEqual: number | number[];
-};
-export type FilterGreaterThan = {
-    /** the incoming value is greater than this value */
-    greaterThan: number;
-};
-export type FilterLessThan = {
-    /** the incoming value is less than this value */
-    lessThan: number;
-};
-export type StringFilter = FilterIs | FilterStarts | FilterEnds | FilterContains | (FilterStarts & FilterEnds) | (FilterStarts & FilterContains) | (FilterEnds & FilterContains) | (FilterStarts & FilterEnds & FilterContains);
-export type NumericFilter = FilterEquals | FilterNotEqual | FilterGreaterThan | FilterLessThan | (FilterEquals & FilterNotEqual) | (FilterEquals & FilterGreaterThan) | (FilterEquals & FilterLessThan) | (FilterNotEqual & FilterGreaterThan) | (FilterNotEqual & FilterLessThan) | (FilterGreaterThan & FilterLessThan) | (FilterEquals & FilterGreaterThan & FilterLessThan) | (FilterNotEqual & FilterGreaterThan & FilterLessThan) | (FilterEquals & FilterNotEqual & FilterGreaterThan & FilterLessThan);
-export type FilterDefn = StringFilter | NumericFilter;
-export type NotFilter = {
-    /**
-     * **not**
-     *
-     * If you want to build a filter who's conditions being met results in _filtering_
-     * the value rather than accepting it then choose this.
-     */
-    not: FilterDefn;
-};
-export declare function isNotFilter(f: FilterDefn | NotFilter): f is NotFilter;
-export type UnwrapNot<T extends FilterDefn | NotFilter> = T extends NotFilter ? T["not"] extends StringFilter ? StringFilter : NumericFilter : T;
-export declare function isNumericFilter(filter: FilterDefn): filter is NumericFilter;
-export type UndefinedValue<U extends boolean> = true extends U ? "undefined treated as 'true'" : U extends "no-impact" ? "undefined treated in no-impact fashion" : "undefined treated as 'false'";
-export type UndefinedTreatment = "undefined treated as 'true'" | "undefined treated as 'false'";
-/**
- * **FilterFn**
- *
- * A filter function derived from the `filter()` configurator. This function is intended to provide a type-strong _filter_ function which can be used like so:
- * be used like:
- * ```ts
- * const onlyPrivate = filter({ startsWith: "_" });
- * const privateFiles = files.filter(onlyPrivate);
- * ```
- */
-export type FilterFn<T extends StringFilter | NumericFilter> = T extends StringFilter ? <V extends string | undefined>(input: V) => boolean : <V extends number | undefined>(input: V) => boolean;
-/**
- * Defines a logical function for each condition type
- */
-export type ConditionFilter<T extends StringFilter | NumericFilter> = T extends StringFilter ? (input: string) => boolean : (input: number) => boolean;
-/**
- * **filter**
- *
- * A higher order helper utility which builds a boolean _filter_ function based on a simple
- * configuration object. Support either _string_ or _numeric_ filters.
- *
- * ```ts
- * const str = filter({startsWith: ["_", "."], endsWith: ".md"});
- * const num = filter({ greaterThan: 55, notEqual: [66, 77]});
- * ```
- *
- * All conditions (e.g., `startsWith`, `contains`, `notEqual`, etc.) that a particular filter
- * is defined as having -- if there is more than one -- will be logically combined using AND
- * unless specified otherwise in the third parameter.
- *
- * How a value of _undefined_ will be treated is stated in the second parameter but defaults
- * to "no-impact" which means it's `false` when the logicCombinator is OR but defaults
- * to `true` when the logicCombinator is AND.
- */
-export declare const createFilter: <F extends FilterDefn | NotFilter, C extends LogicalCombinator, U extends boolean | "no-impact">(config: F, logicCombinator?: C, ifUndefined?: U) => FilterFn<UnwrapNot<F>>;
-//# sourceMappingURL=filter.d.ts.map

package/dist/runtime/combinators/filter.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"filter.d.ts","sourceRoot":"","sources":["../../../src/runtime/combinators/filter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,0BAAwB;AAIpD,MAAM,MAAM,YAAY,GAAG;IACzB,kEAAkE;IAClE,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CAC/B,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG;IACrB,sDAAsD;IACtD,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CACvB,CAAC;AACF,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,cAAc,GAAG;IAC3B,wEAAwE;IACxE,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CAC7B,CAAC;AAGF,MAAM,MAAM,YAAY,GAAG;IACzB,2DAA2D;IAC3D,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CAC3B,CAAC;AACF,MAAM,MAAM,cAAc,GAAG;IAC3B,sEAAsE;IACtE,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CAC7B,CAAC;AACF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,oDAAoD;IACpD,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AACF,MAAM,MAAM,cAAc,GAAG;IAC3B,iDAAiD;IACjD,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,YAAY,GACpB,QAAQ,GACR,YAAY,GACZ,UAAU,GACV,cAAc,GACd,CAAC,YAAY,GAAG,UAAU,CAAC,GAC3B,CAAC,YAAY,GAAG,cAAc,CAAC,GAC/B,CAAC,UAAU,GAAG,cAAc,CAAC,GAC7B,CAAC,YAAY,GAAG,UAAU,GAAG,cAAc,CAAC,CAAC;AAEjD,MAAM,MAAM,aAAa,GACrB,YAAY,GACZ,cAAc,GACd,iBAAiB,GACjB,cAAc,GACd,CAAC,YAAY,GAAG,cAAc,CAAC,GAC/B,CAAC,YAAY,GAAG,iBAAiB,CAAC,GAClC,CAAC,YAAY,GAAG,cAAc,CAAC,GAC/B,CAAC,cAAc,GAAG,iBAAiB,CAAC,GACpC,CAAC,cAAc,GAAG,cAAc,CAAC,GACjC,CAAC,iBAAiB,GAAG,cAAc,CAAC,GACpC,CAAC,YAAY,GAAG,iBAAiB,GAAG,cAAc,CAAC,GACnD,CAAC,cAAc,GAAG,iBAAiB,GAAG,cAAc,CAAC,GACrD,CAAC,YAAY,GAAG,cAAc,GAAG,iBAAiB,GAAG,cAAc,CAAC,CAAC;AAEzE,MAAM,MAAM,UAAU,GAAG,YAAY,GAAG,aAAa,CAAC;AAGtD,MAAM,MAAM,SAAS,GAAG;IACtB;;;;;OAKG;IACH,GAAG,EAAE,UAAU,CAAC;CACjB,CAAC;AAEF,wBAAgB,WAAW,CAAC,CAAC,EAAE,UAAU,GAAG,SAAS,GAAG,CAAC,IAAI,SAAS,CAErE;AAED,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,UAAU,GAAG,SAAS,IAAI,CAAC,SAAS,SAAS,GACzE,CAAC,CAAC,KAAK,CAAC,SAAS,YAAY,GAC3B,YAAY,GACZ,aAAa,GACf,CAAC,CAAC;AAEN,wBAAgB,eAAe,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,IAAI,aAAa,CAO3E;AAED,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,OAAO,IAAI,IAAI,SAAS,CAAC,GAC1D,6BAA6B,GAC7B,CAAC,SAAS,WAAW,GACrB,wCAAwC,GACxC,8BAA8B,CAAC;AAEnC,MAAM,MAAM,kBAAkB,GAAG,6BAA6B,GAAG,8BAA8B,CAAC;AAKhG;;;;;;;;;GASG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,YAAY,GAAG,aAAa,IAAI,CAAC,SAAS,YAAY,GACjF,CAAC,CAAC,SAAS,MAAM,GAAG,SAAS,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,GACnD,CAAC,CAAC,SAAS,MAAM,GAAG,SAAS,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;AAExD;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,YAAY,GAAG,aAAa,IAAI,CAAC,SAAS,YAAY,GACxF,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,GAC1B,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;AAoH/B;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,YAAY,6KAUxB,CAAC"}

package/dist/runtime/combinators/filter.js

@@ -1,118 +0,0 @@
-import { asArray } from "../index.js";
-export function isNotFilter(f) {
-    return typeof f === "object" && "not" in f;
-}
-export function isNumericFilter(filter) {
-    return "equals" in filter ||
-        "notEqual" in filter ||
-        "greaterThan" in filter ||
-        "lessThan" in filter
-        ? true
-        : false;
-}
-/**
- * Wraps numeric filter's configuration into a logic filter
- */
-const numericOps = (config, boolLogic) => {
-    const equals = (n) => {
-        const f = asArray(n);
-        return f.length === 0 ? [] : [(input) => f.some((i) => i === input)];
-    };
-    const notEqual = (n) => {
-        const f = asArray(n);
-        return f.length === 0 ? [] : [(input) => f.every((i) => i !== input)];
-    };
-    /** returns 1 FilterFn's */
-    const greaterThan = (n) => {
-        const val = [(input) => input !== undefined && input > n];
-        return val;
-    };
-    /** returns 0 or 1 FilterFn's */
-    const lessThan = (n) => {
-        const val = [(input) => input !== undefined && input < n];
-        return val;
-    };
-    const conditions = [
-        //
-        ...("equals" in config ? equals(config.equals) : []),
-        ...("notEqual" in config ? notEqual(config.notEqual) : []),
-        ...("greaterThan" in config ? greaterThan(config.greaterThan) : []),
-        ...("lessThan" in config ? lessThan(config.lessThan) : []),
-    ];
-    const combined = boolLogic === "AND"
-        ? (input) => conditions.every((c) => c(input))
-        : (input) => conditions.some((c) => c(input));
-    return combined;
-};
-/** wraps configuration along with boolean logic  */
-const stringOps = (config, boolLogic) => {
-    const startsWith = (n) => {
-        const f = asArray(n);
-        return f.length === 0 ? [] : [(input) => f.some((i) => input?.startsWith(i))];
-    };
-    const endsWith = (n) => {
-        const f = asArray(n);
-        return f.length === 0 ? [] : [(input) => f.some((i) => input?.endsWith(i))];
-    };
-    const contains = (n) => {
-        const f = asArray(n);
-        return f.length === 0 ? [] : [(input) => f.some((i) => input?.includes(i))];
-    };
-    const conditions = [
-        ...("startsWith" in config ? startsWith(config.startsWith) : []),
-        ...("endsWith" in config ? endsWith(config.endsWith) : []),
-        ...("contains" in config ? contains(config.contains) : []),
-    ];
-    const combined = boolLogic === "AND"
-        ? (input) => conditions.every((c) => c(input))
-        : (input) => conditions.some((c) => c(input));
-    return combined;
-};
-const filterFn = (defn, logicCombinator, ifUndefined = "no-impact") => {
-    const config = isNotFilter(defn) ? defn["not"] : defn;
-    const filter = (
-    //
-    input) => {
-        const undefValue = ifUndefined === "no-impact"
-            ? logicCombinator === "AND"
-                ? true
-                : false
-            : ifUndefined;
-        let flag;
-        if (typeof input === "undefined") {
-            flag = undefValue;
-        }
-        else if (isNumericFilter(config)) {
-            const fn = numericOps(config, logicCombinator);
-            flag = isNotFilter(defn) ? !fn(input) : fn(input);
-        }
-        else {
-            const fn = stringOps(config, logicCombinator);
-            flag = isNotFilter(defn) ? !fn(input) : fn(input);
-        }
-        return flag;
-    };
-    return filter;
-};
-/**
- * **filter**
- *
- * A higher order helper utility which builds a boolean _filter_ function based on a simple
- * configuration object. Support either _string_ or _numeric_ filters.
- *
- * ```ts
- * const str = filter({startsWith: ["_", "."], endsWith: ".md"});
- * const num = filter({ greaterThan: 55, notEqual: [66, 77]});
- * ```
- *
- * All conditions (e.g., `startsWith`, `contains`, `notEqual`, etc.) that a particular filter
- * is defined as having -- if there is more than one -- will be logically combined using AND
- * unless specified otherwise in the third parameter.
- *
- * How a value of _undefined_ will be treated is stated in the second parameter but defaults
- * to "no-impact" which means it's `false` when the logicCombinator is OR but defaults
- * to `true` when the logicCombinator is AND.
- */
-export const createFilter = (config, logicCombinator = "AND", ifUndefined = "no-impact") => {
-    return filterFn(config, logicCombinator, ifUndefined);
-};

package/dist/runtime/dictionary/arrayToKeyLookup.d.ts

@@ -1,12 +0,0 @@
-/**
- * Passing in an array of strings, you are passed back a dictionary with
- * all the keys being the strings and values set to `true`.
- * ```ts
- * // { bar: true, bar: true } as const;
- * const d - dictArr(arr);
- *
- * const fooBar = arrayToKeyLookup("foo", "bar");
- * ```
- */
-export declare function arrayToKeyLookup<T extends readonly string[]>(...keys: T): Record<T[number], true>;
-//# sourceMappingURL=arrayToKeyLookup.d.ts.map

package/dist/runtime/dictionary/arrayToKeyLookup.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"arrayToKeyLookup.d.ts","sourceRoot":"","sources":["../../../src/runtime/dictionary/arrayToKeyLookup.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAQjG"}

package/dist/runtime/dictionary/arrayToKeyLookup.js

@@ -1,17 +0,0 @@
-/**
- * Passing in an array of strings, you are passed back a dictionary with
- * all the keys being the strings and values set to `true`.
- * ```ts
- * // { bar: true, bar: true } as const;
- * const d - dictArr(arr);
- *
- * const fooBar = arrayToKeyLookup("foo", "bar");
- * ```
- */
-export function arrayToKeyLookup(...keys) {
-    const obj = {};
-    for (const key of keys) {
-        obj[key] = true;
-    }
-    return obj;
-}

package/dist/runtime/dictionary/mapValues.d.ts

@@ -1,14 +0,0 @@
-import { Narrowable } from "../../types/index";
-/**
- * **mapValues**
- *
- * Maps over a dictionary, preserving the keys but allowing the values to be mutated.
- *
- * ```ts
- * const colors = { red: 4, blue: 2, green: 3 };
- * // { red: 8, blue: 4, green: 6 }
- * const twoX = mapValues(colors, v => v * 2);
- * ```
- */
-export declare function mapValues<N extends Narrowable, T extends Record<string, N>, V>(obj: T, valueMapper: (k: T[keyof T]) => V): { [K in keyof T]: V; };
-//# sourceMappingURL=mapValues.d.ts.map

package/dist/runtime/dictionary/mapValues.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mapValues.d.ts","sourceRoot":"","sources":["../../../src/runtime/dictionary/mapValues.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,0BAAwB;AAG7C;;;;;;;;;;GAUG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAC5E,GAAG,EAAE,CAAC,EACN,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,0BAMlC"}

package/dist/runtime/dictionary/mapValues.js

@@ -1,17 +0,0 @@
-import { entries } from "../index.js";
-/**
- * **mapValues**
- *
- * Maps over a dictionary, preserving the keys but allowing the values to be mutated.
- *
- * ```ts
- * const colors = { red: 4, blue: 2, green: 3 };
- * // { red: 8, blue: 4, green: 6 }
- * const twoX = mapValues(colors, v => v * 2);
- * ```
- */
-export function mapValues(obj, valueMapper) {
-    return Object.fromEntries(
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any
-    [...entries(obj)].map(([k, v]) => [k, valueMapper(v)]));
-}

package/dist/runtime/functional/left.d.ts

@@ -1,8 +0,0 @@
-import { LeftRight } from "../../types/index";
-/**
- * **left**(value)
- *
- * Extracts the _left_ value from a `LeftRight` struct.
- */
-export declare const left: <T extends LeftRight>(value: T) => T[2];
-//# sourceMappingURL=left.d.ts.map

package/dist/runtime/functional/left.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"left.d.ts","sourceRoot":"","sources":["../../../src/runtime/functional/left.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,0BAAwB;AAE5C;;;;GAIG;AACH,eAAO,MAAM,IAAI,yCAAsD,CAAC"}

package/dist/runtime/functional/left.js

@@ -1,6 +0,0 @@
-/**
- * **left**(value)
- *
- * Extracts the _left_ value from a `LeftRight` struct.
- */
-export const left = (value) => value[2];

package/dist/runtime/functional/right.d.ts

@@ -1,8 +0,0 @@
-import { LeftRight } from "../../types/index";
-/**
- * **left**(value)
- *
- * Extracts the _right_ value from a `LeftRight` struct.
- */
-export declare const right: <T extends LeftRight>(value: T) => T[1];
-//# sourceMappingURL=right.d.ts.map

package/dist/runtime/functional/right.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"right.d.ts","sourceRoot":"","sources":["../../../src/runtime/functional/right.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,0BAAwB;AAE5C;;;;GAIG;AACH,eAAO,MAAM,KAAK,yCAAsD,CAAC"}

package/dist/runtime/functional/right.js

@@ -1,6 +0,0 @@
-/**
- * **left**(value)
- *
- * Extracts the _right_ value from a `LeftRight` struct.
- */
-export const right = (value) => value[1];

package/dist/runtime/initializers/createTypeGuard.d.ts

@@ -1,3 +0,0 @@
-import type { Type, TypeGuard } from "../../types/index";
-export declare function createTypeGuard<T extends Exclude<Type, "is" | "validate">>(defn: T): T & Record<"is", TypeGuard<T["type"]>>;
-//# sourceMappingURL=createTypeGuard.d.ts.map

package/dist/runtime/initializers/createTypeGuard.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"createTypeGuard.d.ts","sourceRoot":"","sources":["../../../src/runtime/initializers/createTypeGuard.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,0BAAwB;AAEvD,wBAAgB,eAAe,CAC7B,CAAC,SAAS,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,CAAC,EAC1C,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAcjD"}

package/dist/runtime/initializers/createTypeGuard.js

@@ -1,14 +0,0 @@
-export function createTypeGuard(defn) {
-    return {
-        ...defn,
-        /**
-         * **is**(value)
-         *
-         * Type guard which is able to able to identify and narrow the
-         * type definition of a runtime type defined by `Type`
-         */
-        is: (_value) => {
-            return true;
-        }
-    };
-}

package/dist/runtime/initializers/createTypeTuple.d.ts

@@ -1,8 +0,0 @@
-import { Narrowable, TypeTuple, TypeGuard } from "../../types/index";
-/**
- * **createTypeTuple**(type, guard, desc)
- *
- * Defined a `TypeTuple` based on the inputs provided.
- */
-export declare function createTypeTuple<T extends Narrowable, D extends string = "">(type: T, guard: TypeGuard<T>, desc?: D): TypeTuple<T, D>;
-//# sourceMappingURL=createTypeTuple.d.ts.map

package/dist/runtime/initializers/createTypeTuple.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"createTypeTuple.d.ts","sourceRoot":"","sources":["../../../src/runtime/initializers/createTypeTuple.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAG,SAAS,EAAG,SAAS,EAAE,0BAAwB;AAErE;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,MAAM,GAAG,EAAE,EACrB,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,mBAEvC"}

package/dist/runtime/initializers/createTypeTuple.js

@@ -1,8 +0,0 @@
-/**
- * **createTypeTuple**(type, guard, desc)
- *
- * Defined a `TypeTuple` based on the inputs provided.
- */
-export function createTypeTuple(type, guard, desc) {
-    return [type, guard, desc ? desc : ""];
-}

package/dist/runtime/initializers/createValidator.d.ts

@@ -1,6 +0,0 @@
-import { Type } from "../../types/index";
-/**
- * Creates a `validate` function for a runtime type
- */
-export declare function createValidator<T extends Type>(defn: T): T;
-//# sourceMappingURL=createValidator.d.ts.map

package/dist/runtime/initializers/createValidator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"createValidator.d.ts","sourceRoot":"","sources":["../../../src/runtime/initializers/createValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,IAAI,EAAE,0BAAwB;AAEnD;;GAEG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAgB1D"}

package/dist/runtime/initializers/createValidator.js

@@ -1,20 +0,0 @@
-/**
- * Creates a `validate` function for a runtime type
- */
-export function createValidator(defn) {
-    const fn = (val) => {
-        // the first _validation_ is that it passes the type guard test
-        if (defn.is(val)) {
-            return defn.validations && defn.validations.length > 0
-                ? defn.validations.every(v => v(val))
-                : true;
-        }
-        else {
-            return false;
-        }
-    };
-    return {
-        ...defn,
-        validate: fn
-    };
-}

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

@@ -1,40 +0,0 @@
-import type { FromTypeDefn, TypeDefaultValue, TypeDefn, TypeKind, TypeUnderlying } from "../../types/index";
-/**
- * **TypeApi**
- *
- * The API surface used to define _types_ which have a runtime
- * understanding of the type as well.
- */
-/**
- * **createTypeApi**
- *
- * Receives an array of properties on the full API
- * which should be _omitted_ and then returns the
- * remaining parts of the API surface.
- */
-/**
- * **createTypeDefn**(td: TypeDefn): Type
- *
- *
-* (defined by the `TypeDefn` type). This function then enriches
- * this data to become a fully fledged "runtime type" as expressed
- * by the `Type` type.
- */
-export declare const createTypeDefn: <TD extends TypeDefn<TKind, TRequired, TDesc, TUnderlying, TDefValue, import("../../types/index").TypeDefnValidations>, TKind extends TypeKind, TRequired extends boolean, TDesc extends string, TUnderlying extends TypeUnderlying, TDefValue extends TypeDefaultValue<TKind, TRequired, TUnderlying>>(defn: TD) => FromTypeDefn<TD>;
-/**
- * Creates a _run time_ type definition (`Type`).
- *
- * - you may pass in a `TypeDefn` or use the builder API to build the type.
- * ```ts
- * // pass in a `TypeDefn` dictionary
- * const myString = type({ kind: "string" });
- * // use the builder API
- * const myObj = type(
- *    defn => defn.objectLiteral()
- *      .addProperty(p => p("string", { isRequired: false }))
- *      .addProperty(p => p("number")
- * )
- * ```
- */
-export declare const createType: <TD extends TypeDefn<TypeKind, boolean, string, TypeUnderlying, TypeDefaultValue<TypeKind, boolean, TypeUnderlying>, import("../../types/index").TypeDefnValidations>>(t: TD) => FromTypeDefn<TD>;
-//# sourceMappingURL=createType.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"createType.d.ts","sourceRoot":"","sources":["../../../src/runtime/runtime-types/createType.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,YAAY,EACZ,gBAAgB,EAChB,QAAQ,EACR,QAAQ,EACR,cAAc,EACf,0BAAwB;AAgBzB;;;;;GAKG;AAGH;;;;;;GAMG;AAaH;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,uUA8C1B,CAAC;AAgCF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,UAAU,mMAkBtB,CAAC"}