xstate 5.32.5 → 5.33.0

package/dist/{StateMachine-6005ae8c.development.cjs.js → StateMachine-385ea6e2.cjs.js}

@@ -1,7 +1,7 @@
 'use strict';
 
-var dist_xstateGuards = require('./raise-dd1ee3d1.development.cjs.js');
-var assign = require('./assign-7cba842c.development.cjs.js');
+var dist_xstateGuards = require('./raise-ad56cf14.cjs.js');
+var assign = require('./assign-b8c7b733.cjs.js');
 
 const cache = new WeakMap();
 function memo(object, key, fn) {
@@ -149,17 +149,19 @@ class StateNode {
         actions: this.initial.actions.map(toSerializableAction),
         eventType: null,
         reenter: false,
+        meta: this.initial.meta,
+        description: this.initial.description,
         toJSON: () => ({
           target: this.initial.target.map(t => `#${t.id}`),
           source: `#${this.id}`,
           actions: this.initial.actions.map(toSerializableAction),
-          eventType: null
+          eventType: null,
+          meta: this.initial.meta,
+          description: this.initial.description
         })
       } : undefined,
       history: this.history,
-      states: dist_xstateGuards.mapValues(this.states, state => {
-        return state.definition;
-      }),
+      states: dist_xstateGuards.mapValues(this.states, state => state.definition),
       on: this.on,
       transitions: [...this.transitions.values()].flat().map(t => ({
         ...t,
@@ -337,9 +339,6 @@ class StateMachine {
     dist_xstateGuards.formatRouteTransitions(this.root);
     this.states = this.root.states; // TODO: remove!
     this.events = this.root.events;
-    if (!('output' in this.root) && Object.values(this.states).some(state => state.type === 'final' && 'output' in state)) {
-      console.warn('Missing `machine.output` declaration (top-level final state with output detected)');
-    }
   }
 
   /**
@@ -452,12 +451,25 @@ class StateMachine {
   getInitialSnapshot(actorScope, input) {
     const initEvent = dist_xstateGuards.createInitEvent(input); // TODO: fix;
     const internalQueue = [];
-    const preInitialState = this._getPreInitialState(actorScope, initEvent, internalQueue);
-    const [nextState] = dist_xstateGuards.initialMicrostep(this.root, preInitialState, actorScope, initEvent, internalQueue);
-    const {
-      snapshot: macroState
-    } = dist_xstateGuards.macrostep(nextState, initEvent, actorScope, internalQueue);
-    return macroState;
+    let snapshot = dist_xstateGuards.createMachineSnapshot({
+      context: typeof this.config.context !== 'function' && this.config.context ? this.config.context : {},
+      _nodes: [this.root],
+      children: {},
+      status: 'active'
+    }, this);
+    try {
+      snapshot = this._getPreInitialState(actorScope, initEvent, internalQueue);
+      const [nextState] = dist_xstateGuards.initialMicrostep(this.root, snapshot, actorScope, initEvent, internalQueue);
+      const {
+        snapshot: macroState
+      } = dist_xstateGuards.macrostep(nextState, initEvent, actorScope, internalQueue);
+      return macroState;
+    } catch (error) {
+      return dist_xstateGuards.cloneMachineSnapshot(snapshot, {
+        status: 'error',
+        error
+      });
+    }
   }
   start(snapshot) {
     Object.values(snapshot.children).forEach(child => {
@@ -513,9 +525,6 @@ class StateMachine {
       try {
         return root.machine.getStateNodeById(referenced.id);
       } catch {
-        {
-          console.warn(`Could not resolve StateNode for id: ${referenced.id}`);
-        }
       }
     }
     function reviveHistoryValue(root, historyValue) {

package/dist/{StateMachine-e8cf6f23.development.esm.js → StateMachine-521e1f66.esm.js}

@@ -1,5 +1,5 @@
-import { S as STATE_DELIMITER, z as mapValues, t as toArray, B as formatTransitions, C as toTransitionConfigArray, D as formatTransition, N as NULL_EVENT, E as evaluateGuard, F as createInvokeId, G as getDelayedTransitions, H as formatInitialTransition, I as getCandidates, J as formatRouteTransitions, K as resolveStateValue, L as getAllStateNodes, q as getStateNodes, M as createMachineSnapshot, O as isInFinalState, e as macrostep, P as transitionNode, Q as resolveActionsAndContext, f as createInitEvent, g as initialMicrostep, R as toStatePath, T as isStateId, U as getStateNodeByPath, V as getPersistedSnapshot, W as resolveReferencedActor, c as createActor, $ as $$ACTOR_TYPE } from './raise-0d6481d1.development.esm.js';
-import { a as assign } from './assign-393c348f.development.esm.js';
+import { S as STATE_DELIMITER, z as mapValues, t as toArray, B as formatTransitions, C as toTransitionConfigArray, D as formatTransition, N as NULL_EVENT, E as evaluateGuard, F as createInvokeId, G as getDelayedTransitions, H as formatInitialTransition, I as getCandidates, J as formatRouteTransitions, K as resolveStateValue, L as getAllStateNodes, q as getStateNodes, M as createMachineSnapshot, O as isInFinalState, e as macrostep, P as transitionNode, Q as resolveActionsAndContext, f as createInitEvent, g as initialMicrostep, R as cloneMachineSnapshot, T as toStatePath, U as isStateId, V as getStateNodeByPath, W as getPersistedSnapshot, Y as resolveReferencedActor, c as createActor, $ as $$ACTOR_TYPE } from './raise-97446fd4.esm.js';
+import { a as assign } from './assign-b4b1f28f.esm.js';
 
 const cache = new WeakMap();
 function memo(object, key, fn) {
@@ -147,17 +147,19 @@ class StateNode {
         actions: this.initial.actions.map(toSerializableAction),
         eventType: null,
         reenter: false,
+        meta: this.initial.meta,
+        description: this.initial.description,
         toJSON: () => ({
           target: this.initial.target.map(t => `#${t.id}`),
           source: `#${this.id}`,
           actions: this.initial.actions.map(toSerializableAction),
-          eventType: null
+          eventType: null,
+          meta: this.initial.meta,
+          description: this.initial.description
         })
       } : undefined,
       history: this.history,
-      states: mapValues(this.states, state => {
-        return state.definition;
-      }),
+      states: mapValues(this.states, state => state.definition),
       on: this.on,
       transitions: [...this.transitions.values()].flat().map(t => ({
         ...t,
@@ -335,9 +337,6 @@ class StateMachine {
     formatRouteTransitions(this.root);
     this.states = this.root.states; // TODO: remove!
     this.events = this.root.events;
-    if (!('output' in this.root) && Object.values(this.states).some(state => state.type === 'final' && 'output' in state)) {
-      console.warn('Missing `machine.output` declaration (top-level final state with output detected)');
-    }
   }
 
   /**
@@ -450,12 +449,25 @@ class StateMachine {
   getInitialSnapshot(actorScope, input) {
     const initEvent = createInitEvent(input); // TODO: fix;
     const internalQueue = [];
-    const preInitialState = this._getPreInitialState(actorScope, initEvent, internalQueue);
-    const [nextState] = initialMicrostep(this.root, preInitialState, actorScope, initEvent, internalQueue);
-    const {
-      snapshot: macroState
-    } = macrostep(nextState, initEvent, actorScope, internalQueue);
-    return macroState;
+    let snapshot = createMachineSnapshot({
+      context: typeof this.config.context !== 'function' && this.config.context ? this.config.context : {},
+      _nodes: [this.root],
+      children: {},
+      status: 'active'
+    }, this);
+    try {
+      snapshot = this._getPreInitialState(actorScope, initEvent, internalQueue);
+      const [nextState] = initialMicrostep(this.root, snapshot, actorScope, initEvent, internalQueue);
+      const {
+        snapshot: macroState
+      } = macrostep(nextState, initEvent, actorScope, internalQueue);
+      return macroState;
+    } catch (error) {
+      return cloneMachineSnapshot(snapshot, {
+        status: 'error',
+        error
+      });
+    }
   }
   start(snapshot) {
     Object.values(snapshot.children).forEach(child => {
@@ -511,9 +523,6 @@ class StateMachine {
       try {
         return root.machine.getStateNodeById(referenced.id);
       } catch {
-        {
-          console.warn(`Could not resolve StateNode for id: ${referenced.id}`);
-        }
       }
     }
     function reviveHistoryValue(root, historyValue) {

package/dist/{StateMachine-1fa46288.cjs.js → StateMachine-d4a4d688.development.cjs.js}

@@ -1,7 +1,7 @@
 'use strict';
 
-var dist_xstateGuards = require('./raise-16ff4f94.cjs.js');
-var assign = require('./assign-20143fe8.cjs.js');
+var dist_xstateGuards = require('./raise-6dbf7d60.development.cjs.js');
+var assign = require('./assign-22c2f2aa.development.cjs.js');
 
 const cache = new WeakMap();
 function memo(object, key, fn) {
@@ -149,17 +149,19 @@ class StateNode {
         actions: this.initial.actions.map(toSerializableAction),
         eventType: null,
         reenter: false,
+        meta: this.initial.meta,
+        description: this.initial.description,
         toJSON: () => ({
           target: this.initial.target.map(t => `#${t.id}`),
           source: `#${this.id}`,
           actions: this.initial.actions.map(toSerializableAction),
-          eventType: null
+          eventType: null,
+          meta: this.initial.meta,
+          description: this.initial.description
         })
       } : undefined,
       history: this.history,
-      states: dist_xstateGuards.mapValues(this.states, state => {
-        return state.definition;
-      }),
+      states: dist_xstateGuards.mapValues(this.states, state => state.definition),
       on: this.on,
       transitions: [...this.transitions.values()].flat().map(t => ({
         ...t,
@@ -337,6 +339,9 @@ class StateMachine {
     dist_xstateGuards.formatRouteTransitions(this.root);
     this.states = this.root.states; // TODO: remove!
     this.events = this.root.events;
+    if (!('output' in this.root) && Object.values(this.states).some(state => state.type === 'final' && 'output' in state)) {
+      console.warn('Missing `machine.output` declaration (top-level final state with output detected)');
+    }
   }
 
   /**
@@ -449,12 +454,25 @@ class StateMachine {
   getInitialSnapshot(actorScope, input) {
     const initEvent = dist_xstateGuards.createInitEvent(input); // TODO: fix;
     const internalQueue = [];
-    const preInitialState = this._getPreInitialState(actorScope, initEvent, internalQueue);
-    const [nextState] = dist_xstateGuards.initialMicrostep(this.root, preInitialState, actorScope, initEvent, internalQueue);
-    const {
-      snapshot: macroState
-    } = dist_xstateGuards.macrostep(nextState, initEvent, actorScope, internalQueue);
-    return macroState;
+    let snapshot = dist_xstateGuards.createMachineSnapshot({
+      context: typeof this.config.context !== 'function' && this.config.context ? this.config.context : {},
+      _nodes: [this.root],
+      children: {},
+      status: 'active'
+    }, this);
+    try {
+      snapshot = this._getPreInitialState(actorScope, initEvent, internalQueue);
+      const [nextState] = dist_xstateGuards.initialMicrostep(this.root, snapshot, actorScope, initEvent, internalQueue);
+      const {
+        snapshot: macroState
+      } = dist_xstateGuards.macrostep(nextState, initEvent, actorScope, internalQueue);
+      return macroState;
+    } catch (error) {
+      return dist_xstateGuards.cloneMachineSnapshot(snapshot, {
+        status: 'error',
+        error
+      });
+    }
   }
   start(snapshot) {
     Object.values(snapshot.children).forEach(child => {
@@ -510,6 +528,9 @@ class StateMachine {
       try {
         return root.machine.getStateNodeById(referenced.id);
       } catch {
+        {
+          console.warn(`Could not resolve StateNode for id: ${referenced.id}`);
+        }
       }
     }
     function reviveHistoryValue(root, historyValue) {

package/dist/{StateMachine-5f345bba.esm.js → StateMachine-e5453556.development.esm.js}

@@ -1,5 +1,5 @@
-import { S as STATE_DELIMITER, z as mapValues, t as toArray, B as formatTransitions, C as toTransitionConfigArray, D as formatTransition, N as NULL_EVENT, E as evaluateGuard, F as createInvokeId, G as getDelayedTransitions, H as formatInitialTransition, I as getCandidates, J as formatRouteTransitions, K as resolveStateValue, L as getAllStateNodes, q as getStateNodes, M as createMachineSnapshot, O as isInFinalState, e as macrostep, P as transitionNode, Q as resolveActionsAndContext, f as createInitEvent, g as initialMicrostep, R as toStatePath, T as isStateId, U as getStateNodeByPath, V as getPersistedSnapshot, W as resolveReferencedActor, c as createActor, $ as $$ACTOR_TYPE } from './raise-5fb0c8ca.esm.js';
-import { a as assign } from './assign-29f23f4d.esm.js';
+import { S as STATE_DELIMITER, z as mapValues, t as toArray, B as formatTransitions, C as toTransitionConfigArray, D as formatTransition, N as NULL_EVENT, E as evaluateGuard, F as createInvokeId, G as getDelayedTransitions, H as formatInitialTransition, I as getCandidates, J as formatRouteTransitions, K as resolveStateValue, L as getAllStateNodes, q as getStateNodes, M as createMachineSnapshot, O as isInFinalState, e as macrostep, P as transitionNode, Q as resolveActionsAndContext, f as createInitEvent, g as initialMicrostep, R as cloneMachineSnapshot, T as toStatePath, U as isStateId, V as getStateNodeByPath, W as getPersistedSnapshot, Y as resolveReferencedActor, c as createActor, $ as $$ACTOR_TYPE } from './raise-4d6182c1.development.esm.js';
+import { a as assign } from './assign-08205f93.development.esm.js';
 
 const cache = new WeakMap();
 function memo(object, key, fn) {
@@ -147,17 +147,19 @@ class StateNode {
         actions: this.initial.actions.map(toSerializableAction),
         eventType: null,
         reenter: false,
+        meta: this.initial.meta,
+        description: this.initial.description,
         toJSON: () => ({
           target: this.initial.target.map(t => `#${t.id}`),
           source: `#${this.id}`,
           actions: this.initial.actions.map(toSerializableAction),
-          eventType: null
+          eventType: null,
+          meta: this.initial.meta,
+          description: this.initial.description
         })
       } : undefined,
       history: this.history,
-      states: mapValues(this.states, state => {
-        return state.definition;
-      }),
+      states: mapValues(this.states, state => state.definition),
       on: this.on,
       transitions: [...this.transitions.values()].flat().map(t => ({
         ...t,
@@ -335,6 +337,9 @@ class StateMachine {
     formatRouteTransitions(this.root);
     this.states = this.root.states; // TODO: remove!
     this.events = this.root.events;
+    if (!('output' in this.root) && Object.values(this.states).some(state => state.type === 'final' && 'output' in state)) {
+      console.warn('Missing `machine.output` declaration (top-level final state with output detected)');
+    }
   }
 
   /**
@@ -447,12 +452,25 @@ class StateMachine {
   getInitialSnapshot(actorScope, input) {
     const initEvent = createInitEvent(input); // TODO: fix;
     const internalQueue = [];
-    const preInitialState = this._getPreInitialState(actorScope, initEvent, internalQueue);
-    const [nextState] = initialMicrostep(this.root, preInitialState, actorScope, initEvent, internalQueue);
-    const {
-      snapshot: macroState
-    } = macrostep(nextState, initEvent, actorScope, internalQueue);
-    return macroState;
+    let snapshot = createMachineSnapshot({
+      context: typeof this.config.context !== 'function' && this.config.context ? this.config.context : {},
+      _nodes: [this.root],
+      children: {},
+      status: 'active'
+    }, this);
+    try {
+      snapshot = this._getPreInitialState(actorScope, initEvent, internalQueue);
+      const [nextState] = initialMicrostep(this.root, snapshot, actorScope, initEvent, internalQueue);
+      const {
+        snapshot: macroState
+      } = macrostep(nextState, initEvent, actorScope, internalQueue);
+      return macroState;
+    } catch (error) {
+      return cloneMachineSnapshot(snapshot, {
+        status: 'error',
+        error
+      });
+    }
   }
   start(snapshot) {
     Object.values(snapshot.children).forEach(child => {
@@ -508,6 +526,9 @@ class StateMachine {
       try {
         return root.machine.getStateNodeById(referenced.id);
       } catch {
+        {
+          console.warn(`Could not resolve StateNode for id: ${referenced.id}`);
+        }
       }
     }
     function reviveHistoryValue(root, historyValue) {

package/dist/{assign-393c348f.development.esm.js → assign-08205f93.development.esm.js}

@@ -1,4 +1,4 @@
-import { a0 as ProcessingStatus, W as resolveReferencedActor, c as createActor, a1 as cloneMachineSnapshot, Y as executingCustomAction } from './raise-0d6481d1.development.esm.js';
+import { a1 as ProcessingStatus, Y as resolveReferencedActor, c as createActor, R as cloneMachineSnapshot, Z as executingCustomAction } from './raise-4d6182c1.development.esm.js';
 
 function createSpawner(actorScope, {
   machine,

package/dist/{assign-7cba842c.development.cjs.js → assign-22c2f2aa.development.cjs.js}

@@ -1,6 +1,6 @@
 'use strict';
 
-var dist_xstateGuards = require('./raise-dd1ee3d1.development.cjs.js');
+var dist_xstateGuards = require('./raise-6dbf7d60.development.cjs.js');
 
 function createSpawner(actorScope, {
   machine,

package/dist/{assign-29f23f4d.esm.js → assign-b4b1f28f.esm.js}

@@ -1,4 +1,4 @@
-import { _ as ProcessingStatus, W as resolveReferencedActor, c as createActor, a0 as cloneMachineSnapshot } from './raise-5fb0c8ca.esm.js';
+import { a0 as ProcessingStatus, Y as resolveReferencedActor, c as createActor, R as cloneMachineSnapshot } from './raise-97446fd4.esm.js';
 
 function createSpawner(actorScope, {
   machine,

package/dist/{assign-20143fe8.cjs.js → assign-b8c7b733.cjs.js}

@@ -1,6 +1,6 @@
 'use strict';
 
-var dist_xstateGuards = require('./raise-16ff4f94.cjs.js');
+var dist_xstateGuards = require('./raise-ad56cf14.cjs.js');
 
 function createSpawner(actorScope, {
   machine,

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

@@ -2,9 +2,10 @@ import { MachineSnapshot } from "./State.js";
 import { StateNode } from "./StateNode.js";
 import { AnyActorSystem } from "./system.js";
 import type { ActorLogic, ActorScope, AnyActorRef, AnyActorScope, DoNotInfer, Equals, EventDescriptor, EventObject, HistoryValue, InternalMachineImplementations, MachineConfig, MachineContext, MachineImplementationsSimplified, MachineOptions, MetaObject, ParameterizedObject, ProvidedActor, Snapshot, StateMachineDefinition, StateValue, TransitionDefinition, ResolvedStateMachineTypes, StateSchema, SnapshotStatus } from "./types.js";
-export declare class StateMachine<TContext extends MachineContext, TEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string, TStateValue extends StateValue, TTag extends string, TInput, TOutput, TEmitted extends EventObject, TMeta extends MetaObject, TStateSchema extends StateSchema> implements ActorLogic<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>, TEvent, TInput, AnyActorSystem, TEmitted> {
+export declare class StateMachine<TContext extends MachineContext, TEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string, TStateValue extends StateValue, TTag extends string, TInput, TOutput, TEmitted extends EventObject, TStateMeta extends MetaObject, TStateSchema extends StateSchema, TTransitionMeta extends MetaObject = TStateMeta> implements ActorLogic<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>, TEvent, TInput, AnyActorSystem, TEmitted> {
     /** The raw config used to create the machine. */
     config: MachineConfig<TContext, TEvent, any, any, any, any, any, any, TOutput, any, // TEmitted
+    any, // TStateMeta
     any> & {
         schemas?: unknown;
     };
@@ -14,13 +15,14 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
     implementations: MachineImplementationsSimplified<TContext, TEvent>;
     /** Runtime options for machine execution. */
     options: MachineOptions;
-    root: StateNode<TContext, TEvent>;
+    root: StateNode<TContext, TEvent, TStateMeta, TTransitionMeta>;
     id: string;
-    states: StateNode<TContext, TEvent>['states'];
+    states: StateNode<TContext, TEvent, TStateMeta, TTransitionMeta>['states'];
     events: Array<EventDescriptor<TEvent>>;
     constructor(
     /** The raw config used to create the machine. */
     config: MachineConfig<TContext, TEvent, any, any, any, any, any, any, TOutput, any, // TEmitted
+    any, // TStateMeta
     any> & {
         schemas?: unknown;
     }, implementations?: MachineImplementationsSimplified<TContext, TEvent>);
@@ -31,7 +33,7 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
      *   recursively merge with the existing options.
      * @returns A new `StateMachine` instance with the provided implementations.
      */
-    provide(implementations: InternalMachineImplementations<ResolvedStateMachineTypes<TContext, DoNotInfer<TEvent>, TActor, TAction, TGuard, TDelay, TTag, TEmitted>>): StateMachine<TContext, TEvent, TChildren, TActor, TAction, TGuard, TDelay, TStateValue, TTag, TInput, TOutput, TEmitted, TMeta, TStateSchema>;
+    provide(implementations: InternalMachineImplementations<ResolvedStateMachineTypes<TContext, DoNotInfer<TEvent>, TActor, TAction, TGuard, TDelay, TTag, TEmitted>>): StateMachine<TContext, TEvent, TChildren, TActor, TAction, TGuard, TDelay, TStateValue, TTag, TInput, TOutput, TEmitted, TStateMeta, TStateSchema, TTransitionMeta>;
     resolveState(config: {
         value: StateValue;
         context?: TContext;
@@ -41,7 +43,7 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
         error?: unknown;
     } & (Equals<TContext, MachineContext> extends false ? {
         context: unknown;
-    } : {})): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>;
+    } : {})): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>;
     /**
      * Determines the next snapshot given the current `snapshot` and received
      * `event`. Calculates a full macrostep from all microsteps.
@@ -49,7 +51,7 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
      * @param snapshot The current snapshot
      * @param event The received event
      */
-    transition(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>, event: TEvent, actorScope: ActorScope<typeof snapshot, TEvent, AnyActorSystem, TEmitted>): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>;
+    transition(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>, event: TEvent, actorScope: ActorScope<typeof snapshot, TEvent, AnyActorSystem, TEmitted>): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>;
     /**
      * Determines the next state given the current `state` and `event`. Calculates
      * a microstep.
@@ -57,17 +59,17 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
      * @param state The current state
      * @param event The received event
      */
-    microstep(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>, event: TEvent, actorScope: AnyActorScope): Array<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>>;
-    getTransitionData(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>, event: TEvent): Array<TransitionDefinition<TContext, TEvent>>;
+    microstep(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>, event: TEvent, actorScope: AnyActorScope): Array<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>>;
+    getTransitionData(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>, event: TEvent): Array<TransitionDefinition<TContext, TEvent, TTransitionMeta>>;
     /**
      * Returns the initial `State` instance, with reference to `self` as an
      * `ActorRef`.
      */
-    getInitialSnapshot(actorScope: ActorScope<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>, TEvent, AnyActorSystem, TEmitted>, input?: TInput): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>;
-    start(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>): void;
-    getStateNodeById(stateId: string): StateNode<TContext, TEvent>;
-    get definition(): StateMachineDefinition<TContext, TEvent>;
-    toJSON(): StateMachineDefinition<TContext, TEvent>;
-    getPersistedSnapshot(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>, options?: unknown): Snapshot<unknown>;
-    restoreSnapshot(snapshot: Snapshot<unknown>, _actorScope: ActorScope<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>, TEvent, AnyActorSystem, TEmitted>): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta, TStateSchema>;
+    getInitialSnapshot(actorScope: ActorScope<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>, TEvent, AnyActorSystem, TEmitted>, input?: TInput): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>;
+    start(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>): void;
+    getStateNodeById(stateId: string): StateNode<TContext, TEvent, TStateMeta, TTransitionMeta>;
+    get definition(): StateMachineDefinition<TContext, TEvent, TStateMeta, TTransitionMeta>;
+    toJSON(): StateMachineDefinition<TContext, TEvent, TStateMeta, TTransitionMeta>;
+    getPersistedSnapshot(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>, options?: unknown): Snapshot<unknown>;
+    restoreSnapshot(snapshot: Snapshot<unknown>, _actorScope: ActorScope<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>, TEvent, AnyActorSystem, TEmitted>): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TStateMeta, TStateSchema>;
 }

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

