xstate 5.0.0-beta.14 → 5.0.0-beta.16

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

@@ -21,16 +21,6 @@ export declare class State<TContext extends MachineContext, TEvent extends Event
     context: TContext;
     historyValue: Readonly<HistoryValue<TContext, TEvent>>;
     _internalQueue: Array<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.
      */
@@ -56,7 +46,7 @@ export declare class State<TContext extends MachineContext, TEvent extends Event
      * @param stateValue
      * @param delimiter The character(s) that separate each subpath in the string state node path.
      */
-    toStrings(stateValue?: StateValue, delimiter?: string): string[];
+    toStrings(stateValue?: StateValue): string[];
     toJSON(): Omit<this, "meta" | "toJSON" | "configuration" | "tags" | "machine" | "toStrings" | "matches" | "hasTag" | "can" | "nextEvents"> & {
         tags: string[];
         meta: Record<string, any>;

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

@@ -1,8 +1,7 @@
 import { State } from "./State.js";
 import { StateNode } from "./StateNode.js";
 import type { AreAllImplementationsAssumedToBeProvided, MarkAllImplementationsAsProvided, ResolveTypegenMeta, TypegenDisabled } from "./typegenTypes.js";
-import type { ActorContext, ActorLogic, ActorMap, EventObject, InternalMachineImplementations, MachineConfig, MachineContext, MachineImplementationsSimplified, MachineTypes, NoInfer, StateConfig, StateMachineDefinition, StateValue, TransitionDefinition, PersistedMachineState, ParameterizedObject, AnyActorContext } from "./types.js";
-export declare const NULL_EVENT = "";
+import type { ActorContext, ActorLogic, ActorMap, EventObject, InternalMachineImplementations, MachineConfig, MachineContext, MachineImplementationsSimplified, MachineTypes, NoInfer, StateConfig, StateMachineDefinition, StateValue, TransitionDefinition, PersistedMachineState, ParameterizedObject, AnyActorContext, Equals } 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 ActorLogic<TEvent, State<TContext, TEvent, TResolvedTypesMeta>, State<TContext, TEvent, TResolvedTypesMeta>, PersistedMachineState<State<TContext, TEvent, TResolvedTypesMeta>>> {
@@ -10,17 +9,11 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
      * The raw config used to create the machine.
      */
     config: MachineConfig<TContext, TEvent, any, any, any>;
-    getContext(input?: any): TContext;
-    private getContextAndActions;
     /**
      * 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>;
+    implementations: MachineImplementationsSimplified<TContext, TEvent>;
     types: MachineTypes<TContext, TEvent>;
     __xstatenode: true;
     idMap: Map<string, StateNode<TContext, TEvent>>;
@@ -32,7 +25,7 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
     /**
      * The raw config used to create the machine.
      */
-    config: MachineConfig<TContext, TEvent, any, any, any>, options?: MachineImplementationsSimplified<TContext, TEvent>);
+    config: MachineConfig<TContext, TEvent, any, any, any>, implementations?: MachineImplementationsSimplified<TContext, TEvent>);
     /**
      * Clones this state machine with the provided implementations
      * and merges the `context` (if provided).
@@ -51,7 +44,7 @@ export declare class StateMachine<TContext extends MachineContext, TEvent extend
      * @param state The state to resolve
      */
     resolveState(state: State<TContext, TEvent, TResolvedTypesMeta>): typeof state;
