inferred-types 0.29.0 → 0.30.1

package/dist/index.d.ts

@@ -981,11 +981,13 @@ declare type MapFn<I, O, C extends FinalizedMapConfig<OptRequired, MapCardinalit
  * const mappedOver = inputs.map(m);
  * ```
  */
-declare type Mapper<I, O, C extends FinalizedMapConfig<OptRequired, MapCardinalityIllustrated, OptRequired>> = {
+declare type Mapper<I = unknown, O = unknown, C extends FinalizedMapConfig<OptRequired, MapCardinalityIllustrated, OptRequired> = FinalizedMapConfig<OptRequired, MapCardinalityIllustrated, OptRequired>> = {
     input: MapIR<C>;
     output: MapOR<C>;
     cardinality: MapCard<C>;
     debug: boolean | string;
+    inputType: I;
+    outputType: O;
 } & MapFn<I, O, C>;
 
 /**

package/dist/index.js

@@ -643,7 +643,9 @@ var mapper = (config) => (map) => {
     input: config.input,
     output: config.output,
     cardinality: config.cardinality,
-    debug: config.debug
+    debug: config.debug,
+    inputType: {},
+    outputType: {}
   });
 };
 var setMapper = (config = { input: void 0, output: void 0, cardinality: void 0 }, defaultValue) => ({

package/dist/index.mjs

@@ -552,7 +552,9 @@ var mapper = (config) => (map) => {
     input: config.input,
     output: config.output,
     cardinality: config.cardinality,
-    debug: config.debug
+    debug: config.debug,
+    inputType: {},
+    outputType: {}
   });
 };
 var setMapper = (config = { input: void 0, output: void 0, cardinality: void 0 }, defaultValue) => ({

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "inferred-types",
-  "version": "0.29.0",
+  "version": "0.30.1",
   "description": "Functions which provide useful type inference on TS projects",
   "license": "MIT",
   "author": "Ken Snyder<ken@ken.net>",

package/src/types/dictionary/MapTo.ts

@@ -374,12 +374,18 @@ export type MapFn<
  * ```
  */
 export type Mapper<
-  I,
-  O,
-  C extends FinalizedMapConfig<OptRequired, MapCardinalityIllustrated, OptRequired>
+  I = unknown,
+  O = unknown,
+  C extends FinalizedMapConfig<
+    OptRequired,
+    MapCardinalityIllustrated,
+    OptRequired
+  > = FinalizedMapConfig<OptRequired, MapCardinalityIllustrated, OptRequired>
 > = {
   input: MapIR<C>;
   output: MapOR<C>;
   cardinality: MapCard<C>;
   debug: boolean | string;
+  inputType: I;
+  outputType: O;
 } & MapFn<I, O, C>;

package/src/utility/dictionary/mapTo.ts

@@ -116,6 +116,8 @@ const mapper =
       output: config.output,
       cardinality: config.cardinality,
       debug: config.debug,
+      inputType: {} as I,
+      outputType: {} as O,
     });
   };
 

package/tests/dictionary/mapTo.test.ts

@@ -262,6 +262,12 @@ describe("mapTo() utility function", () => {
     expect(m1.output).toBe("req");
     expect(m1.cardinality).toBe("I -> O");
     expect(m1(i)).toEqual(i);
+
+    type cases = [
+      Expect<Equal<typeof m1["inputType"], I>>, //
+      Expect<Equal<typeof m1["outputType"], I>> //
+    ];
+    const cases: cases = [true, true];
   });
 
   it("M:1 conversion", () => {
@@ -309,9 +315,13 @@ describe("mapTo() utility function", () => {
       .config({ output: "req", cardinality: "I -> O[]" })
       .map<I, O>((i) => [{ title: i.title, count: i.products.length }]);
     const o = m([i, i2]);
+    type RT = ReturnType<typeof m>;
 
     expect(o.length).toBe(2);
     o.map((item) => expect("title" in item).toBeTruthy());
+
+    type cases = [Expect<Equal<RT, O[] | [O, ...O[]]>>];
+    const cases: cases = [true];
   });
 
   it("1:M conversion with filtering", () => {