inferred-types 0.28.0 → 0.28.3

package/dist/index.d.ts

@@ -838,7 +838,7 @@ interface MapConfig<IR extends OptRequired | undefined = undefined, D extends Ma
  * Note: _this configuration does _not_ yet include the actual mapping
  * configuration between the input and output._
  */
-declare type FinalizedMapConfig<IR extends OptRequired, D extends MapCardinalityIllustrated, OR extends OptRequired> = Required<MapConfig<IR, D, OR>> & {
+declare type FinalizedMapConfig<IR extends OptRequired = MapIR<DefaultOneToManyMapping>, D extends MapCardinalityIllustrated = MapCard<DefaultOneToManyMapping>, OR extends OptRequired = MapOR<DefaultOneToManyMapping>> = Required<MapConfig<IR, D, OR>> & {
     finalized: true;
 };
 /**
@@ -927,12 +927,13 @@ OR extends OptRequired, C extends MapCardinalityIllustrated> = C extends MapCard
 /**
  * **MapTo<I, O>**
  *
- * A mapping function between an input type `I` and output type `O`.
+ * A mapping function between an input type `I` and output type `O`. Defaults to using
+ * the _default_ OneToMany mapping config.
  *
  * **Note:** this type is designed to guide the userland mapping; refer
  * to `MapFn` if you want the type output by the `mapFn()` utility.
  */
-declare type MapTo<I, O, C extends FinalizedMapConfig<OptRequired, MapCardinalityIllustrated, OptRequired>> = MapIR<C> extends "opt" ? (source?: MapInput<I, MapIR<C>, MapCard<C>>) => MapOutput<O, MapOR<C>, MapCard<C>> : (source: MapInput<I, MapIR<C>, MapCard<C>>) => MapOutput<O, MapOR<C>, MapCard<C>>;
+declare type MapTo<I, O, C extends FinalizedMapConfig<OptRequired, MapCardinalityIllustrated, OptRequired> = DefaultOneToManyMapping> = MapIR<C> extends "opt" ? (source?: MapInput<I, MapIR<C>, MapCard<C>>) => MapOutput<O, MapOR<C>, MapCard<C>> : (source: MapInput<I, MapIR<C>, MapCard<C>>) => MapOutput<O, MapOR<C>, MapCard<C>>;
 declare type MapFnOutput<I, O, S, OR extends OptRequired, C extends MapCardinalityIllustrated> = C extends "I -> O[]" | MapCardinality.OneToMany ? S extends I[] ? OR extends "opt" ? O[] : [O, ...O[]] : OR extends "opt" ? O[] | null : O[] : C extends MapCardinality.OneToOne | "I -> O" ? S extends I[] ? OR extends "opt" ? O[] : [O, ...O[]] : OR extends "opt" ? O | null : O : C extends MapCardinality.ManyToOne | "I[] -> O" ? S extends I[][] ? OR extends "opt" ? O[] : [O, ...O[]] : OR extends "opt" ? O | null : O : never;
 declare type MapFnInput<I, IR extends OptRequired, D extends MapCardinalityIllustrated> = D extends "I -> O[]" | MapCardinality.OneToMany ? IR extends "opt" ? I | I[] | undefined : I | I[] : D extends MapCardinality.OneToOne | "I -> O" ? IR extends "opt" ? I | I[] | undefined : I | I[] : D extends MapCardinality.ManyToOne | "I[] -> O" ? IR extends "opt" ? I[] | I[][] | undefined : I[] | I[][] : never;
 /**

package/package.json

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

package/src/types/dictionary/MapTo.ts

@@ -45,9 +45,9 @@ export interface MapConfig<
  * configuration between the input and output._
  */
 export type FinalizedMapConfig<
-  IR extends OptRequired,
-  D extends MapCardinalityIllustrated,
-  OR extends OptRequired
+  IR extends OptRequired = MapIR<DefaultOneToManyMapping>,
+  D extends MapCardinalityIllustrated = MapCard<DefaultOneToManyMapping>,
+  OR extends OptRequired = MapOR<DefaultOneToManyMapping>
 > = Required<MapConfig<IR, D, OR>> & { finalized: true };
 
 /**
@@ -252,7 +252,8 @@ export type MapOutput<
 /**
  * **MapTo<I, O>**
  *
- * A mapping function between an input type `I` and output type `O`.
+ * A mapping function between an input type `I` and output type `O`. Defaults to using
+ * the _default_ OneToMany mapping config.
  *
  * **Note:** this type is designed to guide the userland mapping; refer
  * to `MapFn` if you want the type output by the `mapFn()` utility.
@@ -260,7 +261,11 @@ export type MapOutput<
 export type MapTo<
   I,
   O,
-  C extends FinalizedMapConfig<OptRequired, MapCardinalityIllustrated, OptRequired>
+  C extends FinalizedMapConfig<
+    OptRequired,
+    MapCardinalityIllustrated,
+    OptRequired
+  > = DefaultOneToManyMapping
 > = MapIR<C> extends "opt"
   ? (source?: MapInput<I, MapIR<C>, MapCard<C>>) => MapOutput<O, MapOR<C>, MapCard<C>>
   : (source: MapInput<I, MapIR<C>, MapCard<C>>) => MapOutput<O, MapOR<C>, MapCard<C>>;