Argument of type 'ExecutionContext' is not assignable to parameter of type '{ path: readonly string[]; workflowId: WorkflowId; emitStateChanges: () => Effect<never, never, void>; defaultActivityPayload: { getWorkflowContext: () => Effect<never, WorkflowDoesNotExist, unknown>; updateWorkflowContext: UpdateWorkflowContext<unknown>; }; queue: { offer: (item: ExecutionContextQueueItem) => Effect<never, never, void>; }; }'.

Argument of type 'State' is not assignable to parameter of type '{ initializeWorkflow(payload: { name: string; tasks: TaskName[]; conditions: ConditionName[]; }, context: unknown, parent: WorkflowInstanceParent): Effect<never, never, WorkflowInstance<unknown, string>>; getWorkflow(id: WorkflowId): Effect<never, WorkflowDoesNotExist, WorkflowInstance<unknown, string>>; getWorkflowContext(id: WorkflowId): Effect<never, WorkflowDoesNotExist, unknown>; getTasks(id: WorkflowId): Effect<never, never, TaskInstance[]>; getConditions(id: WorkflowId): Effect<never, never, ConditionInstance[]>; getTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, TaskInstance>; getTaskState(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, TaskInstanceState>; getTaskPath(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | WorkflowDoesNotExist, string[]>; getCondition(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, ConditionInstance>; getConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, number>; updateWorkflowState(workflowId: WorkflowId, workflowState: WorkflowInstanceState): Effect<never, WorkflowDoesNotExist | InvalidWorkflowStateTransition, void>; updateWorkflowContext(workflowId: WorkflowId, context: unknown): Effect<never, WorkflowDoesNotExist, void>; updateTaskState(workflowId: WorkflowId, taskName: TaskName, taskState: TaskInstanceState): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; enableTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; disableTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; startTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; completeTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; cancelTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; failTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; updateCondition(workflowId: WorkflowId, conditionName: ConditionName, f: (condition: ConditionInstance) => ConditionInstance): Effect<never, ConditionDoesNotExistInStore, void>; incrementConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; decrementConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; emptyConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; initializeWorkItem(workflowId: WorkflowId, taskName: TaskName, payload: unknown): Effect<never, TaskDoesNotExistInStore, WorkItemInstance<unknown, string, string>>; updateWorkItemPayload(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId, payload: unknown): Effect<never, WorkItemDoesNotExist, void>; getWorkItem(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId): Effect<never, WorkItemDoesNotExist, WorkItemInstance<unknown, string, string>>; updateWorkItemState(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId, nextState: WorkflowInstanceState): Effect<never, WorkItemDoesNotExist | InvalidWorkItemTransition, void>; getWorkItems(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, WorkItemInstance<unknown, string, string>[]>; getWorkflows(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, WorkflowInstance<unknown, string>[]>; getState(): Effect<never, never, StorePersistableState<WorkflowInstance<unknown, string>, WorkItemInstance<unknown, string, string>>>; inspect(): Effect

Argument of type 'ExecutionContext' is not assignable to parameter of type '{ path: readonly string[]; workflowId: WorkflowId; emitStateChanges: () => Effect<never, never, void>; defaultActivityPayload: { getWorkflowContext: () => Effect<never, WorkflowDoesNotExist, unknown>; updateWorkflowContext: UpdateWorkflowContext<unknown>; }; queue: { offer: (item: ExecutionContextQueueItem) => Effect<never, never, void>; }; }'.

Argument of type 'State' is not assignable to parameter of type '{ initializeWorkflow(payload: { name: string; tasks: TaskName[]; conditions: ConditionName[]; }, context: unknown, parent: WorkflowInstanceParent): Effect<never, never, WorkflowInstance<unknown, string>>; getWorkflow(id: WorkflowId): Effect<never, WorkflowDoesNotExist, WorkflowInstance<unknown, string>>; getWorkflowContext(id: WorkflowId): Effect<never, WorkflowDoesNotExist, unknown>; getTasks(id: WorkflowId): Effect<never, never, TaskInstance[]>; getConditions(id: WorkflowId): Effect<never, never, ConditionInstance[]>; getTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, TaskInstance>; getTaskState(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, TaskInstanceState>; getTaskPath(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | WorkflowDoesNotExist, string[]>; getCondition(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, ConditionInstance>; getConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, number>; updateWorkflowState(workflowId: WorkflowId, workflowState: WorkflowInstanceState): Effect<never, WorkflowDoesNotExist | InvalidWorkflowStateTransition, void>; updateWorkflowContext(workflowId: WorkflowId, context: unknown): Effect<never, WorkflowDoesNotExist, void>; updateTaskState(workflowId: WorkflowId, taskName: TaskName, taskState: TaskInstanceState): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; enableTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; disableTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; startTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; completeTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; cancelTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; failTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; updateCondition(workflowId: WorkflowId, conditionName: ConditionName, f: (condition: ConditionInstance) => ConditionInstance): Effect<never, ConditionDoesNotExistInStore, void>; incrementConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; decrementConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; emptyConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; initializeWorkItem(workflowId: WorkflowId, taskName: TaskName, payload: unknown): Effect<never, TaskDoesNotExistInStore, WorkItemInstance<unknown, string, string>>; updateWorkItemPayload(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId, payload: unknown): Effect<never, WorkItemDoesNotExist, void>; getWorkItem(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId): Effect<never, WorkItemDoesNotExist, WorkItemInstance<unknown, string, string>>; updateWorkItemState(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId, nextState: WorkflowInstanceState): Effect<never, WorkItemDoesNotExist | InvalidWorkItemTransition, void>; getWorkItems(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, WorkItemInstance<unknown, string, string>[]>; getWorkflows(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, WorkflowInstance<unknown, string>[]>; getState(): Effect<never, never, StorePersistableState<WorkflowInstance<unknown, string>, WorkItemInstance<unknown, string, string>>>; inspect(): Effect

