inferred-types 0.20.0 → 0.22.0

package/dist/index.js

@@ -1,42 +1,21 @@
+"use strict";
 var __defProp = Object.defineProperty;
-var __defProps = Object.defineProperties;
 var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
-var __getOwnPropDescs = Object.getOwnPropertyDescriptors;
 var __getOwnPropNames = Object.getOwnPropertyNames;
-var __getOwnPropSymbols = Object.getOwnPropertySymbols;
 var __hasOwnProp = Object.prototype.hasOwnProperty;
-var __propIsEnum = Object.prototype.propertyIsEnumerable;
-var __defNormalProp = (obj, key, value) => key in obj ? __defProp(obj, key, { enumerable: true, configurable: true, writable: true, value }) : obj[key] = value;
-var __spreadValues = (a, b) => {
-  for (var prop in b || (b = {}))
-    if (__hasOwnProp.call(b, prop))
-      __defNormalProp(a, prop, b[prop]);
-  if (__getOwnPropSymbols)
-    for (var prop of __getOwnPropSymbols(b)) {
-      if (__propIsEnum.call(b, prop))
-        __defNormalProp(a, prop, b[prop]);
-    }
-  return a;
-};
-var __spreadProps = (a, b) => __defProps(a, __getOwnPropDescs(b));
-var __markAsModule = (target) => __defProp(target, "__esModule", { value: true });
 var __export = (target, all) => {
   for (var name in all)
     __defProp(target, name, { get: all[name], enumerable: true });
 };
-var __reExport = (target, module2, copyDefault, desc) => {
-  if (module2 && typeof module2 === "object" || typeof module2 === "function") {
-    for (let key of __getOwnPropNames(module2))
-      if (!__hasOwnProp.call(target, key) && (copyDefault || key !== "default"))
-        __defProp(target, key, { get: () => module2[key], enumerable: !(desc = __getOwnPropDesc(module2, key)) || desc.enumerable });
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
   }
-  return target;
+  return to;
 };
-var __toCommonJS = /* @__PURE__ */ ((cache) => {
-  return (module2, temp) => {
-    return cache && cache.get(module2) || (temp = __reExport(__markAsModule({}), module2, 1), cache && cache.set(module2, temp), temp);
-  };
-})(typeof WeakMap !== "undefined" ? /* @__PURE__ */ new WeakMap() : 0);
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
 
 // src/index.ts
 var src_exports = {};
