xstate 5.0.0-beta.8 → 5.0.0

package/{dist/index-ebaab3c9.cjs.dev.js → dev/dist/xstate-dev.development.cjs.js}

@@ -1,6 +1,6 @@
 'use strict';
 
-var IS_PRODUCTION = process.env.NODE_ENV === 'production';
+Object.defineProperty(exports, '__esModule', { value: true });
 
 // From https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/globalThis
 function getGlobal() {
@@ -16,12 +16,12 @@ function getGlobal() {
   if (typeof global !== 'undefined') {
     return global;
   }
-  if (!IS_PRODUCTION) {
+  {
     console.warn('XState could not find a global object in this environment. Please let the maintainers know and raise an issue here: https://github.com/statelyai/xstate/issues');
   }
 }
 function getDevTools() {
-  var w = getGlobal();
+  const w = getGlobal();
   if (!!w.__xstate__) {
     return w.__xstate__;
   }
@@ -31,22 +31,21 @@ function registerService(service) {
   if (typeof window === 'undefined') {
     return;
   }
-  var devTools = getDevTools();
+  const devTools = getDevTools();
   if (devTools) {
     devTools.register(service);
   }
 }
-var devToolsAdapter = function devToolsAdapter(service) {
+const devToolsAdapter = service => {
   if (typeof window === 'undefined') {
     return;
   }
-  var devTools = getDevTools();
+  const devTools = getDevTools();
   if (devTools) {
     devTools.register(service);
   }
 };
 
-exports.IS_PRODUCTION = IS_PRODUCTION;
 exports.devToolsAdapter = devToolsAdapter;
 exports.getGlobal = getGlobal;
 exports.registerService = registerService;

package/dev/dist/xstate-dev.development.cjs.mjs

@@ -0,0 +1,5 @@
+export {
+  devToolsAdapter,
+  getGlobal,
+  registerService
+} from "./xstate-dev.development.cjs.js";

package/{dist/index-50bd0aff.esm.js → dev/dist/xstate-dev.development.esm.js}

@@ -1,5 +1,3 @@
-var IS_PRODUCTION = process.env.NODE_ENV === 'production';
-
 // From https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/globalThis
 function getGlobal() {
   if (typeof globalThis !== 'undefined') {
@@ -14,12 +12,12 @@ function getGlobal() {
   if (typeof global !== 'undefined') {
     return global;
   }
-  if (!IS_PRODUCTION) {
+  {
     console.warn('XState could not find a global object in this environment. Please let the maintainers know and raise an issue here: https://github.com/statelyai/xstate/issues');
   }
 }
 function getDevTools() {
-  var w = getGlobal();
+  const w = getGlobal();
   if (!!w.__xstate__) {
     return w.__xstate__;
   }
@@ -29,19 +27,19 @@ function registerService(service) {
   if (typeof window === 'undefined') {
     return;
   }
-  var devTools = getDevTools();
+  const devTools = getDevTools();
   if (devTools) {
     devTools.register(service);
   }
 }
-var devToolsAdapter = function devToolsAdapter(service) {
+const devToolsAdapter = service => {
   if (typeof window === 'undefined') {
     return;
   }
-  var devTools = getDevTools();
+  const devTools = getDevTools();
   if (devTools) {
     devTools.register(service);
   }
 };
 
-export { IS_PRODUCTION as I, devToolsAdapter as d, getGlobal as g, registerService as r };
+export { devToolsAdapter, getGlobal, registerService };

package/dev/dist/xstate-dev.esm.js

@@ -1 +1,42 @@
-export { d as devToolsAdapter, g as getGlobal, r as registerService } from '../../dist/index-50bd0aff.esm.js';
+// From https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/globalThis
+function getGlobal() {
+  if (typeof globalThis !== 'undefined') {
+    return globalThis;
+  }
+  if (typeof self !== 'undefined') {
+    return self;
+  }
+  if (typeof window !== 'undefined') {
+    return window;
+  }
+  if (typeof global !== 'undefined') {
+    return global;
+  }
+}
+function getDevTools() {
+  const w = getGlobal();
+  if (!!w.__xstate__) {
+    return w.__xstate__;
+  }
+  return undefined;
+}
+function registerService(service) {
+  if (typeof window === 'undefined') {
+    return;
+  }
+  const devTools = getDevTools();
+  if (devTools) {
+    devTools.register(service);
+  }
+}
+const devToolsAdapter = service => {
+  if (typeof window === 'undefined') {
+    return;
+  }
+  const devTools = getDevTools();
+  if (devTools) {
+    devTools.register(service);
+  }
+};
+
+export { devToolsAdapter, getGlobal, registerService };

package/dev/dist/xstate-dev.umd.min.js

@@ -1,2 +1,2 @@
-!function(e,t){"object"==typeof exports&&"undefined"!=typeof module?t(exports):"function"==typeof define&&define.amd?define(["exports"],t):t((e="undefined"!=typeof globalThis?globalThis:e||self).XStateDev={})}(this,(function(e){"use strict";function t(){return"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:window}function n(){var e=t();if(e.__xstate__)return e.__xstate__}e.devToolsAdapter=function(e){var t=n();t&&t.register(e)},e.getGlobal=t,e.registerService=function(e){var t=n();t&&t.register(e)},Object.defineProperty(e,"__esModule",{value:!0})}));
+!function(e,t){"object"==typeof exports&&"undefined"!=typeof module?t(exports):"function"==typeof define&&define.amd?define(["exports"],t):t((e="undefined"!=typeof globalThis?globalThis:e||self).XStateDev={})}(this,(function(e){"use strict";function t(){return"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:window}function n(){const e=t();if(e.__xstate__)return e.__xstate__}e.devToolsAdapter=e=>{const t=n();t&&t.register(e)},e.getGlobal=t,e.registerService=function(e){const t=n();t&&t.register(e)},Object.defineProperty(e,"__esModule",{value:!0})}));
 //# sourceMappingURL=xstate-dev.umd.min.js.map

package/dev/dist/xstate-dev.umd.min.js.map

@@ -1 +1 @@
-{"version":3,"file":"xstate-dev.umd.min.js","sources":["../../src/dev/index.ts"],"sourcesContent":["import { IS_PRODUCTION } from '../environment.ts';\nimport { AnyInterpreter, DevToolsAdapter } from '../types.ts';\n\ninterface DevInterface {\n  services: Set<AnyInterpreter>;\n  register(service: AnyInterpreter): void;\n  onRegister(listener: ServiceListener): void;\n}\ntype ServiceListener = (service: AnyInterpreter) => void;\n\nexport interface XStateDevInterface {\n  register: (service: AnyInterpreter) => void;\n  unregister: (service: AnyInterpreter) => void;\n  onRegister: (listener: ServiceListener) => {\n    unsubscribe: () => void;\n  };\n  services: Set<AnyInterpreter>;\n}\n\n// From https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/globalThis\nexport function getGlobal(): typeof globalThis | undefined {\n  if (typeof globalThis !== 'undefined') {\n    return globalThis;\n  }\n  if (typeof self !== 'undefined') {\n    return self;\n  }\n  if (typeof window !== 'undefined') {\n    return window;\n  }\n  if (typeof global !== 'undefined') {\n    return global;\n  }\n  if (!IS_PRODUCTION) {\n    console.warn(\n      'XState could not find a global object in this environment. Please let the maintainers know and raise an issue here: https://github.com/statelyai/xstate/issues'\n    );\n  }\n}\n\nfunction getDevTools(): DevInterface | undefined {\n  const w = getGlobal();\n  if (!!(w as any).__xstate__) {\n    return (w as any).__xstate__;\n  }\n\n  return undefined;\n}\n\nexport function registerService(service: AnyInterpreter) {\n  if (typeof window === 'undefined') {\n    return;\n  }\n\n  const devTools = getDevTools();\n\n  if (devTools) {\n    devTools.register(service);\n  }\n}\n\nexport const devToolsAdapter: DevToolsAdapter = (service) => {\n  if (typeof window === 'undefined') {\n    return;\n  }\n\n  const devTools = getDevTools();\n\n  if (devTools) {\n    devTools.register(service);\n  }\n};\n"],"names":["getGlobal","globalThis","self","window","getDevTools","w","__xstate__","service","devTools","register"],"mappings":"iPAoBO,SAASA,IACd,MAA0B,oBAAfC,WACFA,WAEW,oBAATC,KACFA,KAGAC,OAYX,SAASC,IACP,IAAMC,EAAIL,IACV,GAAOK,EAAUC,WACf,OAAQD,EAAUC,6BAkB0B,SAACC,GAK/C,IAAMC,EAAWJ,IAEbI,GACFA,EAASC,SAASF,oCApBf,SAAyBA,GAK9B,IAAMC,EAAWJ,IAEbI,GACFA,EAASC,SAASF"}
+{"version":3,"file":"xstate-dev.umd.min.js","sources":["../../src/dev/index.ts"],"sourcesContent":["import isDevelopment from '#is-development';\nimport { AnyActor, DevToolsAdapter } from '../types.ts';\n\ninterface DevInterface {\n  services: Set<AnyActor>;\n  register(service: AnyActor): void;\n  onRegister(listener: ServiceListener): void;\n}\ntype ServiceListener = (service: AnyActor) => void;\n\nexport interface XStateDevInterface {\n  register: (service: AnyActor) => void;\n  unregister: (service: AnyActor) => void;\n  onRegister: (listener: ServiceListener) => {\n    unsubscribe: () => void;\n  };\n  services: Set<AnyActor>;\n}\n\n// From https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/globalThis\nexport function getGlobal(): typeof globalThis | undefined {\n  if (typeof globalThis !== 'undefined') {\n    return globalThis;\n  }\n  if (typeof self !== 'undefined') {\n    return self;\n  }\n  if (typeof window !== 'undefined') {\n    return window;\n  }\n  if (typeof global !== 'undefined') {\n    return global;\n  }\n  if (isDevelopment) {\n    console.warn(\n      'XState could not find a global object in this environment. Please let the maintainers know and raise an issue here: https://github.com/statelyai/xstate/issues'\n    );\n  }\n}\n\nfunction getDevTools(): DevInterface | undefined {\n  const w = getGlobal();\n  if (!!(w as any).__xstate__) {\n    return (w as any).__xstate__;\n  }\n\n  return undefined;\n}\n\nexport function registerService(service: AnyActor) {\n  if (typeof window === 'undefined') {\n    return;\n  }\n\n  const devTools = getDevTools();\n\n  if (devTools) {\n    devTools.register(service);\n  }\n}\n\nexport const devToolsAdapter: DevToolsAdapter = (service) => {\n  if (typeof window === 'undefined') {\n    return;\n  }\n\n  const devTools = getDevTools();\n\n  if (devTools) {\n    devTools.register(service);\n  }\n};\n"],"names":["getGlobal","globalThis","self","window","getDevTools","w","__xstate__","service","devTools","register"],"mappings":"iPAoBO,SAASA,IACd,MAA0B,oBAAfC,WACFA,WAEW,oBAATC,KACFA,KAGAC,MAUX,CAEA,SAASC,IACP,MAAMC,EAAIL,IACV,GAAOK,EAAUC,WACf,OAAQD,EAAUC,UAItB,mBAciDC,IAK/C,MAAMC,EAAWJ,IAEbI,GACFA,EAASC,SAASF,EACpB,kCArBK,SAAyBA,GAK9B,MAAMC,EAAWJ,IAEbI,GACFA,EAASC,SAASF,EAEtB"}

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

@@ -1,4 +1,4 @@
-import { Clock } from './interpreter.ts';
+import { Clock } from "./interpreter.js";
 export interface SimulatedClock extends Clock {
     start(speed: number): void;
     increment(ms: number): void;

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

@@ -1,83 +1,37 @@
-import type { StateNode } from './StateNode.ts';
-import { TypegenDisabled, TypegenEnabled } from './typegenTypes.ts';
-import type { ActorRef, AnyState, AnyStateMachine, BaseActionObject, EventObject, HistoryValue, MachineContext, PersistedMachineState, Prop, SCXML, StateConfig, StateValue, TransitionDefinition } from './types.ts';
-export declare function isStateConfig<TContext extends MachineContext, TEvent extends EventObject>(state: any): state is StateConfig<TContext, TEvent>;
-/**
- * @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 = EventObject, TResolvedTypesMeta = TypegenDisabled> {
-    machine: AnyStateMachine;
+import type { StateNode } from "./StateNode.js";
+import type { StateMachine } from "./StateMachine.js";
+import { TypegenDisabled } from "./typegenTypes.js";
+import type { ProvidedActor, AnyMachineSnapshot, AnyStateMachine, EventObject, HistoryValue, MachineContext, StateConfig, StateValue, AnyActorRef, Snapshot, ParameterizedObject, IsNever } from "./types.js";
+type ToTestStateValue<TStateValue extends StateValue> = TStateValue extends string ? TStateValue : IsNever<keyof TStateValue> extends true ? never : keyof TStateValue | {
+    [K in keyof TStateValue]?: ToTestStateValue<NonNullable<TStateValue[K]>>;
+};
+export declare function isMachineSnapshot<TContext extends MachineContext, TEvent extends EventObject>(value: unknown): value is AnyMachineSnapshot;
+interface MachineSnapshotBase<TContext extends MachineContext, TEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TStateValue extends StateValue, TTag extends string, TOutput, TResolvedTypesMeta = TypegenDisabled> {
+    machine: StateMachine<TContext, TEvent, TChildren, ProvidedActor, ParameterizedObject, ParameterizedObject, string, TStateValue, TTag, unknown, TOutput, TResolvedTypesMeta>;
     tags: Set<string>;
-    value: StateValue;
-    /**
-     * Indicates whether the state is a final state.
-     */
-    done: boolean;
-    /**
-     * The done data of the top-level finite state.
-     */
-    output: any;
+    value: TStateValue;
+    status: 'active' | 'done' | 'error' | 'stopped';
+    error: unknown;
     context: TContext;
     historyValue: Readonly<HistoryValue<TContext, TEvent>>;
-    actions: BaseActionObject[];
-    event: TEvent;
-    _internalQueue: Array<SCXML.Event<TEvent>>;
-    _event: SCXML.Event<TEvent>;
-    _initial: boolean;
-    /**
-     * Indicates whether the state has changed from the previous state. A state is considered "changed" if:
-     *
-     * - Its value is not equal to its previous value, or:
-     * - It has any new actions (side-effects) to execute.
-     *
-     * An initial state (with no history) will return `undefined`.
-     */
-    changed: boolean | undefined;
     /**
      * The enabled state nodes representative of the state value.
      */
-    configuration: Array<StateNode<TContext, TEvent>>;
-    /**
-     * The transition definitions that resulted in this state.
-     */
-    transitions: Array<TransitionDefinition<TContext, TEvent>>;
+    _nodes: Array<StateNode<TContext, TEvent>>;
     /**
      * An object mapping actor names to spawned/invoked actors.
      */
-    children: Record<string, ActorRef<any>>;
-    /**
-     * Creates a new State instance for the given `stateValue` and `context`.
-     * @param stateValue
-     * @param context
-     */
-    static from<TContext extends MachineContext, TEvent extends EventObject = EventObject>(stateValue: State<TContext, TEvent, any> | StateValue, context: TContext | undefined, machine: AnyStateMachine): State<TContext, TEvent, any>;
-    /**
-     * Creates a new `State` instance that represents the current state of a running machine.
-     *
-     * @param config
-     */
-    constructor(config: StateConfig<TContext, TEvent>, machine: AnyStateMachine);
-    /**
-     * Returns an array of all the string leaf state node paths.
-     * @param stateValue
-     * @param delimiter The character(s) that separate each subpath in the string state node path.
-     */
-    toStrings(stateValue?: StateValue, delimiter?: string): string[];
-    toJSON(): Omit<this, "meta" | "toJSON" | "configuration" | "transitions" | "tags" | "machine" | "toStrings" | "matches" | "hasTag" | "can" | "nextEvents"> & {
-        tags: string[];
-        meta: Record<string, any>;
-    };
+    children: TChildren;
     /**
      * Whether the current state value is a subset of the given parent state value.
-     * @param parentStateValue
+     * @param testValue
      */
-    matches<TSV extends TResolvedTypesMeta extends TypegenEnabled ? Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'matchesStates'> : StateValue>(parentStateValue: TSV): boolean;
+    matches: (this: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>, testValue: ToTestStateValue<TStateValue>) => boolean;
     /**
-     * Whether the current state configuration has a state node with the specified `tag`.
+     * Whether the current state nodes has a state node with the specified `tag`.
      * @param tag
      */
-    hasTag(tag: TResolvedTypesMeta extends TypegenEnabled ? Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'tags'> : string): boolean;
+    hasTag: (this: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>, tag: TTag) => boolean;
     /**
      * Determines whether sending the `event` will cause a non-forbidden transition
      * to be selected, even if the transitions have no actions nor
@@ -86,12 +40,32 @@ export declare class State<TContext extends MachineContext, TEvent extends Event
      * @param event The event to test
      * @returns Whether the event will cause a transition
      */
-    can(event: TEvent): boolean;
-    /**
-     * The next events that will cause a transition from the current state.
-     */
-    get nextEvents(): Array<TEvent['type']>;
-    get meta(): Record<string, any>;
+    can: (this: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>, event: TEvent) => boolean;
+    getMeta: (this: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>) => Record<string, any>;
+    toJSON: (this: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>) => unknown;
+}
+interface ActiveMachineSnapshot<TContext extends MachineContext, TEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TStateValue extends StateValue, TTag extends string, TOutput, TResolvedTypesMeta = TypegenDisabled> extends MachineSnapshotBase<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta> {
+    status: 'active';
+    output: undefined;
+    error: undefined;
+}
+interface DoneMachineSnapshot<TContext extends MachineContext, TEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TStateValue extends StateValue, TTag extends string, TOutput, TResolvedTypesMeta = TypegenDisabled> extends MachineSnapshotBase<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta> {
+    status: 'done';
+    output: TOutput;
+    error: undefined;
+}
+interface ErrorMachineSnapshot<TContext extends MachineContext, TEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TStateValue extends StateValue, TTag extends string, TOutput, TResolvedTypesMeta = TypegenDisabled> extends MachineSnapshotBase<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta> {
+    status: 'error';
+    output: undefined;
+    error: unknown;
+}
+interface StoppedMachineSnapshot<TContext extends MachineContext, TEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TStateValue extends StateValue, TTag extends string, TOutput, TResolvedTypesMeta = TypegenDisabled> extends MachineSnapshotBase<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta> {
+    status: 'stopped';
+    output: undefined;
+    error: undefined;
 }
-export declare function cloneState<TState extends AnyState>(state: TState, config?: Partial<StateConfig<any, any>>): TState;
-export declare function getPersistedState<TState extends AnyState>(state: TState): PersistedMachineState<TState>;
+export type MachineSnapshot<TContext extends MachineContext, TEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TStateValue extends StateValue, TTag extends string, TOutput, TResolvedTypesMeta = TypegenDisabled> = ActiveMachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta> | DoneMachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta> | ErrorMachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta> | StoppedMachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>;
+export declare function createMachineSnapshot<TContext extends MachineContext, TEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TStateValue extends StateValue, TTag extends string, TResolvedTypesMeta = TypegenDisabled>(config: StateConfig<TContext, TEvent>, machine: AnyStateMachine): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, undefined, TResolvedTypesMeta>;
+export declare function cloneMachineSnapshot<TState extends AnyMachineSnapshot>(snapshot: TState, config?: Partial<StateConfig<any, any>>): TState;
+export declare function getPersistedSnapshot<TContext extends MachineContext, TEvent extends EventObject, TChildren extends Record<string, AnyActorRef | undefined>, TStateValue extends StateValue, TTag extends string, TOutput, TResolvedTypesMeta = TypegenDisabled>(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>, options?: unknown): Snapshot<unknown>;
+export {};

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

@@ -1,38 +1,30 @@
-import { State } from './State.ts';
-import { StateNode } from './StateNode.ts';
-import type { AreAllImplementationsAssumedToBeProvided, MarkAllImplementationsAsProvided, ResolveTypegenMeta, TypegenDisabled } from './typegenTypes.ts';
-import type { ActorContext, ActorMap, ActorBehavior, EventObject, InternalMachineImplementations, MachineConfig, MachineContext, MachineImplementationsSimplified, MachineTypes, NoInfer, SCXML, StateConfig, StateMachineDefinition, StateValue, TransitionDefinition, PersistedMachineState, ParameterizedObject, AnyActorContext } from './types.ts';
-export declare const NULL_EVENT = "";
+import { MachineSnapshot } from "./State.js";
+import { StateNode } from "./StateNode.js";
+import type { AreAllImplementationsAssumedToBeProvided, MarkAllImplementationsAsProvided, ResolveTypegenMeta, TypegenDisabled } from "./typegenTypes.js";
+import type { ActorScope, ActorLogic, EventObject, InternalMachineImplementations, MachineConfig, MachineContext, MachineImplementationsSimplified, NoInfer, StateMachineDefinition, StateValue, TransitionDefinition, ParameterizedObject, AnyActorScope, ProvidedActor, AnyActorRef, Equals, TODO, Snapshot, HistoryValue, EventDescriptor } from "./types.js";
 export declare const STATE_IDENTIFIER = "#";
 export declare const WILDCARD = "*";
-export declare class StateMachine<TContext extends MachineContext, TEvent extends EventObject = EventObject, TAction extends ParameterizedObject = ParameterizedObject, TActorMap extends ActorMap = ActorMap, TResolvedTypesMeta = ResolveTypegenMeta<TypegenDisabled, NoInfer<TEvent>, TAction, TActorMap>> implements ActorBehavior<TEvent | SCXML.Event<TEvent>, State<TContext, TEvent, TResolvedTypesMeta>, State<TContext, TEvent, TResolvedTypesMeta>, PersistedMachineState<State<TContext, TEvent, TResolvedTypesMeta>>> {
+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, TResolvedTypesMeta = ResolveTypegenMeta<TypegenDisabled, NoInfer<TEvent>, TActor, TAction, TGuard, TDelay, TTag>> implements ActorLogic<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>, TEvent, TInput, TODO> {
     /**
      * The raw config used to create the machine.
      */
-    config: MachineConfig<TContext, TEvent, any, any, any>;
-    getContext(input?: any): TContext;
-    private getContextAndActions;
+    config: MachineConfig<TContext, TEvent, any, any, any, any, any, any, TOutput, any>;
     /**
      * The machine's own version.
      */
     version?: string;
-    /**
-     * The string delimiter for serializing the path to a string. The default is "."
-     */
-    delimiter: string;
-    options: MachineImplementationsSimplified<TContext, TEvent>;
-    types: MachineTypes<TContext, TEvent>;
+    implementations: MachineImplementationsSimplified<TContext, TEvent>;
     __xstatenode: true;
     idMap: Map<string, StateNode<TContext, TEvent>>;
     root: StateNode<TContext, TEvent>;
     id: string;
     states: StateNode<TContext, TEvent>['states'];
-    events: Array<TEvent['type']>;
+    events: Array<EventDescriptor<TEvent>>;
     constructor(
     /**
      * The raw config used to create the machine.
      */
-    config: MachineConfig<TContext, TEvent, any, any, any>, options?: MachineImplementationsSimplified<TContext, TEvent>);
+    config: MachineConfig<TContext, TEvent, any, any, any, any, any, any, TOutput, any>, implementations?: MachineImplementationsSimplified<TContext, TEvent>);
     /**
      * Clones this state machine with the provided implementations
      * and merges the `context` (if provided).
@@ -42,24 +34,25 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
      *
      * @returns A new `StateMachine` instance with the provided implementations.
      */
-    provide(implementations: InternalMachineImplementations<TContext, TEvent, TResolvedTypesMeta, true>): StateMachine<TContext, TEvent, TAction, TActorMap, AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends false ? MarkAllImplementationsAsProvided<TResolvedTypesMeta> : TResolvedTypesMeta>;
-    /**
-     * Resolves the given `state` to a new `State` instance relative to this machine.
-     *
-     * This ensures that `.nextEvents` represent the correct values.
-     *
-     * @param state The state to resolve
-     */
-    resolveState(state: State<TContext, TEvent, TResolvedTypesMeta>): typeof state;
-    resolveStateValue(stateValue: StateValue): State<TContext, TEvent, TResolvedTypesMeta>;
+    provide(implementations: InternalMachineImplementations<TContext, TResolvedTypesMeta, true>): StateMachine<TContext, TEvent, TChildren, TActor, TAction, TGuard, TDelay, TStateValue, TTag, TInput, TOutput, AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends false ? MarkAllImplementationsAsProvided<TResolvedTypesMeta> : TResolvedTypesMeta>;
+    resolveState(config: {
+        value: StateValue;
+        context?: TContext;
+        historyValue?: HistoryValue<TContext, TEvent>;
+        status?: 'active' | 'done' | 'error' | 'stopped';
+        output?: TOutput;
+        error?: unknown;
+    } & (Equals<TContext, MachineContext> extends false ? {
+        context: unknown;
+    } : {})): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>;
     /**
-     * Determines the next state given the current `state` and received `event`.
+     * Determines the next snapshot given the current `snapshot` and received `event`.
      * Calculates a full macrostep from all microsteps.
      *
-     * @param state The current State instance or state value
+     * @param snapshot The current snapshot
      * @param event The received event
      */
-    transition(state: StateValue | State<TContext, TEvent, TResolvedTypesMeta> | undefined, event: TEvent | SCXML.Event<TEvent>, actorCtx?: ActorContext<TEvent, State<TContext, TEvent, any>>): State<TContext, TEvent, TResolvedTypesMeta>;
+    transition(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>, event: TEvent, actorScope: ActorScope<typeof snapshot, TEvent>): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>;
     /**
      * Determines the next state given the current `state` and `event`.
      * Calculates a microstep.
@@ -67,44 +60,23 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
      * @param state The current state
      * @param event The received event
      */
-    microstep(state: State<TContext, TEvent, TResolvedTypesMeta> | undefined, event: TEvent | SCXML.Event<TEvent>, actorCtx?: AnyActorContext | undefined): Array<State<TContext, TEvent, TResolvedTypesMeta>>;
-    getTransitionData(state: State<TContext, TEvent, TResolvedTypesMeta>, _event: SCXML.Event<TEvent>): Array<TransitionDefinition<TContext, TEvent>>;
+    microstep(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>, event: TEvent, actorScope: AnyActorScope): Array<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>>;
+    getTransitionData(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, 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.
      */
     private getPreInitialState;
-    /**
-     * The initial State instance, which includes all actions to be executed from
-     * entering the initial state.
-     */
-    get initialState(): State<TContext, TEvent, TResolvedTypesMeta>;
     /**
      * Returns the initial `State` instance, with reference to `self` as an `ActorRef`.
      */
-    getInitialState(actorCtx?: ActorContext<TEvent, State<TContext, TEvent, TResolvedTypesMeta>>, input?: any): State<TContext, TEvent, TResolvedTypesMeta>;
-    start(state: State<TContext, TEvent, TResolvedTypesMeta>, actorCtx: ActorContext<TEvent, State<TContext, TEvent, TResolvedTypesMeta>>): void;
+    getInitialSnapshot(actorScope: ActorScope<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>, TEvent>, input?: TInput): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>;
+    start(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>): void;
     getStateNodeById(stateId: string): StateNode<TContext, TEvent>;
     get definition(): StateMachineDefinition<TContext, TEvent>;
     toJSON(): StateMachineDefinition<TContext, TEvent>;
-    getPersistedState(state: State<TContext, TEvent, TResolvedTypesMeta>): PersistedMachineState<State<TContext, TEvent, TResolvedTypesMeta>>;
-    createState(stateConfig: State<TContext, TEvent, TResolvedTypesMeta> | StateConfig<TContext, TEvent>): State<TContext, TEvent, TResolvedTypesMeta>;
-    getStatus(state: State<TContext, TEvent, TResolvedTypesMeta>): {
-        status: string;
-        data: any;
-    } | {
-        status: string;
-        data?: undefined;
-    };
-    restoreState(state: PersistedMachineState<State<TContext, TEvent, TResolvedTypesMeta>>, _actorCtx: ActorContext<TEvent, State<TContext, TEvent, TResolvedTypesMeta>>): State<TContext, TEvent, 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 */
-    __TEvent: TEvent;
-    /** @deprecated an internal property acting as a "phantom" type, not meant to be used at runtime */
-    __TAction: TAction;
-    /** @deprecated an internal property acting as a "phantom" type, not meant to be used at runtime */
-    __TActorMap: TActorMap;
+    getPersistedSnapshot(snapshot: MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>, options?: unknown): Snapshot<unknown>;
+    restoreSnapshot(snapshot: Snapshot<unknown>, _actorScope: ActorScope<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>, TEvent>): MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TResolvedTypesMeta>;
     /** @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,21 @@
-import type { EventObject, StateNodeDefinition, TransitionDefinition, DelayedTransitionDefinition, StateNodeConfig, StateNodesConfig, InvokeDefinition, Mapper, PropertyMapper, SCXML, TransitionDefinitionMap, InitialTransitionDefinition, MachineContext, BaseActionObject } from './types.ts';
-import type { State } from './State.ts';
-import type { StateMachine } from './StateMachine.ts';
+import { MachineSnapshot } from "./State.js";
+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> {
     _key: string;
     _parent?: StateNode<TContext, TEvent>;
-    _machine: StateMachine<TContext, TEvent, any, any, any>;
+    _machine: AnyStateMachine;
 }
 export declare class StateNode<TContext extends MachineContext = MachineContext, TEvent extends EventObject = EventObject> {
     /**
      * The raw config used to create the machine.
      */
-    config: StateNodeConfig<TContext, TEvent>;
+    config: StateNodeConfig<TContext, TEvent, TODO, // actions
+    TODO, // actors
+    TODO, // output
+    TODO, // guards
+    TODO, // delays
+    TODO>;
     /**
      * The relative key of the state node, which represents its location in the overall state value.
      */
@@ -47,11 +52,11 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     /**
      * The action(s) to be executed upon entering the state node.
      */
-    entry: BaseActionObject[];
+    entry: UnknownAction[];
     /**
      * The action(s) to be executed upon exiting the state node.
      */
-    exit: BaseActionObject[];
+    exit: UnknownAction[];
     /**
      * The parent state node.
      */
@@ -59,28 +64,41 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     /**
      * The root machine node.
      */
-    machine: StateMachine<TContext, TEvent, any, any>;
+    machine: StateMachine<TContext, TEvent, any, // children
+    any, // actor
+    any, // action
+    any, // guard
+    any, // delay
+    any, // tag
+    any, // input
+    any, // output
+    any>;
     /**
      * The meta data associated with this state node, which will be returned in State instances.
      */
     meta?: any;
     /**
-     * The output data sent with the "done.state._id_" event if this is a final state node.
+     * The output data sent with the "xstate.done.state._id_" event if this is a final state node.
      */
-    output?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
+    output?: Mapper<MachineContext, EventObject, unknown, EventObject> | NonReducibleUnknown;
     /**
-     * The order this state node appears. Corresponds to the implicit SCXML document order.
+     * The order this state node appears. Corresponds to the implicit document order.
      */
     order: number;
     description?: string;
     tags: string[];
-    transitions: Array<TransitionDefinition<TContext, TEvent>>;
+    transitions: Map<string, TransitionDefinition<TContext, TEvent>[]>;
     always?: Array<TransitionDefinition<TContext, TEvent>>;
     constructor(
     /**
      * The raw config used to create the machine.
      */
-    config: StateNodeConfig<TContext, TEvent>, options: StateNodeOptions<TContext, TEvent>);
+    config: StateNodeConfig<TContext, TEvent, TODO, // actions
+    TODO, // actors
+    TODO, // output
+    TODO, // guards
+    TODO, // delays
+    TODO>, options: StateNodeOptions<TContext, TEvent>);
     _initialize(): void;
     /**
      * The well-structured state node definition.
@@ -88,40 +106,25 @@ export declare class StateNode<TContext extends MachineContext = MachineContext,
     get definition(): StateNodeDefinition<TContext, TEvent>;
     toJSON(): StateNodeDefinition<TContext, TEvent>;
     /**
-     * The behaviors invoked as actors by this state node.
+     * The logic invoked as actors by this state node.
      */
-    get invoke(): Array<InvokeDefinition<TContext, TEvent>>;
+    get invoke(): Array<InvokeDefinition<TContext, TEvent, ProvidedActor, ParameterizedObject, ParameterizedObject, string>>;
     /**
      * The mapping of events to transitions.
      */
     get on(): TransitionDefinitionMap<TContext, TEvent>;
     get after(): Array<DelayedTransitionDefinition<TContext, TEvent>>;
     get initial(): InitialTransitionDefinition<TContext, TEvent>;
-    /**
-     * Returns `true` if this state node explicitly handles the given event.
-     *
-     * @param event The event in question
-     */
-    handles(event: TEvent): boolean;
-    next(state: State<TContext, TEvent>, _event: SCXML.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[];
+    next(snapshot: MachineSnapshot<TContext, TEvent, any, any, any, any>, event: TEvent): TransitionDefinition<TContext, TEvent>[] | undefined;
     /**
      * All the event types accepted by this state node and its descendants.
      */
-    get events(): Array<TEvent['type']>;
+    get events(): Array<EventDescriptor<TEvent>>;
     /**
      * All the events that have transitions directly from this state node.
      *
      * Excludes any inert events.
      */
-    get ownEvents(): Array<TEvent['type']>;
+    get ownEvents(): Array<EventDescriptor<TEvent>>;
 }
 export {};

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

@@ -1,7 +1,16 @@
-import type { EventObject, Assigner, PropertyAssigner, MachineContext, DynamicAssignAction, LowInfer } from '../types.ts';
+import { Spawner } from "../spawn.js";
+import type { ActionArgs, AnyEventObject, Assigner, EventObject, LowInfer, MachineContext, ParameterizedObject, PropertyAssigner, ProvidedActor } from "../types.js";
+export interface AssignArgs<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TActor extends ProvidedActor> extends ActionArgs<TContext, TExpressionEvent, TEvent> {
+    spawn: Spawner<TActor>;
+}
+export interface AssignAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TParams extends ParameterizedObject['params'] | undefined, TEvent extends EventObject, TActor extends ProvidedActor> {
+    (args: ActionArgs<TContext, TExpressionEvent, TEvent>, params: TParams): void;
+    _out_TActor?: TActor;
+}
 /**
  * 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, TEvent> | PropertyAssigner<LowInfer<TContext>, TExpressionEvent, TEvent>): DynamicAssignAction<TContext, TExpressionEvent, TEvent>;
+export declare function assign<TContext extends MachineContext, TExpressionEvent extends AnyEventObject = AnyEventObject, // TODO: consider using a stricter `EventObject` here
+TParams extends ParameterizedObject['params'] | undefined = ParameterizedObject['params'] | undefined, TEvent extends EventObject = EventObject, TActor extends ProvidedActor = ProvidedActor>(assignment: Assigner<LowInfer<TContext>, TExpressionEvent, TParams, TEvent, TActor> | PropertyAssigner<LowInfer<TContext>, TExpressionEvent, TParams, TEvent, TActor>): AssignAction<TContext, TExpressionEvent, TParams, TEvent, TActor>;