-    resolveStateValue(stateValue: StateValue): State<TContext, TEvent, TResolvedTypesMeta>;
+    resolveStateValue(stateValue: StateValue, ...[context]: Equals<TContext, MachineContext> extends true ? [] : [TContext]): State<TContext, TEvent, TResolvedTypesMeta>;
     /**
      * Determines the next state given the current `state` and received `event`.
      * Calculates a full macrostep from all microsteps.

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

@@ -1,7 +1,7 @@
 import { ActionTypes } from "./types.js";
 export declare const stop = ActionTypes.Stop;
 export declare const raise = ActionTypes.Raise;
-export declare const send = ActionTypes.Send;
+export declare const sendTo = ActionTypes.SendTo;
 export declare const cancel = ActionTypes.Cancel;
 export declare const assign = ActionTypes.Assign;
 export declare const after = ActionTypes.After;

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

@@ -1,7 +1,7 @@
-import type { EventObject, Assigner, PropertyAssigner, MachineContext, DynamicAssignAction, LowInfer } from "../types.js";
+import type { Assigner, DynamicAssignAction, EventObject, LowInfer, MachineContext, PropertyAssigner } from "../types.js";
 /**
  * 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 EventObject = EventObject, TEvent extends EventObject = TExpressionEvent>(assignment: Assigner<LowInfer<TContext>, TExpressionEvent> | PropertyAssigner<LowInfer<TContext>, TExpressionEvent>): DynamicAssignAction<TContext, TExpressionEvent, TEvent>;

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

@@ -1,4 +1,4 @@
-import { EventObject, ExprWithMeta, MachineContext } from "../types.js";
+import { EventObject, MachineContext, UnifiedArg } from "../types.js";
 import { BaseDynamicActionObject, CancelActionObject, DynamicCancelActionObject } from "../index.js";
 /**
  * Cancels an in-flight `send(...)` action. A canceled sent action will not
@@ -7,4 +7,4 @@ import { BaseDynamicActionObject, CancelActionObject, DynamicCancelActionObject
  *
  * @param sendId The `id` of the `send(...)` action to cancel.
  */
-export declare function cancel<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject>(sendId: string | ExprWithMeta<TContext, TExpressionEvent, string>): BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, CancelActionObject, DynamicCancelActionObject<TContext, TExpressionEvent>['params']>;
+export declare function cancel<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject>(sendId: string | ((args: UnifiedArg<TContext, TExpressionEvent>) => string)): BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, CancelActionObject, DynamicCancelActionObject<TContext, TExpressionEvent>['params']>;

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

@@ -1,32 +1,30 @@
-import { EventObject, SendActionParams, SendExpr, AnyEventObject, MachineContext } from "../types.js";
-import { AnyActorRef, BaseDynamicActionObject, Cast, EventFrom, ExprWithMeta, InferEvent, SendActionObject, SendActionOptions } from "../index.js";
+import { EventObject, SendToActionParams, SendExpr, AnyEventObject, MachineContext } from "../types.js";
+import { ActorRef, AnyActorRef, BaseDynamicActionObject, Cast, EventFrom, InferEvent, SendToActionObject, SendToActionOptions, UnifiedArg } from "../index.js";
 /**
- * Sends an event. This returns an action that will be read by an interpreter to
- * send the event in the next step, after the current step is finished executing.
- *
- * @deprecated Use the `sendTo(...)` action creator instead.
+ * Sends an event to an actor.
  *
- * @param eventOrExpr The event to send.
- * @param options Options to pass into the send event:
+ * @param actor The `ActorRef` to send the event to.
+ * @param event The event to send, or an expression that evaluates to the event to send
+ * @param options Send action options
  *  - `id` - The unique send event identifier (used with `cancel()`).
  *  - `delay` - The number of milliseconds to delay the sending of the event.
- *  - `to` - The target of this event (by default, the machine the event was sent from).
  */
-export declare function send<TContext extends MachineContext, TEvent extends EventObject, TSentEvent extends EventObject = AnyEventObject>(eventOrExpr: TSentEvent | SendExpr<TContext, TEvent, AnyEventObject>, options?: SendActionOptions<TContext, TEvent>): BaseDynamicActionObject<TContext, TEvent, TEvent, SendActionObject<AnyEventObject>, SendActionParams<TContext, TEvent>>;
+export declare function sendTo<TContext extends MachineContext, TEvent extends EventObject, TActor extends AnyActorRef>(actor: TActor | string | ((args: UnifiedArg<TContext, TEvent>) => TActor | string), eventOrExpr: EventFrom<TActor> | SendExpr<TContext, TEvent, InferEvent<Cast<EventFrom<TActor>, EventObject>>>, options?: SendToActionOptions<TContext, TEvent>): BaseDynamicActionObject<TContext, TEvent, TEvent, SendToActionObject<AnyEventObject>, SendToActionParams<TContext, TEvent>>;
 /**
  * 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, TEvent extends EventObject, TSentEvent extends EventObject = AnyEventObject>(event: TSentEvent | SendExpr<TContext, TEvent, TSentEvent>, options?: SendActionOptions<TContext, TEvent>): BaseDynamicActionObject<TContext, TEvent, TEvent, SendActionObject<AnyEventObject>, SendActionParams<TContext, TEvent, EventObject>>;
+export declare function sendParent<TContext extends MachineContext, TEvent extends EventObject, TSentEvent extends EventObject = AnyEventObject>(event: TSentEvent | SendExpr<TContext, TEvent, TSentEvent>, options?: SendToActionOptions<TContext, TEvent>): BaseDynamicActionObject<TContext, TEvent, TEvent, SendToActionObject<AnyEventObject>, SendToActionParams<TContext, TEvent, EventObject>>;
+type Target<TContext extends MachineContext, TEvent extends EventObject> = string | ActorRef<any, any> | ((args: UnifiedArg<TContext, TEvent>) => string | ActorRef<any, any>);
 /**
  * Forwards (sends) an event to a specified service.
  *
  * @param target The target service to forward the event to.
  * @param options Options to pass into the send action creator.
  */
-export declare function forwardTo<TContext extends MachineContext, TEvent extends EventObject>(target: Required<SendActionParams<TContext, TEvent>>['to'], options?: SendActionOptions<TContext, TEvent>): BaseDynamicActionObject<TContext, TEvent, TEvent, SendActionObject<AnyEventObject>, SendActionParams<TContext, TEvent, EventObject>>;
+export declare function forwardTo<TContext extends MachineContext, TEvent extends EventObject>(target: Target<TContext, TEvent>, options?: SendToActionOptions<TContext, TEvent>): BaseDynamicActionObject<TContext, TEvent, TEvent, SendToActionObject<AnyEventObject>, SendToActionParams<TContext, TEvent, EventObject>>;
 /**
  * Escalates an error by sending it as an event to this machine's parent.
  *
@@ -34,13 +32,5 @@ export declare function forwardTo<TContext extends MachineContext, TEvent extend
  * 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, TEvent extends EventObject, TErrorData = any>(errorData: TErrorData | ExprWithMeta<TContext, TEvent, TErrorData>, options?: SendActionParams<TContext, TEvent>): BaseDynamicActionObject<TContext, TEvent, TEvent, SendActionObject<AnyEventObject>, SendActionParams<TContext, TEvent, EventObject>>;
-/**
- * Sends an event to an actor.
- *
- * @param actor The `ActorRef` to send the event to.
- * @param event The event to send, or an expression that evaluates to the event to send
- * @param options Send action options
- * @returns An XState send action object
- */
-export declare function sendTo<TContext extends MachineContext, TEvent extends EventObject, TActor extends AnyActorRef>(actor: TActor | string | ExprWithMeta<TContext, TEvent, TActor | string>, event: EventFrom<TActor> | SendExpr<TContext, TEvent, InferEvent<Cast<EventFrom<TActor>, EventObject>>>, options?: SendActionOptions<TContext, TEvent>): BaseDynamicActionObject<TContext, TEvent, TEvent, SendActionObject<AnyEventObject>, SendActionParams<TContext, TEvent, EventObject>>;
+export declare function escalate<TContext extends MachineContext, TEvent extends EventObject, TErrorData = any>(errorData: TErrorData | ((args: UnifiedArg<TContext, TEvent>) => TErrorData), options?: SendToActionParams<TContext, TEvent>): BaseDynamicActionObject<TContext, TEvent, TEvent, SendToActionObject<AnyEventObject>, SendToActionParams<TContext, TEvent, EventObject>>;
+export {};

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

@@ -1,7 +1,7 @@
-import { ActorRef, BaseDynamicActionObject, DynamicStopActionObject, EventObject, Expr, MachineContext, StopActionObject } from "../types.js";
+import { ActorRef, BaseDynamicActionObject, DynamicStopActionObject, EventObject, MachineContext, StopActionObject, UnifiedArg } from "../types.js";
 /**
  * Stops an actor.
  *
  * @param actorRef The actor to stop.
  */
-export declare function stop<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject>(actorRef: string | ActorRef<any> | Expr<TContext, TExpressionEvent, ActorRef<any> | string>): BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, StopActionObject, DynamicStopActionObject<TContext, TExpressionEvent>['params']>;
+export declare function stop<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject>(actorRef: string | ActorRef<any> | ((args: UnifiedArg<TContext, TExpressionEvent>) => ActorRef<any> | string)): BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, StopActionObject, DynamicStopActionObject<TContext, TExpressionEvent>['params']>;

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

@@ -1,6 +1,6 @@
 import { Action, EventObject, SingleOrArray, ActionFunction, ActionFunctionMap, ActionTypes, DoneEvent, ErrorPlatformEvent, DoneEventObject, MachineContext, BaseActionObject } from "./types.js";
 import * as actionTypes from "./actionTypes.js";
-export { send, sendTo, sendParent, forwardTo, escalate } from "./actions/send.js";
+export { sendTo, sendParent, forwardTo, escalate } from "./actions/send.js";
 export { stop } from "./actions/stop.js";
 export { log } from "./actions/log.js";
 export { cancel } from "./actions/cancel.js";
@@ -9,9 +9,6 @@ export { raise } from "./actions/raise.js";
 export { choose } from "./actions/choose.js";
 export { pure } from "./actions/pure.js";
 export { actionTypes };
-export declare const initEvent: {
-    type: ActionTypes;
-};
 export declare function resolveActionObject(actionObject: BaseActionObject, actionFunctionMap: ActionFunctionMap<any, any>): BaseActionObject;
 export declare function toActionObject<TContext extends MachineContext, TEvent extends EventObject>(action: BaseActionObject | ActionFunction<TContext, TEvent> | string): BaseActionObject;
 export declare const toActionObjects: <TContext extends MachineContext, TEvent extends EventObject>(action?: SingleOrArray<Action<TContext, TEvent>> | undefined) => BaseActionObject[];

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

@@ -1,8 +1,8 @@
 import { InvokeCallback, ActorLogic, EventObject } from "../types.js";
-export interface CallbackInternalState {
+export interface CallbackInternalState<TEvent extends EventObject> {
     canceled: boolean;
-    receivers: Set<(e: EventObject) => void>;
+    receivers: Set<(e: TEvent) => void>;
     dispose: void | (() => void) | Promise<any>;
     input?: any;
 }
-export declare function fromCallback<TEvent extends EventObject>(invokeCallback: InvokeCallback): ActorLogic<TEvent, undefined, CallbackInternalState>;
+export declare function fromCallback<TEvent extends EventObject>(invokeCallback: InvokeCallback): ActorLogic<TEvent, undefined, CallbackInternalState<TEvent>>;

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

@@ -22,7 +22,7 @@ export type LifecycleSignalType = typeof startSignalType | typeof stopSignalType
  * @template TReceived The received event
  * @template TSnapshot The emitted value
  */
-export declare function isSignal(eventType: string): eventType is LifecycleSignalType;
+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

@@ -4,9 +4,19 @@ export interface PromiseInternalState<T> {
     data: T | undefined;
     input?: any;
 }
+declare const resolveEventType = "$$xstate.resolve";
+declare const rejectEventType = "$$xstate.reject";
+export type PromiseEvent<T> = {
+    type: typeof resolveEventType;
+    data: T;
+} | {
+    type: typeof rejectEventType;
+    data: any;
+} | {
+    type: 'xstate.stop';
+};
 export declare function fromPromise<T>(promiseCreator: ({ input, system }: {
     input: any;
     system: AnyActorSystem;
-}) => PromiseLike<T>): ActorLogic<{
-    type: string;
-}, T | undefined, PromiseInternalState<T>>;
+}) => PromiseLike<T>): ActorLogic<PromiseEvent<T>, T | undefined, PromiseInternalState<T>>;
+export {};

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

@@ -5,4 +5,4 @@ export declare function not<TContext extends MachineContext, TEvent extends Even
 export declare function and<TContext extends MachineContext, TEvent extends EventObject>(guards: Array<GuardConfig<TContext, TEvent>>): BooleanGuardDefinition<TContext, TEvent>;
 export declare function or<TContext extends MachineContext, TEvent extends EventObject>(guards: Array<GuardConfig<TContext, TEvent>>): BooleanGuardDefinition<TContext, TEvent>;
 export declare function evaluateGuard<TContext extends MachineContext, TEvent extends EventObject>(guard: GuardDefinition<TContext, TEvent>, context: TContext, event: TEvent, state: State<TContext, TEvent>): boolean;
-export declare function toGuardDefinition<TContext extends MachineContext, TEvent extends EventObject>(guardConfig: GuardConfig<TContext, TEvent>, getPredicate?: (guardType: string) => GuardPredicate<TContext, TEvent>): GuardDefinition<TContext, TEvent>;
+export declare function toGuardDefinition<TContext extends MachineContext, TEvent extends EventObject>(guardConfig: GuardConfig<TContext, TEvent>, getPredicate?: (guardType: string) => GuardPredicate<TContext, TEvent> | GuardDefinition<TContext, TEvent>): GuardDefinition<TContext, TEvent>;

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

@@ -1,7 +1,7 @@
 import { symbolObservable } from "./symbolObservable.js";
 import { AreAllImplementationsAssumedToBeProvided, MissingImplementationsError } from "./typegenTypes.js";
 import type { ActorSystem, AnyActorLogic, AnyStateMachine, EventFromLogic, InterpreterFrom, PersistedStateFrom, RaiseActionObject, SnapshotFrom } from "./types.js";
-import { ActorRef, EventObject, InteropSubscribable, InterpreterOptions, Observer, SendActionObject, Subscription } from "./types.js";
+import { ActorRef, EventObject, InteropSubscribable, InterpreterOptions, Observer, SendToActionObject, Subscription } from "./types.js";
 export type SnapshotListener<TLogic extends AnyActorLogic> = (state: SnapshotFrom<TLogic>) => void;
 export type EventListener<TEvent extends EventObject = EventObject> = (event: TEvent) => void;
 export type Listener = () => void;
@@ -80,7 +80,7 @@ export declare class Interpreter<TLogic extends AnyActorLogic, TEvent extends Ev
      * @param event The event to send
      */
     send(event: TEvent): void;
-    delaySend(sendAction: SendActionObject | RaiseActionObject<any, any, any>): void;
+    delaySend(sendAction: SendToActionObject | RaiseActionObject<any, any, any>): void;
     cancel(sendId: string | number): void;
     private attachDevTools;
     toJSON(): {

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

@@ -6,6 +6,7 @@ import { AnyActorContext, AnyHistoryValue, AnyState, AnyStateNode, AnyTransition
 type Configuration<TContext extends MachineContext, TE extends EventObject> = Iterable<StateNode<TContext, TE>>;
 type AnyConfiguration = Configuration<any, any>;
 type AdjList = Map<AnyStateNode, Array<AnyStateNode>>;
+export declare const isAtomicStateNode: (stateNode: StateNode<any, any>) => boolean;
 export declare function getConfiguration(stateNodes: Iterable<AnyStateNode>): Set<AnyStateNode>;
 export declare function getAdjList<TContext extends MachineContext, TE extends EventObject>(configuration: Configuration<TContext, TE>): AdjList;
 export declare function getStateValue(rootNode: AnyStateNode, configuration: AnyConfiguration): StateValue;
@@ -52,8 +53,8 @@ export declare function removeConflictingTransitions(enabledTransitions: Array<A
  * @param currentState
  * @param mutConfiguration
  */
-export declare function microstep<TContext extends MachineContext, TEvent extends EventObject>(transitions: Array<TransitionDefinition<TContext, TEvent>>, currentState: State<TContext, TEvent, any>, actorCtx: AnyActorContext, event: TEvent): State<TContext, TEvent, any>;
-export declare function resolveActionsAndContext<TContext extends MachineContext, TEvent extends EventObject>(actions: BaseActionObject[], event: TEvent, currentState: State<TContext, TEvent, any>, actorCtx: AnyActorContext | undefined): [AnyState, BaseActionObject[]];
+export declare function microstep<TContext extends MachineContext, TEvent extends EventObject>(transitions: Array<TransitionDefinition<TContext, TEvent>>, currentState: State<TContext, TEvent, any>, actorCtx: AnyActorContext, event: TEvent, isInitial: boolean): State<TContext, TEvent, any>;
+export declare function resolveActionsAndContext<TContext extends MachineContext, TEvent extends EventObject>(actions: BaseActionObject[], event: TEvent, currentState: State<TContext, TEvent, any>, actorCtx: AnyActorContext): AnyState;
 export declare function macrostep(state: AnyState, event: EventObject, actorCtx: AnyActorContext): {
     state: typeof state;
     microstates: Array<typeof state>;