xstate 5.0.0-beta.25 → 5.0.0-beta.27

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

@@ -1,4 +1,5 @@
-import { MachineConfig, EventObject, MachineContext, InternalMachineImplementations, ParameterizedObject, ProvidedActor, AnyEventObject, NonReducibleUnknown, Prop } from "./types.js";
-import { TypegenConstraint, TypegenDisabled, ResolveTypegenMeta } from "./typegenTypes.js";
+import { MachineConfig, MachineContext, InternalMachineImplementations, ParameterizedObject, ProvidedActor, NonReducibleUnknown, Prop, AnyEventObject } from "./types.js";
+import { TypegenConstraint, ResolveTypegenMeta } from "./typegenTypes.js";
 import { StateMachine } from "./StateMachine.js";
-export declare function createMachine<TContext extends MachineContext, TEvent extends EventObject = AnyEventObject, TActor extends ProvidedActor = ProvidedActor, TAction extends ParameterizedObject = ParameterizedObject, TGuard extends ParameterizedObject = ParameterizedObject, TDelay extends string = string, TTag extends string = string, TInput = any, TOutput = NonReducibleUnknown, TTypesMeta extends TypegenConstraint = TypegenDisabled>(config: MachineConfig<TContext, TEvent, TActor, TAction, TGuard, TDelay, TTag, TInput, TOutput, TTypesMeta>, implementations?: InternalMachineImplementations<TContext, TEvent, TActor, TAction, TDelay, ResolveTypegenMeta<TTypesMeta, TEvent, TActor, TAction, TGuard, TDelay, TTag>>): StateMachine<TContext, TEvent, TActor, TAction, TGuard, TDelay, Prop<ResolveTypegenMeta<TTypesMeta, TEvent, TActor, TAction, TGuard, TDelay, TTag>['resolved'], 'tags'> & string, TInput, TOutput, ResolveTypegenMeta<TTypesMeta, TEvent, TActor, TAction, TGuard, TDelay, TTag>>;
+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, TTypesMeta extends TypegenConstraint>(config: MachineConfig<TContext, TEvent, TActor, TAction, TGuard, TDelay, TTag, TInput, TOutput, TTypesMeta>, implementations?: InternalMachineImplementations<TContext, TEvent, TActor, TAction, TDelay, ResolveTypegenMeta<TTypesMeta, TEvent, TActor, TAction, TGuard, TDelay, TTag>>): StateMachine<TContext, TEvent, TActor, TAction, TGuard, TDelay, Prop<ResolveTypegenMeta<TTypesMeta, TEvent, TActor, TAction, TGuard, TDelay, TTag>['resolved'], 'tags'> & string, TInput, TOutput, ResolveTypegenMeta<TTypesMeta, TEvent, TActor, TAction, TGuard, TDelay, TTag>>;

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

@@ -1,6 +1,6 @@
 import type { StateNode } from "./StateNode.js";
 import { TypegenDisabled, TypegenEnabled } from "./typegenTypes.js";
-import type { ProvidedActor, ActorRefFrom, AnyState, AnyStateMachine, EventObject, HistoryValue, MachineContext, PersistedMachineState, Prop, StateConfig, StateValue, TODO, AnyActorRef, Compute } from "./types.js";
+import type { ProvidedActor, ActorRefFrom, AnyState, AnyStateMachine, EventObject, HistoryValue, MachineContext, PersistedMachineState, Prop, StateConfig, StateValue, TODO, AnyActorRef, Compute, EventDescriptor } from "./types.js";
 type ComputeConcreteChildren<TActor extends ProvidedActor> = {
     [A in TActor as 'id' extends keyof A ? A['id'] & string : never]?: ActorRefFrom<A['logic']>;
 };
@@ -58,7 +58,7 @@ export declare class State<TContext extends MachineContext, TEvent extends Event
      * @param delimiter The character(s) that separate each subpath in the string state node path.
      */
     toStrings(stateValue?: StateValue): string[];
-    toJSON(): Omit<this, "meta" | "configuration" | "tags" | "machine" | "toStrings" | "toJSON" | "matches" | "hasTag" | "can" | "nextEvents"> & {
+    toJSON(): Omit<this, "toJSON" | "meta" | "tags" | "configuration" | "machine" | "toStrings" | "matches" | "hasTag" | "can" | "nextEvents"> & {
         tags: string[];
         meta: Record<string, any>;
     };
@@ -84,7 +84,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<string>;
+    get nextEvents(): Array<EventDescriptor<TEvent>>;
     get meta(): Record<string, any>;
 }
 export declare function cloneState<TState extends AnyState>(state: TState, config?: Partial<StateConfig<any, any>>): TState;

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