'executionPlan.taskData' is of type 'unknown'.

Argument of type 'State' is not assignable to parameter of type '{ initializeWorkflow(payload: { name: string; tasks: TaskName[]; conditions: ConditionName[]; }, context: unknown, parent: WorkflowInstanceParent): Effect<never, never, WorkflowInstance<unknown, string>>; getWorkflow(id: WorkflowId): Effect<never, WorkflowDoesNotExist, WorkflowInstance<unknown, string>>; getWorkflowContext(id: WorkflowId): Effect<never, WorkflowDoesNotExist, unknown>; getTasks(id: WorkflowId): Effect<never, never, TaskInstance[]>; getConditions(id: WorkflowId): Effect<never, never, ConditionInstance[]>; getTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, TaskInstance>; getTaskState(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, TaskInstanceState>; getTaskPath(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | WorkflowDoesNotExist, string[]>; getCondition(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, ConditionInstance>; getConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, number>; updateWorkflowState(workflowId: WorkflowId, workflowState: WorkflowInstanceState): Effect<never, WorkflowDoesNotExist | InvalidWorkflowStateTransition, void>; updateWorkflowContext(workflowId: WorkflowId, context: unknown): Effect<never, WorkflowDoesNotExist, void>; updateTaskState(workflowId: WorkflowId, taskName: TaskName, taskState: TaskInstanceState): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; enableTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; disableTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; startTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; completeTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; cancelTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; failTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; updateCondition(workflowId: WorkflowId, conditionName: ConditionName, f: (condition: ConditionInstance) => ConditionInstance): Effect<never, ConditionDoesNotExistInStore, void>; incrementConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; decrementConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; emptyConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; initializeWorkItem(workflowId: WorkflowId, taskName: TaskName, payload: unknown): Effect<never, TaskDoesNotExistInStore, WorkItemInstance<unknown, string, string>>; updateWorkItemPayload(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId, payload: unknown): Effect<never, WorkItemDoesNotExist, void>; getWorkItem(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId): Effect<never, WorkItemDoesNotExist, WorkItemInstance<unknown, string, string>>; updateWorkItemState(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId, nextState: WorkflowInstanceState): Effect<never, WorkItemDoesNotExist | InvalidWorkItemTransition, void>; getWorkItems(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, WorkItemInstance<unknown, string, string>[]>; getWorkflows(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, WorkflowInstance<unknown, string>[]>; getState(): Effect<never, never, StorePersistableState<WorkflowInstance<unknown, string>, WorkItemInstance<unknown, string, string>>>; inspect(): Effect

Property 'updateWorkflowContext' does not exist on type 'State'.

