@temporal-contract/contract 0.0.4 → 0.0.6

package/dist/index.cjs

@@ -1,6 +1,29 @@
 let zod = require("zod");
 
 //#region src/builder.ts
+function defineActivity(definition) {
+	return definition;
+}
+function defineSignal(definition) {
+	return definition;
+}
+function defineQuery(definition) {
+	return definition;
+}
+function defineUpdate(definition) {
+	return definition;
+}
+function defineWorkflow(definition) {
+	return definition;
+}
+function defineContract(definition) {
+	const validationResult = contractValidationSchema.safeParse(definition);
+	if (!validationResult.success) {
+		const cleanMessage = getCleanErrorMessage(validationResult.error);
+		throw new Error(`Contract error: ${cleanMessage}`);
+	}
+	return definition;
+}
 /**
 * Check if a value is a Standard Schema compatible schema
 */
@@ -18,7 +41,7 @@ const identifierSchema = zod.z.string().min(1).regex(/^[a-zA-Z_$][a-zA-Z0-9_$]*$
 /**
 * Extract clean error message from Zod validation error
 */
-const getCleanErrorMessage = (error) => {
+function getCleanErrorMessage(error) {
 	try {
 		const parsed = JSON.parse(error.message);
 		if (Array.isArray(parsed) && parsed.length > 0) {
@@ -31,7 +54,7 @@ const getCleanErrorMessage = (error) => {
 		}
 	} catch {}
 	return error.message;
-};
+}
 /**
 * Schema for validating activity definitions
 * Checks that input and output are Standard Schema compatible schemas
@@ -88,106 +111,6 @@ const contractValidationSchema = zod.z.object({
 		}
 	}
 });
-/**
-* Builder for creating activity definitions
-*
-* @example
-* ```ts
-* const myActivity = defineActivity({
-*   input: z.tuple([z.object({ name: z.string() })]),
-*   output: z.object({ greeting: z.string() }),
-* });
-* ```
-*/
-const defineActivity = (definition) => {
-	return definition;
-};
-/**
-* Builder for creating signal definitions
-*
-* @example
-* ```ts
-* const mySignal = defineSignal({
-*   input: z.object({ message: z.string() }),
-* });
-* ```
-*/
-const defineSignal = (definition) => {
-	return definition;
-};
-/**
-* Builder for creating query definitions
-*
-* @example
-* ```ts
-* const myQuery = defineQuery({
-*   input: z.object({ id: z.string() }),
-*   output: z.object({ status: z.string() }),
-* });
-* ```
-*/
-const defineQuery = (definition) => {
-	return definition;
-};
-/**
-* Builder for creating update definitions
-*
-* @example
-* ```ts
-* const myUpdate = defineUpdate({
-*   input: z.object({ value: z.number() }),
-*   output: z.object({ newValue: z.number() }),
-* });
-* ```
-*/
-const defineUpdate = (definition) => {
-	return definition;
-};
-/**
-* Builder for creating workflow definitions
-*
-* @example
-* ```ts
-* const myWorkflow = defineWorkflow({
-*   input: z.tuple([z.object({ orderId: z.string() })]),
-*   output: z.object({ status: z.string() }),
-*   activities: {
-*     processPayment: defineActivity({
-*       input: z.tuple([z.object({ amount: z.number() })]),
-*       output: z.object({ success: z.boolean() }),
-*     }),
-*   },
-* });
-* ```
-*/
-const defineWorkflow = (definition) => {
-	return definition;
-};
-/**
-* Builder for creating a complete contract
-*
-* @example
-* ```ts
-* const myContract = defineContract({
-*   taskQueue: 'my-service',
-*   workflows: {
-*     processOrder: defineWorkflow({ ... }),
-*     sendNotification: defineWorkflow({ ... }),
-*   },
-*   activities: {
-*     sendEmail: defineActivity({ ... }),
-*   },
-* });
-* ```
-*/
-const defineContract = (definition) => {
-	const validationResult = contractValidationSchema.safeParse(definition);
-	if (!validationResult.success) {
-		const cleanMessage = getCleanErrorMessage(validationResult.error);
-		throw new Error(`Contract error: ${cleanMessage}`);
-	}
-	return definition;
-};
 
 //#endregion
 //#region src/nexus-types.ts

package/dist/index.d.cts

@@ -55,157 +55,7 @@ interface ContractDefinition<TWorkflows extends Record<string, WorkflowDefinitio
   readonly activities?: TActivities;
 }
 /**
- * Infer input type from a definition (worker perspective)
- * Worker receives the output type (after input schema parsing/transformation)
- */
-type WorkerInferInput<T extends {
-  input: AnySchema;
-}> = StandardSchemaV1.InferOutput<T["input"]>;
-/**
- * Infer output type from a definition (worker perspective)
- * Worker returns the input type (before output schema parsing/transformation)
- */
-type WorkerInferOutput<T extends {
-  output: AnySchema;
-}> = StandardSchemaV1.InferInput<T["output"]>;
-/**
- * Infer input type from a definition (client perspective)
- * Client sends the input type (before input schema parsing/transformation)
- */
-type ClientInferInput<T extends {
-  input: AnySchema;
-}> = StandardSchemaV1.InferInput<T["input"]>;
-/**
- * Infer output type from a definition (client perspective)
- * Client receives the output type (after output schema parsing/transformation)
- */
-type ClientInferOutput<T extends {
-  output: AnySchema;
-}> = StandardSchemaV1.InferOutput<T["output"]>;
-/**
- * WORKER PERSPECTIVE
- * Worker receives z.output of input (parsed data) and returns z.input of output (raw data)
- */
-/**
- * Infer workflow function signature from worker perspective
- * Worker receives z.input and returns z.output
- */
-type WorkerInferWorkflow<TWorkflow extends WorkflowDefinition> = (args: WorkerInferInput<TWorkflow>) => Promise<WorkerInferOutput<TWorkflow>>;
-/**
- * Infer activity function signature from worker perspective
- * Worker receives z.input and returns z.output
- */
-type WorkerInferActivity<TActivity extends ActivityDefinition> = (args: WorkerInferInput<TActivity>) => Promise<WorkerInferOutput<TActivity>>;
-/**
- * Infer signal handler signature from worker perspective
- * Worker receives z.input
- */
-type WorkerInferSignal<TSignal extends SignalDefinition> = (args: WorkerInferInput<TSignal>) => Promise<void>;
-/**
- * Infer query handler signature from worker perspective
- * Worker receives z.input and returns z.output
- */
-type WorkerInferQuery<TQuery extends QueryDefinition> = (args: WorkerInferInput<TQuery>) => Promise<WorkerInferOutput<TQuery>>;
-/**
- * Infer update handler signature from worker perspective
- * Worker receives z.input and returns z.output
- */
-type WorkerInferUpdate<TUpdate extends UpdateDefinition> = (args: WorkerInferInput<TUpdate>) => Promise<WorkerInferOutput<TUpdate>>;
-/**
- * CLIENT PERSPECTIVE
- * Client sends z.output and receives z.input
- */
-/**
- * Infer workflow function signature from client perspective
- * Client sends z.output and receives z.input
- */
-type ClientInferWorkflow<TWorkflow extends WorkflowDefinition> = (args: ClientInferInput<TWorkflow>) => Promise<ClientInferOutput<TWorkflow>>;
-/**
- * Infer activity function signature from client perspective
- * Client sends z.output and receives z.input
- */
-type ClientInferActivity<TActivity extends ActivityDefinition> = (args: ClientInferInput<TActivity>) => Promise<ClientInferOutput<TActivity>>;
-/**
- * Infer signal handler signature from client perspective
- * Client sends z.output
- */
-type ClientInferSignal<TSignal extends SignalDefinition> = (args: ClientInferInput<TSignal>) => Promise<void>;
-/**
- * Infer query handler signature from client perspective
- * Client sends z.output and receives z.input
- */
-type ClientInferQuery<TQuery extends QueryDefinition> = (args: ClientInferInput<TQuery>) => Promise<ClientInferOutput<TQuery>>;
-/**
- * Infer update handler signature from client perspective
- * Client sends z.output and receives z.input
- */
-type ClientInferUpdate<TUpdate extends UpdateDefinition> = (args: ClientInferInput<TUpdate>) => Promise<ClientInferOutput<TUpdate>>;
-/**
- * WORKER PERSPECTIVE - Contract-level types
- */
-/**
- * Infer all workflows from a contract (worker perspective)
- */
-type WorkerInferWorkflows<TContract extends ContractDefinition> = { [K in keyof TContract["workflows"]]: WorkerInferWorkflow<TContract["workflows"][K]> };
-/**
- * Infer all activities from a contract (worker perspective)
- */
-type WorkerInferActivities<TContract extends ContractDefinition> = TContract["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof TContract["activities"]]: WorkerInferActivity<TContract["activities"][K]> } : {};
-/**
- * Infer activities from a workflow definition (worker perspective)
- */
-type WorkerInferWorkflowActivities<T extends WorkflowDefinition> = T["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof T["activities"]]: WorkerInferActivity<T["activities"][K]> } : {};
-/**
- * Infer signals from a workflow definition (worker perspective)
- */
-type WorkerInferWorkflowSignals<T extends WorkflowDefinition> = T["signals"] extends Record<string, SignalDefinition> ? { [K in keyof T["signals"]]: WorkerInferSignal<T["signals"][K]> } : {};
-/**
- * Infer queries from a workflow definition (worker perspective)
- */
-type WorkerInferWorkflowQueries<T extends WorkflowDefinition> = T["queries"] extends Record<string, QueryDefinition> ? { [K in keyof T["queries"]]: WorkerInferQuery<T["queries"][K]> } : {};
-/**
- * Infer updates from a workflow definition (worker perspective)
- */
-type WorkerInferWorkflowUpdates<T extends WorkflowDefinition> = T["updates"] extends Record<string, UpdateDefinition> ? { [K in keyof T["updates"]]: WorkerInferUpdate<T["updates"][K]> } : {};
-/**
- * Infer all activities available in a workflow context (worker perspective)
- * Combines workflow-specific activities with global activities
- */
-type WorkerInferWorkflowContextActivities<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = WorkerInferWorkflowActivities<TContract["workflows"][TWorkflowName]> & WorkerInferActivities<TContract>;
-/**
- * CLIENT PERSPECTIVE - Contract-level types
- */
-/**
- * Infer all workflows from a contract (client perspective)
- */
-type ClientInferWorkflows<TContract extends ContractDefinition> = { [K in keyof TContract["workflows"]]: ClientInferWorkflow<TContract["workflows"][K]> };
-/**
- * Infer all activities from a contract (client perspective)
- */
-type ClientInferActivities<TContract extends ContractDefinition> = TContract["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof TContract["activities"]]: ClientInferActivity<TContract["activities"][K]> } : {};
-/**
- * Infer activities from a workflow definition (client perspective)
- */
-type ClientInferWorkflowActivities<T extends WorkflowDefinition> = T["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof T["activities"]]: ClientInferActivity<T["activities"][K]> } : {};
-/**
- * Infer signals from a workflow definition (client perspective)
- */
-type ClientInferWorkflowSignals<T extends WorkflowDefinition> = T["signals"] extends Record<string, SignalDefinition> ? { [K in keyof T["signals"]]: ClientInferSignal<T["signals"][K]> } : {};
-/**
- * Infer queries from a workflow definition (client perspective)
- */
-type ClientInferWorkflowQueries<T extends WorkflowDefinition> = T["queries"] extends Record<string, QueryDefinition> ? { [K in keyof T["queries"]]: ClientInferQuery<T["queries"][K]> } : {};
-/**
- * Infer updates from a workflow definition (client perspective)
- */
-type ClientInferWorkflowUpdates<T extends WorkflowDefinition> = T["updates"] extends Record<string, UpdateDefinition> ? { [K in keyof T["updates"]]: ClientInferUpdate<T["updates"][K]> } : {};
-/**
- * Infer all activities available in a workflow context (client perspective)
- * Combines workflow-specific activities with global activities
- */
-type ClientInferWorkflowContextActivities<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = ClientInferWorkflowActivities<TContract["workflows"][TWorkflowName]> & ClientInferActivities<TContract>;
-/**
- * UTILITY TYPES FOR ACTIVITY HANDLERS
+ * UTILITY TYPES
  */
 /**
  * Extract workflow names from a contract as a union type
@@ -236,118 +86,14 @@ type InferActivityNames<TContract extends ContractDefinition> = TContract["activ
  * ```
  */
 type InferContractWorkflows<TContract extends ContractDefinition> = TContract["workflows"];
-/**
- * Infer the handler type for a global activity from a contract
- *
- * @example
- * ```typescript
- * const log: ActivityHandler<typeof myContract, "log"> = async ({ level, message }) => {
- *   logger[level](message);
- * };
- * ```
- */
-type ActivityHandler<TContract extends ContractDefinition, TActivityName extends keyof TContract["activities"]> = TContract["activities"] extends Record<string, ActivityDefinition> ? (args: WorkerInferInput<TContract["activities"][TActivityName]>) => Promise<WorkerInferOutput<TContract["activities"][TActivityName]>> : never;
-/**
- * Infer the handler type for a workflow-specific activity from a contract
- *
- * @example
- * ```typescript
- * const processPayment: WorkflowActivityHandler<
- *   typeof myContract,
- *   "processOrder",
- *   "processPayment"
- * > = async ({ customerId, amount }) => {
- *   // Implementation
- *   return { transactionId, status: "success" as const, paidAmount: amount };
- * };
- * ```
- */
-type WorkflowActivityHandler<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"], TActivityName extends keyof TContract["workflows"][TWorkflowName]["activities"]> = TContract["workflows"][TWorkflowName]["activities"] extends Record<string, ActivityDefinition> ? (args: WorkerInferInput<TContract["workflows"][TWorkflowName]["activities"][TActivityName]>) => Promise<WorkerInferOutput<TContract["workflows"][TWorkflowName]["activities"][TActivityName]>> : never;
 //#endregion
 //#region src/builder.d.ts
-/**
- * Builder for creating activity definitions
- *
- * @example
- * ```ts
- * const myActivity = defineActivity({
- *   input: z.tuple([z.object({ name: z.string() })]),
- *   output: z.object({ greeting: z.string() }),
- * });
- * ```
- */
-declare const defineActivity: <TActivity extends ActivityDefinition>(definition: TActivity) => TActivity;
-/**
- * Builder for creating signal definitions
- *
- * @example
- * ```ts
- * const mySignal = defineSignal({
- *   input: z.object({ message: z.string() }),
- * });
- * ```
- */
-declare const defineSignal: <TSignal extends SignalDefinition>(definition: TSignal) => TSignal;
-/**
- * Builder for creating query definitions
- *
- * @example
- * ```ts
- * const myQuery = defineQuery({
- *   input: z.object({ id: z.string() }),
- *   output: z.object({ status: z.string() }),
- * });
- * ```
- */
-declare const defineQuery: <TQuery extends QueryDefinition>(definition: TQuery) => TQuery;
-/**
- * Builder for creating update definitions
- *
- * @example
- * ```ts
- * const myUpdate = defineUpdate({
- *   input: z.object({ value: z.number() }),
- *   output: z.object({ newValue: z.number() }),
- * });
- * ```
- */
-declare const defineUpdate: <TUpdate extends UpdateDefinition>(definition: TUpdate) => TUpdate;
-/**
- * Builder for creating workflow definitions
- *
- * @example
- * ```ts
- * const myWorkflow = defineWorkflow({
- *   input: z.tuple([z.object({ orderId: z.string() })]),
- *   output: z.object({ status: z.string() }),
- *   activities: {
- *     processPayment: defineActivity({
- *       input: z.tuple([z.object({ amount: z.number() })]),
- *       output: z.object({ success: z.boolean() }),
- *     }),
- *   },
- * });
- * ```
- */
-declare const defineWorkflow: <TWorkflow extends WorkflowDefinition>(definition: TWorkflow) => TWorkflow;
-/**
- * Builder for creating a complete contract
- *
- * @example
- * ```ts
- * const myContract = defineContract({
- *   taskQueue: 'my-service',
- *   workflows: {
- *     processOrder: defineWorkflow({ ... }),
- *     sendNotification: defineWorkflow({ ... }),
- *   },
- *   activities: {
- *     sendEmail: defineActivity({ ... }),
- *   },
- * });
- * ```
- */
-declare const defineContract: <TContract extends ContractDefinition>(definition: TContract) => TContract;
+declare function defineActivity<TActivity extends ActivityDefinition>(definition: TActivity): TActivity;
+declare function defineSignal<TSignal extends SignalDefinition>(definition: TSignal): TSignal;
+declare function defineQuery<TQuery extends QueryDefinition>(definition: TQuery): TQuery;
+declare function defineUpdate<TUpdate extends UpdateDefinition>(definition: TUpdate): TUpdate;
+declare function defineWorkflow<TWorkflow extends WorkflowDefinition>(definition: TWorkflow): TWorkflow;
+declare function defineContract<TContract extends ContractDefinition>(definition: TContract): TContract;
 //#endregion
 //#region src/nexus-types.d.ts
 /**
@@ -573,4 +319,4 @@ declare function defineNexusOperation<TOperation extends NexusOperationDefinitio
  */
 declare function defineNexusService<TService extends NexusServiceDefinition>(definition: TService): TService;
 //#endregion
-export { type ActivityDefinition, type ActivityHandler, type AnySchema, type ClientInferActivities, type ClientInferActivity, type ClientInferInput, type ClientInferNexusOperationInput, type ClientInferNexusOperationInvoker, type ClientInferNexusOperationOutput, type ClientInferNexusServiceOperations, type ClientInferNexusServices, type ClientInferOutput, type ClientInferQuery, type ClientInferSignal, type ClientInferUpdate, type ClientInferWorkflow, type ClientInferWorkflowActivities, type ClientInferWorkflowContextActivities, type ClientInferWorkflowQueries, type ClientInferWorkflowSignals, type ClientInferWorkflowUpdates, type ClientInferWorkflows, type ContractDefinition, type ContractDefinitionWithNexus, type InferActivityNames, type InferContractWorkflows, type InferNexusOperationNames, type InferNexusServiceNames, type InferWorkflowNames, type NexusOperationDefinition, type NexusOperationHandler, type NexusServiceDefinition, type QueryDefinition, type SignalDefinition, type UpdateDefinition, type WorkerInferActivities, type WorkerInferActivity, type WorkerInferInput, type WorkerInferNexusOperationHandler, type WorkerInferNexusOperationInput, type WorkerInferNexusOperationOutput, type WorkerInferNexusServiceHandlers, type WorkerInferNexusServices, type WorkerInferOutput, type WorkerInferQuery, type WorkerInferSignal, type WorkerInferUpdate, type WorkerInferWorkflow, type WorkerInferWorkflowActivities, type WorkerInferWorkflowContextActivities, type WorkerInferWorkflowQueries, type WorkerInferWorkflowSignals, type WorkerInferWorkflowUpdates, type WorkerInferWorkflows, type WorkflowActivityHandler, type WorkflowDefinition, defineActivity, defineContract, defineNexusOperation, defineNexusService, defineQuery, defineSignal, defineUpdate, defineWorkflow };
+export { type ActivityDefinition, type AnySchema, type ClientInferNexusOperationInput, type ClientInferNexusOperationInvoker, type ClientInferNexusOperationOutput, type ClientInferNexusServiceOperations, type ClientInferNexusServices, type ContractDefinition, type ContractDefinitionWithNexus, type InferActivityNames, type InferContractWorkflows, type InferNexusOperationNames, type InferNexusServiceNames, type InferWorkflowNames, type NexusOperationDefinition, type NexusOperationHandler, type NexusServiceDefinition, type QueryDefinition, type SignalDefinition, type UpdateDefinition, type WorkerInferNexusOperationHandler, type WorkerInferNexusOperationInput, type WorkerInferNexusOperationOutput, type WorkerInferNexusServiceHandlers, type WorkerInferNexusServices, type WorkflowDefinition, defineActivity, defineContract, defineNexusOperation, defineNexusService, defineQuery, defineSignal, defineUpdate, defineWorkflow };

package/dist/index.d.mts

@@ -55,157 +55,7 @@ interface ContractDefinition<TWorkflows extends Record<string, WorkflowDefinitio
   readonly activities?: TActivities;
 }
 /**
- * Infer input type from a definition (worker perspective)
- * Worker receives the output type (after input schema parsing/transformation)
- */
-type WorkerInferInput<T extends {
-  input: AnySchema;
-}> = StandardSchemaV1.InferOutput<T["input"]>;
-/**
- * Infer output type from a definition (worker perspective)
- * Worker returns the input type (before output schema parsing/transformation)
- */
-type WorkerInferOutput<T extends {
-  output: AnySchema;
-}> = StandardSchemaV1.InferInput<T["output"]>;
-/**
- * Infer input type from a definition (client perspective)
- * Client sends the input type (before input schema parsing/transformation)
- */
-type ClientInferInput<T extends {
-  input: AnySchema;
-}> = StandardSchemaV1.InferInput<T["input"]>;
-/**
- * Infer output type from a definition (client perspective)
- * Client receives the output type (after output schema parsing/transformation)
- */
-type ClientInferOutput<T extends {
-  output: AnySchema;
-}> = StandardSchemaV1.InferOutput<T["output"]>;
-/**
- * WORKER PERSPECTIVE
- * Worker receives z.output of input (parsed data) and returns z.input of output (raw data)
- */
-/**
- * Infer workflow function signature from worker perspective
- * Worker receives z.input and returns z.output
- */
-type WorkerInferWorkflow<TWorkflow extends WorkflowDefinition> = (args: WorkerInferInput<TWorkflow>) => Promise<WorkerInferOutput<TWorkflow>>;
-/**
- * Infer activity function signature from worker perspective
- * Worker receives z.input and returns z.output
- */
-type WorkerInferActivity<TActivity extends ActivityDefinition> = (args: WorkerInferInput<TActivity>) => Promise<WorkerInferOutput<TActivity>>;
-/**
- * Infer signal handler signature from worker perspective
- * Worker receives z.input
- */
-type WorkerInferSignal<TSignal extends SignalDefinition> = (args: WorkerInferInput<TSignal>) => Promise<void>;
-/**
- * Infer query handler signature from worker perspective
- * Worker receives z.input and returns z.output
- */
-type WorkerInferQuery<TQuery extends QueryDefinition> = (args: WorkerInferInput<TQuery>) => Promise<WorkerInferOutput<TQuery>>;
-/**
- * Infer update handler signature from worker perspective
- * Worker receives z.input and returns z.output
- */
-type WorkerInferUpdate<TUpdate extends UpdateDefinition> = (args: WorkerInferInput<TUpdate>) => Promise<WorkerInferOutput<TUpdate>>;
-/**
- * CLIENT PERSPECTIVE
- * Client sends z.output and receives z.input
- */
-/**
- * Infer workflow function signature from client perspective
- * Client sends z.output and receives z.input
- */
-type ClientInferWorkflow<TWorkflow extends WorkflowDefinition> = (args: ClientInferInput<TWorkflow>) => Promise<ClientInferOutput<TWorkflow>>;
-/**
- * Infer activity function signature from client perspective
- * Client sends z.output and receives z.input
- */
-type ClientInferActivity<TActivity extends ActivityDefinition> = (args: ClientInferInput<TActivity>) => Promise<ClientInferOutput<TActivity>>;
-/**
- * Infer signal handler signature from client perspective
- * Client sends z.output
- */
-type ClientInferSignal<TSignal extends SignalDefinition> = (args: ClientInferInput<TSignal>) => Promise<void>;
-/**
- * Infer query handler signature from client perspective
- * Client sends z.output and receives z.input
- */
-type ClientInferQuery<TQuery extends QueryDefinition> = (args: ClientInferInput<TQuery>) => Promise<ClientInferOutput<TQuery>>;
-/**
- * Infer update handler signature from client perspective
- * Client sends z.output and receives z.input
- */
-type ClientInferUpdate<TUpdate extends UpdateDefinition> = (args: ClientInferInput<TUpdate>) => Promise<ClientInferOutput<TUpdate>>;
-/**
- * WORKER PERSPECTIVE - Contract-level types
- */
-/**
- * Infer all workflows from a contract (worker perspective)
- */
-type WorkerInferWorkflows<TContract extends ContractDefinition> = { [K in keyof TContract["workflows"]]: WorkerInferWorkflow<TContract["workflows"][K]> };
-/**
- * Infer all activities from a contract (worker perspective)
- */
-type WorkerInferActivities<TContract extends ContractDefinition> = TContract["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof TContract["activities"]]: WorkerInferActivity<TContract["activities"][K]> } : {};
-/**
- * Infer activities from a workflow definition (worker perspective)
- */
-type WorkerInferWorkflowActivities<T extends WorkflowDefinition> = T["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof T["activities"]]: WorkerInferActivity<T["activities"][K]> } : {};
-/**
- * Infer signals from a workflow definition (worker perspective)
- */
-type WorkerInferWorkflowSignals<T extends WorkflowDefinition> = T["signals"] extends Record<string, SignalDefinition> ? { [K in keyof T["signals"]]: WorkerInferSignal<T["signals"][K]> } : {};
-/**
- * Infer queries from a workflow definition (worker perspective)
- */
-type WorkerInferWorkflowQueries<T extends WorkflowDefinition> = T["queries"] extends Record<string, QueryDefinition> ? { [K in keyof T["queries"]]: WorkerInferQuery<T["queries"][K]> } : {};
-/**
- * Infer updates from a workflow definition (worker perspective)
- */
-type WorkerInferWorkflowUpdates<T extends WorkflowDefinition> = T["updates"] extends Record<string, UpdateDefinition> ? { [K in keyof T["updates"]]: WorkerInferUpdate<T["updates"][K]> } : {};
-/**
- * Infer all activities available in a workflow context (worker perspective)
- * Combines workflow-specific activities with global activities
- */
-type WorkerInferWorkflowContextActivities<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = WorkerInferWorkflowActivities<TContract["workflows"][TWorkflowName]> & WorkerInferActivities<TContract>;
-/**
- * CLIENT PERSPECTIVE - Contract-level types
- */
-/**
- * Infer all workflows from a contract (client perspective)
- */
-type ClientInferWorkflows<TContract extends ContractDefinition> = { [K in keyof TContract["workflows"]]: ClientInferWorkflow<TContract["workflows"][K]> };
-/**
- * Infer all activities from a contract (client perspective)
- */
-type ClientInferActivities<TContract extends ContractDefinition> = TContract["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof TContract["activities"]]: ClientInferActivity<TContract["activities"][K]> } : {};
-/**
- * Infer activities from a workflow definition (client perspective)
- */
-type ClientInferWorkflowActivities<T extends WorkflowDefinition> = T["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof T["activities"]]: ClientInferActivity<T["activities"][K]> } : {};
-/**
- * Infer signals from a workflow definition (client perspective)
- */
-type ClientInferWorkflowSignals<T extends WorkflowDefinition> = T["signals"] extends Record<string, SignalDefinition> ? { [K in keyof T["signals"]]: ClientInferSignal<T["signals"][K]> } : {};
-/**
- * Infer queries from a workflow definition (client perspective)
- */
-type ClientInferWorkflowQueries<T extends WorkflowDefinition> = T["queries"] extends Record<string, QueryDefinition> ? { [K in keyof T["queries"]]: ClientInferQuery<T["queries"][K]> } : {};
-/**
- * Infer updates from a workflow definition (client perspective)
- */
-type ClientInferWorkflowUpdates<T extends WorkflowDefinition> = T["updates"] extends Record<string, UpdateDefinition> ? { [K in keyof T["updates"]]: ClientInferUpdate<T["updates"][K]> } : {};
-/**
- * Infer all activities available in a workflow context (client perspective)
- * Combines workflow-specific activities with global activities
- */
-type ClientInferWorkflowContextActivities<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = ClientInferWorkflowActivities<TContract["workflows"][TWorkflowName]> & ClientInferActivities<TContract>;
-/**
- * UTILITY TYPES FOR ACTIVITY HANDLERS
+ * UTILITY TYPES
  */
 /**
  * Extract workflow names from a contract as a union type
@@ -236,118 +86,14 @@ type InferActivityNames<TContract extends ContractDefinition> = TContract["activ
  * ```
  */
 type InferContractWorkflows<TContract extends ContractDefinition> = TContract["workflows"];
-/**
- * Infer the handler type for a global activity from a contract
- *
- * @example
- * ```typescript
- * const log: ActivityHandler<typeof myContract, "log"> = async ({ level, message }) => {
- *   logger[level](message);
- * };
- * ```
- */
-type ActivityHandler<TContract extends ContractDefinition, TActivityName extends keyof TContract["activities"]> = TContract["activities"] extends Record<string, ActivityDefinition> ? (args: WorkerInferInput<TContract["activities"][TActivityName]>) => Promise<WorkerInferOutput<TContract["activities"][TActivityName]>> : never;
-/**
- * Infer the handler type for a workflow-specific activity from a contract
- *
- * @example
- * ```typescript
- * const processPayment: WorkflowActivityHandler<
- *   typeof myContract,
- *   "processOrder",
- *   "processPayment"
- * > = async ({ customerId, amount }) => {
- *   // Implementation
- *   return { transactionId, status: "success" as const, paidAmount: amount };
- * };
- * ```
- */
-type WorkflowActivityHandler<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"], TActivityName extends keyof TContract["workflows"][TWorkflowName]["activities"]> = TContract["workflows"][TWorkflowName]["activities"] extends Record<string, ActivityDefinition> ? (args: WorkerInferInput<TContract["workflows"][TWorkflowName]["activities"][TActivityName]>) => Promise<WorkerInferOutput<TContract["workflows"][TWorkflowName]["activities"][TActivityName]>> : never;
 //#endregion
 //#region src/builder.d.ts
-/**
- * Builder for creating activity definitions
- *
- * @example
- * ```ts
- * const myActivity = defineActivity({
- *   input: z.tuple([z.object({ name: z.string() })]),
- *   output: z.object({ greeting: z.string() }),
- * });
- * ```
- */
-declare const defineActivity: <TActivity extends ActivityDefinition>(definition: TActivity) => TActivity;
-/**
- * Builder for creating signal definitions
- *
- * @example
- * ```ts
- * const mySignal = defineSignal({
- *   input: z.object({ message: z.string() }),
- * });
- * ```
- */
-declare const defineSignal: <TSignal extends SignalDefinition>(definition: TSignal) => TSignal;
-/**
- * Builder for creating query definitions
- *
- * @example
- * ```ts
- * const myQuery = defineQuery({
- *   input: z.object({ id: z.string() }),
- *   output: z.object({ status: z.string() }),
- * });
- * ```
- */
-declare const defineQuery: <TQuery extends QueryDefinition>(definition: TQuery) => TQuery;
-/**
- * Builder for creating update definitions
- *
- * @example
- * ```ts
- * const myUpdate = defineUpdate({
- *   input: z.object({ value: z.number() }),
- *   output: z.object({ newValue: z.number() }),
- * });
- * ```
- */
-declare const defineUpdate: <TUpdate extends UpdateDefinition>(definition: TUpdate) => TUpdate;
-/**
- * Builder for creating workflow definitions
- *
- * @example
- * ```ts
- * const myWorkflow = defineWorkflow({
- *   input: z.tuple([z.object({ orderId: z.string() })]),
- *   output: z.object({ status: z.string() }),
- *   activities: {
- *     processPayment: defineActivity({
- *       input: z.tuple([z.object({ amount: z.number() })]),
- *       output: z.object({ success: z.boolean() }),
- *     }),
- *   },
- * });
- * ```
- */
-declare const defineWorkflow: <TWorkflow extends WorkflowDefinition>(definition: TWorkflow) => TWorkflow;
-/**
- * Builder for creating a complete contract
- *
- * @example
- * ```ts
- * const myContract = defineContract({
- *   taskQueue: 'my-service',
- *   workflows: {
- *     processOrder: defineWorkflow({ ... }),
- *     sendNotification: defineWorkflow({ ... }),
- *   },
- *   activities: {
- *     sendEmail: defineActivity({ ... }),
- *   },
- * });
- * ```
- */
-declare const defineContract: <TContract extends ContractDefinition>(definition: TContract) => TContract;
+declare function defineActivity<TActivity extends ActivityDefinition>(definition: TActivity): TActivity;
+declare function defineSignal<TSignal extends SignalDefinition>(definition: TSignal): TSignal;
+declare function defineQuery<TQuery extends QueryDefinition>(definition: TQuery): TQuery;
+declare function defineUpdate<TUpdate extends UpdateDefinition>(definition: TUpdate): TUpdate;
+declare function defineWorkflow<TWorkflow extends WorkflowDefinition>(definition: TWorkflow): TWorkflow;
+declare function defineContract<TContract extends ContractDefinition>(definition: TContract): TContract;
 //#endregion
 //#region src/nexus-types.d.ts
 /**
@@ -573,4 +319,4 @@ declare function defineNexusOperation<TOperation extends NexusOperationDefinitio
  */
 declare function defineNexusService<TService extends NexusServiceDefinition>(definition: TService): TService;
 //#endregion
-export { type ActivityDefinition, type ActivityHandler, type AnySchema, type ClientInferActivities, type ClientInferActivity, type ClientInferInput, type ClientInferNexusOperationInput, type ClientInferNexusOperationInvoker, type ClientInferNexusOperationOutput, type ClientInferNexusServiceOperations, type ClientInferNexusServices, type ClientInferOutput, type ClientInferQuery, type ClientInferSignal, type ClientInferUpdate, type ClientInferWorkflow, type ClientInferWorkflowActivities, type ClientInferWorkflowContextActivities, type ClientInferWorkflowQueries, type ClientInferWorkflowSignals, type ClientInferWorkflowUpdates, type ClientInferWorkflows, type ContractDefinition, type ContractDefinitionWithNexus, type InferActivityNames, type InferContractWorkflows, type InferNexusOperationNames, type InferNexusServiceNames, type InferWorkflowNames, type NexusOperationDefinition, type NexusOperationHandler, type NexusServiceDefinition, type QueryDefinition, type SignalDefinition, type UpdateDefinition, type WorkerInferActivities, type WorkerInferActivity, type WorkerInferInput, type WorkerInferNexusOperationHandler, type WorkerInferNexusOperationInput, type WorkerInferNexusOperationOutput, type WorkerInferNexusServiceHandlers, type WorkerInferNexusServices, type WorkerInferOutput, type WorkerInferQuery, type WorkerInferSignal, type WorkerInferUpdate, type WorkerInferWorkflow, type WorkerInferWorkflowActivities, type WorkerInferWorkflowContextActivities, type WorkerInferWorkflowQueries, type WorkerInferWorkflowSignals, type WorkerInferWorkflowUpdates, type WorkerInferWorkflows, type WorkflowActivityHandler, type WorkflowDefinition, defineActivity, defineContract, defineNexusOperation, defineNexusService, defineQuery, defineSignal, defineUpdate, defineWorkflow };
+export { type ActivityDefinition, type AnySchema, type ClientInferNexusOperationInput, type ClientInferNexusOperationInvoker, type ClientInferNexusOperationOutput, type ClientInferNexusServiceOperations, type ClientInferNexusServices, type ContractDefinition, type ContractDefinitionWithNexus, type InferActivityNames, type InferContractWorkflows, type InferNexusOperationNames, type InferNexusServiceNames, type InferWorkflowNames, type NexusOperationDefinition, type NexusOperationHandler, type NexusServiceDefinition, type QueryDefinition, type SignalDefinition, type UpdateDefinition, type WorkerInferNexusOperationHandler, type WorkerInferNexusOperationInput, type WorkerInferNexusOperationOutput, type WorkerInferNexusServiceHandlers, type WorkerInferNexusServices, type WorkflowDefinition, defineActivity, defineContract, defineNexusOperation, defineNexusService, defineQuery, defineSignal, defineUpdate, defineWorkflow };

package/dist/index.mjs

@@ -1,6 +1,29 @@
 import { z } from "zod";
 
 //#region src/builder.ts
+function defineActivity(definition) {
+	return definition;
+}
+function defineSignal(definition) {
+	return definition;
+}
+function defineQuery(definition) {
+	return definition;
+}
+function defineUpdate(definition) {
+	return definition;
+}
+function defineWorkflow(definition) {
+	return definition;
+}
+function defineContract(definition) {
+	const validationResult = contractValidationSchema.safeParse(definition);
+	if (!validationResult.success) {
+		const cleanMessage = getCleanErrorMessage(validationResult.error);
+		throw new Error(`Contract error: ${cleanMessage}`);
+	}
+	return definition;
+}
 /**
 * Check if a value is a Standard Schema compatible schema
 */
@@ -18,7 +41,7 @@ const identifierSchema = z.string().min(1).regex(/^[a-zA-Z_$][a-zA-Z0-9_$]*$/, "
 /**
 * Extract clean error message from Zod validation error
 */
-const getCleanErrorMessage = (error) => {
+function getCleanErrorMessage(error) {
 	try {
 		const parsed = JSON.parse(error.message);
 		if (Array.isArray(parsed) && parsed.length > 0) {
@@ -31,7 +54,7 @@ const getCleanErrorMessage = (error) => {
 		}
 	} catch {}
 	return error.message;
-};
+}
 /**
 * Schema for validating activity definitions
 * Checks that input and output are Standard Schema compatible schemas
@@ -88,106 +111,6 @@ const contractValidationSchema = z.object({
 		}
 	}
 });
-/**
-* Builder for creating activity definitions
-*
-* @example
-* ```ts
-* const myActivity = defineActivity({
-*   input: z.tuple([z.object({ name: z.string() })]),
-*   output: z.object({ greeting: z.string() }),
-* });
-* ```
-*/
-const defineActivity = (definition) => {
-	return definition;
-};
-/**
-* Builder for creating signal definitions
-*
-* @example
-* ```ts
-* const mySignal = defineSignal({
-*   input: z.object({ message: z.string() }),
-* });
-* ```
-*/
-const defineSignal = (definition) => {
-	return definition;
-};
-/**
-* Builder for creating query definitions
-*
-* @example
-* ```ts
-* const myQuery = defineQuery({
-*   input: z.object({ id: z.string() }),
-*   output: z.object({ status: z.string() }),
-* });
-* ```
-*/
-const defineQuery = (definition) => {
-	return definition;
-};
-/**
-* Builder for creating update definitions
-*
-* @example
-* ```ts
-* const myUpdate = defineUpdate({
-*   input: z.object({ value: z.number() }),
-*   output: z.object({ newValue: z.number() }),
-* });
-* ```
-*/
-const defineUpdate = (definition) => {
-	return definition;
-};
-/**
-* Builder for creating workflow definitions
-*
-* @example
-* ```ts
-* const myWorkflow = defineWorkflow({
-*   input: z.tuple([z.object({ orderId: z.string() })]),
-*   output: z.object({ status: z.string() }),
-*   activities: {
-*     processPayment: defineActivity({
-*       input: z.tuple([z.object({ amount: z.number() })]),
-*       output: z.object({ success: z.boolean() }),
-*     }),
-*   },
-* });
-* ```
-*/
-const defineWorkflow = (definition) => {
-	return definition;
-};
-/**
-* Builder for creating a complete contract
-*
-* @example
-* ```ts
-* const myContract = defineContract({
-*   taskQueue: 'my-service',
-*   workflows: {
-*     processOrder: defineWorkflow({ ... }),
-*     sendNotification: defineWorkflow({ ... }),
-*   },
-*   activities: {
-*     sendEmail: defineActivity({ ... }),
-*   },
-* });
-* ```
-*/
-const defineContract = (definition) => {
-	const validationResult = contractValidationSchema.safeParse(definition);
-	if (!validationResult.success) {
-		const cleanMessage = getCleanErrorMessage(validationResult.error);
-		throw new Error(`Contract error: ${cleanMessage}`);
-	}
-	return definition;
-};
 
 //#endregion
 //#region src/nexus-types.ts

package/package.json

@@ -1,11 +1,11 @@
 {
   "name": "@temporal-contract/contract",
-  "version": "0.0.4",
+  "version": "0.0.6",
   "description": "Contract builder for temporal-contract",
   "keywords": [
+    "contract",
     "temporal",
-    "typescript",
-    "contract"
+    "typescript"
   ],
   "homepage": "https://github.com/btravers/temporal-contract#readme",
   "bugs": {
@@ -17,7 +17,7 @@
     "directory": "packages/contract"
   },
   "license": "MIT",
-  "author": "Benoit TRAVERS <benoit.travers.frgmail.com>",
+  "author": "Benoit TRAVERS <benoit.travers.fr@gmail.com>",
   "type": "module",
   "exports": {
     ".": {
@@ -39,17 +39,17 @@
     "dist"
   ],
   "dependencies": {
-    "@standard-schema/spec": "1.0.0",
-    "zod": "4.1.13"
+    "@standard-schema/spec": "1.1.0",
+    "zod": "4.2.1"
   },
   "devDependencies": {
-    "@vitest/coverage-v8": "4.0.15",
-    "arktype": "2.1.28",
-    "tsdown": "0.17.3",
+    "@vitest/coverage-v8": "4.0.16",
+    "arktype": "2.1.29",
+    "tsdown": "0.18.1",
     "typescript": "5.9.3",
     "valibot": "1.2.0",
-    "vitest": "4.0.15",
-    "@temporal-contract/tsconfig": "0.0.4"
+    "vitest": "4.0.16",
+    "@temporal-contract/tsconfig": "0.0.6"
   },
   "scripts": {
     "build": "tsdown src/index.ts --format cjs,esm --dts --clean",