xstate 4.27.0-pr2674-2021926101023 → 4.29.0

package/es/interpreter.d.ts

@@ -1,3 +1,4 @@
+/// <reference types="node" />
 import { StateMachine, Event, EventObject, DefaultContext, StateSchema, StateValue, InterpreterOptions, SingleOrArray, Subscribable, DoneEvent, MachineOptions, SCXML, EventData, Observer, Spawnable, Typestate, ActorRef, ActorRefFrom, Behavior, Subscription } from './types';
 import { State } from './State';
 import { AreAllImplementationsAssumedToBeProvided, TypegenDisabled } from './typegenTypes';
@@ -22,16 +23,11 @@ export declare enum InterpreterStatus {
     Running = 1,
     Stopped = 2
 }
-declare global {
-    interface SymbolConstructor {
-        readonly observable: symbol;
-    }
-}
 export declare class Interpreter<TContext, TStateSchema extends StateSchema = any, TEvent extends EventObject = EventObject, TTypestate extends Typestate<TContext> = {
     value: any;
     context: TContext;
 }, TResolvedTypesMeta = TypegenDisabled> implements ActorRef<TEvent, State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>> {
-    machine: StateMachine<TContext, TStateSchema, TEvent, TTypestate, any, TResolvedTypesMeta>;
+    machine: StateMachine<TContext, TStateSchema, TEvent, TTypestate, any, any, TResolvedTypesMeta>;
     /**
      * The default interpreter options:
      *
@@ -42,7 +38,7 @@ export declare class Interpreter<TContext, TStateSchema extends StateSchema = an
         execute: boolean;
         deferEvents: boolean;
         clock: {
-            setTimeout: (fn: any, ms: any) => number;
+            setTimeout: (fn: any, ms: any) => NodeJS.Timeout;
             clearTimeout: (id: any) => void;
         };
         logger: any;
@@ -87,7 +83,7 @@ export declare class Interpreter<TContext, TStateSchema extends StateSchema = an
      * @param machine The machine to be interpreted
      * @param options Interpreter options
      */
-    constructor(machine: StateMachine<TContext, TStateSchema, TEvent, TTypestate, any, TResolvedTypesMeta>, options?: InterpreterOptions);
+    constructor(machine: StateMachine<TContext, TStateSchema, TEvent, TTypestate, any, any, TResolvedTypesMeta>, options?: InterpreterOptions);
     get initialState(): State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>;
     get state(): State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>;
     static interpret: typeof interpret;
@@ -200,7 +196,7 @@ export declare class Interpreter<TContext, TStateSchema extends StateSchema = an
     getSnapshot(): State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>;
 }
 export declare function spawn<T extends Behavior<any, any>>(entity: T, nameOrOptions?: string | SpawnOptions): ActorRefFrom<T>;
