xstate 4.30.0 → 4.30.3

package/es/interpreter.d.ts

@@ -1,6 +1,6 @@
-import { StateMachine, Event, EventObject, DefaultContext, StateSchema, StateValue, InterpreterOptions, SingleOrArray, Subscribable, DoneEvent, MachineOptions, SCXML, EventData, Observer, Spawnable, Typestate, ActorRef, ActorRefFrom, Behavior, Subscription } from './types';
+import { StateMachine, Event, EventObject, DefaultContext, StateSchema, StateValue, InterpreterOptions, SingleOrArray, DoneEvent, MachineOptions, SCXML, EventData, Observer, Spawnable, Typestate, ActorRef, ActorRefFrom, Behavior, Subscription, StateConfig, InteropSubscribable } from './types';
 import { State } from './State';
-import { StateConfig } from '.';
+import { symbolObservable } from './utils';
 import { AreAllImplementationsAssumedToBeProvided, TypegenDisabled } from './typegenTypes';
 export declare type StateListener<TContext, TEvent extends EventObject, TStateSchema extends StateSchema<TContext> = any, TTypestate extends Typestate<TContext> = {
     value: any;
@@ -23,6 +23,7 @@ export declare enum InterpreterStatus {
     Running = 1,
     Stopped = 2
 }
+/** @ts-ignore [symbolObservable] creates problems for people without `skipLibCheck` who are on older versions of TS, remove this comment when we drop support for TS@<4.3 */
 export declare class Interpreter<TContext, TStateSchema extends StateSchema = any, TEvent extends EventObject = EventObject, TTypestate extends Typestate<TContext> = {
     value: any;
     context: TContext;
@@ -93,8 +94,8 @@ export declare class Interpreter<TContext, TStateSchema extends StateSchema = an
     execute(state: State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>, actionsConfig?: MachineOptions<TContext, TEvent>['actions']): void;
     private update;
     onTransition(listener: StateListener<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>): this;
-    subscribe(nextListener?: (state: State<TContext, TEvent, any, TTypestate, TResolvedTypesMeta>) => void, errorListener?: (error: any) => void, completeListener?: () => void): Subscription;
     subscribe(observer: Observer<State<TContext, TEvent, any, TTypestate, TResolvedTypesMeta>>): Subscription;
+    subscribe(nextListener?: (state: State<TContext, TEvent, any, TTypestate, TResolvedTypesMeta>) => void, errorListener?: (error: any) => void, completeListener?: () => void): Subscription;
     /**
      * Adds an event listener that is notified whenever an event is sent to the running interpreter.
      * @param listener The event listener
@@ -189,7 +190,8 @@ export declare class Interpreter<TContext, TStateSchema extends StateSchema = an
     toJSON(): {
         id: string;
     };
-    [Symbol.observable](): Subscribable<State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>>;
+    /** @ts-ignore this creates problems for people without `skipLibCheck` who are on older versions of TS, remove this comment when we drop support for TS@<4.3 */
+    [symbolObservable](): InteropSubscribable<State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>>;
     getSnapshot(): State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>;
 }
 export declare function spawn<T extends Behavior<any, any>>(entity: T, nameOrOptions?: string | SpawnOptions): ActorRefFrom<T>;

package/es/interpreter.js

@@ -1,13 +1,13 @@
 import { __values, __spreadArray, __read, __assign } from './_virtual/_tslib.js';
-import { IS_PRODUCTION } from './environment.js';
-import { warn, mapContext, isFunction, keys, toSCXMLEvent, toInvokeSource, isMachine, isPromiseLike, isObservable, isBehavior, reportUnhandledExceptionOnInvocation, interopSymbols, symbolObservable, isArray, toEventObject, isString, isActor, toObserver, uniqueId } from './utils.js';
 import { ActionTypes, SpecialTargets } from './types.js';
-import { isInFinalState } from './stateUtils.js';
 import { errorPlatform, log, stop, start, cancel, send, update, error as error$1 } from './actionTypes.js';
+import { IS_PRODUCTION } from './environment.js';
+import { warn, mapContext, isFunction, toSCXMLEvent, toInvokeSource, isMachine, isPromiseLike, isObservable, isBehavior, reportUnhandledExceptionOnInvocation, symbolObservable, isArray, toEventObject, isString, isActor, uniqueId, toObserver } from './utils.js';
 import { doneInvoke, initEvent, getActionFunction, error } from './actions.js';
-import { isStateConfig, State, bindActionToState } from './State.js';
 import { provide, consume } from './serviceScope.js';
 import { isSpawnedActor, createDeferredActor } from './Actor.js';
+import { isInFinalState } from './stateUtils.js';
+import { isStateConfig, State, bindActionToState } from './State.js';
 import { Scheduler } from './scheduler.js';
 import { registry } from './registry.js';
 import { registerService, getGlobal } from './devTools.js';
@@ -24,6 +24,8 @@ var InterpreterStatus;
   InterpreterStatus[InterpreterStatus["Running"] = 1] = "Running";
   InterpreterStatus[InterpreterStatus["Stopped"] = 2] = "Stopped";
 })(InterpreterStatus || (InterpreterStatus = {}));
