xstate 5.0.0-beta.22 → 5.0.0-beta.23

package/dist/{actions-4b70fc8d.development.cjs.js → actions-0fcd4d15.development.cjs.js}

@@ -2441,7 +2441,12 @@ function resolveActionsAndContext(actions, event, currentState, actorCtx) {
     _internalQueue: []
   });
   for (const action of actions) {
-    const resolved = typeof action === 'function' ? action : machine.implementations.actions[typeof action === 'string' ? action : action.type];
+    const isInline = typeof action === 'function';
+    const resolved = isInline ? action :
+    // the existing type of `.actions` assumes non-nullable `TExpressionAction`
+    // it's fine to cast this here to get a common type and lack of errors in the rest of the code
+    // our logic below makes sure that we call those 2 "variants" correctly
+    machine.implementations.actions[typeof action === 'string' ? action : action.type];
     if (!resolved) {
       continue;
     }
@@ -2450,12 +2455,7 @@ function resolveActionsAndContext(actions, event, currentState, actorCtx) {
       event,
       self: actorCtx?.self,
       system: actorCtx?.system,
-      // TODO: figure out story for `action` and inline actions
-      // what those ones should receive?
-      //
-      // entry: ({ action }) => {}
-      // exit: assign(({ action }) => {})
-      action: typeof action === 'string' ? {
+      action: isInline ? undefined : typeof action === 'string' ? {
         type: action
       } : action
     };
@@ -2595,9 +2595,8 @@ class State {
    */
 
   /**
-   * The done data of the top-level finite state.
+   * The output data of the top-level finite state.
    */
-  // TODO: add an explicit type for `output`
 
   /**
    * The enabled state nodes representative of the state value.
@@ -3056,7 +3055,7 @@ function resolve(_, state, args, {
   get
 }) {
   return [state, undefined, toArray(get({
-    context: state.context,
+    context: args.context,
     event: args.event
   }))];
 }

package/dist/{actions-fb7384f8.esm.js → actions-bf7f6679.esm.js}

@@ -2398,7 +2398,12 @@ function resolveActionsAndContext(actions, event, currentState, actorCtx) {
     _internalQueue: []
   });
   for (const action of actions) {
-    const resolved = typeof action === 'function' ? action : machine.implementations.actions[typeof action === 'string' ? action : action.type];
+    const isInline = typeof action === 'function';
+    const resolved = isInline ? action :
+    // the existing type of `.actions` assumes non-nullable `TExpressionAction`
+    // it's fine to cast this here to get a common type and lack of errors in the rest of the code
+    // our logic below makes sure that we call those 2 "variants" correctly
+    machine.implementations.actions[typeof action === 'string' ? action : action.type];
     if (!resolved) {
       continue;
     }
@@ -2407,12 +2412,7 @@ function resolveActionsAndContext(actions, event, currentState, actorCtx) {
       event,
       self: actorCtx?.self,
       system: actorCtx?.system,
-      // TODO: figure out story for `action` and inline actions
-      // what those ones should receive?
-      //
-      // entry: ({ action }) => {}
-      // exit: assign(({ action }) => {})
-      action: typeof action === 'string' ? {
+      action: isInline ? undefined : typeof action === 'string' ? {
         type: action
       } : action
     };
@@ -2549,9 +2549,8 @@ class State {
    */
 
   /**
-   * The done data of the top-level finite state.
+   * The output data of the top-level finite state.
    */
-  // TODO: add an explicit type for `output`
 
   /**
    * The enabled state nodes representative of the state value.
@@ -2992,7 +2991,7 @@ function resolve(_, state, args, {
   get
 }) {
   return [state, undefined, toArray(get({
-    context: state.context,
+    context: args.context,
     event: args.event
   }))];
 }

package/dist/{actions-8f2e997e.cjs.js → actions-e83129c5.cjs.js}

@@ -2400,7 +2400,12 @@ function resolveActionsAndContext(actions, event, currentState, actorCtx) {
     _internalQueue: []
   });
   for (const action of actions) {
-    const resolved = typeof action === 'function' ? action : machine.implementations.actions[typeof action === 'string' ? action : action.type];
+    const isInline = typeof action === 'function';
+    const resolved = isInline ? action :
+    // the existing type of `.actions` assumes non-nullable `TExpressionAction`
+    // it's fine to cast this here to get a common type and lack of errors in the rest of the code
+    // our logic below makes sure that we call those 2 "variants" correctly
+    machine.implementations.actions[typeof action === 'string' ? action : action.type];
     if (!resolved) {
       continue;
     }
@@ -2409,12 +2414,7 @@ function resolveActionsAndContext(actions, event, currentState, actorCtx) {
       event,
       self: actorCtx?.self,
       system: actorCtx?.system,
-      // TODO: figure out story for `action` and inline actions
-      // what those ones should receive?
-      //
-      // entry: ({ action }) => {}
-      // exit: assign(({ action }) => {})
-      action: typeof action === 'string' ? {
+      action: isInline ? undefined : typeof action === 'string' ? {
         type: action
       } : action
     };
@@ -2551,9 +2551,8 @@ class State {
    */
 
   /**
-   * The done data of the top-level finite state.
+   * The output data of the top-level finite state.
    */
-  // TODO: add an explicit type for `output`
 
   /**
    * The enabled state nodes representative of the state value.
@@ -2994,7 +2993,7 @@ function resolve(_, state, args, {
   get
 }) {
   return [state, undefined, toArray(get({
-    context: state.context,
+    context: args.context,
     event: args.event
   }))];
 }

package/dist/{actions-d4305983.development.esm.js → actions-f6b5002d.development.esm.js}

@@ -2439,7 +2439,12 @@ function resolveActionsAndContext(actions, event, currentState, actorCtx) {
     _internalQueue: []
   });
   for (const action of actions) {
-    const resolved = typeof action === 'function' ? action : machine.implementations.actions[typeof action === 'string' ? action : action.type];
+    const isInline = typeof action === 'function';
+    const resolved = isInline ? action :
+    // the existing type of `.actions` assumes non-nullable `TExpressionAction`
+    // it's fine to cast this here to get a common type and lack of errors in the rest of the code
+    // our logic below makes sure that we call those 2 "variants" correctly
+    machine.implementations.actions[typeof action === 'string' ? action : action.type];
     if (!resolved) {
       continue;
     }
@@ -2448,12 +2453,7 @@ function resolveActionsAndContext(actions, event, currentState, actorCtx) {
       event,
       self: actorCtx?.self,
       system: actorCtx?.system,
-      // TODO: figure out story for `action` and inline actions
-      // what those ones should receive?
-      //
-      // entry: ({ action }) => {}
-      // exit: assign(({ action }) => {})
-      action: typeof action === 'string' ? {
+      action: isInline ? undefined : typeof action === 'string' ? {
         type: action
       } : action
     };
@@ -2593,9 +2593,8 @@ class State {
    */
 
   /**
-   * The done data of the top-level finite state.
+   * The output data of the top-level finite state.
    */
-  // TODO: add an explicit type for `output`
 
   /**
    * The enabled state nodes representative of the state value.
@@ -3054,7 +3053,7 @@ function resolve(_, state, args, {
   get
 }) {
   return [state, undefined, toArray(get({
-    context: state.context,
+    context: args.context,
     event: args.event
   }))];
 }

package/dist/declarations/src/Machine.d.ts

@@ -1,4 +1,4 @@
-import { MachineConfig, EventObject, MachineContext, InternalMachineImplementations, ParameterizedObject, ProvidedActor, AnyEventObject } from "./types.js";
+import { MachineConfig, EventObject, MachineContext, InternalMachineImplementations, ParameterizedObject, ProvidedActor, AnyEventObject, NonReducibleUnknown } from "./types.js";
 import { TypegenConstraint, TypegenDisabled, ResolveTypegenMeta } from "./typegenTypes.js";
 import { StateMachine } from "./StateMachine.js";
-export declare function createMachine<TContext extends MachineContext, TEvent extends EventObject = AnyEventObject, TActor extends ProvidedActor = ProvidedActor, TInput = any, TTypesMeta extends TypegenConstraint = TypegenDisabled>(config: MachineConfig<TContext, TEvent, ParameterizedObject, TActor, TInput, TTypesMeta>, implementations?: InternalMachineImplementations<TContext, TEvent, ParameterizedObject, TActor, ResolveTypegenMeta<TTypesMeta, TEvent, ParameterizedObject, TActor>>): StateMachine<TContext, TEvent, ParameterizedObject, TActor, TInput, ResolveTypegenMeta<TTypesMeta, TEvent, ParameterizedObject, TActor>>;
+export declare function createMachine<TContext extends MachineContext, TEvent extends EventObject = AnyEventObject, TActor extends ProvidedActor = ProvidedActor, TInput = any, TOutput = NonReducibleUnknown, TAction extends ParameterizedObject = ParameterizedObject, TTypesMeta extends TypegenConstraint = TypegenDisabled>(config: MachineConfig<TContext, TEvent, TAction, TActor, TInput, TOutput, TTypesMeta>, implementations?: InternalMachineImplementations<TContext, TEvent, TAction, TActor, ResolveTypegenMeta<TTypesMeta, TEvent, TAction, TActor>>): StateMachine<TContext, TEvent, TAction, TActor, TInput, TOutput, ResolveTypegenMeta<TTypesMeta, TEvent, TAction, TActor>>;

package/dist/declarations/src/State.d.ts

@@ -12,7 +12,7 @@ export declare function isStateConfig<TContext extends MachineContext, TEvent ex
  * @deprecated Use `isStateConfig(object)` or `state instanceof State` instead.
  */
 export declare const isState: typeof isStateConfig;
-export declare class State<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor, TResolvedTypesMeta = TypegenDisabled> {
+export declare class State<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor, TOutput, TResolvedTypesMeta = TypegenDisabled> {
     machine: AnyStateMachine;
     tags: Set<string>;
     value: StateValue;
@@ -21,9 +21,9 @@ export declare class State<TContext extends MachineContext, TEvent extends Event
      */
     done: boolean;
     /**
-     * The done data of the top-level finite state.
+     * The output data of the top-level finite state.
      */
-    output: any;
+    output: TOutput | undefined;
     error: unknown;
     context: TContext;
     historyValue: Readonly<HistoryValue<TContext, TEvent>>;
@@ -41,7 +41,7 @@ export declare class State<TContext extends MachineContext, TEvent extends Event
      * @param stateValue
      * @param context
      */
-    static from<TContext extends MachineContext, TEvent extends EventObject = EventObject>(stateValue: State<TContext, TEvent, TODO, any> | StateValue, context: TContext | undefined, machine: AnyStateMachine): State<TContext, TEvent, TODO, any>;
+    static from<TContext extends MachineContext, TEvent extends EventObject = EventObject>(stateValue: State<TContext, TEvent, TODO, any, any> | StateValue, context: TContext | undefined, machine: AnyStateMachine): State<TContext, TEvent, TODO, any, any>;
     /**
      * Creates a new `State` instance that represents the current state of a running machine.
      *
@@ -80,7 +80,7 @@ export declare class State<TContext extends MachineContext, TEvent extends Event
     /**
      * The next events that will cause a transition from the current state.
      */
-    get nextEvents(): Array<TEvent['type']>;
+    get nextEvents(): Array<string>;
     get meta(): Record<string, any>;
 }
 export declare function cloneState<TState extends AnyState>(state: TState, config?: Partial<StateConfig<any, any>>): TState;

package/dist/declarations/src/StateMachine.d.ts

@@ -4,17 +4,17 @@ import type { AreAllImplementationsAssumedToBeProvided, MarkAllImplementationsAs
 import type { ActorContext, ActorLogic, EventObject, InternalMachineImplementations, MachineConfig, MachineContext, MachineImplementationsSimplified, MachineTypes, NoInfer, StateConfig, StateMachineDefinition, StateValue, TransitionDefinition, PersistedMachineState, ParameterizedObject, AnyActorContext, ProvidedActor, Equals, TODO } from "./types.js";
 export declare const STATE_IDENTIFIER = "#";
 export declare const WILDCARD = "*";
-export declare class StateMachine<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject, TActor extends ProvidedActor, TInput, TResolvedTypesMeta = ResolveTypegenMeta<TypegenDisabled, NoInfer<TEvent>, TAction, TActor>> implements ActorLogic<TEvent, State<TContext, TEvent, TActor, TResolvedTypesMeta>, State<TContext, TEvent, TActor, TResolvedTypesMeta>, PersistedMachineState<State<TContext, TEvent, TActor, TResolvedTypesMeta>>, TODO, TInput, TODO> {
+export declare class StateMachine<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject, TActor extends ProvidedActor, TInput, TOutput, TResolvedTypesMeta = ResolveTypegenMeta<TypegenDisabled, NoInfer<TEvent>, TAction, TActor>> implements ActorLogic<TEvent, State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>, State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>, PersistedMachineState<State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>>, TODO, TInput, TOutput> {
     /**
      * The raw config used to create the machine.
      */
-    config: MachineConfig<TContext, TEvent, any, any, any>;
+    config: MachineConfig<TContext, TEvent, any, any, any, TOutput, any>;
     /**
      * The machine's own version.
      */
     version?: string;
     implementations: MachineImplementationsSimplified<TContext, TEvent>;
-    types: MachineTypes<TContext, TEvent, TActor, TInput>;
+    types: MachineTypes<TContext, TEvent, TAction, TActor, TInput, TOutput>;
     __xstatenode: true;
     idMap: Map<string, StateNode<TContext, TEvent>>;
     root: StateNode<TContext, TEvent>;
@@ -25,7 +25,7 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
     /**
      * The raw config used to create the machine.
      */
-    config: MachineConfig<TContext, TEvent, any, any, any>, implementations?: MachineImplementationsSimplified<TContext, TEvent>);
+    config: MachineConfig<TContext, TEvent, any, any, any, TOutput, any>, implementations?: MachineImplementationsSimplified<TContext, TEvent>);
     /**
      * Clones this state machine with the provided implementations
      * and merges the `context` (if provided).
@@ -35,7 +35,7 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
      *
      * @returns A new `StateMachine` instance with the provided implementations.
      */
-    provide(implementations: InternalMachineImplementations<TContext, TEvent, TAction, TActor, TResolvedTypesMeta, true>): StateMachine<TContext, TEvent, TAction, TActor, TInput, AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends false ? MarkAllImplementationsAsProvided<TResolvedTypesMeta> : TResolvedTypesMeta>;
+    provide(implementations: InternalMachineImplementations<TContext, TEvent, TAction, TActor, TResolvedTypesMeta, true>): StateMachine<TContext, TEvent, TAction, TActor, TInput, TOutput, AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends false ? MarkAllImplementationsAsProvided<TResolvedTypesMeta> : TResolvedTypesMeta>;
     /**
      * Resolves the given `state` to a new `State` instance relative to this machine.
      *
@@ -43,8 +43,8 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
      *
      * @param state The state to resolve
      */
-    resolveState(state: State<TContext, TEvent, TActor, TResolvedTypesMeta>): typeof state;
-    resolveStateValue(stateValue: StateValue, ...[context]: Equals<TContext, MachineContext> extends true ? [] : [TContext]): State<TContext, TEvent, TActor, TResolvedTypesMeta>;
+    resolveState(state: State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>): typeof state;
+    resolveStateValue(stateValue: StateValue, ...[context]: Equals<TContext, MachineContext> extends true ? [] : [TContext]): State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>;
     /**
      * Determines the next state given the current `state` and received `event`.
      * Calculates a full macrostep from all microsteps.
@@ -52,7 +52,7 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
      * @param state The current State instance or state value
      * @param event The received event
      */
-    transition(state: State<TContext, TEvent, TActor, TResolvedTypesMeta>, event: TEvent, actorCtx: ActorContext<TEvent, State<TContext, TEvent, TActor, any>>): State<TContext, TEvent, TActor, TResolvedTypesMeta>;
+    transition(state: State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>, event: TEvent, actorCtx: ActorContext<TEvent, typeof state>): State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>;
     /**
      * Determines the next state given the current `state` and `event`.
      * Calculates a microstep.
@@ -60,8 +60,8 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
      * @param state The current state
      * @param event The received event
      */
-    microstep(state: State<TContext, TEvent, TActor, TResolvedTypesMeta>, event: TEvent, actorCtx: AnyActorContext): Array<State<TContext, TEvent, TActor, TResolvedTypesMeta>>;
-    getTransitionData(state: State<TContext, TEvent, TActor, TResolvedTypesMeta>, event: TEvent): Array<TransitionDefinition<TContext, TEvent>>;
+    microstep(state: State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>, event: TEvent, actorCtx: AnyActorContext): Array<State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>>;
+    getTransitionData(state: State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>, event: TEvent): Array<TransitionDefinition<TContext, TEvent>>;
     /**
      * The initial state _before_ evaluating any microsteps.
      * This "pre-initial" state is provided to initial actions executed in the initial state.
@@ -70,21 +70,24 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
     /**
      * Returns the initial `State` instance, with reference to `self` as an `ActorRef`.
      */
-    getInitialState(actorCtx: ActorContext<TEvent, State<TContext, TEvent, TActor, TResolvedTypesMeta>>, input?: TInput): State<TContext, TEvent, TActor, TResolvedTypesMeta>;
-    start(state: State<TContext, TEvent, TActor, TResolvedTypesMeta>): void;
+    getInitialState(actorCtx: ActorContext<TEvent, State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>>, input?: TInput): State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>;
+    start(state: State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>): void;
     getStateNodeById(stateId: string): StateNode<TContext, TEvent>;
     get definition(): StateMachineDefinition<TContext, TEvent>;
     toJSON(): StateMachineDefinition<TContext, TEvent>;
-    getPersistedState(state: State<TContext, TEvent, TActor, TResolvedTypesMeta>): PersistedMachineState<State<TContext, TEvent, TActor, TResolvedTypesMeta>>;
-    createState(stateConfig: State<TContext, TEvent, TActor, TResolvedTypesMeta> | StateConfig<TContext, TEvent>): State<TContext, TEvent, TActor, TResolvedTypesMeta>;
-    getStatus(state: State<TContext, TEvent, TActor, TResolvedTypesMeta>): {
+    getPersistedState(state: State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>): PersistedMachineState<State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>>;
+    createState(stateConfig: State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta> | StateConfig<TContext, TEvent>): State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>;
+    getStatus(state: State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>): {
         status: string;
-        data: any;
+        data: {};
+    } | {
+        status: string;
+        data: TOutput | undefined;
     } | {
         status: string;
         data?: undefined;
     };
-    restoreState(state: PersistedMachineState<State<TContext, TEvent, TActor, TResolvedTypesMeta>>, _actorCtx: ActorContext<TEvent, State<TContext, TEvent, TActor, TResolvedTypesMeta>>): State<TContext, TEvent, TActor, TResolvedTypesMeta>;
+    restoreState(state: PersistedMachineState<State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>>, _actorCtx: ActorContext<TEvent, State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>>): State<TContext, TEvent, TActor, TOutput, TResolvedTypesMeta>;
     /**@deprecated an internal property acting as a "phantom" type, not meant to be used at runtime */
     __TContext: TContext;
     /** @deprecated an internal property acting as a "phantom" type, not meant to be used at runtime */
@@ -94,6 +97,9 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
     /** @deprecated an internal property acting as a "phantom" type, not meant to be used at runtime */
     __TActor: TActor;
     /** @deprecated an internal property acting as a "phantom" type, not meant to be used at runtime */
-    __TResolvedTypesMeta: TResolvedTypesMeta;
     __TInput: TInput;
+    /** @deprecated an internal property acting as a "phantom" type, not meant to be used at runtime */
+    __TOutput: TOutput;
+    /** @deprecated an internal property acting as a "phantom" type, not meant to be used at runtime */
+    __TResolvedTypesMeta: TResolvedTypesMeta;
 }

package/dist/declarations/src/StateNode.d.ts

@@ -1,16 +1,16 @@
 import type { State } from "./State.js";
 import type { StateMachine } from "./StateMachine.js";
-import type { Action, DelayedTransitionDefinition, EventObject, InitialTransitionDefinition, InvokeDefinition, MachineContext, Mapper, StateNodeConfig, StateNodeDefinition, StateNodesConfig, TransitionDefinition, TransitionDefinitionMap, TODO } from "./types.js";
+import type { DelayedTransitionDefinition, EventObject, InitialTransitionDefinition, InvokeDefinition, MachineContext, Mapper, StateNodeConfig, StateNodeDefinition, StateNodesConfig, TransitionDefinition, TransitionDefinitionMap, TODO, UnknownAction, ParameterizedObject } from "./types.js";
 interface StateNodeOptions<TContext extends MachineContext, TEvent extends EventObject> {
     _key: string;
     _parent?: StateNode<TContext, TEvent>;
-    _machine: StateMachine<TContext, TEvent, any, any, any>;
+    _machine: StateMachine<TContext, TEvent, any, any, any, any>;
 }
 export declare class StateNode<TContext extends MachineContext = MachineContext, TEvent extends EventObject = EventObject> {
     /**
      * The raw config used to create the machine.
      */
-    config: StateNodeConfig<TContext, TEvent, TODO, TODO>;
+    config: StateNodeConfig<TContext, TEvent, TODO, TODO, TODO>;
     /**
      * The relative key of the state node, which represents its location in the overall state value.
      */
@@ -47,11 +47,11 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     /**
      * The action(s) to be executed upon entering the state node.
      */
-    entry: Action<any, any, any>[];
+    entry: UnknownAction[];
     /**
      * The action(s) to be executed upon exiting the state node.
      */
-    exit: Action<any, any, any>[];
+    exit: UnknownAction[];
     /**
      * The parent state node.
      */
@@ -80,7 +80,7 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     /**
      * The raw config used to create the machine.
      */
-    config: StateNodeConfig<TContext, TEvent, TODO, TODO>, options: StateNodeOptions<TContext, TEvent>);
+    config: StateNodeConfig<TContext, TEvent, TODO, TODO, TODO>, options: StateNodeOptions<TContext, TEvent>);
     _initialize(): void;
     /**
      * The well-structured state node definition.
@@ -90,14 +90,14 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     /**
      * The logic invoked as actors by this state node.
      */
-    get invoke(): Array<InvokeDefinition<TContext, TEvent>>;
+    get invoke(): Array<InvokeDefinition<TContext, TEvent, ParameterizedObject>>;
     /**
      * The mapping of events to transitions.
      */
     get on(): TransitionDefinitionMap<TContext, TEvent>;
     get after(): Array<DelayedTransitionDefinition<TContext, TEvent>>;
     get initial(): InitialTransitionDefinition<TContext, TEvent>;
-    next(state: State<TContext, TEvent, TODO>, event: TEvent): TransitionDefinition<TContext, TEvent>[] | undefined;
+    next(state: State<TContext, TEvent, TODO, TODO>, event: TEvent): TransitionDefinition<TContext, TEvent>[] | undefined;
     /**
      * The target state value of the history state node, if it exists. This represents the
      * default state value to transition to if no history value exists yet.

package/dist/declarations/src/actions/assign.d.ts

@@ -1,16 +1,16 @@
-import type { ActionArgs, AnyActorContext, AnyState, Assigner, EventObject, LowInfer, MachineContext, PropertyAssigner } from "../types.js";
-declare function resolve(actorContext: AnyActorContext, state: AnyState, actionArgs: ActionArgs<any, any>, { assignment }: {
-    assignment: Assigner<any, any> | PropertyAssigner<any, any>;
+import type { ActionArgs, AnyActorContext, AnyState, Assigner, EventObject, LowInfer, MachineContext, ParameterizedObject, PropertyAssigner } from "../types.js";
+declare function resolve(actorContext: AnyActorContext, state: AnyState, actionArgs: ActionArgs<any, any, any>, { assignment }: {
+    assignment: Assigner<any, any, any> | PropertyAssigner<any, any, any>;
 }): AnyState[];
 /**
  * Updates the current context of the machine.
  *
  * @param assignment An object that represents the partial context to update.
  */
-export declare function assign<TContext extends MachineContext, TExpressionEvent extends EventObject = EventObject, TEvent extends EventObject = TExpressionEvent>(assignment: Assigner<LowInfer<TContext>, TExpressionEvent> | PropertyAssigner<LowInfer<TContext>, TExpressionEvent>): {
-    (_: ActionArgs<TContext, TExpressionEvent>): void;
+export declare function assign<TContext extends MachineContext, TExpressionEvent extends EventObject = EventObject, TExpressionAction extends ParameterizedObject | undefined = ParameterizedObject | undefined>(assignment: Assigner<LowInfer<TContext>, TExpressionEvent, TExpressionAction> | PropertyAssigner<LowInfer<TContext>, TExpressionEvent, TExpressionAction>): {
+    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
     type: string;
-    assignment: Assigner<LowInfer<TContext>, TExpressionEvent> | PropertyAssigner<LowInfer<TContext>, TExpressionEvent>;
+    assignment: Assigner<LowInfer<TContext>, TExpressionEvent, TExpressionAction> | PropertyAssigner<LowInfer<TContext>, TExpressionEvent, TExpressionAction>;
     resolve: typeof resolve;
 };
 export {};

package/dist/declarations/src/actions/cancel.d.ts

@@ -1,7 +1,7 @@
-import { AnyActorContext, AnyState, EventObject, MachineContext, ActionArgs } from "../types.js";
-type ResolvableSendId<TContext extends MachineContext, TExpressionEvent extends EventObject> = string | ((args: ActionArgs<TContext, TExpressionEvent>) => string);
-declare function resolve(_: AnyActorContext, state: AnyState, actionArgs: ActionArgs<any, any>, { sendId }: {
-    sendId: ResolvableSendId<any, any>;
+import { AnyActorContext, AnyState, EventObject, MachineContext, ActionArgs, ParameterizedObject } from "../types.js";
+type ResolvableSendId<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined> = string | ((args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>) => string);
+declare function resolve(_: AnyActorContext, state: AnyState, actionArgs: ActionArgs<any, any, any>, { sendId }: {
+    sendId: ResolvableSendId<any, any, any>;
 }): (string | AnyState)[];
 declare function execute(actorContext: AnyActorContext, resolvedSendId: string): void;
 /**
@@ -11,10 +11,10 @@ declare function execute(actorContext: AnyActorContext, resolvedSendId: string):
  *
  * @param sendId The `id` of the `send(...)` action to cancel.
  */
-export declare function cancel<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject>(sendId: ResolvableSendId<TContext, TExpressionEvent>): {
-    (_: ActionArgs<TContext, TExpressionEvent>): void;
+export declare function cancel<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined>(sendId: ResolvableSendId<TContext, TExpressionEvent, TExpressionAction>): {
+    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
     type: string;
-    sendId: ResolvableSendId<TContext, TExpressionEvent>;
+    sendId: ResolvableSendId<TContext, TExpressionEvent, TExpressionAction>;
     resolve: typeof resolve;
     execute: typeof execute;
 };

package/dist/declarations/src/actions/choose.d.ts

@@ -1,11 +1,5 @@
-import { EventObject, ChooseBranch, MachineContext, AnyActorContext, AnyState, ActionArgs } from "../types.js";
-declare function resolve(_: AnyActorContext, state: AnyState, actionArgs: ActionArgs<any, any>, { branches }: {
-    branches: Array<ChooseBranch<MachineContext, EventObject>>;
-}): (AnyState | (string | import("../types.js").ParameterizedObject | import("../types.js").ActionFunction<MachineContext, EventObject, EventObject, import("../types.js").ParameterizedObject>)[] | undefined)[];
-export declare function choose<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject>(branches: Array<ChooseBranch<TContext, TExpressionEvent>>): {
-    (_: ActionArgs<TContext, TExpressionEvent>): void;
-    type: string;
-    branches: ChooseBranch<TContext, TExpressionEvent, TExpressionEvent>[];
-    resolve: typeof resolve;
+import { EventObject, ChooseBranch, MachineContext, ActionArgs, ParameterizedObject } from "../types.js";
+export declare function choose<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TAction extends ParameterizedObject>(branches: ReadonlyArray<ChooseBranch<TContext, TExpressionEvent, TEvent, TAction>>): {
+    (args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
+    _out_TAction?: TAction | undefined;
 };
-export {};

package/dist/declarations/src/actions/log.d.ts

@@ -1,7 +1,7 @@
-import { ActionArgs, AnyActorContext, AnyState, EventObject, LogExpr, MachineContext } from "../types.js";
-type ResolvableLogValue<TContext extends MachineContext, TExpressionEvent extends EventObject> = string | LogExpr<TContext, TExpressionEvent>;
-declare function resolve(_: AnyActorContext, state: AnyState, actionArgs: ActionArgs<any, any>, { value, label }: {
-    value: ResolvableLogValue<any, any>;
+import { ActionArgs, AnyActorContext, AnyState, EventObject, LogExpr, MachineContext, ParameterizedObject } from "../types.js";
+type ResolvableLogValue<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined> = string | LogExpr<TContext, TExpressionEvent, TExpressionAction>;
+declare function resolve(_: AnyActorContext, state: AnyState, actionArgs: ActionArgs<any, any, any>, { value, label }: {
+    value: ResolvableLogValue<any, any, any>;
     label: string | undefined;
 }): (AnyState | {
     value: unknown;
@@ -19,10 +19,10 @@ declare function execute({ logger }: AnyActorContext, { value, label }: {
  *  - `event` - the event that caused this action to be executed.
  * @param label The label to give to the logged expression.
  */
-export declare function log<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent>(value?: ResolvableLogValue<TContext, TExpressionEvent>, label?: string): {
-    (_: ActionArgs<TContext, TExpressionEvent>): void;
+export declare function log<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined>(value?: ResolvableLogValue<TContext, TExpressionEvent, TExpressionAction>, label?: string): {
+    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
     type: string;
-    value: ResolvableLogValue<TContext, TExpressionEvent>;
+    value: ResolvableLogValue<TContext, TExpressionEvent, TExpressionAction>;
     label: string | undefined;
     resolve: typeof resolve;
     execute: typeof execute;

package/dist/declarations/src/actions/pure.d.ts

@@ -1,20 +1,8 @@
-import { Action, ActionArgs, AnyActorContext, AnyState, EventObject, MachineContext, SingleOrArray } from "../types.js";
-declare function resolve(_: AnyActorContext, state: AnyState, args: ActionArgs<any, any>, { get }: {
-    get: ({ context, event }: {
-        context: MachineContext;
-        event: EventObject;
-    }) => SingleOrArray<Action<any, any, any>> | undefined;
-}): (AnyState | (string | import("../types.js").ParameterizedObject | import("../types.js").ActionFunction<any, any, any, import("../types.js").ParameterizedObject>)[] | undefined)[];
-export declare function pure<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent>(getActions: ({ context, event }: {
+import { Actions, ActionArgs, EventObject, MachineContext, ParameterizedObject } from "../types.js";
+export declare function pure<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent, TExpressionAction extends ParameterizedObject | undefined = ParameterizedObject | undefined, TAction extends ParameterizedObject = ParameterizedObject>(getActions: ({ context, event }: {
     context: TContext;
     event: TExpressionEvent;
-}) => SingleOrArray<Action<TContext, TExpressionEvent> | string> | undefined): {
-    (_: ActionArgs<TContext, TExpressionEvent>): void;
-    type: string;
-    get: ({ context, event }: {
-        context: TContext;
-        event: TExpressionEvent;
-    }) => SingleOrArray<Action<TContext, TExpressionEvent> | string> | undefined;
-    resolve: typeof resolve;
+}) => Actions<TContext, TExpressionEvent, TEvent, undefined, TAction> | undefined): {
+    (args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
+    _out_TAction?: TAction | undefined;
 };
-export {};

package/dist/declarations/src/actions/raise.d.ts

@@ -1,11 +1,11 @@
-import { ActionArgs, EventObject, MachineContext, NoInfer, RaiseActionOptions, SendExpr } from "../types.js";
+import { ActionArgs, EventObject, MachineContext, NoInfer, RaiseActionOptions, SendExpr, ParameterizedObject } from "../types.js";
 /**
  * Raises an event. This places the event in the internal event queue, so that
  * the event is immediately consumed by the machine in the current step.
  *
  * @param eventType The event to raise.
  */
-export declare function raise<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent>(eventOrExpr: NoInfer<TEvent> | SendExpr<TContext, TExpressionEvent, NoInfer<TEvent>>, options?: RaiseActionOptions<TContext, TExpressionEvent>): {
-    (args: ActionArgs<TContext, TExpressionEvent>): void;
+export declare function raise<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent, TExpressionAction extends ParameterizedObject | undefined = ParameterizedObject | undefined>(eventOrExpr: NoInfer<TEvent> | SendExpr<TContext, TExpressionEvent, TExpressionAction, NoInfer<TEvent>>, options?: RaiseActionOptions<TContext, TExpressionEvent, TExpressionAction>): {
+    (args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
     _out_TEvent?: TEvent | undefined;
 };