-export declare function spawn<TC, TE extends EventObject>(entity: StateMachine<TC, any, TE>, nameOrOptions?: string | SpawnOptions): ActorRefFrom<StateMachine<TC, any, TE>>;
+export declare function spawn<TC, TE extends EventObject>(entity: StateMachine<TC, any, TE, any, any, any, any>, nameOrOptions?: string | SpawnOptions): ActorRefFrom<StateMachine<TC, any, TE, any, any, any, any>>;
 export declare function spawn(entity: Spawnable, nameOrOptions?: string | SpawnOptions): ActorRef<any>;
 /**
  * Creates a new Interpreter instance for the given machine with the provided options, if any.
@@ -211,6 +207,6 @@ export declare function spawn(entity: Spawnable, nameOrOptions?: string | SpawnO
 export declare function interpret<TContext = DefaultContext, TStateSchema extends StateSchema = any, TEvent extends EventObject = EventObject, TTypestate extends Typestate<TContext> = {
     value: any;
     context: TContext;
-}, TResolvedTypesMeta = TypegenDisabled>(machine: AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends true ? StateMachine<TContext, TStateSchema, TEvent, TTypestate, any, TResolvedTypesMeta> : 'Some implementations missing', options?: InterpreterOptions): Interpreter<TContext, TStateSchema, TEvent, TTypestate, TResolvedTypesMeta>;
+}, TResolvedTypesMeta = TypegenDisabled>(machine: AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends true ? StateMachine<TContext, TStateSchema, TEvent, TTypestate, any, any, TResolvedTypesMeta> : 'Some implementations missing', options?: InterpreterOptions): Interpreter<TContext, TStateSchema, TEvent, TTypestate, TResolvedTypesMeta>;
 export {};
 //# sourceMappingURL=interpreter.d.ts.map

package/es/interpreter.js

@@ -1,6 +1,6 @@
-import { __values, __assign, __spreadArray, __read } from './_virtual/_tslib.js';
+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, symbolObservable, isArray, toEventObject, isString, isActor, uniqueId, toObserver } from './utils.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';
@@ -87,14 +87,15 @@ function () {
       if (_this.status === InterpreterStatus.Stopped) {
         // do nothing
         if (!IS_PRODUCTION) {
-          warn(false, "Event \"" + _event.name + "\" was sent to stopped service \"" + _this.machine.id + "\". This service has already reached its final state, and will not transition.\nEvent: " + JSON.stringify(_event.data));
+          warn(false, "Event \"".concat(_event.name, "\" was sent to stopped service \"").concat(_this.machine.id, "\". This service has already reached its final state, and will not transition.\nEvent: ").concat(JSON.stringify(_event.data)));
         }
 
         return _this.state;
       }
 
       if (_this.status !== InterpreterStatus.Running && !_this.options.deferEvents) {
-        throw new Error("Event \"" + _event.name + "\" was sent to uninitialized service \"" + _this.machine.id + "\". Make sure .start() is called for this service, or set { deferEvents: true } in the service options.\nEvent: " + JSON.stringify(_event.data));
+        throw new Error("Event \"".concat(_event.name, "\" was sent to uninitialized service \"").concat(_this.machine.id // tslint:disable-next-line:max-line-length
+        , "\". Make sure .start() is called for this service, or set { deferEvents: true } in the service options.\nEvent: ").concat(JSON.stringify(_event.data)));
       }
 
       _this.scheduler.schedule(function () {
@@ -116,12 +117,12 @@ function () {
 
       if (!target) {
         if (!isParent) {
-          throw new Error("Unable to send event to child '" + to + "' from service '" + _this.id + "'.");
+          throw new Error("Unable to send event to child '".concat(to, "' from service '").concat(_this.id, "'."));
         } // tslint:disable-next-line:no-console
 
 
         if (!IS_PRODUCTION) {
-          warn(false, "Service '" + _this.id + "' has no parent: unable to send event " + event.type);
+          warn(false, "Service '".concat(_this.id, "' has no parent: unable to send event ").concat(event.type));
         }
 
         return;
@@ -130,7 +131,7 @@ function () {
       if ('machine' in target) {
         // Send SCXML events to machines
         target.send(__assign(__assign({}, event), {
-          name: event.name === error$1 ? "" + error(_this.id) : event.name,
+          name: event.name === error$1 ? "".concat(error(_this.id)) : event.name,
           origin: _this.sessionId
         }));
       } else {
@@ -176,7 +177,7 @@ function () {
   Object.defineProperty(Interpreter.prototype, "state", {
     get: function () {
       if (!IS_PRODUCTION) {
-        warn(this.status !== InterpreterStatus.NotStarted, "Attempted to read state from uninitialized service '" + this.id + "'. Make sure the service is started first.");
+        warn(this.status !== InterpreterStatus.NotStarted, "Attempted to read state from uninitialized service '".concat(this.id, "'. Make sure the service is started first."));
       }
 
       return this._state;
@@ -557,7 +558,9 @@ function () {
       return this;
     }
 
-    this.state.configuration.forEach(function (stateNode) {
+    __spreadArray([], __read(this.state.configuration), false).sort(function (a, b) {
+      return b.order - a.order;
+    }).forEach(function (stateNode) {
       var e_11, _a;
 
       try {
@@ -579,6 +582,7 @@ function () {
       }
     }); // Stop all children
 
+
     this.children.forEach(function (child) {
       if (isFunction(child.stop)) {
         child.stop();
@@ -616,11 +620,11 @@ function () {
     if (this.status === InterpreterStatus.NotStarted && this.options.deferEvents) {
       // tslint:disable-next-line:no-console
       if (!IS_PRODUCTION) {
-        warn(false, events.length + " event(s) were sent to uninitialized service \"" + this.machine.id + "\" and are deferred. Make sure .start() is called for this service.\nEvent: " + JSON.stringify(event));
+        warn(false, "".concat(events.length, " event(s) were sent to uninitialized service \"").concat(this.machine.id, "\" and are deferred. Make sure .start() is called for this service.\nEvent: ").concat(JSON.stringify(event)));
       }
     } else if (this.status !== InterpreterStatus.Running) {
       throw new Error( // tslint:disable-next-line:max-line-length
-      events.length + " event(s) were sent to uninitialized service \"" + this.machine.id + "\". Make sure .start() is called for this service, or set { deferEvents: true } in the service options.");
+      "".concat(events.length, " event(s) were sent to uninitialized service \"").concat(this.machine.id, "\". Make sure .start() is called for this service, or set { deferEvents: true } in the service options."));
     }
 
     this.scheduler.schedule(function () {
@@ -640,7 +644,7 @@ function () {
         });
         batchedActions.push.apply(batchedActions, __spreadArray([], __read(nextState.actions.map(function (a) {
           return bindActionToState(a, nextState);
-        }))));
+        })), false));
         batchChanged = batchChanged || !!nextState.changed;
       };
 
@@ -713,7 +717,7 @@ function () {
         var child = this.children.get(id);
 
         if (!child) {
-          throw new Error("Unable to forward event '" + event + "' from interpreter '" + this.id + "' to nonexistant child '" + id + "'.");
+          throw new Error("Unable to forward event '".concat(event, "' from interpreter '").concat(this.id, "' to nonexistant child '").concat(id, "'."));
         }
 
         child.send(event);
@@ -800,6 +804,10 @@ function () {
 
       case start:
         {
+          if (this.status !== InterpreterStatus.Running) {
+            return;
+          }
+
           var activity = action.activity; // If the activity will be stopped right after it's started
           // (such as in transient states)
           // don't bother starting the activity.
@@ -817,7 +825,7 @@ function () {
 
             if (!IS_PRODUCTION) {
               warn(!('forward' in activity), // tslint:disable-next-line:max-line-length
-              "`forward` property is deprecated (found in invocation of '" + activity.src + "' in in machine '" + this.machine.id + "'). " + "Please use `autoForward` instead.");
+              "`forward` property is deprecated (found in invocation of '".concat(activity.src, "' in in machine '").concat(this.machine.id, "'). ") + "Please use `autoForward` instead.");
             }
 
             var autoForward = 'autoForward' in activity ? activity.autoForward : !!activity.forward;
@@ -825,7 +833,7 @@ function () {
             if (!serviceCreator) {
               // tslint:disable-next-line:no-console
               if (!IS_PRODUCTION) {
-                warn(false, "No service found for invocation '" + activity.src + "' in machine '" + this.machine.id + "'.");
+                warn(false, "No service found for invocation '".concat(activity.src, "' in machine '").concat(this.machine.id, "'."));
               }
 
               return;
@@ -886,7 +894,7 @@ function () {
 
       default:
         if (!IS_PRODUCTION) {
-          warn(false, "No implementation found for action type '" + action.type + "'");
+          warn(false, "No implementation found for action type '".concat(action.type, "'"));
         }
 
         break;
@@ -935,7 +943,7 @@ function () {
     } else if (isBehavior(entity)) {
       return this.spawnBehavior(entity, name);
     } else {
-      throw new Error("Unable to spawn entity \"" + name + "\" of type \"" + typeof entity + "\".");
+      throw new Error("Unable to spawn entity \"".concat(name, "\" of type \"").concat(typeof entity, "\"."));
     }
   };
 
@@ -1031,7 +1039,8 @@ function () {
         }
       }
     });
-    var actor = {
+
+    var actor = __assign({
       id: id,
       send: function () {
         return void 0;
@@ -1075,7 +1084,8 @@ function () {
       getSnapshot: function () {
         return resolvedData;
       }
-    };
+    }, interopSymbols);
+
     this.children.set(id, actor);
     return actor;
   };
@@ -1119,7 +1129,7 @@ function () {
       return this.spawnPromise(callbackStop, id);
     }
 
-    var actor = {
+    var actor = __assign({
       id: id,
       send: function (event) {
         return receivers.forEach(function (receiver) {
@@ -1149,7 +1159,8 @@ function () {
       getSnapshot: function () {
         return emitted;
       }
-    };
+    }, interopSymbols);
+
     this.children.set(id, actor);
     return actor;
   };
@@ -1177,7 +1188,8 @@ function () {
         origin: id
       }));
     });
-    var actor = {
+
+    var actor = __assign({
       id: id,
       send: function () {
         return void 0;
@@ -1196,7 +1208,8 @@ function () {
           id: id
         };
       }
-    };
+    }, interopSymbols);
+
     this.children.set(id, actor);
     return actor;
   };
@@ -1211,7 +1224,7 @@ function () {
 
     if (!implementation) {
       if (!IS_PRODUCTION) {
-        warn(false, "No implementation found for activity '" + activity.type + "'");
+        warn(false, "No implementation found for activity '".concat(activity.type, "'"));
       } // tslint:disable-next-line:no-console
 
 
@@ -1224,7 +1237,7 @@ function () {
   };
 
   Interpreter.prototype.spawnEffect = function (id, dispose) {
-    this.children.set(id, {
+    this.children.set(id, __assign({
       id: id,
       send: function () {
         return void 0;
@@ -1245,7 +1258,7 @@ function () {
           id: id
         };
       }
-    });
+    }, interopSymbols));
   };
 
   Interpreter.prototype.attachDev = function () {
@@ -1343,7 +1356,7 @@ function spawn(entity, nameOrOptions) {
   return consume(function (service) {
     if (!IS_PRODUCTION) {
       var isLazyEntity = isMachine(entity) || isFunction(entity);
-      warn(!!service || isLazyEntity, "Attempted to spawn an Actor (ID: \"" + (isMachine(entity) ? entity.id : 'undefined') + "\") outside of a service. This will have no effect.");
+      warn(!!service || isLazyEntity, "Attempted to spawn an Actor (ID: \"".concat(isMachine(entity) ? entity.id : 'undefined', "\") outside of a service. This will have no effect."));
     }
 
     if (service) {

package/es/model.types.d.ts

@@ -1,4 +1,4 @@
-import { AnyFunction, AssignAction, Assigner, BaseActionObject, Compute, EventObject, ExtractEvent, MachineConfig, Prop, PropertyAssigner, StateMachine, InternalMachineOptions } from './types';
+import { AnyFunction, AssignAction, Assigner, BaseActionObject, Compute, EventObject, ExtractEvent, MachineConfig, Prop, PropertyAssigner, StateMachine, InternalMachineOptions, ServiceMap } from './types';
 import { ResolveTypegenMeta, TypegenConstraint, TypegenDisabled } from './typegenTypes';
 export interface Model<TContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TModelCreators = void> {
     initialContext: TContext;
@@ -7,10 +7,10 @@ export interface Model<TContext, TEvent extends EventObject, TAction extends Bas
     actions: Prop<TModelCreators, 'actions'>;
     reset: () => AssignAction<TContext, any>;
     createMachine: {
-        <TTypesMeta extends TypegenConstraint = TypegenDisabled>(config: MachineConfig<TContext, any, TEvent, TAction, TTypesMeta>, implementations?: InternalMachineOptions<TContext, TEvent, ResolveTypegenMeta<TTypesMeta, TEvent, TAction>>): StateMachine<TContext, any, TEvent, {
+        <TServiceMap extends ServiceMap = ServiceMap, TTypesMeta extends TypegenConstraint = TypegenDisabled>(config: MachineConfig<TContext, any, TEvent, TAction, TServiceMap, TTypesMeta>, implementations?: InternalMachineOptions<TContext, TEvent, ResolveTypegenMeta<TTypesMeta, TEvent, TAction, TServiceMap>>): StateMachine<TContext, any, TEvent, {
             value: any;
             context: TContext;
-        }, TAction, ResolveTypegenMeta<TTypesMeta, TEvent, TAction>>;
+        }, TAction, TServiceMap, ResolveTypegenMeta<TTypesMeta, TEvent, TAction, TServiceMap>>;
     };
 }
 export declare type ModelContextFrom<TModel extends Model<any, any, any, any>> = TModel extends Model<infer TContext, any, any, any> ? TContext : never;

package/es/registry.js

@@ -2,7 +2,7 @@ var children = /*#__PURE__*/new Map();
 var sessionIdIndex = 0;
 var registry = {
   bookId: function () {
-    return "x:" + sessionIdIndex++;
+    return "x:".concat(sessionIdIndex++);
   },
   register: function (id, actor) {
     children.set(id, actor);

package/es/schema.d.ts

@@ -1,2 +1,3 @@
 export declare function createSchema<T>(schema?: any): T;
+export declare const t: typeof createSchema;
 //# sourceMappingURL=schema.d.ts.map

package/es/schema.js

@@ -1,5 +1,6 @@
 function createSchema(schema) {
   return schema;
 }
+var t = createSchema;
 
-export { createSchema };
+export { createSchema, t };

package/es/scxml.d.ts

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

package/es/stateUtils.d.ts

@@ -2,15 +2,15 @@ import { EventObject, StateValue } from './types';
 import { StateNode } from './StateNode';
 declare type Configuration<TC, TE extends EventObject> = Iterable<StateNode<TC, any, TE>>;
 declare type AdjList<TC, TE extends EventObject> = Map<StateNode<TC, any, TE>, Array<StateNode<TC, any, TE>>>;
-export declare const isLeafNode: (stateNode: StateNode<any, any, any, any, any>) => boolean;
+export declare const isLeafNode: (stateNode: StateNode<any, any, any, any, any, any>) => boolean;
 export declare function getChildren<TC, TE extends EventObject>(stateNode: StateNode<TC, any, TE>): Array<StateNode<TC, any, TE>>;
-export declare function getAllStateNodes<TC, TE extends EventObject>(stateNode: StateNode<TC, any, TE, any, any>): Array<StateNode<TC, any, TE, any, any>>;
-export declare function getConfiguration<TC, TE extends EventObject>(prevStateNodes: Iterable<StateNode<TC, any, TE, any, any>>, stateNodes: Iterable<StateNode<TC, any, TE, any, any>>): Iterable<StateNode<TC, any, TE, any, any>>;
+export declare function getAllStateNodes<TC, TE extends EventObject>(stateNode: StateNode<TC, any, TE, any, any, any>): Array<StateNode<TC, any, TE, any, any, any>>;
+export declare function getConfiguration<TC, TE extends EventObject>(prevStateNodes: Iterable<StateNode<TC, any, TE, any, any, any>>, stateNodes: Iterable<StateNode<TC, any, TE, any, any, any>>): Set<StateNode<TC, any, TE, any, any, any>>;
 export declare function getAdjList<TC, TE extends EventObject>(configuration: Configuration<TC, TE>): AdjList<TC, TE>;
 export declare function getValue<TC, TE extends EventObject>(rootNode: StateNode<TC, any, TE, any>, configuration: Configuration<TC, TE>): StateValue;
 export declare function has<T>(iterable: Iterable<T>, item: T): boolean;
 export declare function nextEvents<TC, TE extends EventObject>(configuration: Array<StateNode<TC, any, TE>>): Array<TE['type']>;
-export declare function isInFinalState<TC, TE extends EventObject>(configuration: Array<StateNode<TC, any, TE, any, any>>, stateNode: StateNode<TC, any, TE, any, any>): boolean;
+export declare function isInFinalState<TC, TE extends EventObject>(configuration: Array<StateNode<TC, any, TE, any, any, any>>, stateNode: StateNode<TC, any, TE, any, any, any>): boolean;
 export declare function getMeta(configuration?: StateNode[]): Record<string, any>;
 export declare function getTagsFromConfiguration(configuration: StateNode<any, any, any, any>[]): Set<string>;
 export {};

package/es/stateUtils.js

@@ -222,7 +222,7 @@ function has(iterable, item) {
 function nextEvents(configuration) {
   return __spreadArray([], __read(new Set(flatten(__spreadArray([], __read(configuration.map(function (sn) {
     return sn.ownEvents;
-  })))))));
+  })), false)))), false);
 }
 function isInFinalState(configuration, stateNode) {
   if (stateNode.type === 'compound') {

package/es/typegenTypes.d.ts

@@ -1,4 +1,4 @@
-import { ActionObject, ActionFunction, Cast, ConditionPredicate, BaseActionObject, DelayConfig, EventObject, InvokeCreator, IndexByType, IsNever, MachineOptions, Prop, Values } from './types';
+import { BaseActionObject, EventObject, IndexByType, IsNever, Prop, Values, IsAny, ServiceMap, Cast } from './types';
 export interface TypegenDisabled {
     '@@xstate/typegen': false;
 }
@@ -6,19 +6,74 @@ export interface TypegenEnabled {
     '@@xstate/typegen': true;
 }
 export interface TypegenMeta extends TypegenEnabled {
-    matchesStates: string;
+    /**
+     * Allows you to specify all the results of state.matches
+     */
+    matchesStates: string | {};
+    /**
+     * Allows you to specify all tags used by the machine
+     */
     tags: string;
+    /**
+     * Allows you to specify all the missing implementations
+     * of the machine
+     */
     missingImplementations: {
         actions: string;
         delays: string;
         guards: string;
         services: string;
     };
+    /**
+     * A map for the internal events of the machine.
+     *
+     * key: 'done.invoke.myService'
+     * value: {
+     *   type: 'done.invoke.myService';
+     *   data: unknown;
+     *   __tip: 'Declare the type in event types!';
+     * }
+     */
     internalEvents: {};
+    /**
+     * Maps the name of the service to the event type
+     * of the done.invoke action
+     *
+     * key: 'invokeSrc'
+     * value: 'done.invoke.invokeName'
+     */
     invokeSrcNameMap: Record<string, string>;
+    /**
+     * Keeps track of which events lead to which
+     * actions.
+     *
+     * Key: 'EVENT_NAME'
+     * Value: 'actionName' | 'otherActionName'
+     */
     eventsCausingActions: Record<string, string>;
+    /**
+     * Keeps track of which events lead to which
+     * delays.
+     *
+     * Key: 'EVENT_NAME'
+     * Value: 'delayName' | 'otherDelayName'
+     */
     eventsCausingDelays: Record<string, string>;
+    /**
+     * Keeps track of which events lead to which
+     * guards.
+     *
+     * Key: 'EVENT_NAME'
+     * Value: 'guardName' | 'otherGuardName'
+     */
     eventsCausingGuards: Record<string, string>;
+    /**
+     * Keeps track of which events lead to which
+     * services.
+     *
+     * Key: 'EVENT_NAME'
+     * Value: 'serviceName' | 'otherServiceName'
+     */
     eventsCausingServices: Record<string, string>;
 }
 export interface ResolvedTypegenMeta extends TypegenMeta {
@@ -26,7 +81,7 @@ export interface ResolvedTypegenMeta extends TypegenMeta {
     indexedEvents: Record<string, EventObject>;
 }
 export declare type TypegenConstraint = TypegenEnabled | TypegenDisabled;
-export declare type AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta, TMissingImplementations = Prop<TResolvedTypesMeta, 'missingImplementations'>> = TResolvedTypesMeta extends TypegenEnabled ? IsNever<Values<{
+export declare type AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta, TMissingImplementations = Prop<TResolvedTypesMeta, 'missingImplementations'>> = IsAny<TResolvedTypesMeta> extends true ? true : TResolvedTypesMeta extends TypegenEnabled ? IsNever<Values<{
     [K in keyof TMissingImplementations]: TMissingImplementations[K];
 }>> extends true ? true : false : true;
 export declare type MarkAllImplementationsAsProvided<TResolvedTypesMeta> = TResolvedTypesMeta & {
@@ -37,6 +92,12 @@ export declare type MarkAllImplementationsAsProvided<TResolvedTypesMeta> = TReso
         services: never;
     };
 };
+declare type GenerateServiceEvent<TServiceName, TEventType, TServiceMap extends ServiceMap> = TEventType extends any ? {
+    type: TEventType;
+} & Prop<TServiceMap, TServiceName> : never;
+declare type GenerateServiceEvents<TServiceMap extends ServiceMap, TInvokeSrcNameMap> = string extends keyof TServiceMap ? never : Cast<{
+    [K in keyof TInvokeSrcNameMap]: GenerateServiceEvent<K, TInvokeSrcNameMap[K], TServiceMap>;
+}[keyof TInvokeSrcNameMap], EventObject>;
 declare type MergeWithInternalEvents<TIndexedEvents, TInternalEvents> = TIndexedEvents & Pick<TInternalEvents, Exclude<keyof TInternalEvents, keyof TIndexedEvents>>;
 declare type AllowAllEvents = {
     eventsCausingActions: Record<string, string>;
@@ -44,9 +105,9 @@ declare type AllowAllEvents = {
     eventsCausingGuards: Record<string, string>;
     eventsCausingServices: Record<string, string>;
 };
-export declare type ResolveTypegenMeta<TTypesMeta extends TypegenConstraint, TEvent extends EventObject, TAction extends BaseActionObject> = TTypesMeta extends TypegenEnabled ? TTypesMeta & {
+export declare type ResolveTypegenMeta<TTypesMeta extends TypegenConstraint, TEvent extends EventObject, TAction extends BaseActionObject, TServiceMap extends ServiceMap> = TTypesMeta extends TypegenEnabled ? TTypesMeta & {
     indexedActions: IndexByType<TAction>;
-    indexedEvents: MergeWithInternalEvents<IndexByType<TEvent>, Prop<TTypesMeta, 'internalEvents'>>;
+    indexedEvents: MergeWithInternalEvents<IndexByType<(string extends TEvent['type'] ? never : TEvent) | GenerateServiceEvents<TServiceMap, Prop<TTypesMeta, 'invokeSrcNameMap'>>>, Prop<TTypesMeta, 'internalEvents'>>;
 } : MarkAllImplementationsAsProvided<TypegenDisabled> & AllowAllEvents & {
     indexedActions: IndexByType<TAction>;
     indexedEvents: Record<string, TEvent> & {
@@ -56,37 +117,5 @@ export declare type ResolveTypegenMeta<TTypesMeta extends TypegenConstraint, TEv
     };
     invokeSrcNameMap: Record<string, '__XSTATE_ALLOW_ANY_INVOKE_DATA_HACK__'>;
 };
-export declare type TypegenMachineOptionsActions<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>>;
-};
-export declare type TypegenMachineOptionsDelays<TContext, TResolvedTypesMeta, TEventsCausingDelays = Prop<TResolvedTypesMeta, 'eventsCausingDelays'>, TIndexedEvents = Prop<TResolvedTypesMeta, 'indexedEvents'>> = {
-    [K in keyof TEventsCausingDelays]?: DelayConfig<TContext, Cast<Prop<TIndexedEvents, TEventsCausingDelays[K]>, EventObject>>;
-};
-export declare type TypegenMachineOptionsGuards<TContext, TResolvedTypesMeta, TEventsCausingGuards = Prop<TResolvedTypesMeta, 'eventsCausingGuards'>, TIndexedEvents = Prop<TResolvedTypesMeta, 'indexedEvents'>> = {
-    [K in keyof TEventsCausingGuards]?: ConditionPredicate<TContext, Cast<Prop<TIndexedEvents, TEventsCausingGuards[K]>, EventObject>>;
-};
-export declare type TypegenMachineOptionsServices<TContext, TResolvedTypesMeta, TEventsCausingServices = Prop<TResolvedTypesMeta, 'eventsCausingServices'>, TIndexedEvents = Prop<TResolvedTypesMeta, 'indexedEvents'>, TInvokeSrcNameMap = Prop<TResolvedTypesMeta, 'invokeSrcNameMap'>> = {
-    [K in keyof TEventsCausingServices]?: InvokeCreator<TContext, Cast<Prop<TIndexedEvents, TEventsCausingServices[K]>, EventObject>, Prop<Prop<TIndexedEvents, Prop<TInvokeSrcNameMap, K>>, 'data'>>;
-};
-declare type MakeKeysRequired<T extends string> = {
-    [K in T]: unknown;
-};
-declare type MaybeMakeMissingImplementationsRequired<TImplementationType, TMissingImplementationsForType, TRequireMissingImplementations> = TRequireMissingImplementations extends true ? IsNever<TMissingImplementationsForType> extends true ? {} : {
-    [K in Cast<TImplementationType, string>]: MakeKeysRequired<Cast<TMissingImplementationsForType, string>>;
-} : {};
-declare type GenerateActionsConfigPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'actions', Prop<TMissingImplementations, 'actions'>, TRequireMissingImplementations> & {
-    actions?: TypegenMachineOptionsActions<TContext, TResolvedTypesMeta>;
-};
-declare type GenerateDelaysConfigPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'delays', Prop<TMissingImplementations, 'delays'>, TRequireMissingImplementations> & {
-    delays?: TypegenMachineOptionsDelays<TContext, TResolvedTypesMeta>;
-};
-declare type GenerateGuardsConfigPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'guards', Prop<TMissingImplementations, 'guards'>, TRequireMissingImplementations> & {
-    guards?: TypegenMachineOptionsGuards<TContext, TResolvedTypesMeta>;
-};
-declare type GenerateServicesConfigPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'services', Prop<TMissingImplementations, 'services'>, TRequireMissingImplementations> & {
-    services?: TypegenMachineOptionsServices<TContext, TResolvedTypesMeta>;
-};
-export declare type TypegenMachineOptions<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations = Prop<TResolvedTypesMeta, 'missingImplementations'>> = GenerateActionsConfigPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateDelaysConfigPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateGuardsConfigPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateServicesConfigPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations>;
-export declare type MaybeTypegenMachineOptions<TContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TResolvedTypesMeta = TypegenDisabled, TRequireMissingImplementations extends boolean = false> = TResolvedTypesMeta extends TypegenEnabled ? TypegenMachineOptions<TContext, TResolvedTypesMeta, TRequireMissingImplementations> : MachineOptions<TContext, TEvent, TAction>;
 export {};
 //# sourceMappingURL=typegenTypes.d.ts.map