Argument of type 'State' is not assignable to parameter of type '{ initializeWorkflow(payload: { name: string; tasks: TaskName[]; conditions: ConditionName[]; }, context: unknown, parent: WorkflowInstanceParent): Effect<never, never, WorkflowInstance<unknown, string>>; getWorkflow(id: WorkflowId): Effect<never, WorkflowDoesNotExist, WorkflowInstance<unknown, string>>; getWorkflowContext(id: WorkflowId): Effect<never, WorkflowDoesNotExist, unknown>; getTasks(id: WorkflowId): Effect<never, never, TaskInstance[]>; getConditions(id: WorkflowId): Effect<never, never, ConditionInstance[]>; getTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, TaskInstance>; getTaskState(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, TaskInstanceState>; getTaskPath(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | WorkflowDoesNotExist, string[]>; getCondition(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, ConditionInstance>; getConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, number>; updateWorkflowState(workflowId: WorkflowId, workflowState: WorkflowInstanceState): Effect<never, WorkflowDoesNotExist | InvalidWorkflowStateTransition, void>; updateWorkflowContext(workflowId: WorkflowId, context: unknown): Effect<never, WorkflowDoesNotExist, void>; updateTaskState(workflowId: WorkflowId, taskName: TaskName, taskState: TaskInstanceState): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; enableTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; disableTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; startTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; completeTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; cancelTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; failTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; updateCondition(workflowId: WorkflowId, conditionName: ConditionName, f: (condition: ConditionInstance) => ConditionInstance): Effect<never, ConditionDoesNotExistInStore, void>; incrementConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; decrementConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; emptyConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; initializeWorkItem(workflowId: WorkflowId, taskName: TaskName, payload: unknown): Effect<never, TaskDoesNotExistInStore, WorkItemInstance<unknown, string, string>>; updateWorkItemPayload(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId, payload: unknown): Effect<never, WorkItemDoesNotExist, void>; getWorkItem(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId): Effect<never, WorkItemDoesNotExist, WorkItemInstance<unknown, string, string>>; updateWorkItemState(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId, nextState: WorkflowInstanceState): Effect<never, WorkItemDoesNotExist | InvalidWorkItemTransition, void>; getWorkItems(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, WorkItemInstance<unknown, string, string>[]>; getWorkflows(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, WorkflowInstance<unknown, string>[]>; getState(): Effect<never, never, StorePersistableState<WorkflowInstance<unknown, string>, WorkItemInstance<unknown, string, string>>>; inspect(): Effect

Argument of type 'State' is not assignable to parameter of type '{ initializeWorkflow(payload: { name: string; tasks: TaskName[]; conditions: ConditionName[]; }, context: unknown, parent: WorkflowInstanceParent): Effect<never, never, WorkflowInstance<unknown, string>>; getWorkflow(id: WorkflowId): Effect<never, WorkflowDoesNotExist, WorkflowInstance<unknown, string>>; getWorkflowContext(id: WorkflowId): Effect<never, WorkflowDoesNotExist, unknown>; getTasks(id: WorkflowId): Effect<never, never, TaskInstance[]>; getConditions(id: WorkflowId): Effect<never, never, ConditionInstance[]>; getTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, TaskInstance>; getTaskState(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, TaskInstanceState>; getTaskPath(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | WorkflowDoesNotExist, string[]>; getCondition(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, ConditionInstance>; getConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, number>; updateWorkflowState(workflowId: WorkflowId, workflowState: WorkflowInstanceState): Effect<never, WorkflowDoesNotExist | InvalidWorkflowStateTransition, void>; updateWorkflowContext(workflowId: WorkflowId, context: unknown): Effect<never, WorkflowDoesNotExist, void>; updateTaskState(workflowId: WorkflowId, taskName: TaskName, taskState: TaskInstanceState): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; enableTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; disableTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; startTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; completeTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; cancelTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; failTask(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore | InvalidTaskStateTransition, void>; updateCondition(workflowId: WorkflowId, conditionName: ConditionName, f: (condition: ConditionInstance) => ConditionInstance): Effect<never, ConditionDoesNotExistInStore, void>; incrementConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; decrementConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; emptyConditionMarking(workflowId: WorkflowId, conditionName: ConditionName): Effect<never, ConditionDoesNotExistInStore, void>; initializeWorkItem(workflowId: WorkflowId, taskName: TaskName, payload: unknown): Effect<never, TaskDoesNotExistInStore, WorkItemInstance<unknown, string, string>>; updateWorkItemPayload(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId, payload: unknown): Effect<never, WorkItemDoesNotExist, void>; getWorkItem(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId): Effect<never, WorkItemDoesNotExist, WorkItemInstance<unknown, string, string>>; updateWorkItemState(workflowId: WorkflowId, taskName: TaskName, workItemId: WorkItemId, nextState: WorkflowInstanceState): Effect<never, WorkItemDoesNotExist | InvalidWorkItemTransition, void>; getWorkItems(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, WorkItemInstance<unknown, string, string>[]>; getWorkflows(workflowId: WorkflowId, taskName: TaskName): Effect<never, TaskDoesNotExistInStore, WorkflowInstance<unknown, string>[]>; getState(): Effect<never, never, StorePersistableState<WorkflowInstance<unknown, string>, WorkItemInstance<unknown, string, string>>>; inspect(): Effect

Argument of type 'ExecutionContext' is not assignable to parameter of type '{ path: readonly string[]; workflowId: WorkflowId; emitStateChanges: () => Effect<never, never, void>; defaultActivityPayload: { getWorkflowContext: () => Effect<never, WorkflowDoesNotExist, unknown>; updateWorkflowContext: UpdateWorkflowContext<unknown>; }; queue: { offer: (item: ExecutionContextQueueItem) => Effect<never, never, void>; }; }'.