@@ -114,15 +114,6 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     get after(): Array<DelayedTransitionDefinition<TContext, TEvent>>;
     get initial(): InitialTransitionDefinition<TContext, TEvent>;
     next(state: State<TContext, TEvent, TODO, TODO, 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.
-     */
-    get target(): string | undefined;
-    /**
-     * All the state node IDs of this state node and its descendant state nodes.
-     */
-    get stateIds(): string[];
     /**
      * All the event types accepted by this state node and its descendants.
      */

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

@@ -1,16 +1,11 @@
-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[];
+import type { ActionArgs, AnyEventObject, Assigner, EventObject, LowInfer, MachineContext, ParameterizedObject, PropertyAssigner } from "../types.js";
+export interface AssignAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined> {
+    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
+}
 /**
  * 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, 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, TExpressionAction> | PropertyAssigner<LowInfer<TContext>, TExpressionEvent, TExpressionAction>;
-    resolve: typeof resolve;
-};
-export {};
+export declare function assign<TContext extends MachineContext, TExpressionEvent extends AnyEventObject = AnyEventObject, // TODO: consider using a stricter `EventObject` here
+TExpressionAction extends ParameterizedObject | undefined = ParameterizedObject | undefined>(assignment: Assigner<LowInfer<TContext>, TExpressionEvent, TExpressionAction> | PropertyAssigner<LowInfer<TContext>, TExpressionEvent, TExpressionAction>): AssignAction<TContext, TExpressionEvent, TExpressionAction>;

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

@@ -1,9 +1,8 @@
-import { AnyActorContext, AnyState, EventObject, MachineContext, ActionArgs, ParameterizedObject } from "../types.js";
+import { 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;
+export interface CancelAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined> {
+    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
+}
 /**
  * Cancels an in-flight `send(...)` action. A canceled sent action will not
  * be executed, nor will its event be sent, unless it has already been sent
@@ -11,11 +10,5 @@ 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, TExpressionAction extends ParameterizedObject | undefined>(sendId: ResolvableSendId<TContext, TExpressionEvent, TExpressionAction>): {
-    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
-    type: string;
-    sendId: ResolvableSendId<TContext, TExpressionEvent, TExpressionAction>;
-    resolve: typeof resolve;
-    execute: typeof execute;
-};
+export declare function cancel<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined>(sendId: ResolvableSendId<TContext, TExpressionEvent, TExpressionAction>): CancelAction<TContext, TExpressionEvent, TExpressionAction>;
 export {};

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

@@ -1,7 +1,8 @@
 import { EventObject, ChooseBranch, MachineContext, ActionArgs, ParameterizedObject, NoInfer } from "../types.js";
-export declare function choose<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string>(branches: ReadonlyArray<ChooseBranch<TContext, TExpressionEvent, TEvent, NoInfer<TAction>, NoInfer<TGuard>, TDelay>>): {
-    (args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
-    _out_TAction?: TAction | undefined;
-    _out_TGuard?: TGuard | undefined;
-    _out_TDelay?: TDelay | undefined;
-};
+export interface ChooseAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string> {
+    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
+    _out_TAction?: TAction;
+    _out_TGuard?: TGuard;
+    _out_TDelay?: TDelay;
+}
+export declare function choose<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string>(branches: ReadonlyArray<ChooseBranch<TContext, TExpressionEvent, TEvent, NoInfer<TAction>, NoInfer<TGuard>, TDelay>>): ChooseAction<TContext, TExpressionEvent, TExpressionAction, TAction, TGuard, TDelay>;

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

@@ -1,16 +1,8 @@
-import { ActionArgs, AnyActorContext, AnyState, EventObject, LogExpr, MachineContext, ParameterizedObject } from "../types.js";
+import { ActionArgs, 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;
-    label: string | undefined;
-})[];
-declare function execute({ logger }: AnyActorContext, { value, label }: {
-    value: unknown;
-    label: string | undefined;
-}): void;
+export interface LogAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined> {
+    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
+}
 /**
  *
  * @param expr The expression function to evaluate which will be logged.
@@ -19,12 +11,5 @@ 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, TExpressionAction extends ParameterizedObject | undefined>(value?: ResolvableLogValue<TContext, TExpressionEvent, TExpressionAction>, label?: string): {
-    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
-    type: string;
-    value: ResolvableLogValue<TContext, TExpressionEvent, TExpressionAction>;
-    label: string | undefined;
-    resolve: typeof resolve;
-    execute: typeof execute;
-};
+export declare function log<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined>(value?: ResolvableLogValue<TContext, TExpressionEvent, TExpressionAction>, label?: string): LogAction<TContext, TExpressionEvent, TExpressionAction>;
 export {};

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

@@ -1,11 +1,12 @@
 import { Actions, ActionArgs, EventObject, MachineContext, ParameterizedObject, NoInfer } 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, TGuard extends ParameterizedObject = ParameterizedObject, TDelay extends string = string>(getActions: ({ context, event }: {
+export interface PureAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TEvent extends EventObject, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string> {
+    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
+    _out_TEvent?: TEvent;
+    _out_TAction?: TAction;
+    _out_TGuard?: TGuard;
+    _out_TDelay?: TDelay;
+}
+export declare function pure<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined = ParameterizedObject | undefined, TEvent extends EventObject = TExpressionEvent, TAction extends ParameterizedObject = ParameterizedObject, TGuard extends ParameterizedObject = ParameterizedObject, TDelay extends string = string>(getActions: ({ context, event }: {
     context: TContext;
     event: TExpressionEvent;
-}) => Actions<TContext, TExpressionEvent, NoInfer<TEvent>, undefined, NoInfer<TAction>, NoInfer<TGuard>, TDelay> | undefined): {
-    (args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
-    _out_TEvent?: TEvent | undefined;
-    _out_TAction?: TAction | undefined;
-    _out_TGuard?: TGuard | undefined;
-    _out_TDelay?: TDelay | undefined;
-};
+}) => Actions<TContext, TExpressionEvent, NoInfer<TEvent>, undefined, NoInfer<TAction>, NoInfer<TGuard>, TDelay> | undefined): PureAction<TContext, TExpressionEvent, TExpressionAction, TEvent, TAction, TGuard, TDelay>;

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

@@ -1,12 +1,13 @@
 import { ActionArgs, EventObject, MachineContext, NoInfer, RaiseActionOptions, SendExpr, ParameterizedObject } from "../types.js";
+export interface RaiseAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TEvent extends EventObject, TDelay extends string> {
+    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
+    _out_TEvent?: TEvent;
+    _out_TDelay?: TDelay;
+}
 /**
  * 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, TExpressionAction extends ParameterizedObject | undefined = ParameterizedObject | undefined, TDelay extends string = string>(eventOrExpr: NoInfer<TEvent> | SendExpr<TContext, TExpressionEvent, TExpressionAction, NoInfer<TEvent>>, options?: RaiseActionOptions<TContext, TExpressionEvent, TExpressionAction, NoInfer<TDelay>>): {
-    (args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
-    _out_TEvent?: TEvent | undefined;
-    _out_TDelay?: TDelay | undefined;
-};
+export declare function raise<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent, TExpressionAction extends ParameterizedObject | undefined = ParameterizedObject | undefined, TDelay extends string = string>(eventOrExpr: NoInfer<TEvent> | SendExpr<TContext, TExpressionEvent, TExpressionAction, NoInfer<TEvent>>, options?: RaiseActionOptions<TContext, TExpressionEvent, TExpressionAction, NoInfer<TDelay>>): RaiseAction<TContext, TExpressionEvent, TExpressionAction, TEvent, TDelay>;

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

@@ -1,4 +1,8 @@
 import { ActionArgs, ActorRef, AnyActorRef, AnyEventObject, Cast, EventFrom, EventObject, InferEvent, MachineContext, SendExpr, SendToActionOptions, SendToActionParams, UnifiedArg, ParameterizedObject, NoInfer } from "../types.js";
+export interface SendToAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TDelay extends string> {
+    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
+    _out_TDelay?: TDelay;
+}
 /**
  * Sends an event to an actor.
  *
@@ -8,20 +12,14 @@ import { ActionArgs, ActorRef, AnyActorRef, AnyEventObject, Cast, EventFrom, Eve
  *  - `id` - The unique send event identifier (used with `cancel()`).
  *  - `delay` - The number of milliseconds to delay the sending of the event.
  */
-export declare function sendTo<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TActor extends AnyActorRef, TDelay extends string>(to: TActor | string | ((args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>) => TActor | string), eventOrExpr: EventFrom<TActor> | SendExpr<TContext, TExpressionEvent, TExpressionAction, InferEvent<Cast<EventFrom<TActor>, EventObject>>>, options?: SendToActionOptions<TContext, TExpressionEvent, TExpressionAction, NoInfer<TDelay>>): {
-    (args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
-    _out_TDelay?: TDelay | undefined;
-};
+export declare function sendTo<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TActor extends AnyActorRef, TDelay extends string>(to: TActor | string | ((args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>) => TActor | string), eventOrExpr: EventFrom<TActor> | SendExpr<TContext, TExpressionEvent, TExpressionAction, InferEvent<Cast<EventFrom<TActor>, EventObject>>>, options?: SendToActionOptions<TContext, TExpressionEvent, TExpressionAction, NoInfer<TDelay>>): SendToAction<TContext, TExpressionEvent, TExpressionAction, TDelay>;
 /**
  * Sends an event to this machine's parent.
  *
  * @param event The event to send to the parent machine.
  * @param options Options to pass into the send event.
  */
-export declare function sendParent<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TSentEvent extends EventObject = AnyEventObject, TDelay extends string = string>(event: TSentEvent | SendExpr<TContext, TExpressionEvent, TExpressionAction, TSentEvent>, options?: SendToActionOptions<TContext, TExpressionEvent, TExpressionAction, TDelay>): {
-    (args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
-    _out_TDelay?: TDelay | undefined;
-};
+export declare function sendParent<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TSentEvent extends EventObject = AnyEventObject, TDelay extends string = string>(event: TSentEvent | SendExpr<TContext, TExpressionEvent, TExpressionAction, TSentEvent>, options?: SendToActionOptions<TContext, TExpressionEvent, TExpressionAction, TDelay>): SendToAction<TContext, TExpressionEvent, TExpressionAction, TDelay>;
 type Target<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined> = string | ActorRef<any, any> | ((args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>) => string | ActorRef<any, any>);
 /**
  * Forwards (sends) an event to a specified service.
@@ -37,8 +35,5 @@ export declare function forwardTo<TContext extends MachineContext, TExpressionEv
  * takes in the `context`, `event`, and `meta`, and returns the error data to send.
  * @param options Options to pass into the send action creator.
  */
-export declare function escalate<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TErrorData = any>(errorData: TErrorData | ((args: UnifiedArg<TContext, TExpressionEvent>) => TErrorData), options?: SendToActionParams<TContext, TExpressionEvent, TExpressionAction, EventObject, string>): {
-    (args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
-    _out_TDelay?: string | undefined;
-};
+export declare function escalate<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TErrorData = any>(errorData: TErrorData | ((args: UnifiedArg<TContext, TExpressionEvent>) => TErrorData), options?: SendToActionParams<TContext, TExpressionEvent, TExpressionAction, EventObject, string>): SendToAction<TContext, TExpressionEvent, TExpressionAction, string>;
 export {};

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

@@ -1,19 +1,12 @@
-import { ActionArgs, ActorRef, AnyActorContext, AnyState, EventObject, MachineContext, ParameterizedObject } from "../types.js";
+import { ActionArgs, ActorRef, EventObject, MachineContext, ParameterizedObject } from "../types.js";
 type ResolvableActorRef<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined> = string | ActorRef<any> | ((args: ActionArgs<TContext, TExpressionEvent, TExpressionAction>) => ActorRef<any> | string);
-declare function resolve(_: AnyActorContext, state: AnyState, args: ActionArgs<any, any, any>, { actorRef }: {
-    actorRef: ResolvableActorRef<any, any, any>;
-}): (AnyState | ActorRef<any, any>)[];
-declare function execute(actorContext: AnyActorContext, actorRef: ActorRef<any, any> | undefined): void;
+export interface StopAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined> {
+    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
+}
 /**
  * Stops an actor.
  *
  * @param actorRef The actor to stop.
  */
-export declare function stop<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined>(actorRef: ResolvableActorRef<TContext, TExpressionEvent, TExpressionAction>): {
-    (_: ActionArgs<TContext, TExpressionEvent, TExpressionAction>): void;
-    type: string;
-    actorRef: ResolvableActorRef<TContext, TExpressionEvent, TExpressionAction>;
-    resolve: typeof resolve;
-    execute: typeof execute;
-};
+export declare function stop<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined>(actorRef: ResolvableActorRef<TContext, TExpressionEvent, TExpressionAction>): StopAction<TContext, TExpressionEvent, TExpressionAction>;
 export {};

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

@@ -25,6 +25,7 @@ export declare function after(delayRef: number | string, id?: string): string;
  * @param output The data to pass into the event
  */
 export declare function done(id: string, output?: any): DoneEventObject;
+export declare function doneInvokeEventType<T extends string = string>(invokeId: T): `done.invoke.${T}`;
 /**
  * Returns an event that represents that an invoked service has terminated.
  *
@@ -35,6 +36,7 @@ export declare function done(id: string, output?: any): DoneEventObject;
  * @param output The data to pass into the event
  */
 export declare function doneInvoke(invokeId: string, output?: any): DoneEvent;
+export declare function errorEventType<T extends string = string>(id: T): `error.platform.${T}`;
 export declare function error(id: string, data?: any): ErrorPlatformEvent & string;
 export declare function createInitEvent(input: unknown): {
     readonly type: "xstate.init";

package/dist/declarations/src/actors/index.d.ts

@@ -3,26 +3,6 @@ export { fromCallback, type CallbackActorLogic } from "./callback.js";
 export { fromEventObservable, fromObservable } from "./observable.js";
 export { fromPromise, type PromiseActorLogic } from "./promise.js";
 export { fromTransition } from "./transition.js";
-export declare const startSignalType = "xstate.init";
-export declare const stopSignalType = "xstate.stop";
-export declare const startSignal: StartSignal;
-export declare const stopSignal: StopSignal;
-export interface StartSignal {
-    type: 'xstate.init';
-}
-export interface StopSignal {
-    type: 'xstate.stop';
-}
-export type LifecycleSignal = StartSignal | StopSignal;
-export type LifecycleSignalType = typeof startSignalType | typeof stopSignalType;
-/**
- * An object that expresses the actor logic in reaction to received events,
- * as well as an optionally emitted stream of values.
- *
- * @template TReceived The received event
- * @template TSnapshot The emitted value
- */
-export declare function isSignal(event: EventObject): event is LifecycleSignal;
 export declare function isActorRef(item: any): item is ActorRef<any>;
 export declare function toActorRef<TEvent extends EventObject, TSnapshot = any, TActorRefLike extends BaseActorRef<TEvent> = BaseActorRef<TEvent>>(actorRefLike: TActorRefLike): ActorRef<TEvent, TSnapshot> & Omit<TActorRefLike, keyof ActorRef<any, any>>;
 export declare function createEmptyActor(): ActorRef<AnyEventObject, undefined>;

package/dist/declarations/src/actors/promise.d.ts

@@ -1,4 +1,5 @@
 import { ActorLogic, ActorRefFrom, ActorSystem, AnyActorSystem } from "../types.js";
+import { XSTATE_STOP } from "../constants.js";
 export interface PromiseInternalState<T, TInput = unknown> {
     status: 'active' | 'error' | 'done' | 'canceled';
     data: T | undefined;
@@ -13,7 +14,7 @@ export type PromiseActorEvents<T> = {
     type: typeof rejectEventType;
     data: any;
 } | {
-    type: 'xstate.stop';
+    type: typeof XSTATE_STOP;
 };
 export type PromiseActorLogic<T, TInput = unknown> = ActorLogic<{
     type: string;

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

@@ -0,0 +1,7 @@
+export declare const STATE_DELIMITER = ".";
+export declare const TARGETLESS_KEY = "";
+export declare const NULL_EVENT = "";
+export declare const STATE_IDENTIFIER = "#";
+export declare const WILDCARD = "*";
+export declare const XSTATE_INIT = "xstate.init";
+export declare const XSTATE_STOP = "xstate.stop";

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

@@ -1,4 +1,4 @@
-import type { EventObject, StateValue, MachineContext, ParameterizedObject, AnyState, NoRequiredParams, NoInfer } from "./types.js";
+import type { EventObject, StateValue, MachineContext, ParameterizedObject, AnyState, NoRequiredParams, NoInfer, WithDynamicParams } from "./types.js";
 export type GuardPredicate<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionGuard extends ParameterizedObject | undefined, TGuard extends ParameterizedObject> = {
     (args: GuardArgs<TContext, TExpressionEvent, TExpressionGuard>): boolean;
     _out_TGuard?: TGuard;
@@ -8,7 +8,7 @@ export interface GuardArgs<TContext extends MachineContext, TExpressionEvent ext
     event: TExpressionEvent;
     guard: TExpressionGuard;
 }
-export type Guard<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionGuard extends ParameterizedObject | undefined, TGuard extends ParameterizedObject> = NoRequiredParams<TGuard> | TGuard | GuardPredicate<TContext, TExpressionEvent, TExpressionGuard, TGuard>;
+export type Guard<TContext extends MachineContext, TExpressionEvent extends EventObject, TExpressionGuard extends ParameterizedObject | undefined, TGuard extends ParameterizedObject> = NoRequiredParams<TGuard> | WithDynamicParams<TContext, TExpressionEvent, TGuard> | GuardPredicate<TContext, TExpressionEvent, TExpressionGuard, TGuard>;
 export type UnknownGuard = UnknownReferencedGuard | UnknownInlineGuard;
 type UnknownReferencedGuard = Guard<MachineContext, EventObject, ParameterizedObject, ParameterizedObject>;
 type UnknownInlineGuard = Guard<MachineContext, EventObject, undefined, ParameterizedObject>;

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

@@ -1,27 +1,27 @@
-import { doneInvoke, forwardTo, sendParent, sendTo } from "./actions.js";
-export { assign } from "./actions/assign.js";
-export { cancel } from "./actions/cancel.js";
-export { choose } from "./actions/choose.js";
-export { log } from "./actions/log.js";
-export { pure } from "./actions/pure.js";
-export { raise } from "./actions/raise.js";
-export { stop } from "./actions/stop.js";
-import { createActor, interpret, Actor, ActorStatus, InterpreterStatus, Interpreter } from "./interpreter.js";
+import { doneInvoke } from "./actions.js";
+import { Actor, ActorStatus, createActor, interpret, Interpreter, InterpreterStatus } from "./interpreter.js";
 import { createMachine } from "./Machine.js";
 import { mapState } from "./mapState.js";
 import { State } from "./State.js";
 import { StateNode } from "./StateNode.js";
+export { assign, type AssignAction } from "./actions/assign.js";
+export { cancel, type CancelAction } from "./actions/cancel.js";
+export { choose, type ChooseAction } from "./actions/choose.js";
+export { log, type LogAction } from "./actions/log.js";
+export { pure, type PureAction } from "./actions/pure.js";
+export { raise, type RaiseAction } from "./actions/raise.js";
+export { forwardTo, sendParent, sendTo, type SendToAction } from "./actions/send.js";
+export { stop, type StopAction } from "./actions/stop.js";
 export { SimulatedClock } from "./SimulatedClock.js";
 export { StateMachine } from "./StateMachine.js";
 export { getStateNodes } from "./stateUtils.js";
-export { waitFor } from "./waitFor.js";
 export * from "./typegenTypes.js";
 export * from "./types.js";
+export { waitFor } from "./waitFor.js";
+export { fromCallback, fromEventObservable, fromObservable, fromPromise, fromTransition } from "./actors/index.js";
 export { matchesState, pathToStateValue, toObserver } from "./utils.js";
-export { StateNode, State, mapState, sendTo, sendParent, forwardTo, createActor, interpret, // deprecated
-Actor, type Interpreter, ActorStatus, InterpreterStatus, doneInvoke, createMachine };
-export { fromPromise, fromObservable, fromCallback, fromEventObservable, fromTransition } from "./actors/index.js";
-export { stateIn, not, and, or } from "./guards.js";
+export { Actor, ActorStatus, createActor, createMachine, doneInvoke, interpret, InterpreterStatus, mapState, State, StateNode, type Interpreter };
+export { and, not, or, stateIn } from "./guards.js";
 declare global {
     interface SymbolConstructor {
         readonly observable: symbol;

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

@@ -143,6 +143,6 @@ export interface ResolveTypegenMeta<TTypesMeta extends TypegenConstraint, TEvent
             invokeSrcNameMap: Record<string, string>;
             tags: TTag;
         };
-    }[IsNever<TTypesMeta> extends true ? 'disabled' : TTypesMeta extends TypegenEnabled ? 'enabled' : 'disabled'];
+    }[IsNever<TTypesMeta> extends true ? 'disabled' : TTypesMeta['@@xstate/typegen'] extends true ? 'enabled' : 'disabled'];
 }
 export {};

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

@@ -91,7 +91,15 @@ export interface ChooseBranch<TContext extends MachineContext, TExpressionEvent
 export type NoRequiredParams<T extends ParameterizedObject> = T extends any ? {
     type: T['type'];
 } extends T ? T['type'] : never : never;
-export type Action<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string> = NoRequiredParams<TAction> | TAction | ActionFunction<TContext, TExpressionEvent, TEvent, TExpressionAction, TAction, TGuard, TDelay>;
+type ConditionalRequired<T, Condition extends boolean> = Condition extends true ? Required<T> : T;
+export type WithDynamicParams<TContext extends MachineContext, TExpressionEvent extends EventObject, T extends ParameterizedObject> = T extends any ? ConditionalRequired<{
+    type: T['type'];
+    params?: T['params'] | (({ context, event }: {
+        context: TContext;
+        event: TExpressionEvent;
+    }) => T['params']);
+}, undefined extends T['params'] ? false : true> : never;
+export type Action<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string> = NoRequiredParams<TAction> | WithDynamicParams<TContext, TExpressionEvent, TAction> | ActionFunction<TContext, TExpressionEvent, TEvent, TExpressionAction, TAction, TGuard, TDelay>;
 export type UnknownAction = Action<MachineContext, EventObject, EventObject, ParameterizedObject | undefined, ParameterizedObject, ParameterizedObject, string>;
 export type Actions<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TExpressionAction extends ParameterizedObject | undefined, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string> = SingleOrArray<Action<TContext, TExpressionEvent, TEvent, TExpressionAction, TAction, TGuard, TDelay>>;
 export type StateKey = string | AnyState;
@@ -118,10 +126,6 @@ export interface InitialTransitionConfig<TContext extends MachineContext, TEvent
     target: TransitionTarget;
 }
 export type AnyTransitionConfig = TransitionConfig<any, any, any, any, any, any>;
-export interface InvokeMeta {
-    src: string;
-    meta: MetaObject | undefined;
-}
 export interface InvokeDefinition<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string> {
     id: string;
     systemId: string | undefined;
@@ -140,7 +144,6 @@ export interface InvokeDefinition<TContext extends MachineContext, TEvent extend
     onError?: string | SingleOrArray<TransitionConfig<TContext, ErrorEvent<any>, ErrorEvent<any>, TAction, TGuard, TDelay>>;
     onSnapshot?: string | SingleOrArray<TransitionConfig<TContext, SnapshotEvent<any>, SnapshotEvent<any>, TAction, TGuard, TDelay>>;
     toJSON: () => Omit<InvokeDefinition<TContext, TEvent, TAction, TGuard, TDelay>, 'onDone' | 'onError' | 'toJSON'>;
-    meta: MetaObject | undefined;
 }
 type Delay<TDelay extends string> = TDelay | number;
 export type DelayedTransitions<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string> = {
@@ -162,8 +165,11 @@ export type StatesDefinition<TContext extends MachineContext, TEvent extends Eve
 export type TransitionConfigTarget = string | undefined;
 export type TransitionConfigOrTarget<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string> = SingleOrArray<TransitionConfigTarget | TransitionConfig<TContext, TExpressionEvent, TEvent, TAction, TGuard, TDelay>>;
 export type TransitionsConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string> = {
-    [K in TEvent['type'] | '*']?: K extends '*' ? TransitionConfigOrTarget<TContext, TEvent, TEvent, TAction, TGuard, TDelay> : TransitionConfigOrTarget<TContext, ExtractEvent<TEvent, K>, TEvent, TAction, TGuard, TDelay>;
+    [K in EventDescriptor<TEvent>]?: TransitionConfigOrTarget<TContext, ExtractEvent<TEvent, K>, TEvent, TAction, TGuard, TDelay>;
 };
+type PartialEventDescriptor<TEventType extends string> = TEventType extends `${infer TLeading}.${infer TTail}` ? `${TLeading}.*` | `${TLeading}.${PartialEventDescriptor<TTail>}` : never;
+export type EventDescriptor<TEvent extends EventObject> = TEvent['type'] | PartialEventDescriptor<TEvent['type']> | '*';
+type NormalizeDescriptor<TDescriptor extends string> = TDescriptor extends '*' ? string : TDescriptor extends `${infer TLeading}.*` ? `${TLeading}.${string}` : TDescriptor;
 type IsLiteralString<T extends string> = string extends T ? false : true;
 type DistributeActors<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string> = TActor extends {
     src: infer TSrc;
@@ -183,10 +189,6 @@ type DistributeActors<TContext extends MachineContext, TEvent extends EventObjec
      */
     onError?: string | SingleOrArray<TransitionConfigOrTarget<TContext, ErrorEvent<any>, TEvent, TAction, TGuard, TDelay>>;
     onSnapshot?: string | SingleOrArray<TransitionConfigOrTarget<TContext, SnapshotEvent<any>, TEvent, TAction, TGuard, TDelay>>;
-    /**
-     * Meta data related to this invocation
-     */
-    meta?: MetaObject;
 } & (TActor['id'] extends string ? {
     /**
      * The unique identifier for the invoked machine. If not specified, this
@@ -221,10 +223,6 @@ export type InvokeConfig<TContext extends MachineContext, TEvent extends EventOb
      */
     onError?: string | SingleOrArray<TransitionConfigOrTarget<TContext, ErrorEvent<any>, TEvent, TAction, TGuard, TDelay>>;
     onSnapshot?: string | SingleOrArray<TransitionConfigOrTarget<TContext, SnapshotEvent<any>, TEvent, TAction, TGuard, TDelay>>;
-    /**
-     * Meta data related to this invocation
-     */
-    meta?: MetaObject;
 };
 export type AnyInvokeConfig = InvokeConfig<any, any, any, any, any, any>;
 export interface StateNodeConfig<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string, TTag extends string, TOutput> {
@@ -255,7 +253,7 @@ export interface StateNodeConfig<TContext extends MachineContext, TEvent extends
     /**
      * The services to invoke upon entering this state node. These services will be stopped upon exiting this state node.
      */
-    invoke?: SingleOrArray<TActor['src'] | InvokeConfig<TContext, TEvent, TActor, TAction, TGuard, TDelay>>;
+    invoke?: SingleOrArray<InvokeConfig<TContext, TEvent, TActor, TAction, TGuard, TDelay>>;
     /**
      * The mapping of event types to their potential transition(s).
      */
@@ -544,13 +542,13 @@ export interface TransitionDefinition<TContext extends MachineContext, TEvent ex
     actions: readonly UnknownAction[];
     reenter: boolean;
     guard?: UnknownGuard;
-    eventType: TEvent['type'] | '*';
+    eventType: EventDescriptor<TEvent>;
     toJSON: () => {
         target: string[] | undefined;
         source: string;
         actions: readonly UnknownAction[];
         guard?: UnknownGuard;
-        eventType: TEvent['type'] | '*';
+        eventType: EventDescriptor<TEvent>;
         meta?: Record<string, any>;
     };
 }
@@ -560,9 +558,7 @@ export interface InitialTransitionDefinition<TContext extends MachineContext, TE
     guard?: never;
 }
 export type TransitionDefinitionMap<TContext extends MachineContext, TEvent extends EventObject> = {
-    [K in TEvent['type'] | '*']: Array<TransitionDefinition<TContext, K extends TEvent['type'] ? Extract<TEvent, {
-        type: K;
-    }> : EventObject>>;
+    [K in EventDescriptor<TEvent>]: Array<TransitionDefinition<TContext, ExtractEvent<TEvent, K>>>;
 };
 export interface DelayedTransitionDefinition<TContext extends MachineContext, TEvent extends EventObject> extends TransitionDefinition<TContext, TEvent> {
     delay: number | string | DelayExpr<TContext, TEvent, undefined>;
@@ -650,7 +646,7 @@ export interface Subscribable<T> extends InteropSubscribable<T> {
     subscribe(observer: Observer<T>): Subscription;
     subscribe(next: (value: T) => void, error?: (error: any) => void, complete?: () => void): Subscription;
 }
-export type ExtractEvent<TEvent extends EventObject, TEventType extends TEvent['type']> = TEvent extends any ? TEventType extends TEvent['type'] ? TEvent : never : never;
+export type ExtractEvent<TEvent extends EventObject, TDescriptor extends EventDescriptor<TEvent>> = string extends TEvent['type'] ? TEvent : NormalizeDescriptor<TDescriptor> extends infer TNormalizedDescriptor ? TEvent extends any ? TEvent['type'] extends TNormalizedDescriptor ? TEvent : never : never : never;
 export interface BaseActorRef<TEvent extends EventObject> {
     send: (event: TEvent) => void;
 }

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

@@ -1,6 +1,6 @@
 import { AnyActorLogic, AnyState } from "./index.js";
 import type { StateNode } from "./StateNode.js";
-import type { ActorLogic, AnyEventObject, EventObject, MachineContext, Mapper, Observer, ErrorEvent, SingleOrArray, StateLike, StateValue, Subscribable, TransitionConfigTarget, AnyActorRef, AnyTransitionConfig, AnyInvokeConfig } from "./types.js";
+import type { ActorLogic, AnyEventObject, EventObject, MachineContext, Mapper, Observer, ErrorEvent, SingleOrArray, StateLike, StateValue, Subscribable, TransitionConfigTarget, AnyActorRef, AnyTransitionConfig } from "./types.js";
 export declare function keys<T extends object>(value: T): Array<keyof T & string>;
 export declare function matchesState(parentStateId: StateValue, childStateId: StateValue): boolean;
 export declare function toStatePath(stateId: string | string[]): string[];
@@ -38,7 +38,6 @@ export declare function isErrorEvent(event: AnyEventObject): event is ErrorEvent
 export declare function toTransitionConfigArray<TContext extends MachineContext, TEvent extends EventObject>(configLike: SingleOrArray<AnyTransitionConfig | TransitionConfigTarget>): Array<AnyTransitionConfig>;
 export declare function normalizeTarget<TContext extends MachineContext, TEvent extends EventObject>(target: SingleOrArray<string | StateNode<TContext, TEvent>> | undefined): ReadonlyArray<string | StateNode<TContext, TEvent>> | undefined;
 export declare function reportUnhandledExceptionOnInvocation(originalError: any, currentError: any, id: string): void;
-export declare function toInvokeConfig<TContext extends MachineContext, TEvent extends EventObject>(invocable: AnyInvokeConfig | string | AnyActorLogic, id: string): AnyInvokeConfig;
 export declare function toObserver<T>(nextHandler?: Observer<T> | ((value: T) => void), errorHandler?: (error: any) => void, completionHandler?: () => void): Observer<T>;
 export declare function createInvokeId(stateNodeId: string, index: number): string;
 export declare function resolveReferencedActor(referenced: AnyActorLogic | {