cogfy-data-exchange 1.0.13 → 1.0.15

package/dist/create-flow.d.ts

@@ -8,6 +8,10 @@ type Handlers<F extends FlowJson> = {
  * @param handlers An object mapping trigger strings to their corresponding handler functions. Each handler receives the payload for its trigger and returns a promise that resolves to the next result, which includes the next screen and its data.
  * @returns An object with a `dispatch` method to trigger handlers and the original flow definition.
  */
+type DispatchPayloads<F extends FlowJson> = {
+    [K in AllTriggers<F>]: PayloadByTrigger<F, K, ExtractScreen<K, F>>;
+};
+export type AllPayloads<F extends FlowJson> = DispatchPayloads<F>[AllTriggers<F>];
 export declare function createFlow<F extends FlowJson>(flow: F, handlers: Handlers<F>): {
     dispatch<T extends AllTriggers<F>>(trigger: T, payload: PayloadByTrigger<F, T, ExtractScreen<T, F>>): Promise<NextResult<F, ExtractScreen<T, F>>>;
     flow: F;

package/dist/create-flow.js

@@ -1,12 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.createFlow = createFlow;
-/**
- * Creates a flow engine based on the provided flow definition and handlers.
- * @param flow The flow definition, which includes the routing model and screen definitions.
- * @param handlers An object mapping trigger strings to their corresponding handler functions. Each handler receives the payload for its trigger and returns a promise that resolves to the next result, which includes the next screen and its data.
- * @returns An object with a `dispatch` method to trigger handlers and the original flow definition.
- */
 function createFlow(flow, handlers) {
     return {
         dispatch(trigger, payload) {

package/dist/types/payload.d.ts

@@ -1,3 +1,4 @@
+import type { FromSchema } from './schema';
 type ExtractScreenById<T, Id extends string> = T extends {
     screens: infer Screens;
 } ? Screens extends readonly unknown[] ? Extract<Screens[number], {
@@ -20,6 +21,33 @@ type ExtractChildByTrigger<Children, Trigger extends string> = Children extends
         };
     };
 } ? Children : never;
-export type PayloadByScreenId<T, Id extends string> = ExtractPayload<ExtractChildren<ExtractScreenById<T, Id>>>;
-export type PayloadByTrigger<T, Trigger extends string, ScreenId extends string> = ExtractPayload<ExtractChildByTrigger<ExtractChildren<ExtractScreenById<T, ScreenId>>, Trigger>>;
+type ExtractScreenData<T> = T extends {
+    data: infer D;
+} ? D : never;
+type ExtractDataSourceIds<DS> = DS extends readonly {
+    id: infer Id;
+}[] ? Id : string;
+type ComponentFormValue<C> = C extends {
+    type: 'RadioButtonsGroup' | 'Dropdown';
+    'data-source': infer DS;
+} ? ExtractDataSourceIds<DS> : C extends {
+    type: 'CheckboxGroup';
+    'data-source': infer DS;
+} ? ExtractDataSourceIds<DS>[] : C extends {
+    type: 'TextInput' | 'TextArea' | 'DatePicker';
+} ? string : C extends {
+    type: 'OptIn';
+} ? boolean : string;
+type ResolvePayloadValue<V, Children, ScreenData> = V extends `$${'{'}form.${infer FieldName}}` ? [Extract<Children, {
+    name: FieldName;
+}>] extends [never] ? string : ComponentFormValue<Extract<Children, {
+    name: FieldName;
+}>> : V extends `$${'{'}data}` ? {
+    [K in keyof ScreenData]: FromSchema<ScreenData[K]>;
+} : V extends `$${'{'}data.${infer DataField}}` ? DataField extends keyof ScreenData ? FromSchema<ScreenData[DataField]> : unknown : V;
+type ResolvePayload<P, Children, ScreenData> = P extends unknown ? {
+    [K in keyof P]: ResolvePayloadValue<P[K], Children, ScreenData>;
+} : never;
+export type PayloadByScreenId<T, Id extends string> = ResolvePayload<ExtractPayload<ExtractChildren<ExtractScreenById<T, Id>>>, ExtractChildren<ExtractScreenById<T, Id>>, ExtractScreenData<ExtractScreenById<T, Id>>>;
+export type PayloadByTrigger<T, Trigger extends string, ScreenId extends string> = ResolvePayload<ExtractPayload<ExtractChildByTrigger<ExtractChildren<ExtractScreenById<T, ScreenId>>, Trigger>>, ExtractChildren<ExtractScreenById<T, ScreenId>>, ExtractScreenData<ExtractScreenById<T, ScreenId>>>;
 export {};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cogfy-data-exchange",
-  "version": "1.0.13",
+  "version": "1.0.15",
   "description": "",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",

package/src/create-flow.ts

@@ -12,6 +12,12 @@ type Handlers<F extends FlowJson> = {
  * @param handlers An object mapping trigger strings to their corresponding handler functions. Each handler receives the payload for its trigger and returns a promise that resolves to the next result, which includes the next screen and its data.
  * @returns An object with a `dispatch` method to trigger handlers and the original flow definition.
  */
+type DispatchPayloads<F extends FlowJson> = {
+  [K in AllTriggers<F>]: PayloadByTrigger<F, K, ExtractScreen<K, F>>
+}
+
+export type AllPayloads<F extends FlowJson> = DispatchPayloads<F>[AllTriggers<F>]
+
 export function createFlow<F extends FlowJson>(flow: F, handlers: Handlers<F>) {
   return {
     dispatch<T extends AllTriggers<F>>(

package/src/types/payload.ts

@@ -1,3 +1,5 @@
+import type { FromSchema } from './schema'
+
 type ExtractScreenById<T, Id extends string> = T extends {
   screens: infer Screens
 }
@@ -20,8 +22,50 @@ type ExtractChildByTrigger<Children, Trigger extends string> = Children extends
   ? Children
   : never
 
-export type PayloadByScreenId<T, Id extends string> = ExtractPayload<ExtractChildren<ExtractScreenById<T, Id>>>
+type ExtractScreenData<T> = T extends { data: infer D } ? D : never
+
+type ExtractDataSourceIds<DS> = DS extends readonly { id: infer Id }[] ? Id : string
+
+type ComponentFormValue<C> = C extends {
+  type: 'RadioButtonsGroup' | 'Dropdown'
+  'data-source': infer DS
+}
+  ? ExtractDataSourceIds<DS>
+  : C extends {
+        type: 'CheckboxGroup'
+        'data-source': infer DS
+      }
+    ? ExtractDataSourceIds<DS>[]
+    : C extends { type: 'TextInput' | 'TextArea' | 'DatePicker' }
+      ? string
+      : C extends { type: 'OptIn' }
+        ? boolean
+        : string
+
+type ResolvePayloadValue<V, Children, ScreenData> = V extends `$${'{'}form.${infer FieldName}}`
+  ? [Extract<Children, { name: FieldName }>] extends [never]
+    ? string
+    : ComponentFormValue<Extract<Children, { name: FieldName }>>
+  : V extends `$${'{'}data}`
+    ? { [K in keyof ScreenData]: FromSchema<ScreenData[K]> }
+    : V extends `$${'{'}data.${infer DataField}}`
+      ? DataField extends keyof ScreenData
+        ? FromSchema<ScreenData[DataField]>
+        : unknown
+      : V
+
+type ResolvePayload<P, Children, ScreenData> = P extends unknown
+  ? { [K in keyof P]: ResolvePayloadValue<P[K], Children, ScreenData> }
+  : never
+
+export type PayloadByScreenId<T, Id extends string> = ResolvePayload<
+  ExtractPayload<ExtractChildren<ExtractScreenById<T, Id>>>,
+  ExtractChildren<ExtractScreenById<T, Id>>,
+  ExtractScreenData<ExtractScreenById<T, Id>>
+>
 
-export type PayloadByTrigger<T, Trigger extends string, ScreenId extends string> = ExtractPayload<
-  ExtractChildByTrigger<ExtractChildren<ExtractScreenById<T, ScreenId>>, Trigger>
+export type PayloadByTrigger<T, Trigger extends string, ScreenId extends string> = ResolvePayload<
+  ExtractPayload<ExtractChildByTrigger<ExtractChildren<ExtractScreenById<T, ScreenId>>, Trigger>>,
+  ExtractChildren<ExtractScreenById<T, ScreenId>>,
+  ExtractScreenData<ExtractScreenById<T, ScreenId>>
 >