publish updated types with indexed types

README.md

@@ -24,10 +24,10 @@ npm install @kitbag/mapper
 ## Basic Setup
 
 ```ts
-import mapper from '@kitbag/mapper'
+import mapper, { createProfile } from '@kitbag/mapper'
 
 const profiles = [
-  createProfile('number', 'string', (source: number): boolean => source.toString())
+  createProfile('number', 'string', (source: number): string => source.toString()),
   createProfile('number', 'Date', (source: number): Date =>new Date(source))
 ]
 

package.json

@@ -1,7 +1,7 @@
 {
   "name": "@kitbag/mapper",
   "private": false,
-  "version": "0.0.6",
+  "version": "0.1.0",
   "description": "A simple and versatile mapping utility for Typescript.",
   "bugs": {
     "url": "https://github.com/kitbagjs/mapper/issues"
@@ -12,6 +12,7 @@
   "types": "./dist/src/index.d.ts",
   "exports": {
     ".": {
+      "types": "./dist/src/index.d.ts",
       "import": "./dist/mapper.mjs",
       "require": "./dist/mapper.umd.cjs"
     }

src/types/mapper.ts

@@ -10,8 +10,10 @@ type ProfileIndex<TProfile> = {
   }
 }
 
+/** Extracts the source type from a profile. `unknown` for the destination parameter matches any profile regardless of its destination type. */
 type ProfileSource<TProfile> = TProfile extends Profile<string, infer TSource, string, unknown> ? TSource : never
 
+/** Extracts the destination type from a profile. `never` for the source parameter exploits contravariance — any concrete source type satisfies `never extends TSource` in the function position, so the match is unconditional. */
 type ProfileDestination<TProfile> = TProfile extends Profile<string, never, string, infer TDestination> ? TDestination : never
 
 export type Mapper<TProfiles extends readonly Profile[], TProfile = TProfiles[number]> = {

src/types/profile.ts

@@ -10,13 +10,5 @@ export type ProfileKey<T extends Profile> = `${T['sourceKey']}-${T['destinationK
 // eslint-disable-next-line @typescript-eslint/no-explicit-any
 export type ExtractSourceKeys<TProfile> = TProfile extends Profile<infer TSourceKey, any, any> ? TSourceKey : never
 
-// eslint-disable-next-line @typescript-eslint/no-explicit-any
-export type ExtractSources<TProfile, TKey extends ExtractSourceKeys<TProfile>> = TProfile extends Profile<TKey, infer TSource, any> ? TSource : never
-
-// eslint-disable-next-line @typescript-eslint/no-explicit-any
-export type ExtractDestinationKeys<TProfile, TSourceKey extends ExtractSourceKeys<TProfile>> = TProfile extends Profile<TSourceKey, any, infer TDestinationKey> ? TDestinationKey : never
-
-// eslint-disable-next-line @typescript-eslint/no-explicit-any
-export type ExtractDestinations<TProfile, TSourceKey extends ExtractSourceKeys<TProfile>, TDestinationKey extends ExtractDestinationKeys<TProfile, TSourceKey>> = TProfile extends Profile<TSourceKey, any, TDestinationKey, infer TDestination> ? TDestination : never
 
 export type Profiles = readonly Profile[]