@@ -44,7 +23,6 @@ __export(src_exports, {
   Configurator: () => Configurator,
   ExplicitFunction: () => ExplicitFunction,
   FluentConfigurator: () => FluentConfigurator,
-  KeyStorage: () => KeyStorage,
   Model: () => Model,
   MutationIdentity: () => MutationIdentity,
   and: () => and,
@@ -97,9 +75,9 @@ __export(src_exports, {
   typeApi: () => typeApi,
   uuid: () => uuid,
   valueTypes: () => valueTypes,
-  valuesOfProp: () => valuesOfProp,
   withValue: () => withValue
 });
+module.exports = __toCommonJS(src_exports);
 
 // src/Mutation/MutationFunction.ts
 function createMutationFunction(state) {
@@ -200,7 +178,7 @@ function arrayToKeyLookup(...keys2) {
 function dictionaryTransform(input, transform) {
   return keys(input).reduce((acc, i) => {
     const key = i;
-    return __spreadProps(__spreadValues({}, acc), { [key]: transform(input, key) });
+    return { ...acc, [key]: transform(input, key) };
   }, {});
 }
 
@@ -224,15 +202,11 @@ function mapValues(obj, valueMapper) {
 // src/utility/dictionary/strArrayToDict.ts
 function strArrayToDict(...strings) {
   return strings.reduce((acc, str) => {
-    acc = __spreadProps(__spreadValues({}, acc), { [str]: true });
+    acc = { ...acc, [str]: true };
     return acc;
   }, {});
 }
 
-// src/utility/dictionary/valuesOfProp.ts
-function valuesOfProp() {
-}
-
 // src/utility/dictionary/kv/dictToKv.ts
 function dictToKv(obj, _makeTuple = false) {
   return keys(obj).map((k) => {
@@ -252,7 +226,7 @@ function Configurator() {
       set(key, value) {
         const keyValue = { [key]: value };
         const config = configuration();
-        const updated = __spreadValues(__spreadValues({}, config), keyValue);
+        const updated = { ...config, ...keyValue };
         configuration = () => updated;
         return updated;
       },
@@ -276,7 +250,7 @@ function FluentConfigurator(initial = {}) {
     return {
       set(key, value) {
         const keyValue = { [key]: value };
-        const updated = __spreadValues(__spreadValues({}, keyValue), current);
+        const updated = { ...keyValue, ...current };
         return api2(updated);
       },
       done() {
@@ -290,18 +264,6 @@ function FluentConfigurator(initial = {}) {
   return initial ? api2(initial) : api2({});
 }
 
-// src/utility/state/KeyStorage.ts
-function KeyStorage() {
-  const api2 = (state) => ({
-    add: (...store) => {
-      return api2([...state, ...store]);
-    },
-    remove: (key) => api2(state.filter((i) => i !== key)),
-    done: () => state
-  });
-  return api2([]);
-}
-
 // src/utility/dictionary/kv/filterDictArray.ts
 function filterDictArray(dictArr, cb) {
   const state = Configurator();
@@ -333,8 +295,6 @@ function kvToDict(kvArr) {
 // src/utility/lists/groupBy.ts
 function groupBy(_data) {
   throw new Error("not implemented");
-  return (_groupBy) => {
-  };
 }
 
 // src/utility/literals/ExplicitFunction.ts
@@ -345,9 +305,9 @@ function ExplicitFunction(fn) {
 // src/utility/literals/arrayToObject.ts
 function arrayToObject(prop, unique) {
   const transform = (arr) => {
-    const result = unique !== false ? arr.reduce((acc, v) => __spreadProps(__spreadValues({}, acc), { [v[prop]]: v }), {}) : arr.reduce((acc, v) => {
+    const result = unique !== false ? arr.reduce((acc, v) => ({ ...acc, [v[prop]]: v }), {}) : arr.reduce((acc, v) => {
       const existing = acc[v[prop]] || [];
-      return __spreadProps(__spreadValues({}, acc), { [v[prop]]: [...existing, v] });
+      return { ...acc, [v[prop]]: [...existing, v] };
     }, {});
     return result;
   };
@@ -357,7 +317,7 @@ function arrayToObject(prop, unique) {
 // src/utility/literals/defineType.ts
 function defineType(literal2 = {}) {
   return (wide = {}) => {
-    return literal2 ? __spreadValues(__spreadValues({}, wide), literal2) : wide;
+    return literal2 ? { ...wide, ...literal2 } : wide;
   };
 }
 
@@ -366,7 +326,7 @@ var identity = (v) => v;
 
 // src/utility/literals/literal.ts
 function idLiteral(o) {
-  return __spreadProps(__spreadValues({}, o), { id: o.id });
+  return { ...o, id: o.id };
 }
 function nameLiteral(o) {
   return o;
@@ -635,13 +595,11 @@ function withValue(td) {
     }));
   };
 }
-module.exports = __toCommonJS(src_exports);
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   Configurator,
   ExplicitFunction,
   FluentConfigurator,
-  KeyStorage,
   Model,
   MutationIdentity,
   and,
@@ -694,6 +652,5 @@ module.exports = __toCommonJS(src_exports);
   typeApi,
   uuid,
   valueTypes,
-  valuesOfProp,
   withValue
 });

package/dist/index.mjs

@@ -1,23 +1,3 @@
-var __defProp = Object.defineProperty;
-var __defProps = Object.defineProperties;
-var __getOwnPropDescs = Object.getOwnPropertyDescriptors;
-var __getOwnPropSymbols = Object.getOwnPropertySymbols;
-var __hasOwnProp = Object.prototype.hasOwnProperty;
-var __propIsEnum = Object.prototype.propertyIsEnumerable;
-var __defNormalProp = (obj, key, value) => key in obj ? __defProp(obj, key, { enumerable: true, configurable: true, writable: true, value }) : obj[key] = value;
-var __spreadValues = (a, b) => {
-  for (var prop in b || (b = {}))
-    if (__hasOwnProp.call(b, prop))
-      __defNormalProp(a, prop, b[prop]);
-  if (__getOwnPropSymbols)
-    for (var prop of __getOwnPropSymbols(b)) {
-      if (__propIsEnum.call(b, prop))
-        __defNormalProp(a, prop, b[prop]);
-    }
-  return a;
-};
-var __spreadProps = (a, b) => __defProps(a, __getOwnPropDescs(b));
-
 // src/Mutation/MutationFunction.ts
 function createMutationFunction(state) {
   return (mutationIdentity) => {
@@ -117,7 +97,7 @@ function arrayToKeyLookup(...keys2) {
 function dictionaryTransform(input, transform) {
   return keys(input).reduce((acc, i) => {
     const key = i;
-    return __spreadProps(__spreadValues({}, acc), { [key]: transform(input, key) });
+    return { ...acc, [key]: transform(input, key) };
   }, {});
 }
 
@@ -141,15 +121,11 @@ function mapValues(obj, valueMapper) {
 // src/utility/dictionary/strArrayToDict.ts
 function strArrayToDict(...strings) {
   return strings.reduce((acc, str) => {
-    acc = __spreadProps(__spreadValues({}, acc), { [str]: true });
+    acc = { ...acc, [str]: true };
     return acc;
   }, {});
 }
 
-// src/utility/dictionary/valuesOfProp.ts
-function valuesOfProp() {
-}
-
 // src/utility/dictionary/kv/dictToKv.ts
 function dictToKv(obj, _makeTuple = false) {
   return keys(obj).map((k) => {
@@ -169,7 +145,7 @@ function Configurator() {
       set(key, value) {
         const keyValue = { [key]: value };
         const config = configuration();
-        const updated = __spreadValues(__spreadValues({}, config), keyValue);
+        const updated = { ...config, ...keyValue };
         configuration = () => updated;
         return updated;
       },
@@ -193,7 +169,7 @@ function FluentConfigurator(initial = {}) {
     return {
       set(key, value) {
         const keyValue = { [key]: value };
-        const updated = __spreadValues(__spreadValues({}, keyValue), current);
+        const updated = { ...keyValue, ...current };
         return api2(updated);
       },
       done() {
@@ -207,18 +183,6 @@ function FluentConfigurator(initial = {}) {
   return initial ? api2(initial) : api2({});
 }
 
-// src/utility/state/KeyStorage.ts
-function KeyStorage() {
-  const api2 = (state) => ({
-    add: (...store) => {
-      return api2([...state, ...store]);
-    },
-    remove: (key) => api2(state.filter((i) => i !== key)),
-    done: () => state
-  });
-  return api2([]);
-}
-
 // src/utility/dictionary/kv/filterDictArray.ts
 function filterDictArray(dictArr, cb) {
   const state = Configurator();
@@ -250,8 +214,6 @@ function kvToDict(kvArr) {
 // src/utility/lists/groupBy.ts
 function groupBy(_data) {
   throw new Error("not implemented");
-  return (_groupBy) => {
-  };
 }
 
 // src/utility/literals/ExplicitFunction.ts
@@ -262,9 +224,9 @@ function ExplicitFunction(fn) {
 // src/utility/literals/arrayToObject.ts
 function arrayToObject(prop, unique) {
   const transform = (arr) => {
-    const result = unique !== false ? arr.reduce((acc, v) => __spreadProps(__spreadValues({}, acc), { [v[prop]]: v }), {}) : arr.reduce((acc, v) => {
+    const result = unique !== false ? arr.reduce((acc, v) => ({ ...acc, [v[prop]]: v }), {}) : arr.reduce((acc, v) => {
       const existing = acc[v[prop]] || [];
-      return __spreadProps(__spreadValues({}, acc), { [v[prop]]: [...existing, v] });
+      return { ...acc, [v[prop]]: [...existing, v] };
     }, {});
     return result;
   };
@@ -274,7 +236,7 @@ function arrayToObject(prop, unique) {
 // src/utility/literals/defineType.ts
 function defineType(literal2 = {}) {
   return (wide = {}) => {
-    return literal2 ? __spreadValues(__spreadValues({}, wide), literal2) : wide;
+    return literal2 ? { ...wide, ...literal2 } : wide;
   };
 }
 
@@ -283,7 +245,7 @@ var identity = (v) => v;
 
 // src/utility/literals/literal.ts
 function idLiteral(o) {
-  return __spreadProps(__spreadValues({}, o), { id: o.id });
+  return { ...o, id: o.id };
 }
 function nameLiteral(o) {
   return o;
@@ -556,7 +518,6 @@ export {
   Configurator,
   ExplicitFunction,
   FluentConfigurator,
-  KeyStorage,
   Model,
   MutationIdentity,
   and,
@@ -609,6 +570,5 @@ export {
   typeApi,
   uuid,
   valueTypes,
-  valuesOfProp,
   withValue
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "inferred-types",
-  "version": "0.20.0",
+  "version": "0.22.0",
   "description": "Functions which provide useful type inference on TS projects",
   "license": "MIT",
   "author": "Ken Snyder<ken@ken.net>",
@@ -13,42 +13,50 @@
     "autoindex": "npx dd autoindex",
     "build": "run-s clean autoindex lint build:bundle",
     "build:force": "run-s clean autoindex build:bundle",
-    "build:bundle": "npx tsup src/index.ts --dts --format='esm,cjs'",
+    "build:bundle": "npx tsup src/index.ts --dts --format=esm,cjs --clean",
     "watch": "run-p watch:*",
     "watch:autoindex": "npx dd autoindex --watch",
-    "watch:bundle": "npx tsup src/index.ts --dts --format='esm,cjs' --watch",
+    "watch:bundle": "npx tsup src/index.ts --dts --format=esm,cjs --watch",
     "clean": "rimraf dist/**/*",
     "lint": "eslint src/**/*.ts --fix && tsc --noEmit ",
     "lint:full": "eslint src/**/*.ts && eslint test/**/*.ts && tsc --noEmit",
-    "test": "jest"
+    "test": "vitest",
+    "test:ci": "vitest run",
+    "audit:fix": "pnpm audit --fix",
+    "release": "run-s lint release:latest test:ci audit:fix release:bump",
+    "release:latest": "pnpm install",
+    "release:bump": "bumpp"
   },
   "devDependencies": {
     "@type-challenges/utils": "~0.1.1",
-    "@types/jest": "^27.4.0",
-    "@types/node": "^14.18.5",
-    "@typescript-eslint/eslint-plugin": "^5.9.1",
-    "@typescript-eslint/parser": "^5.9.1",
+    "@types/node": "^16.11.45",
+    "@typescript-eslint/eslint-plugin": "^5.30.7",
+    "@typescript-eslint/parser": "^5.30.7",
+    "bumpp": "^8.2.1",
     "common-types": "^1.30.0",
     "cross-env": "^7.0.3",
-    "dd": "^0.18.0",
-    "dotenv": "^10.0.0",
-    "eslint": "^8.6.0",
-    "eslint-config-prettier": "^8.3.0",
-    "eslint-plugin-import": "^2.25.4",
-    "eslint-plugin-prettier": "^4.0.0",
+    "dd": "^0.21.0",
+    "dotenv": "^16.0.1",
+    "eslint": "^8.20.0",
+    "eslint-config-prettier": "^8.5.0",
+    "eslint-plugin-import": "^2.26.0",
+    "eslint-plugin-prettier": "^4.2.1",
     "eslint-plugin-promise": "^6.0.0",
-    "eslint-plugin-unicorn": "^40.0.0",
-    "jest": "^27.4.7",
-    "jest-extended": "~1.2.0",
     "npm-run-all": "~4.1.5",
-    "prettier": "~2.5.1",
+    "prettier": "~2.7.1",
     "rimraf": "^3.0.2",
-    "ts-jest": "^27.1.2",
-    "ts-node": "^10.4.0",
-    "tsup": "^5.11.11",
-    "typescript": "^4.5.4"
+    "tsup": "^6.1.3",
+    "typescript": "^4.7.4",
+    "vite": "^3.0.2",
+    "vitest": "^0.19.0"
   },
   "dependencies": {
-    "common-types": "^1.31.0"
+    "common-types": "^1.31.1"
+  },
+  "pnpm": {
+    "overrides": {
+      "simple-git@<3.3.0": ">=3.3.0",
+      "simple-git@<3.5.0": ">=3.5.0"
+    }
   }
-}
+}

package/src/shared/valueTypes.ts

@@ -1,4 +1,4 @@
-import { Narrowable } from "~/types/Narrowable";
+import { Narrowable } from "src/types/Narrowable";
 
 export type ValueTuple = [type: any, narrowable: boolean];
 

package/src/types/ExpandRecursively.ts

@@ -1,3 +1,12 @@
+
+/**
+ * Recursively goes over an object based structure and tries to reduce
+ * it down to just a simple key/value type.
+ */
 export type ExpandRecursively<T> = T extends object
-  ? { [K in keyof T]: ExpandRecursively<T[K]> }
+  ? T extends (...args: any[]) => any
+    // Functions should be treated like any other non-object value
+    // but will/can identify as an object in JS
+    ? T
+    : { [K in keyof T]: ExpandRecursively<T[K]> }
   : T;

package/src/types/SimplifyObject.ts

@@ -0,0 +1,12 @@
+import { ExpandRecursively } from "./ExpandRecursively";
+import { UnionToIntersection } from "./type-conversion/UnionToIntersection";
+
+/**
+ * Often when mutating the shape of an object you will end up with the union of a number of
+ * `Record<string, x>` and `Record<string, y>` which is messy to look at and take away meaning.
+ *
+ * This type utility will cleanup an object and return a simple dictionary definition for it.
+ */
+export type SimplifyObject<T extends {}> = ExpandRecursively<
+  UnionToIntersection<ExpandRecursively<T>>
+>;

package/src/types/Transformer.ts

@@ -1,4 +1,4 @@
-import { SameKeys } from "./type-conversion/SameKeys";
+import { SameKeys } from "./dictionary/SameKeys";
 
 /**
  * **Transformer**

package/src/types/alphabetic/CamelCase.ts

@@ -1,3 +1,3 @@
-import { PascalCase } from "~/types/alphabetic";
+import { PascalCase } from "./PascalCase";
 
 export type CamelCase<S extends string> = Uncapitalize<PascalCase<S>>;

package/src/types/alphabetic/CapFirstAlpha.ts

@@ -1,9 +1,14 @@
-import type { NonAlpha, Replace } from "~/types";
+import { Replace } from "../string-literals";
+import { NonAlpha } from "./alpha-characters";
 
 /**
  * Strips the non-alpha characters that lead a string
  */
-export type StripLeftNonAlpha<S extends string> = S extends `${infer First}${infer Rest}` ? First extends NonAlpha ? StripLeftNonAlpha<Rest> : S : never;
+export type StripLeftNonAlpha<S extends string> = S extends `${infer First}${infer Rest}`
+  ? First extends NonAlpha
+    ? StripLeftNonAlpha<Rest>
+    : S
+  : never;
 
 /**
  * identifies the leading characters which are _not_ alphabetical
@@ -16,4 +21,3 @@ export type LeadingNonAlpha<S extends string> = Replace<S, StripLeftNonAlpha<S>,
 export type CapFirstAlpha<T extends string> = LeadingNonAlpha<T> extends string
   ? `${LeadingNonAlpha<T>}${Capitalize<Replace<T, LeadingNonAlpha<T>, "">>}`
   : Capitalize<T>;
-

package/src/types/alphabetic/Dasherize.ts

@@ -1,10 +1,12 @@
 /* eslint-disable @typescript-eslint/no-unused-vars */
-import { DashUppercase, LowerAllCaps } from "~/types";
+
 import { Trim } from "../string-literals";
+import { DashUppercase } from "./DashUppercase";
+import { LowerAllCaps } from "./LowerAllCaps";
 
 /**
- * Converts a string literal into a _dasherized_ format while ignoring _exterior_ whitepace.
- * 
+ * Converts a string literal into a _dasherized_ format while ignoring _exterior_ whitespace.
+ *
  * ```ts
  * // "foo-bar"
  * type Dash = Dasherize<"foo_bar">;
@@ -14,7 +16,8 @@ import { Trim } from "../string-literals";
  * type Dash = Dasherize<"\n  foo bar \t">;
  * ```
  */
-export type Dasherize<S extends string> = string extends S ? string :
-  DashUppercase<Trim<LowerAllCaps<S>>> extends `${infer Begin}${"_" | " "}${infer Rest}`
+export type Dasherize<S extends string> = string extends S
+  ? string
+  : DashUppercase<Trim<LowerAllCaps<S>>> extends `${infer Begin}${"_" | " "}${infer Rest}`
   ? Dasherize<`${Lowercase<Begin>}-${Rest}`>
   : Lowercase<DashUppercase<Uncapitalize<Trim<LowerAllCaps<S>>>>>;

package/src/types/alphabetic/KebabCase.ts

@@ -1,4 +1,4 @@
-import type { Dasherize } from "~/types/alphabetic";
+import { Dasherize } from "./Dasherize";
 
 /**
  * **KebabCase<T>** is an _alias_ for **Dasherize<T>**.

package/src/types/alphabetic/PascalCase.ts

@@ -1,5 +1,7 @@
 /* eslint @typescript-eslint/no-unused-vars: "off" */
-import type { LowerAllCaps, Trim } from "~/types";
+
+import { Trim } from "../string-literals";
+import { LowerAllCaps } from "./LowerAllCaps";
 
 type Delimiter = "_" | "-" | " ";
 

package/src/types/alphabetic/SnakeCase.ts

@@ -1,6 +1,8 @@
 /* eslint @typescript-eslint/no-unused-vars: "off" */
 
-import type { DashUppercase, LowerAllCaps, Trim } from "~/types";
+import { Trim } from "../string-literals";
+import { DashUppercase } from "./DashUppercase";
+import { LowerAllCaps } from "./LowerAllCaps";
 
 /** convert space to dash */
 type SpaceToDash<T extends string> = T extends `${infer Begin}${" "}${infer Rest}`
@@ -16,7 +18,10 @@ type SpaceToDash<T extends string> = T extends `${infer Begin}${" "}${infer Rest
  * type T = SnakeCase<"foo-bar">;
  * type T = SnakeCase<"\n foo bar \t">;
  * ``` */
-export type SnakeCase<S extends string> = string extends S ? string :
-  DashUppercase<Uncapitalize<SpaceToDash<Trim<LowerAllCaps<S>>>>> extends `${infer Begin}${"-"}${infer Rest}`
+export type SnakeCase<S extends string> = string extends S
+  ? string
+  : DashUppercase<
+      Uncapitalize<SpaceToDash<Trim<LowerAllCaps<S>>>>
+    > extends `${infer Begin}${"-"}${infer Rest}`
   ? SnakeCase<`${Lowercase<Begin>}_${Rest}`>
   : Lowercase<DashUppercase<Uncapitalize<Trim<LowerAllCaps<S>>>>>;

package/src/types/dictionary/DictPartialApplication.ts

@@ -0,0 +1,30 @@
+import { SimplifyObject } from "../SimplifyObject";
+
+/**
+ * Given a dictionary of key/values, where the value is a function, this
+ * type utility will maintain the keys but change the values to whatever
+ * the `ReturnType` of the function was.
+ * ```ts
+ * const api = {
+ *    val: 42,
+ *    hi: (name: string) => `hi ${name}`,
+ *    bye: (name: string) => `bye ${name}`
+ * };
+ * // { hi: string; bye: string }
+ * type Test = UnwrapValue<typeof api>
+ * // { val: number; foo: string; bar: string }
+ * type Test2 = UnwrapValue<typeof api, false>
+ * ```
+ */
+export type DictPartialApplication<
+  T extends Record<string, any>,
+  I extends boolean = true
+> = SimplifyObject<
+  {
+    [K in keyof T]: T[K] extends (...args: any[]) => any
+      ? Record<K, ReturnType<T[K]>>
+      : true extends I
+      ? never
+      : Record<K, T[K]>;
+  }[keyof T]
+>;

package/src/types/dictionary/DictPrependWithFn.ts

@@ -0,0 +1,23 @@
+import { SimplifyObject } from "../SimplifyObject";
+
+/**
+ * **DictPrependWithFn**
+ *
+ * Given a strongly typed object `<T>`, this utility will inject a function call with
+ * arguments `<A>` and then return what had subsequently been the value of the property.
+ * 
+ * Should you only want to apply this treatment to _some_ of the properties you can
+ * pass in a value `<E>` which will ensure that only properties which _extend_ `E` will be
+ * modified.
+ */
+export type DictPrependWithFn<
+  T extends Record<string, any>,
+  A extends any[],
+  E extends any = any
+> = SimplifyObject<
+  {
+    [K in keyof T]: T[K] extends E 
+      ? Record<K, (...args: A) => T[K]>
+      : Record<K, T[K]>;
+  }[keyof T]
+>;

package/src/types/dictionary/DictReturnValues.ts

@@ -0,0 +1,27 @@
+import { SimplifyObject } from "../SimplifyObject";
+
+/**
+ * **DictReturnValues**
+ *
+ * A type utility which receives an object `<T>` and then modifies
+ * the return type of any properties which are a function to have this
+ * new **ReturnType** `<R>`. Optionally you can specify a particular return type which
+ * you are targeting and then
+ */
+export type DictReturnValues<
+  /** the object which we expect to have props with function values */
+  T extends Record<string, any>,
+  /** the return type that functions should be modified to have */
+  R extends any,
+  /** optionally this utility can target only functions with a certain existing return value */
+  O extends (...args: any[]) => any = (...args: any[]) => any
+> = SimplifyObject<
+  {
+    [K in keyof T]: T[K] extends O
+      ? // it's a function (or at least the scoped down type of function we're looking for)
+        T[K] extends (...args: infer A) => any
+        ? Record<K, (...args: A) => R>
+        : Record<K, T[K]>
+      : Record<K, T[K]>;
+  }[keyof T]
+>;

package/src/types/dictionary/RequireProps.ts

@@ -0,0 +1,15 @@
+import { ExpandRecursively } from "../ExpandRecursively";
+
+/**
+ * Given a dictionary of type `<T>`, this utility function will
+ * make the `<R>` generic property _required_ (use a union to make
+ * more than one prop required).
+ *
+ * ```ts
+ * // { foo: string, bar?: number }
+ * type Example = RequireProps<{foo?: string, bar?: number}, "foo">;
+ * ```
+ */
+export type RequireProps<T extends {}, R extends keyof T> = ExpandRecursively<
+  Required<Pick<T, R>> & T
+>;