xstate 4.28.1 → 4.30.2

package/lib/interpreter.d.ts

@@ -1,9 +1,11 @@
-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 { 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;
     context: TContext;
-}> = (state: State<TContext, TEvent, TStateSchema, TTypestate>, event: TEvent) => void;
+}, TResolvedTypesMeta = TypegenDisabled> = (state: State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>, event: TEvent) => void;
 export declare type ContextListener<TContext = DefaultContext> = (context: TContext, prevContext: TContext | undefined) => void;
 export declare type EventListener<TEvent extends EventObject = EventObject> = (event: TEvent) => void;
 export declare type Listener = () => void;
@@ -24,15 +26,21 @@ export declare enum InterpreterStatus {
 export declare class Interpreter<TContext, TStateSchema extends StateSchema = any, TEvent extends EventObject = EventObject, TTypestate extends Typestate<TContext> = {
     value: any;
     context: TContext;
-}> implements ActorRef<TEvent, State<TContext, TEvent, TStateSchema, TTypestate>> {
-    machine: StateMachine<TContext, TStateSchema, TEvent, TTypestate>;
+}, TResolvedTypesMeta = TypegenDisabled> implements ActorRef<TEvent, State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>> {
+    machine: StateMachine<TContext, TStateSchema, TEvent, TTypestate, any, any, TResolvedTypesMeta>;
     /**
      * The default interpreter options:
      *
      * - `clock` uses the global `setTimeout` and `clearTimeout` functions
      * - `logger` uses the global `console.log()` method
      */
-    static defaultOptions: InterpreterOptions;
+    static defaultOptions: {
+        execute: boolean;
+        deferEvents: boolean;
+        clock: Clock;
+        logger: any;
+        devTools: boolean;
+    };
     /**
      * The current state of the interpreted machine.
      */
@@ -72,9 +80,9 @@ 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>, options?: Partial<InterpreterOptions>);
-    get initialState(): State<TContext, TEvent, TStateSchema, TTypestate>;
-    get state(): State<TContext, TEvent, TStateSchema, TTypestate>;
+    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;
     /**
      * Executes the actions of the given state, with that state's `context` and `event`.
@@ -82,56 +90,56 @@ export declare class Interpreter<TContext, TStateSchema extends StateSchema = an
      * @param state The state whose actions will be executed
      * @param actionsConfig The action implementations to use
      */
-    execute(state: State<TContext, TEvent, TStateSchema, TTypestate>, actionsConfig?: MachineOptions<TContext, TEvent>['actions']): void;
+    execute(state: State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>, actionsConfig?: MachineOptions<TContext, TEvent>['actions']): void;
     private update;
-    onTransition(listener: StateListener<TContext, TEvent, TStateSchema, TTypestate>): this;
-    subscribe(nextListener?: (state: State<TContext, TEvent, any, TTypestate>) => void, errorListener?: (error: any) => void, completeListener?: () => void): Subscription;
-    subscribe(observer: Observer<State<TContext, TEvent, any, TTypestate>>): Subscription;
+    onTransition(listener: StateListener<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>): this;
+    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
      */
-    onEvent(listener: EventListener): Interpreter<TContext, TStateSchema, TEvent, TTypestate>;
+    onEvent(listener: EventListener): this;
     /**
      * Adds an event listener that is notified whenever a `send` event occurs.
      * @param listener The event listener
      */
-    onSend(listener: EventListener): Interpreter<TContext, TStateSchema, TEvent, TTypestate>;
+    onSend(listener: EventListener): this;
     /**
      * Adds a context listener that is notified whenever the state context changes.
      * @param listener The context listener
      */
-    onChange(listener: ContextListener<TContext>): Interpreter<TContext, TStateSchema, TEvent, TTypestate>;
+    onChange(listener: ContextListener<TContext>): this;
     /**
      * Adds a listener that is notified when the machine is stopped.
      * @param listener The listener
      */
-    onStop(listener: Listener): Interpreter<TContext, TStateSchema, TEvent, TTypestate>;
+    onStop(listener: Listener): this;
     /**
      * Adds a state listener that is notified when the statechart has reached its final state.
      * @param listener The state listener
      */
-    onDone(listener: EventListener<DoneEvent>): Interpreter<TContext, TStateSchema, TEvent, TTypestate>;
+    onDone(listener: EventListener<DoneEvent>): this;
     /**
      * Removes a listener.
      * @param listener The listener to remove
      */
-    off(listener: (...args: any[]) => void): Interpreter<TContext, TStateSchema, TEvent, TTypestate>;
+    off(listener: (...args: any[]) => void): this;
     /**
      * Alias for Interpreter.prototype.start
      */
-    init: (initialState?: StateValue | State<TContext, TEvent, TStateSchema, TTypestate> | undefined) => Interpreter<TContext, TStateSchema, TEvent, TTypestate>;
+    init: (initialState?: StateValue | State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta> | StateConfig<TContext, TEvent> | undefined) => this;
     /**
      * Starts the interpreter from the given state, or the initial state.
      * @param initialState The state to start the statechart from
      */
-    start(initialState?: State<TContext, TEvent, TStateSchema, TTypestate> | StateValue): Interpreter<TContext, TStateSchema, TEvent, TTypestate>;
+    start(initialState?: State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta> | StateConfig<TContext, TEvent> | StateValue): this;
     /**
      * Stops the interpreter and unsubscribe all listeners.
      *
      * This will also notify the `onStop` listeners.
      */
-    stop(): Interpreter<TContext, TStateSchema, TEvent, TTypestate>;
+    stop(): this;
     /**
      * Sends an event to the running interpreter to trigger a transition.
      *
@@ -141,7 +149,7 @@ export declare class Interpreter<TContext, TStateSchema extends StateSchema = an
      *
      * @param event The event(s) to send
      */
-    send: (event: SingleOrArray<Event<TEvent>> | SCXML.Event<TEvent>, payload?: EventData | undefined) => State<TContext, TEvent, TStateSchema, TTypestate>;
+    send: (event: SingleOrArray<Event<TEvent>> | SCXML.Event<TEvent>, payload?: EventData | undefined) => State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>;
     private batch;
     /**
      * Returns a send function bound to this interpreter instance.
@@ -157,7 +165,7 @@ export declare class Interpreter<TContext, TStateSchema extends StateSchema = an
      *
      * @param event The event to determine the next state
      */
-    nextState(event: Event<TEvent> | SCXML.Event<TEvent>): State<TContext, TEvent, TStateSchema, TTypestate>;
+    nextState(event: Event<TEvent> | SCXML.Event<TEvent>): State<TContext, TEvent, TStateSchema, TTypestate, TResolvedTypesMeta>;
     private forward;
     private defer;
     private cancel;
@@ -181,11 +189,11 @@ export declare class Interpreter<TContext, TStateSchema extends StateSchema = an
     toJSON(): {
         id: string;
     };
-    [Symbol.observable](): Subscribable<State<TContext, TEvent, TStateSchema, TTypestate>>;
-    getSnapshot(): State<TContext, TEvent, TStateSchema, TTypestate>;
+    [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>;
-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.
@@ -196,6 +204,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;
-}>(machine: StateMachine<TContext, TStateSchema, TEvent, TTypestate>, options?: Partial<InterpreterOptions>): Interpreter<TContext, TStateSchema, TEvent, TTypestate>;
+}, 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/lib/interpreter.js