+/** @ts-ignore [symbolObservable] creates problems for people without `skipLibCheck` who are on older versions of TS, remove this comment when we drop support for TS@<4.3 */
+
 
 var Interpreter =
 /*#__PURE__*/
@@ -591,7 +593,7 @@ function () {
 
     try {
       // Cancel all delayed events
-      for (var _p = __values(keys(this.delayedEventsMap)), _q = _p.next(); !_q.done; _q = _p.next()) {
+      for (var _p = __values(Object.keys(this.delayedEventsMap)), _q = _p.next(); !_q.done; _q = _p.next()) {
         var key = _q.value;
         this.clock.clearTimeout(this.delayedEventsMap[key]);
       }
@@ -997,6 +999,8 @@ function () {
   };
 
   Interpreter.prototype.spawnPromise = function (promise, id) {
+    var _a;
+
     var _this = this;
 
     var canceled = false;
@@ -1039,8 +1043,7 @@ function () {
         }
       }
     });
-
-    var actor = __assign({
+    var actor = (_a = {
       id: id,
       send: function () {
         return void 0;
@@ -1084,13 +1087,16 @@ function () {
       getSnapshot: function () {
         return resolvedData;
       }
-    }, interopSymbols);
-
+    }, _a[symbolObservable] = function () {
+      return this;
+    }, _a);
     this.children.set(id, actor);
     return actor;
   };
 
   Interpreter.prototype.spawnCallback = function (callback, id) {
+    var _a;
+
     var _this = this;
 
     var canceled = false;
@@ -1129,7 +1135,7 @@ function () {
       return this.spawnPromise(callbackStop, id);
     }
 
-    var actor = __assign({
+    var actor = (_a = {
       id: id,
       send: function (event) {
         return receivers.forEach(function (receiver) {
@@ -1137,10 +1143,11 @@ function () {
         });
       },
       subscribe: function (next) {
-        listeners.add(next);
+        var observer = toObserver(next);
+        listeners.add(observer.next);
         return {
           unsubscribe: function () {
-            listeners.delete(next);
+            listeners.delete(observer.next);
           }
         };
       },
@@ -1159,13 +1166,16 @@ function () {
       getSnapshot: function () {
         return emitted;
       }
-    }, interopSymbols);
-
+    }, _a[symbolObservable] = function () {
+      return this;
+    }, _a);
     this.children.set(id, actor);
     return actor;
   };
 
   Interpreter.prototype.spawnObservable = function (source, id) {
+    var _a;
+
     var _this = this;
 
     var emitted;
@@ -1188,8 +1198,7 @@ function () {
         origin: id
       }));
     });
-
-    var actor = __assign({
+    var actor = (_a = {
       id: id,
       send: function () {
         return void 0;
@@ -1208,8 +1217,9 @@ function () {
           id: id
         };
       }
-    }, interopSymbols);
-
+    }, _a[symbolObservable] = function () {
+      return this;
+    }, _a);
     this.children.set(id, actor);
     return actor;
   };
@@ -1237,7 +1247,9 @@ function () {
   };
 
   Interpreter.prototype.spawnEffect = function (id, dispose) {
-    this.children.set(id, __assign({
+    var _a;
+
+    this.children.set(id, (_a = {
       id: id,
       send: function () {
         return void 0;
@@ -1258,7 +1270,9 @@ function () {
           id: id
         };
       }
-    }, interopSymbols));
+    }, _a[symbolObservable] = function () {
+      return this;
+    }, _a));
   };
 
   Interpreter.prototype.attachDev = function () {
@@ -1296,12 +1310,12 @@ function () {
       id: this.id
     };
   };
+  /** @ts-ignore this creates problems for people without `skipLibCheck` who are on older versions of TS, remove this comment when we drop support for TS@<4.3 */
+
 
   Interpreter.prototype[symbolObservable] = function () {
     return this;
-  }; // this gets stripped by Babel to avoid having "undefined" property in environments without this non-standard Symbol
-  // it has to be here to be included in the generated .d.ts
-
+  };
 
   Interpreter.prototype.getSnapshot = function () {
     if (this.status === InterpreterStatus.NotStarted) {

package/es/invokeUtils.js

@@ -1,8 +1,8 @@
 import { __assign, __rest } from './_virtual/_tslib.js';
-import './environment.js';
-import './utils.js';
 import './types.js';
 import { invoke } from './actionTypes.js';
+import './environment.js';
+import './utils.js';
 
 function toInvokeSource(src) {
   if (typeof src === 'string') {

package/es/mapState.js

@@ -1,5 +1,5 @@
 import { __values } from './_virtual/_tslib.js';
-import { keys, matchesState } from './utils.js';
+import { matchesState } from './utils.js';
 
 function mapState(stateMap, stateId) {
   var e_1, _a;
@@ -7,7 +7,7 @@ function mapState(stateMap, stateId) {
   var foundStateId;
 
   try {
-    for (var _b = __values(keys(stateMap)), _c = _b.next(); !_c.done; _c = _b.next()) {
+    for (var _b = __values(Object.keys(stateMap)), _c = _b.next(); !_c.done; _c = _b.next()) {
       var mappedStateId = _c.value;
 
       if (matchesState(mappedStateId, stateId) && (!foundStateId || stateId.length > foundStateId.length)) {

package/es/scxml.d.ts

@@ -1,6 +1,6 @@
-import { StateMachine } from './index';
+import { AnyStateMachine } from './index';
 export interface ScxmlToMachineOptions {
     delimiter?: string;
 }
-export declare function toMachine(xml: string, options: ScxmlToMachineOptions): StateMachine<any, any, any, any, any, any, any>;
+export declare function toMachine(xml: string, options: ScxmlToMachineOptions): AnyStateMachine;
 //# sourceMappingURL=scxml.d.ts.map

package/es/stateUtils.js

@@ -1,11 +1,11 @@
 import { __values, __spreadArray, __read } from './_virtual/_tslib.js';
-import { flatten, keys } from './utils.js';
+import { flatten } from './utils.js';
 
 var isLeafNode = function (stateNode) {
   return stateNode.type === 'atomic' || stateNode.type === 'final';
 };
 function getChildren(stateNode) {
-  return keys(stateNode.states).map(function (key) {
+  return Object.keys(stateNode.states).map(function (key) {
     return stateNode.states[key];
   });
 }

package/es/types.d.ts

@@ -22,6 +22,8 @@ export declare type IndexByType<T extends {
 export declare type Equals<A1 extends any, A2 extends any> = (<A>() => A extends A2 ? true : false) extends <A>() => A extends A1 ? true : false ? true : false;
 export declare type IsAny<T> = Equals<T, any>;
 export declare type Cast<A, B> = A extends B ? A : B;
+export declare type NoInfer<T> = [T][T extends any ? 0 : any];
+export declare type LowInfer<T> = T & {};
 export declare type EventType = string;
 export declare type ActionType = string;
 export declare type MetaObject = Record<string, any>;
@@ -90,7 +92,7 @@ export declare type SimpleEventsOf<TEvent extends EventObject> = ExtractWithSimp
 export declare type BaseAction<TContext, TEvent extends EventObject, TAction extends BaseActionObject> = SimpleActionsOf<TAction>['type'] | TAction | RaiseAction<any> | SendAction<TContext, TEvent, any> | AssignAction<TContext, TEvent> | LogAction<TContext, TEvent> | CancelAction | StopAction<TContext, TEvent> | ChooseAction<TContext, TEvent> | ActionFunction<TContext, TEvent>;
 export declare type BaseActions<TContext, TEvent extends EventObject, TAction extends BaseActionObject> = SingleOrArray<BaseAction<TContext, TEvent, TAction>>;
 export declare type Actions<TContext, TEvent extends EventObject> = SingleOrArray<Action<TContext, TEvent>>;
-export declare type StateKey = string | State<any>;
+export declare type StateKey = string | AnyState;
 export interface StateValueMap {
     [key: string]: StateValue;
 }
@@ -268,7 +270,7 @@ export interface InvokeConfig<TContext, TEvent extends EventObject> {
     /**
      * The source of the machine to be invoked, or the machine itself.
      */
-    src: string | InvokeSourceDefinition | StateMachine<any, any, any> | InvokeCreator<TContext, TEvent, any>;
+    src: string | InvokeSourceDefinition | AnyStateMachine | InvokeCreator<TContext, TEvent, any>;
     /**
      * If `true`, events sent to the parent service will be forwarded to the invoked service.
      *
@@ -338,7 +340,7 @@ export interface StateNodeConfig<TContext, TStateSchema extends StateSchema, TEv
     /**
      * The services to invoke upon entering this state node. These services will be stopped upon exiting this state node.
      */
-    invoke?: SingleOrArray<InvokeConfig<TContext, TEvent> | StateMachine<any, any, any>>;
+    invoke?: SingleOrArray<InvokeConfig<TContext, TEvent> | AnyStateMachine>;
     /**
      * The mapping of event types to their potential transition(s).
      */
@@ -458,6 +460,8 @@ export interface StateNodeDefinition<TContext, TStateSchema extends StateSchema,
     tags: string[];
 }
 export declare type AnyStateNodeDefinition = StateNodeDefinition<any, any, any>;
+export declare type AnyState = State<any, any, any, any, any>;
+export declare type AnyStateMachine = StateMachine<any, any, any, any, any, any, any>;
 export interface AtomicStateNodeConfig<TContext, TEvent extends EventObject> extends StateNodeConfig<TContext, StateSchema, TEvent> {
     initial?: undefined;
     parallel?: false | undefined;
@@ -483,7 +487,7 @@ export declare type ActionFunctionMap<TContext, TEvent extends EventObject, TAct
     } ? TAction : never>;
 };
 export declare type DelayFunctionMap<TContext, TEvent extends EventObject> = Record<string, DelayConfig<TContext, TEvent>>;
-export declare type ServiceConfig<TContext, TEvent extends EventObject = AnyEventObject> = string | StateMachine<any, any, any> | InvokeCreator<TContext, TEvent>;
+export declare type ServiceConfig<TContext, TEvent extends EventObject = AnyEventObject> = string | AnyStateMachine | InvokeCreator<TContext, TEvent>;
 export declare type DelayConfig<TContext, TEvent extends EventObject> = number | DelayExpr<TContext, TEvent>;
 declare type MachineOptionsActions<TContext, TResolvedTypesMeta, TEventsCausingActions = Prop<TResolvedTypesMeta, 'eventsCausingActions'>, TIndexedEvents = Prop<TResolvedTypesMeta, 'indexedEvents'>, TIndexedActions = Prop<TResolvedTypesMeta, 'indexedActions'>> = {
     [K in keyof TEventsCausingActions]?: ActionObject<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>> | ActionFunction<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>, Cast<Prop<TIndexedActions, K>, BaseActionObject>>;
@@ -495,7 +499,7 @@ declare type MachineOptionsGuards<TContext, TResolvedTypesMeta, TEventsCausingGu
     [K in keyof TEventsCausingGuards]?: ConditionPredicate<TContext, Cast<Prop<TIndexedEvents, TEventsCausingGuards[K]>, EventObject>>;
 };
 declare type MachineOptionsServices<TContext, TResolvedTypesMeta, TEventsCausingServices = Prop<TResolvedTypesMeta, 'eventsCausingServices'>, TIndexedEvents = Prop<TResolvedTypesMeta, 'indexedEvents'>, TInvokeSrcNameMap = Prop<TResolvedTypesMeta, 'invokeSrcNameMap'>> = {
-    [K in keyof TEventsCausingServices]?: StateMachine<any, any, any, any, any, any, any> | InvokeCreator<TContext, Cast<Prop<TIndexedEvents, TEventsCausingServices[K]>, EventObject>, Prop<Prop<TIndexedEvents, Prop<TInvokeSrcNameMap, K>>, 'data'>, EventObject, Cast<TIndexedEvents[keyof TIndexedEvents], EventObject>>;
+    [K in keyof TEventsCausingServices]?: AnyStateMachine | InvokeCreator<TContext, Cast<Prop<TIndexedEvents, TEventsCausingServices[K]>, EventObject>, Prop<Prop<TIndexedEvents, Prop<TInvokeSrcNameMap, K>>, 'data'>, EventObject, Cast<TIndexedEvents[keyof TIndexedEvents], EventObject>>;
 };
 declare type MakeKeysRequired<T extends string> = {
     [K in T]: unknown;
@@ -522,11 +526,11 @@ export declare type InternalMachineOptions<TContext, TEvent extends EventObject,
     activities?: Record<string, ActivityConfig<TContext, TEvent>>;
 };
 export declare type MachineOptions<TContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TServiceMap extends ServiceMap = ServiceMap, TTypesMeta extends TypegenConstraint = TypegenDisabled> = InternalMachineOptions<TContext, TEvent, ResolveTypegenMeta<TTypesMeta, TEvent, TAction, TServiceMap>>;
-export interface MachineConfig<TContext, TStateSchema extends StateSchema, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TServiceMap extends ServiceMap = ServiceMap, TTypesMeta = TypegenDisabled> extends StateNodeConfig<TContext, TStateSchema, TEvent, TAction> {
+export interface MachineConfig<TContext, TStateSchema extends StateSchema, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TServiceMap extends ServiceMap = ServiceMap, TTypesMeta = TypegenDisabled> extends StateNodeConfig<NoInfer<TContext>, TStateSchema, TEvent, TAction> {
     /**
      * The initial context (extended state)
      */
-    context?: TContext | (() => TContext);
+    context?: LowInfer<TContext | (() => TContext)>;
     /**
      * The machine's own version.
      */
@@ -568,7 +572,7 @@ export interface HistoryStateNode<TContext> extends StateNode<TContext> {
 export interface StateMachine<TContext, TStateSchema extends StateSchema, TEvent extends EventObject, TTypestate extends Typestate<TContext> = {
     value: any;
     context: TContext;
-}, TAction extends BaseActionObject = BaseActionObject, TServiceMap extends ServiceMap = ServiceMap, TResolvedTypesMeta = TypegenDisabled> extends StateNode<TContext, TStateSchema, TEvent, TTypestate, TServiceMap, TResolvedTypesMeta> {
+}, TAction extends BaseActionObject = BaseActionObject, TServiceMap extends ServiceMap = ServiceMap, TResolvedTypesMeta = ResolveTypegenMeta<TypegenDisabled, TEvent, TAction, TServiceMap>> extends StateNode<TContext, TStateSchema, TEvent, TTypestate, TServiceMap, TResolvedTypesMeta> {
     id: string;
     states: StateNode<TContext, TStateSchema, TEvent, TTypestate, TServiceMap, TResolvedTypesMeta>['states'];
     withConfig(options: InternalMachineOptions<TContext, TEvent, TResolvedTypesMeta, true>, context?: TContext | (() => TContext)): StateMachine<TContext, TStateSchema, TEvent, TTypestate, TAction, TServiceMap, AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends false ? MarkAllImplementationsAsProvided<TResolvedTypesMeta> : TResolvedTypesMeta>;
@@ -588,7 +592,7 @@ export interface StateMachine<TContext, TStateSchema extends StateSchema, TEvent
     /** @deprecated an internal property acting as a "phantom" type, not meant to be used at runtime */
     __TResolvedTypesMeta: TResolvedTypesMeta;
 }
-export declare type StateFrom<T extends StateMachine<any, any, any, any, any, any, any> | ((...args: any[]) => StateMachine<any, any, any, any, any, any, any>)> = T extends StateMachine<any, any, any, any, any, any, any> ? ReturnType<T['transition']> : T extends (...args: any[]) => StateMachine<any, any, any, any, any, any, any> ? ReturnType<ReturnType<T>['transition']> : never;
+export declare type StateFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = T extends AnyStateMachine ? ReturnType<T['transition']> : T extends (...args: any[]) => AnyStateMachine ? ReturnType<ReturnType<T>['transition']> : never;
 export interface ActionMap<TContext, TEvent extends EventObject> {
     onEntry: Array<Action<TContext, TEvent>>;
     actions: Array<Action<TContext, TEvent>>;
@@ -668,7 +672,7 @@ export interface DoneEventObject extends EventObject {
 }
 export interface UpdateObject extends EventObject {
     id: string | number;
-    state: State<any, any>;
+    state: AnyState;
 }
 export declare type DoneEvent = DoneEventObject & string;
 export interface NullEvent {
@@ -868,6 +872,7 @@ export interface StateConfig<TContext, TEvent extends EventObject> {
     tags?: Set<string>;
     machine?: StateMachine<TContext, any, TEvent, any, any, any, any>;
 }
+export declare type AnyStateConfig = StateConfig<any, AnyEventObject>;
 export interface StateSchema<TC = any> {
     meta?: any;
     context?: Partial<TC>;
@@ -973,13 +978,16 @@ export interface Subscription {
     unsubscribe(): void;
 }
 export interface InteropObservable<T> {
-    [Symbol.observable]: () => Subscribable<T>;
+    [Symbol.observable]: () => InteropSubscribable<T>;
 }
-export interface Subscribable<T> {
-    subscribe(next: (value: T) => void, error?: (error: any) => void, complete?: () => void): Subscription;
+export interface InteropSubscribable<T> {
+    subscribe(observer: Observer<T>): Subscription;
+}
+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 declare type Spawnable = StateMachine<any, any, any> | PromiseLike<any> | InvokeCallback | InteropObservable<any> | Subscribable<any> | Behavior<any>;
+export declare type Spawnable = AnyStateMachine | PromiseLike<any> | InvokeCallback | InteropObservable<any> | Subscribable<any> | Behavior<any>;
 export declare type ExtractEvent<TEvent extends EventObject, TEventType extends TEvent['type']> = TEvent extends {
     type: TEventType;
 } ? TEvent : never;
@@ -1003,10 +1011,10 @@ export declare type ActorRefWithDeprecatedState<TContext, TEvent extends EventOb
      */
     state: State<TContext, TEvent, any, TTypestate, TResolvedTypesMeta>;
 };
-export declare type ActorRefFrom<T> = T extends StateMachine<infer TContext, any, infer TEvent, infer TTypestate, any, any, any> ? ActorRefWithDeprecatedState<TContext, TEvent, TTypestate> : T extends (...args: any[]) => StateMachine<infer TContext, any, infer TEvent, infer TTypestate, any, any, infer TResolvedTypesMeta> ? ActorRefWithDeprecatedState<TContext, TEvent, TTypestate, TResolvedTypesMeta> : T extends Promise<infer U> ? ActorRef<never, U> : T extends Behavior<infer TEvent1, infer TEmitted> ? ActorRef<TEvent1, TEmitted> : T extends (...args: any[]) => Behavior<infer TEvent1, infer TEmitted> ? ActorRef<TEvent1, TEmitted> : never;
+export declare type ActorRefFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, any, infer TEvent, infer TTypestate, any, any, infer TResolvedTypesMeta> ? ActorRefWithDeprecatedState<TContext, TEvent, TTypestate, TResolvedTypesMeta> : R extends Promise<infer U> ? ActorRef<never, U> : R extends Behavior<infer TEvent, infer TEmitted> ? ActorRef<TEvent, TEmitted> : never : never;
 export declare type AnyInterpreter = Interpreter<any, any, any, any, any>;
-export declare type InterpreterFrom<T extends StateMachine<any, any, any, any, any, any, any> | ((...args: any[]) => StateMachine<any, any, any, any, any, any, any>)> = T extends StateMachine<infer TContext, infer TStateSchema, infer TEvent, infer TTypestate, any, any, infer TResolvedTypesMeta> ? Interpreter<TContext, TStateSchema, TEvent, TTypestate, TResolvedTypesMeta> : T extends (...args: any[]) => StateMachine<infer TContext, infer TStateSchema, infer TEvent, infer TTypestate, any, any, infer TResolvedTypesMeta> ? Interpreter<TContext, TStateSchema, TEvent, TTypestate, TResolvedTypesMeta> : never;
-export declare type MachineOptionsFrom<T extends StateMachine<any, any, any, any, any, any, any> | ((...args: any[]) => StateMachine<any, any, any, any, any, any, any>), TRequireMissingImplementations extends boolean = false> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, any, infer TEvent, any, any, any, infer TResolvedTypesMeta> ? InternalMachineOptions<TContext, TEvent, TResolvedTypesMeta, TRequireMissingImplementations> : never;
+export declare type InterpreterFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = T extends StateMachine<infer TContext, infer TStateSchema, infer TEvent, infer TTypestate, any, any, infer TResolvedTypesMeta> ? Interpreter<TContext, TStateSchema, TEvent, TTypestate, TResolvedTypesMeta> : T extends (...args: any[]) => StateMachine<infer TContext, infer TStateSchema, infer TEvent, infer TTypestate, any, any, infer TResolvedTypesMeta> ? Interpreter<TContext, TStateSchema, TEvent, TTypestate, TResolvedTypesMeta> : never;
+export declare type MachineOptionsFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine), TRequireMissingImplementations extends boolean = false> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, any, infer TEvent, any, any, any, infer TResolvedTypesMeta> ? InternalMachineOptions<TContext, TEvent, TResolvedTypesMeta, TRequireMissingImplementations> : never;
 export declare type __ResolvedTypesMetaFrom<T> = T extends StateMachine<any, any, any, any, any, any, infer TResolvedTypesMeta> ? TResolvedTypesMeta : never;
 export interface ActorContext<TEvent extends EventObject, TEmitted> {
     parent?: ActorRef<any, any>;

package/es/utils.d.ts

@@ -1,8 +1,8 @@
-import { Event, StateValue, ActionType, Action, EventObject, PropertyMapper, Mapper, EventType, HistoryValue, AssignAction, Condition, Subscribable, StateMachine, ConditionPredicate, SCXML, StateLike, EventData, TransitionConfig, TransitionConfigTarget, NullEvent, SingleOrArray, Guard, InvokeSourceDefinition, Observer, Behavior } from './types';
+import { Event, StateValue, ActionType, Action, EventObject, PropertyMapper, Mapper, EventType, HistoryValue, AssignAction, Condition, Subscribable, ConditionPredicate, SCXML, StateLike, EventData, TransitionConfig, TransitionConfigTarget, NullEvent, SingleOrArray, Guard, InvokeSourceDefinition, Observer, Behavior } from './types';
 import { StateNode } from './StateNode';
 import { State } from './State';
 import { Actor } from './Actor';
-export declare function keys<T extends object>(value: T): Array<keyof T & string>;
+import { AnyStateMachine } from '.';
 export declare function matchesState(parentStateId: StateValue, childStateId: StateValue, delimiter?: string): boolean;
 export declare function getEventType<TEvent extends EventObject = EventObject>(event: Event<TEvent>): TEvent['type'];
 export declare function getActionType(action: Action<any, any>): ActionType;
@@ -10,9 +10,7 @@ export declare function toStatePath(stateId: string | string[], delimiter: strin
 export declare function isStateLike(state: any): state is StateLike<any>;
 export declare function toStateValue(stateValue: StateLike<any> | StateValue | string[], delimiter: string): StateValue;
 export declare function pathToStateValue(statePath: string[]): StateValue;
-export declare function mapValues<T, P, O extends {
-    [key: string]: T;
-}>(collection: O, iteratee: (item: O[keyof O], key: keyof O, collection: O, i: number) => P): {
+export declare function mapValues<P, O extends Record<string, unknown>>(collection: O, iteratee: (item: O[keyof O], key: keyof O, collection: O, i: number) => P): {
     [key in keyof O]: P;
 };
 export declare function mapFilterValues<T, P>(collection: {
@@ -52,12 +50,11 @@ export declare function isFunction(value: any): value is Function;
 export declare function isString(value: any): value is string;
 export declare function toGuard<TContext, TEvent extends EventObject>(condition?: Condition<TContext, TEvent>, guardMap?: Record<string, ConditionPredicate<TContext, TEvent>>): Guard<TContext, TEvent> | undefined;
 export declare function isObservable<T>(value: any): value is Subscribable<T>;
-export declare const symbolObservable: string | typeof Symbol.observable;
+export declare const symbolObservable: typeof Symbol.observable;
 export declare const interopSymbols: {
-    [x: string]: () => any;
     [Symbol.observable]: () => any;
 };
-export declare function isMachine(value: any): value is StateMachine<any, any, any>;
+export declare function isMachine(value: any): value is AnyStateMachine;
 export declare function isActor(value: any): value is Actor;
 export declare const uniqueId: () => string;
 export declare function toEventObject<TEvent extends EventObject>(event: Event<TEvent>, payload?: EventData): TEvent;

package/es/utils.js

@@ -1,11 +1,8 @@
-import { __spreadArray, __read, __values, __assign } from './_virtual/_tslib.js';
+import { __assign, __spreadArray, __read, __values } from './_virtual/_tslib.js';
 import { DEFAULT_GUARD_TYPE, TARGETLESS_KEY, STATE_DELIMITER } from './constants.js';
 import { IS_PRODUCTION } from './environment.js';
 
 var _a;
-function keys(value) {
-  return Object.keys(value);
-}
 function matchesState(parentStateId, childStateId, delimiter) {
   if (delimiter === void 0) {
     delimiter = STATE_DELIMITER;
@@ -27,7 +24,7 @@ function matchesState(parentStateId, childStateId, delimiter) {
     return parentStateValue in childStateValue;
   }
 
-  return keys(parentStateValue).every(function (key) {
+  return Object.keys(parentStateValue).every(function (key) {
     if (!(key in childStateValue)) {
       return false;
     }
@@ -93,7 +90,7 @@ function pathToStateValue(statePath) {
 }
 function mapValues(collection, iteratee) {
   var result = {};
-  var collectionKeys = keys(collection);
+  var collectionKeys = Object.keys(collection);
 
   for (var i = 0; i < collectionKeys.length; i++) {
     var key = collectionKeys[i];
@@ -108,7 +105,7 @@ function mapFilterValues(collection, iteratee, predicate) {
   var result = {};
 
   try {
-    for (var _b = __values(keys(collection)), _c = _b.next(); !_c.done; _c = _b.next()) {
+    for (var _b = __values(Object.keys(collection)), _c = _b.next(); !_c.done; _c = _b.next()) {
       var key = _c.value;
       var item = collection[key];
 
@@ -203,7 +200,7 @@ function toStatePaths(stateValue) {
     return [[stateValue]];
   }
 
-  var result = flatten(keys(stateValue).map(function (key) {
+  var result = flatten(Object.keys(stateValue).map(function (key) {
     var subStateValue = stateValue[key];
 
     if (typeof subStateValue !== 'string' && (!subStateValue || !Object.keys(subStateValue).length)) {
@@ -362,7 +359,7 @@ function updateContext(context, _event, assignActions, state) {
       partialUpdate = assignment(acc, _event.data, meta);
     } else {
       try {
-        for (var _b = __values(keys(assignment)), _c = _b.next(); !_c.done; _c = _b.next()) {
+        for (var _b = __values(Object.keys(assignment)), _c = _b.next(); !_c.done; _c = _b.next()) {
           var key = _c.value;
           var propAssignment = assignment[key];
           partialUpdate[key] = isFunction(propAssignment) ? propAssignment(acc, _event.data, meta) : propAssignment;
@@ -416,18 +413,7 @@ function isFunction(value) {
 }
 function isString(value) {
   return typeof value === 'string';
-} // export function memoizedGetter<T, TP extends { prototype: object }>(
-//   o: TP,
-//   property: string,
-//   getter: () => T
-// ): void {
-//   Object.defineProperty(o.prototype, property, {
-//     get: getter,
-//     enumerable: false,
-//     configurable: false
-//   });
-// }
-
+}
 function toGuard(condition, guardMap) {
   if (!condition) {
     return undefined;
@@ -460,16 +446,15 @@ function isObservable(value) {
 }
 var symbolObservable = /*#__PURE__*/function () {
   return typeof Symbol === 'function' && Symbol.observable || '@@observable';
-}();
+}(); // TODO: to be removed in v5, left it out just to minimize the scope of the change and maintain compatibility with older versions of integration paackages
+
 var interopSymbols = (_a = {}, _a[symbolObservable] = function () {
   return this;
+}, _a[Symbol.observable] = function () {
+  return this;
 }, _a);
 function isMachine(value) {
-  try {
-    return '__xstatenode' in value;
-  } catch (e) {
-    return false;
-  }
+  return !!value && '__xstatenode' in value;
 }
 function isActor(value) {
   return !!value && typeof value.send === 'function';
@@ -588,4 +573,4 @@ function createInvokeId(stateNodeId, index) {
   return "".concat(stateNodeId, ":invocation[").concat(index, "]");
 }
 
-export { createInvokeId, evaluateGuard, flatten, getEventType, interopSymbols, isActor, isArray, isBehavior, isBuiltInEvent, isFunction, isMachine, isObservable, isPromiseLike, isStateLike, isString, keys, mapContext, mapFilterValues, mapValues, matchesState, nestedPath, normalizeTarget, partition, path, pathToStateValue, reportUnhandledExceptionOnInvocation, symbolObservable, toArray, toArrayStrict, toEventObject, toGuard, toInvokeSource, toObserver, toSCXMLEvent, toStatePath, toStatePaths, toStateValue, toTransitionConfigArray, uniqueId, updateContext, updateHistoryStates, updateHistoryValue, warn };
+export { createInvokeId, evaluateGuard, flatten, getEventType, interopSymbols, isActor, isArray, isBehavior, isBuiltInEvent, isFunction, isMachine, isObservable, isPromiseLike, isStateLike, isString, mapContext, mapFilterValues, mapValues, matchesState, nestedPath, normalizeTarget, partition, path, pathToStateValue, reportUnhandledExceptionOnInvocation, symbolObservable, toArray, toArrayStrict, toEventObject, toGuard, toInvokeSource, toObserver, toSCXMLEvent, toStatePath, toStatePaths, toStateValue, toTransitionConfigArray, uniqueId, updateContext, updateHistoryStates, updateHistoryValue, warn };

package/lib/Actor.d.ts

@@ -21,5 +21,5 @@ export declare function createInvocableActor<TC, TE extends EventObject>(invokeD
 export declare function createDeferredActor(entity: Spawnable, id: string, data?: any): ActorRef<any, undefined>;
 export declare function isActor(item: any): item is ActorRef<any>;
 export declare function isSpawnedActor(item: any): item is ActorRef<any>;
-export declare function toActorRef<TEvent extends EventObject, TEmitted = any, TActorRefLike extends BaseActorRef<TEvent> = BaseActorRef<TEvent>>(actorRefLike: TActorRefLike): ActorRef<TEvent, TEmitted>;
+export declare function toActorRef<TEvent extends EventObject, TEmitted = any, TActorRefLike extends BaseActorRef<TEvent> = BaseActorRef<TEvent>>(actorRefLike: TActorRefLike): ActorRef<TEvent, TEmitted> & Omit<TActorRefLike, keyof ActorRef<any, any>>;
 //# sourceMappingURL=Actor.d.ts.map

package/lib/Actor.js

@@ -7,7 +7,9 @@ var utils = require('./utils.js');
 var serviceScope = require('./serviceScope.js');
 
 function createNullActor(id) {
-  return _tslib.__assign({
+  var _a;
+
+  return _a = {
     id: id,
     send: function () {
       return void 0;
@@ -27,7 +29,9 @@ function createNullActor(id) {
         id: id
       };
     }
-  }, utils.interopSymbols);
+  }, _a[utils.symbolObservable] = function () {
+    return this;
+  }, _a;
 }
 /**
  * Creates a deferred actor that is able to be invoked given the provided
@@ -74,9 +78,12 @@ function isActor(item) {
 }
 function isSpawnedActor(item) {
   return isActor(item) && 'id' in item;
-}
+} // TODO: refactor the return type, this could be written in a better way but it's best to avoid unneccessary breaking changes now
+
 function toActorRef(actorRefLike) {
-  return _tslib.__assign(_tslib.__assign({
+  var _a;
+
+  return _tslib.__assign((_a = {
     subscribe: function () {
       return {
         unsubscribe: function () {
@@ -88,7 +95,9 @@ function toActorRef(actorRefLike) {
     getSnapshot: function () {
       return undefined;
     }
-  }, utils.interopSymbols), actorRefLike);
+  }, _a[utils.symbolObservable] = function () {
+    return this;
+  }, _a), actorRefLike);
 }
 
 exports.createDeferredActor = createDeferredActor;

package/lib/Machine.d.ts

@@ -1,4 +1,3 @@
-import { Model } from './model.types';
 import { AnyEventObject, BaseActionObject, DefaultContext, EventObject, MachineConfig, InternalMachineOptions, StateMachine, StateSchema, Typestate, ServiceMap } from './types';
 import { TypegenConstraint, TypegenDisabled, ResolveTypegenMeta } from './typegenTypes';
 /**
@@ -9,5 +8,5 @@ export declare function Machine<TContext = DefaultContext, TStateSchema extends
 export declare function createMachine<TContext, TEvent extends EventObject = AnyEventObject, TTypestate extends Typestate<TContext> = {
     value: any;
     context: TContext;
-}, TServiceMap extends ServiceMap = ServiceMap, TTypesMeta extends TypegenConstraint = TypegenDisabled>(config: TContext extends Model<any, any, any, any> ? 'Model type no longer supported as generic type. Please use `model.createMachine(...)` instead.' : MachineConfig<TContext, any, TEvent, BaseActionObject, TServiceMap, TTypesMeta>, options?: InternalMachineOptions<TContext, TEvent, ResolveTypegenMeta<TTypesMeta, TEvent, BaseActionObject, TServiceMap>>): StateMachine<TContext, any, TEvent, TTypestate, BaseActionObject, TServiceMap, ResolveTypegenMeta<TTypesMeta, TEvent, BaseActionObject, TServiceMap>>;
+}, TServiceMap extends ServiceMap = ServiceMap, TTypesMeta extends TypegenConstraint = TypegenDisabled>(config: MachineConfig<TContext, any, TEvent, BaseActionObject, TServiceMap, TTypesMeta>, options?: InternalMachineOptions<TContext, TEvent, ResolveTypegenMeta<TTypesMeta, TEvent, BaseActionObject, TServiceMap>>): StateMachine<TContext, any, TEvent, TTypestate, BaseActionObject, TServiceMap, ResolveTypegenMeta<TTypesMeta, TEvent, BaseActionObject, TServiceMap>>;
 //# sourceMappingURL=Machine.d.ts.map

package/lib/State.d.ts

@@ -71,7 +71,7 @@ export declare class State<TContext, TEvent extends EventObject = EventObject, T
      * @param stateValue
      * @param context
      */
-    static inert<TC, TE extends EventObject = EventObject>(stateValue: State<TC, TE> | StateValue, context: TC): State<TC, TE>;
+    static inert<TC, TE extends EventObject = EventObject>(stateValue: State<TC, TE, any, any, any> | StateValue, context: TC): State<TC, TE>;
     /**
      * Creates a new State instance.
      * @param value The state value
@@ -98,7 +98,8 @@ export declare class State<TContext, TEvent extends EventObject = EventObject, T
      * Whether the current state value is a subset of the given parent state value.
      * @param parentStateValue
      */
-    matches<TSV extends TResolvedTypesMeta extends TypegenEnabled ? Prop<TResolvedTypesMeta, 'matchesStates'> : TTypestate['value']>(parentStateValue: TSV): this is State<(TTypestate extends any ? {
+    matches<TSV extends TResolvedTypesMeta extends TypegenEnabled ? Prop<TResolvedTypesMeta, 'matchesStates'> : never>(parentStateValue: TSV): boolean;
+    matches<TSV extends TResolvedTypesMeta extends TypegenDisabled ? TTypestate['value'] : never>(parentStateValue: TSV): this is State<(TTypestate extends any ? {
         value: TSV;
         context: any;
     } extends TTypestate ? TTypestate : never : never)['context'], TEvent, TStateSchema, TTypestate, TResolvedTypesMeta> & {