@@ -1,11 +1,11 @@
 import type { StateMachine } from "./StateMachine.js";
-import type { DelayedTransitionDefinition, EventObject, InitialTransitionDefinition, InvokeDefinition, MachineContext, Mapper, StateNodeConfig, StateNodeDefinition, StateNodesConfig, TransitionDefinition, TransitionDefinitionMap, TODO, UnknownAction, ParameterizedObject, AnyStateMachine, ProvidedActor, NonReducibleUnknown, EventDescriptor } from "./types.js";
-interface StateNodeOptions<TContext extends MachineContext, TEvent extends EventObject> {
+import type { DelayedTransitionDefinition, EventObject, InitialTransitionDefinition, InvokeDefinition, MachineContext, Mapper, StateNodeConfig, StateNodeDefinition, StateNodesConfig, TransitionDefinition, TransitionDefinitionMap, TODO, UnknownAction, ParameterizedObject, AnyStateMachine, ProvidedActor, NonReducibleUnknown, EventDescriptor, MetaObject } from "./types.js";
+interface StateNodeOptions<TContext extends MachineContext, TEvent extends EventObject, TStateMeta extends MetaObject, TTransitionMeta extends MetaObject> {
     _key: string;
-    _parent?: StateNode<TContext, TEvent>;
+    _parent?: StateNode<TContext, TEvent, TStateMeta, TTransitionMeta>;
     _machine: AnyStateMachine;
 }
-export declare class StateNode<TContext extends MachineContext = MachineContext, TEvent extends EventObject = EventObject> {
+export declare class StateNode<TContext extends MachineContext = MachineContext, TEvent extends EventObject = EventObject, TStateMeta extends MetaObject = MetaObject, TTransitionMeta extends MetaObject = TStateMeta> {
     /** The raw config used to create the machine. */
     config: StateNodeConfig<TContext, TEvent, TODO, // actors
     TODO, // actions
@@ -14,7 +14,7 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     TODO, // tags
     TODO, // output
     TODO, // emitted
-    TODO>;
+    TStateMeta, TTransitionMeta>;
     /**
      * The relative key of the state node, which represents its location in the
      * overall state value.
@@ -35,7 +35,7 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     /** The string path from the root machine node to this node. */
     path: string[];
     /** The child state nodes. */
-    states: StateNodesConfig<TContext, TEvent>;
+    states: StateNodesConfig<TContext, TEvent, TStateMeta, TTransitionMeta>;
     /**
      * The type of history on this state node. Can be:
      *
@@ -48,7 +48,7 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     /** The action(s) to be executed upon exiting the state node. */
     exit: UnknownAction[];
     /** The parent state node. */
-    parent?: StateNode<TContext, TEvent>;
+    parent?: StateNode<TContext, TEvent, TStateMeta, TTransitionMeta>;
     /** The root machine node. */
     machine: StateMachine<TContext, TEvent, any, // children
     any, // actor
@@ -60,13 +60,13 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     any, // input
     any, // output
     any, // emitted
-    any, // meta
-    any>;
+    TStateMeta, any, // state schema
+    TTransitionMeta>;
     /**
      * The meta data associated with this state node, which will be returned in
      * State instances.
      */
-    meta?: any;
+    meta?: TStateMeta;
     /**
      * The output data sent with the "xstate.done.state._id_" event if this is a
      * final state node.
@@ -79,8 +79,8 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     order: number;
     description?: string;
     tags: string[];
-    transitions: Map<string, TransitionDefinition<TContext, TEvent>[]>;
-    always?: Array<TransitionDefinition<TContext, TEvent>>;
+    transitions: Map<string, TransitionDefinition<TContext, TEvent, TTransitionMeta>[]>;
+    always?: Array<TransitionDefinition<TContext, TEvent, TTransitionMeta>>;
     constructor(
     /** The raw config used to create the machine. */
     config: StateNodeConfig<TContext, TEvent, TODO, // actors
@@ -90,16 +90,16 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     TODO, // tags
     TODO, // output
     TODO, // emitted
-    TODO>, options: StateNodeOptions<TContext, TEvent>);
+    TStateMeta, TTransitionMeta>, options: StateNodeOptions<TContext, TEvent, TStateMeta, TTransitionMeta>);
     /** The well-structured state node definition. */
-    get definition(): StateNodeDefinition<TContext, TEvent>;
+    get definition(): StateNodeDefinition<TContext, TEvent, TStateMeta, TTransitionMeta>;
     /** The logic invoked as actors by this state node. */
     get invoke(): Array<InvokeDefinition<TContext, TEvent, ProvidedActor, ParameterizedObject, ParameterizedObject, string, TODO, // TEmitted
-    TODO>>;
+    TTransitionMeta>>;
     /** The mapping of events to transitions. */
-    get on(): TransitionDefinitionMap<TContext, TEvent>;
-    get after(): Array<DelayedTransitionDefinition<TContext, TEvent>>;
-    get initial(): InitialTransitionDefinition<TContext, TEvent>;
+    get on(): TransitionDefinitionMap<TContext, TEvent, TTransitionMeta>;
+    get after(): Array<DelayedTransitionDefinition<TContext, TEvent, TTransitionMeta>>;
+    get initial(): InitialTransitionDefinition<TContext, TEvent, TTransitionMeta>;
     /** All the event types accepted by this state node and its descendants. */
     get events(): Array<EventDescriptor<TEvent>>;
     /**

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

@@ -43,8 +43,8 @@ import { ResolvedStateMachineTypes, TODO, AnyActorRef, EventObject, AnyEventObje
  *   to provide machine implementations instead.
  */
 export declare function createMachine<TContext extends MachineContext, TEvent extends AnyEventObject, // TODO: consider using a stricter `EventObject` here
-TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string, TTag extends string, TInput, TOutput extends NonReducibleUnknown, TEmitted extends EventObject, TMeta extends MetaObject, _ = any>(config: {
-    types?: MachineTypes<TContext, TEvent, TActor, TAction, TGuard, TDelay, TTag, TInput, TOutput, TEmitted, TMeta>;
+TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string, TTag extends string, TInput, TOutput extends NonReducibleUnknown, TEmitted extends EventObject, TStateMeta extends MetaObject = any, TTransitionMeta extends MetaObject = TStateMeta, _ = any>(config: {
+    types?: MachineTypes<TContext, TEvent, TActor, TAction, TGuard, TDelay, TTag, TInput, TOutput, TEmitted, TStateMeta, TTransitionMeta>;
     schemas?: unknown;
-} & MachineConfig<TContext, TEvent, TActor, TAction, TGuard, TDelay, TTag, TInput, TOutput, TEmitted, TMeta>, implementations?: InternalMachineImplementations<ResolvedStateMachineTypes<TContext, TEvent, TActor, TAction, TGuard, TDelay, TTag, TEmitted>>): StateMachine<TContext, TEvent, Cast<ToChildren<TActor>, Record<string, AnyActorRef | undefined>>, TActor, TAction, TGuard, TDelay, StateValue, TTag & string, TInput, TOutput, TEmitted, TMeta, // TMeta
-TODO>;
+} & MachineConfig<TContext, TEvent, TActor, TAction, TGuard, TDelay, TTag, TInput, TOutput, TEmitted, TStateMeta, TTransitionMeta>, implementations?: InternalMachineImplementations<ResolvedStateMachineTypes<TContext, TEvent, TActor, TAction, TGuard, TDelay, TTag, TEmitted>>): StateMachine<TContext, TEvent, Cast<ToChildren<TActor>, Record<string, AnyActorRef | undefined>>, TActor, TAction, TGuard, TDelay, StateValue, TTag & string, TInput, TOutput, TEmitted, TStateMeta, TODO, // TStateSchema
+TTransitionMeta>;

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

@@ -41,7 +41,7 @@ type ExtractConfigChildren<TConfig> = TConfig extends {
     invoke: infer TInvoke;
 } ? ExtractInvokeChildren<TInvoke> : {};
 type MergeChildrenMap<TExplicit extends Record<string, string>, TInferred extends Record<string, string>> = IsNever<keyof TExplicit> extends true ? TInferred : TExplicit;
-export type SetupReturn<TContext extends MachineContext, TEvent extends AnyEventObject, TActors extends Record<string, UnknownActorLogic>, TChildrenMap extends Record<string, string>, TActions extends Record<string, ParameterizedObject['params'] | undefined>, TGuards extends Record<string, ParameterizedObject['params'] | undefined>, TDelay extends string, TTag extends string, TInput, TOutput extends NonReducibleUnknown, TEmitted extends EventObject, TMeta extends MetaObject> = {
+export type SetupReturn<TContext extends MachineContext, TEvent extends AnyEventObject, TActors extends Record<string, UnknownActorLogic>, TChildrenMap extends Record<string, string>, TActions extends Record<string, ParameterizedObject['params'] | undefined>, TGuards extends Record<string, ParameterizedObject['params'] | undefined>, TDelay extends string, TTag extends string, TInput, TOutput extends NonReducibleUnknown, TEmitted extends EventObject, TStateMeta extends MetaObject, TTransitionMeta extends MetaObject = TStateMeta> = {
     extend: <TExtendActions extends Record<string, ParameterizedObject['params'] | undefined> = {}, TExtendGuards extends Record<string, ParameterizedObject['params'] | undefined> = {}, TExtendDelays extends string = never>({ actions, guards, delays }: {
         actions?: {
             [K in keyof TExtendActions]: ActionFunction<TContext, TEvent, TEvent, TExtendActions[K], ToProvidedActor<TChildrenMap, TActors>, ToParameterizedObject<TActions & TExtendActions>, ToParameterizedObject<TGuards & TExtendGuards>, TDelay | TExtendDelays, TEmitted>;
@@ -52,7 +52,7 @@ export type SetupReturn<TContext extends MachineContext, TEvent extends AnyEvent
         delays?: {
             [K in TExtendDelays]: DelayConfig<TContext, TEvent, ToParameterizedObject<TActions & TExtendActions>['params'], TEvent>;
         };
-    }) => SetupReturn<TContext, TEvent, TActors, TChildrenMap, TActions & TExtendActions, TGuards & TExtendGuards, TDelay | TExtendDelays, TTag, TInput, TOutput, TEmitted, TMeta>;
+    }) => SetupReturn<TContext, TEvent, TActors, TChildrenMap, TActions & TExtendActions, TGuards & TExtendGuards, TDelay | TExtendDelays, TTag, TInput, TOutput, TEmitted, TStateMeta, TTransitionMeta>;
     /**
      * Creates a state config that is strongly typed. This state config can be
      * used to create a machine.
@@ -82,7 +82,7 @@ export type SetupReturn<TContext extends MachineContext, TEvent extends AnyEvent
      * });
      * ```
      */
-    createStateConfig: <TStateConfig extends StateNodeConfig<TContext, TEvent, ToProvidedActor<TChildrenMap, TActors>, ToParameterizedObject<TActions>, ToParameterizedObject<TGuards>, TDelay, TTag, unknown, TEmitted, TMeta>>(config: TStateConfig) => TStateConfig;
+    createStateConfig: <TStateConfig extends StateNodeConfig<TContext, TEvent, ToProvidedActor<TChildrenMap, TActors>, ToParameterizedObject<TActions>, ToParameterizedObject<TGuards>, TDelay, TTag, unknown, TEmitted, TStateMeta, TTransitionMeta>>(config: TStateConfig) => TStateConfig;
     /**
      * Creates a type-safe action.
      *
@@ -108,10 +108,10 @@ export type SetupReturn<TContext extends MachineContext, TEvent extends AnyEvent
      * ```
      */
     createAction: (action: ActionFunction<TContext, TEvent, TEvent, unknown, ToProvidedActor<TChildrenMap, TActors>, ToParameterizedObject<TActions>, ToParameterizedObject<TGuards>, TDelay, TEmitted>) => typeof action;
-    createMachine: <const TConfig extends MachineConfig<TContext, TEvent, ToProvidedActor<TChildrenMap, TActors>, ToParameterizedObject<TActions>, ToParameterizedObject<TGuards>, TDelay, TTag, TInput, TOutput, TEmitted, TMeta>, TResolvedChildren extends Record<string, string> = MergeChildrenMap<TChildrenMap, Cast<ExtractConfigChildren<TConfig>, Record<string, string>>>>(config: TConfig) => StateMachine<TContext, TEvent | ([RoutableStateId<TConfig>] extends [never] ? never : {
+    createMachine: <const TConfig extends MachineConfig<TContext, TEvent, ToProvidedActor<TChildrenMap, TActors>, ToParameterizedObject<TActions>, ToParameterizedObject<TGuards>, TDelay, TTag, TInput, TOutput, TEmitted, TStateMeta, TTransitionMeta>, TResolvedChildren extends Record<string, string> = MergeChildrenMap<TChildrenMap, Cast<ExtractConfigChildren<TConfig>, Record<string, string>>>>(config: TConfig) => StateMachine<TContext, TEvent | ([RoutableStateId<TConfig>] extends [never] ? never : {
         type: 'xstate.route';
         to: RoutableStateId<TConfig>;
-    }), Cast<ToChildren<ToProvidedActor<TResolvedChildren, TActors>>, Record<string, AnyActorRef | undefined>>, ToProvidedActor<TResolvedChildren, TActors>, ToParameterizedObject<TActions>, ToParameterizedObject<TGuards>, TDelay, ToStateValue<TConfig>, TTag, TInput, TOutput, TEmitted, TMeta, ToStateSchema<TConfig>>;
+    }), Cast<ToChildren<ToProvidedActor<TResolvedChildren, TActors>>, Record<string, AnyActorRef | undefined>>, ToProvidedActor<TResolvedChildren, TActors>, ToParameterizedObject<TActions>, ToParameterizedObject<TGuards>, TDelay, ToStateValue<TConfig>, TTag, TInput, TOutput, TEmitted, TStateMeta, ToStateSchema<TConfig>, TTransitionMeta>;
     assign: typeof assign<TContext, TEvent, undefined, TEvent, ToProvidedActor<TChildrenMap, TActors>>;
     sendTo: <TTargetActor extends AnyActorRef>(...args: Parameters<typeof sendTo<TContext, TEvent, undefined, TTargetActor, TEvent, TDelay, TDelay>>) => ReturnType<typeof sendTo<TContext, TEvent, undefined, TTargetActor, TEvent, TDelay, TDelay>>;
     raise: typeof raise<TContext, TEvent, TEvent, undefined, TDelay, TDelay>;
@@ -123,9 +123,9 @@ export type SetupReturn<TContext extends MachineContext, TEvent extends AnyEvent
     spawnChild: typeof spawnChild<TContext, TEvent, undefined, TEvent, ToProvidedActor<TChildrenMap, TActors>>;
 };
 export declare function setup<TContext extends MachineContext, TEvent extends AnyEventObject, // TODO: consider using a stricter `EventObject` here
-TActors extends Record<string, UnknownActorLogic> = {}, TChildrenMap extends Record<string, string> = {}, TActions extends Record<string, ParameterizedObject['params'] | undefined> = {}, TGuards extends Record<string, ParameterizedObject['params'] | undefined> = {}, TDelay extends string = never, TTag extends string = string, TInput = NonReducibleUnknown, TOutput extends NonReducibleUnknown = NonReducibleUnknown, TEmitted extends EventObject = EventObject, TMeta extends MetaObject = MetaObject>({ schemas, actors, actions, guards, delays }: {
+TActors extends Record<string, UnknownActorLogic> = {}, TChildrenMap extends Record<string, string> = {}, TActions extends Record<string, ParameterizedObject['params'] | undefined> = {}, TGuards extends Record<string, ParameterizedObject['params'] | undefined> = {}, TDelay extends string = never, TTag extends string = string, TInput = NonReducibleUnknown, TOutput extends NonReducibleUnknown = NonReducibleUnknown, TEmitted extends EventObject = EventObject, TStateMeta extends MetaObject = MetaObject, TTransitionMeta extends MetaObject = TStateMeta>({ schemas, actors, actions, guards, delays }: {
     schemas?: unknown;
-    types?: SetupTypes<TContext, TEvent, TChildrenMap, TTag, TInput, TOutput, TEmitted, TMeta>;
+    types?: SetupTypes<TContext, TEvent, TChildrenMap, TTag, TInput, TOutput, TEmitted, TStateMeta, TTransitionMeta>;
     actors?: {
         [K in keyof TActors | Values<TChildrenMap>]: K extends keyof TActors ? TActors[K] : never;
     };
@@ -140,5 +140,5 @@ TActors extends Record<string, UnknownActorLogic> = {}, TChildrenMap extends Rec
     };
 } & {
     [K in RequiredSetupKeys<TChildrenMap>]: unknown;
-}): SetupReturn<TContext, TEvent, TActors, TChildrenMap, TActions, TGuards, TDelay, TTag, TInput, TOutput, TEmitted, TMeta>;
+}): SetupReturn<TContext, TEvent, TActors, TChildrenMap, TActions, TGuards, TDelay, TTag, TInput, TOutput, TEmitted, TStateMeta, TTransitionMeta>;
 export {};