@@ -462,7 +462,7 @@ function () {
     this.initialized = true;
     this.status = exports.InterpreterStatus.Running;
     var resolvedState = initialState === undefined ? this.initialState : serviceScope.provide(this, function () {
-      return State.isState(initialState) ? _this.machine.resolveState(initialState) : _this.machine.resolveState(State.State.from(initialState, _this.machine.context));
+      return State.isStateConfig(initialState) ? _this.machine.resolveState(initialState) : _this.machine.resolveState(State.State.from(initialState, _this.machine.context));
     });
 
     if (this.options.devTools) {
@@ -1000,6 +1000,8 @@ function () {
   };
 
   Interpreter.prototype.spawnPromise = function (promise, id) {
+    var _a;
+
     var _this = this;
 
     var canceled = false;
@@ -1042,8 +1044,7 @@ function () {
         }
       }
     });
-
-    var actor = _tslib.__assign({
+    var actor = (_a = {
       id: id,
       send: function () {
         return void 0;
@@ -1087,13 +1088,16 @@ function () {
       getSnapshot: function () {
         return resolvedData;
       }
-    }, utils.interopSymbols);
-
+    }, _a[utils.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;
@@ -1132,7 +1136,7 @@ function () {
       return this.spawnPromise(callbackStop, id);
     }
 
-    var actor = _tslib.__assign({
+    var actor = (_a = {
       id: id,
       send: function (event) {
         return receivers.forEach(function (receiver) {
@@ -1140,10 +1144,11 @@ function () {
         });
       },
       subscribe: function (next) {
-        listeners.add(next);
+        var observer = utils.toObserver(next);
+        listeners.add(observer.next);
         return {
           unsubscribe: function () {
-            listeners.delete(next);
+            listeners.delete(observer.next);
           }
         };
       },
@@ -1162,13 +1167,16 @@ function () {
       getSnapshot: function () {
         return emitted;
       }
-    }, utils.interopSymbols);
-
+    }, _a[utils.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;
@@ -1191,8 +1199,7 @@ function () {
         origin: id
       }));
     });
-
-    var actor = _tslib.__assign({
+    var actor = (_a = {
       id: id,
       send: function () {
         return void 0;
@@ -1211,8 +1218,9 @@ function () {
           id: id
         };
       }
-    }, utils.interopSymbols);
-
+    }, _a[utils.symbolObservable] = function () {
+      return this;
+    }, _a);
     this.children.set(id, actor);
     return actor;
   };
@@ -1240,7 +1248,9 @@ function () {
   };
 
   Interpreter.prototype.spawnEffect = function (id, dispose) {
-    this.children.set(id, _tslib.__assign({
+    var _a;
+
+    this.children.set(id, (_a = {
       id: id,
       send: function () {
         return void 0;
@@ -1261,7 +1271,9 @@ function () {
           id: id
         };
       }
-    }, utils.interopSymbols));
+    }, _a[utils.symbolObservable] = function () {
+      return this;
+    }, _a));
   };
 
   Interpreter.prototype.attachDev = function () {
@@ -1302,9 +1314,7 @@ function () {
 
   Interpreter.prototype[utils.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 === exports.InterpreterStatus.NotStarted) {

package/lib/model.d.ts

@@ -1,5 +1,5 @@
-import type { EventObject, BaseActionObject } from './types';
-import { Cast, UnionFromCreatorsReturnTypes, FinalModelCreators, Model, ModelCreators, Prop, IsNever } from './model.types';
+import type { Cast, EventObject, BaseActionObject, Prop, IsNever } from './types';
+import { UnionFromCreatorsReturnTypes, FinalModelCreators, Model, ModelCreators } from './model.types';
 export declare function createModel<TContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject>(initialContext: TContext): Model<TContext, TEvent, TAction, void>;
 export declare function createModel<TContext, TModelCreators extends ModelCreators<TModelCreators>, TFinalModelCreators = FinalModelCreators<TModelCreators>, TComputedEvent = UnionFromCreatorsReturnTypes<Prop<TFinalModelCreators, 'events'>>, TComputedAction = UnionFromCreatorsReturnTypes<Prop<TFinalModelCreators, 'actions'>>>(initialContext: TContext, creators: TModelCreators): Model<TContext, Cast<TComputedEvent, EventObject>, IsNever<TComputedAction> extends true ? BaseActionObject : Cast<TComputedAction, BaseActionObject>, TFinalModelCreators>;
 //# sourceMappingURL=model.d.ts.map

package/lib/model.types.d.ts

@@ -1,18 +1,17 @@
-import { EventObject, Assigner, ExtractEvent, PropertyAssigner, AssignAction, MachineConfig, MachineOptions, StateMachine, BaseActionObject } from './types';
-export declare type AnyFunction = (...args: any[]) => any;
-export declare type IsNever<T> = [T] extends [never] ? true : false;
-export declare type Cast<T extends any, TCastType extends any> = T extends TCastType ? T : TCastType;
-export declare type Compute<A extends any> = {
-    [K in keyof A]: A[K];
-} & unknown;
-export declare type Prop<T, K> = K extends keyof T ? T[K] : never;
+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;
     assign: <TEventType extends TEvent['type'] = TEvent['type']>(assigner: Assigner<TContext, ExtractEvent<TEvent, TEventType>> | PropertyAssigner<TContext, ExtractEvent<TEvent, TEventType>>, eventType?: TEventType) => AssignAction<TContext, ExtractEvent<TEvent, TEventType>>;
     events: Prop<TModelCreators, 'events'>;
     actions: Prop<TModelCreators, 'actions'>;
     reset: () => AssignAction<TContext, any>;
-    createMachine: (config: MachineConfig<TContext, any, TEvent, TAction>, implementations?: Partial<MachineOptions<TContext, TEvent, TAction>>) => StateMachine<TContext, any, TEvent>;
+    createMachine: {
+        <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, 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;
 export declare type ModelEventsFrom<TModel extends Model<any, any, any, any> | undefined> = TModel extends Model<any, infer TEvent, any, any> ? TEvent : EventObject;

package/lib/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/lib/schema.js

@@ -5,5 +5,7 @@ Object.defineProperty(exports, '__esModule', { value: true });
 function createSchema(schema) {
   return schema;
 }
+var t = createSchema;
 
 exports.createSchema = createSchema;
+exports.t = t;

package/lib/scxml.d.ts

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

package/lib/stateUtils.d.ts

@@ -1,15 +1,16 @@
-import { EventObject, StateNode, StateValue } from '.';
+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>) => 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>): Array<StateNode<TC, any, TE, any>>;
-export declare function getConfiguration<TC, TE extends EventObject>(prevStateNodes: Iterable<StateNode<TC, any, TE, any>>, stateNodes: Iterable<StateNode<TC, any, TE, any>>): Set<StateNode<TC, any, TE, 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>>, stateNode: StateNode<TC, any, TE, 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/lib/typegenTypes.d.ts

@@ -0,0 +1,121 @@
+import { BaseActionObject, EventObject, IndexByType, IsNever, Prop, Values, IsAny, ServiceMap, Cast } from './types';
+export interface TypegenDisabled {
+    '@@xstate/typegen': false;
+}
+export interface TypegenEnabled {
+    '@@xstate/typegen': true;
+}
+export interface TypegenMeta extends TypegenEnabled {
+    /**
+     * 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 {
+    indexedActions: Record<string, BaseActionObject>;
+    indexedEvents: Record<string, EventObject>;
+}
+export declare type TypegenConstraint = TypegenEnabled | TypegenDisabled;
+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 & {
+    missingImplementations: {
+        actions: never;
+        delays: never;
+        guards: never;
+        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>;
+    eventsCausingDelays: Record<string, string>;
+    eventsCausingGuards: Record<string, string>;
+    eventsCausingServices: Record<string, string>;
+};
+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<(string extends TEvent['type'] ? never : TEvent) | GenerateServiceEvents<TServiceMap, Prop<TTypesMeta, 'invokeSrcNameMap'>>>, Prop<TTypesMeta, 'internalEvents'>>;
+} : MarkAllImplementationsAsProvided<TypegenDisabled> & AllowAllEvents & {
+    indexedActions: IndexByType<TAction>;
+    indexedEvents: Record<string, TEvent> & {
+        __XSTATE_ALLOW_ANY_INVOKE_DATA_HACK__: {
+            data: any;
+        };
+    };
+    invokeSrcNameMap: Record<string, '__XSTATE_ALLOW_ANY_INVOKE_DATA_HACK__'>;
+};
+export {};
+//# sourceMappingURL=typegenTypes.d.ts.map

package/lib/typegenTypes.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });