xstate 4.26.0-pr2674-20219515814 → 4.26.1

package/es/interpreter.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;
@@ -616,11 +617,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 +641,7 @@ function () {
         });
         batchedActions.push.apply(batchedActions, __spreadArray([], __read(nextState.actions.map(function (a) {
           return bindActionToState(a, nextState);
-        }))));
+        })), false));
         batchChanged = batchChanged || !!nextState.changed;
       };
 
@@ -713,7 +714,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);
@@ -817,7 +818,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 +826,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;
@@ -840,7 +841,8 @@ function () {
 
             var source = isFunction(serviceCreator) ? serviceCreator(context, _event.data, {
               data: resolvedData,
-              src: invokeSource
+              src: invokeSource,
+              meta: activity.meta
             }) : serviceCreator;
 
             if (!source) {
@@ -885,7 +887,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;
@@ -934,7 +936,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, "\"."));
     }
   };
 
@@ -1210,7 +1212,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
 
 
@@ -1342,7 +1344,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.d.ts

@@ -1,5 +1,5 @@
-import type { Cast, EventObject, BaseActionObject, Prop, IsNever } from './types';
-import { UnionFromCreatorsReturnTypes, FinalModelCreators, Model, ModelCreators } from './model.types';
+import type { EventObject, BaseActionObject } from './types';
+import { Cast, UnionFromCreatorsReturnTypes, FinalModelCreators, Model, ModelCreators, Prop, IsNever } 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/es/model.types.d.ts

@@ -1,17 +1,18 @@
-import { AnyFunction, AssignAction, Assigner, BaseActionObject, Compute, EventObject, ExtractEvent, MachineConfig, Prop, PropertyAssigner, StateMachine } from './types';
-import { MaybeTypegenMachineOptions, ResolveTypegenMeta, TypegenConstraint, TypegenDisabled } from './typegenTypes';
+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;
 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: {
-        <TTypesMeta extends TypegenConstraint = TypegenDisabled>(config: MachineConfig<TContext, any, TEvent, TAction, TTypesMeta>, implementations?: MaybeTypegenMachineOptions<TContext, TEvent, TAction, ResolveTypegenMeta<TTypesMeta, TEvent, TAction>>): StateMachine<TContext, any, TEvent, {
-            value: any;
-            context: TContext;
-        }, TAction, ResolveTypegenMeta<TTypesMeta, TEvent, TAction>>;
-    };
+    createMachine: (config: MachineConfig<TContext, any, TEvent, TAction>, implementations?: Partial<MachineOptions<TContext, TEvent, TAction>>) => StateMachine<TContext, any, TEvent>;
 }
 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/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/scxml.d.ts

@@ -1,6 +1,6 @@
-import { StateMachine } from './index';
+import { StateNode } 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): StateNode;
 //# sourceMappingURL=scxml.d.ts.map

package/es/stateUtils.d.ts

@@ -1,16 +1,16 @@
-import { EventObject, StateValue } from './types';
-import { StateNode } from './StateNode';
+import { EventObject, StateNode, StateValue } from '.';
 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>) => 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>): 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>>): Iterable<StateNode<TC, any, TE, 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>>, stateNode: StateNode<TC, any, TE, any>): boolean;
 export declare function getMeta(configuration?: StateNode[]): Record<string, any>;
+export declare function getTagsFromConfiguration(configuration: StateNode<any, any, any, any>[]): Set<string>;
 export {};
 //# sourceMappingURL=stateUtils.d.ts.map

package/es/stateUtils.js

@@ -1,5 +1,5 @@
 import { __values, __spreadArray, __read } from './_virtual/_tslib.js';
-import { keys, flatten } from './utils.js';
+import { flatten, keys } from './utils.js';
 
 var isLeafNode = function (stateNode) {
   return stateNode.type === 'atomic' || stateNode.type === 'final';
@@ -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') {
@@ -252,5 +252,10 @@ function getMeta(configuration) {
     return acc;
   }, {});
 }
+function getTagsFromConfiguration(configuration) {
+  return new Set(flatten(configuration.map(function (sn) {
+    return sn.tags;
+  })));
+}
 
-export { getAdjList, getAllStateNodes, getChildren, getConfiguration, getMeta, getValue, has, isInFinalState, isLeafNode, nextEvents };
+export { getAdjList, getAllStateNodes, getChildren, getConfiguration, getMeta, getTagsFromConfiguration, getValue, has, isInFinalState, isLeafNode, nextEvents };

package/es/types.d.ts

@@ -1,25 +1,9 @@
-import { Clock, Interpreter } from './interpreter';
-import { Model } from './model.types';
-import { State } from './State';
 import { StateNode } from './StateNode';
-import { MarkAllImplementationsAsProvided, MaybeTypegenMachineOptions, TypegenDisabled } from './typegenTypes';
-export declare type AnyFunction = (...args: any[]) => any;
+import { State } from './State';
+import { Interpreter, Clock } from './interpreter';
+import { IsNever, Model, Prop } from './model.types';
+declare type AnyFunction = (...args: any[]) => any;
 declare type ReturnTypeOrValue<T> = T extends AnyFunction ? ReturnType<T> : T;
-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;
-export declare type Values<T> = T[keyof T];
-export declare type Merge<M, N> = Omit<M, keyof N> & N;
-export declare type IndexByType<T extends {
-    type: string;
-}> = {
-    [K in T['type']]: Extract<T, {
-        type: K;
-    }>;
-};
 export declare type EventType = string;
 export declare type ActionType = string;
 export declare type MetaObject = Record<string, any>;
@@ -60,7 +44,7 @@ export declare type EventData = Record<string, any> & {
  * The specified string event types or the specified event objects.
  */
 export declare type Event<TEvent extends EventObject> = TEvent['type'] | TEvent;
-export interface ActionMeta<TContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> extends StateMeta<TContext, TEvent> {
+export interface ActionMeta<TContext, TEvent extends EventObject, TAction extends ActionObject<TContext, TEvent> = ActionObject<TContext, TEvent>> extends StateMeta<TContext, TEvent> {
     action: TAction;
     _event: SCXML.Event<TEvent>;
 }
@@ -69,8 +53,8 @@ export interface AssignMeta<TContext, TEvent extends EventObject> {
     action: AssignAction<TContext, TEvent>;
     _event: SCXML.Event<TEvent>;
 }
-export declare type ActionFunction<TContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> = (context: TContext, event: TEvent, meta: ActionMeta<TContext, TEvent, TAction>) => void;
-export interface ChooseConditon<TContext, TEvent extends EventObject> {
+export declare type ActionFunction<TContext, TEvent extends EventObject, TAction extends ActionObject<TContext, TEvent> = ActionObject<TContext, TEvent>> = (context: TContext, event: TEvent, meta: ActionMeta<TContext, TEvent, TAction>) => void;
+export interface ChooseCondition<TContext, TEvent extends EventObject> {
     cond?: Condition<TContext, TEvent>;
     actions: Actions<TContext, TEvent>;
 }
@@ -97,14 +81,6 @@ export interface StateValueMap {
  * - For complex state nodes, this is an object, e.g., `{ success: "someChildState" }`.
  */
 export declare type StateValue = string | StateValueMap;
-declare type KeysWithStates<TStates extends Record<string, StateSchema> | undefined> = TStates extends object ? {
-    [K in keyof TStates]-?: TStates[K] extends {
-        states: object;
-    } ? K : never;
-}[keyof TStates] : never;
-export declare type ExtractStateValue<TSchema extends Required<Pick<StateSchema<any>, 'states'>>> = keyof TSchema['states'] | (KeysWithStates<TSchema['states']> extends never ? never : {
-    [K in KeysWithStates<TSchema['states']>]?: ExtractStateValue<TSchema['states'][K]>;
-});
 export interface HistoryValue {
     states: Record<string, HistoryValue | undefined>;
     current: StateValue | undefined;
@@ -174,6 +150,7 @@ export declare type InvokeCallback<TEvent extends EventObject = AnyEventObject,
 export interface InvokeMeta {
     data: any;
     src: InvokeSourceDefinition;
+    meta?: MetaObject;
 }
 /**
  * Returns either a Promises or a callback handler (for streams of events) given the
@@ -213,6 +190,7 @@ export interface InvokeDefinition<TContext, TEvent extends EventObject> extends
      * Data should be mapped to match the child machine's context shape.
      */
     data?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
+    meta?: MetaObject;
 }
 export interface Delay {
     id: string;
@@ -295,6 +273,10 @@ export interface InvokeConfig<TContext, TEvent extends EventObject> {
      * The transition to take upon the invoked child machine sending an error event.
      */
     onError?: string | SingleOrArray<TransitionConfig<TContext, DoneInvokeEvent<any>>>;
+    /**
+     * Meta data related to this invocation
+     */
+    meta?: MetaObject;
 }
 export interface StateNodeConfig<TContext, TStateSchema extends StateSchema, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> {
     /**
@@ -450,6 +432,7 @@ export interface StateNodeDefinition<TContext, TStateSchema extends StateSchema,
     data?: FinalStateNodeConfig<TContext, TEvent>['data'];
     invoke: Array<InvokeDefinition<TContext, TEvent>>;
     description?: string;
+    tags: string[];
 }
 export declare type AnyStateNodeDefinition = StateNodeDefinition<any, any, any>;
 export interface AtomicStateNodeConfig<TContext, TEvent extends EventObject> extends StateNodeConfig<TContext, StateSchema, TEvent> {
@@ -471,7 +454,7 @@ export interface FinalStateNodeConfig<TContext, TEvent extends EventObject> exte
     data?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
 }
 export declare type SimpleOrStateNodeConfig<TContext, TStateSchema extends StateSchema, TEvent extends EventObject> = AtomicStateNodeConfig<TContext, TEvent> | StateNodeConfig<TContext, TStateSchema, TEvent>;
-export declare type ActionFunctionMap<TContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> = {
+export declare type ActionFunctionMap<TContext, TEvent extends EventObject, TAction extends ActionObject<TContext, TEvent> = ActionObject<TContext, TEvent>> = {
     [K in TAction['type']]?: ActionObject<TContext, TEvent> | ActionFunction<TContext, TEvent, TAction extends {
         type: K;
     } ? TAction : never>;
@@ -479,25 +462,25 @@ export declare type ActionFunctionMap<TContext, TEvent extends EventObject, TAct
 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 DelayConfig<TContext, TEvent extends EventObject> = number | DelayExpr<TContext, TEvent>;
-export interface MachineOptions<TContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> {
-    guards?: Record<string, ConditionPredicate<TContext, TEvent>>;
-    actions?: ActionFunctionMap<TContext, TEvent, TAction>;
+export interface MachineOptions<TContext, TEvent extends EventObject, TAction extends ActionObject<TContext, TEvent> = ActionObject<TContext, TEvent>> {
+    guards: Record<string, ConditionPredicate<TContext, TEvent>>;
+    actions: ActionFunctionMap<TContext, TEvent, TAction>;
     /**
      * @deprecated Use `services` instead.
      */
-    activities?: Record<string, ActivityConfig<TContext, TEvent>>;
-    services?: Record<string, ServiceConfig<TContext, TEvent>>;
-    delays?: DelayFunctionMap<TContext, TEvent>;
+    activities: Record<string, ActivityConfig<TContext, TEvent>>;
+    services: Record<string, ServiceConfig<TContext, TEvent>>;
+    delays: DelayFunctionMap<TContext, TEvent>;
     /**
      * @private
      */
-    _parent?: StateNode<TContext, any, TEvent, any, any>;
+    _parent?: StateNode<TContext, any, TEvent, any>;
     /**
      * @private
      */
     _key?: string;
 }
-export interface MachineConfig<TContext, TStateSchema extends StateSchema, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TTypesMeta = TypegenDisabled> extends StateNodeConfig<TContext, TStateSchema, TEvent, TAction> {
+export interface MachineConfig<TContext, TStateSchema extends StateSchema, TEvent extends EventObject, TAction extends BaseActionObject = ActionObject<TContext, TEvent>> extends StateNodeConfig<TContext, TStateSchema, TEvent, TAction> {
     /**
      * The initial context (extended state)
      */
@@ -507,7 +490,6 @@ export interface MachineConfig<TContext, TStateSchema extends StateSchema, TEven
      */
     version?: string;
     schema?: MachineSchema<TContext, TEvent>;
-    tsTypes?: TTypesMeta | true;
 }
 export interface MachineSchema<TContext, TEvent extends EventObject> {
     context?: TContext;
@@ -542,11 +524,11 @@ 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, TResolvedTypesMeta = TypegenDisabled> extends StateNode<TContext, TStateSchema, TEvent, TTypestate, TResolvedTypesMeta> {
+}, _TAction extends ActionObject<TContext, TEvent> = ActionObject<TContext, TEvent>> extends StateNode<TContext, TStateSchema, TEvent, TTypestate> {
     id: string;
-    states: StateNode<TContext, TStateSchema, TEvent, TTypestate, TResolvedTypesMeta>['states'];
-    withConfig(options: MaybeTypegenMachineOptions<TContext, TEvent, TAction, TResolvedTypesMeta, true>, context?: TContext | (() => TContext)): StateMachine<TContext, TStateSchema, TEvent, TTypestate, TAction, MarkAllImplementationsAsProvided<TResolvedTypesMeta>>;
-    withContext(context: TContext | (() => TContext)): StateMachine<TContext, TStateSchema, TEvent, TTypestate, any, TResolvedTypesMeta>;
+    states: StateNode<TContext, TStateSchema, TEvent>['states'];
+    withConfig(options: Partial<MachineOptions<TContext, TEvent>>, context?: TContext | (() => TContext)): StateMachine<TContext, TStateSchema, TEvent, TTypestate>;
+    withContext(context: TContext | (() => TContext)): StateMachine<TContext, TStateSchema, TEvent, TTypestate>;
 }
 export declare type StateFrom<T extends StateMachine<any, any, any, any> | ((...args: any[]) => StateMachine<any, any, any, any>)> = T extends StateMachine<any, any, any> ? ReturnType<T['transition']> : T extends (...args: any[]) => StateMachine<any, any, any> ? ReturnType<ReturnType<T>['transition']> : never;
 export interface ActionMap<TContext, TEvent extends EventObject> {
@@ -567,13 +549,13 @@ export interface ActivityMap {
 }
 export interface StateTransition<TContext, TEvent extends EventObject> {
     transitions: Array<TransitionDefinition<TContext, TEvent>>;
-    configuration: Array<StateNode<TContext, any, TEvent, any, any>>;
-    entrySet: Array<StateNode<TContext, any, TEvent, any, any>>;
-    exitSet: Array<StateNode<TContext, any, TEvent, any, any>>;
+    configuration: Array<StateNode<TContext, any, TEvent, any>>;
+    entrySet: Array<StateNode<TContext, any, TEvent, any>>;
+    exitSet: Array<StateNode<TContext, any, TEvent, any>>;
     /**
      * The source state that preceded the transition.
      */
-    source: State<TContext, any, any, any, any> | undefined;
+    source: State<TContext, any, any, any> | undefined;
     actions: Array<ActionObject<TContext, TEvent>>;
 }
 export interface TransitionData<TContext, TEvent extends EventObject> {
@@ -716,7 +698,7 @@ export interface PureAction<TContext, TEvent extends EventObject> extends Action
 }
 export interface ChooseAction<TContext, TEvent extends EventObject> extends ActionObject<TContext, TEvent> {
     type: ActionTypes.Choose;
-    conds: Array<ChooseConditon<TContext, TEvent>>;
+    conds: Array<ChooseCondition<TContext, TEvent>>;
 }
 export interface TransitionDefinition<TContext, TEvent extends EventObject> extends TransitionConfig<TContext, TEvent> {
     target: Array<StateNode<TContext, any, TEvent>> | undefined;
@@ -794,7 +776,7 @@ export interface SCXMLEventMeta<TEvent extends EventObject> {
     _event: SCXML.Event<TEvent>;
 }
 export interface StateMeta<TContext, TEvent extends EventObject> {
-    state: State<TContext, TEvent, any, any, any>;
+    state: State<TContext, TEvent, any, any>;
     _event: SCXML.Event<TEvent>;
 }
 export interface Typestate<TContext> {
@@ -813,7 +795,7 @@ export interface StateConfig<TContext, TEvent extends EventObject> {
     _event: SCXML.Event<TEvent>;
     _sessionid: string | null;
     historyValue?: HistoryValue | undefined;
-    history?: State<TContext, TEvent, any, any, any>;
+    history?: State<TContext, TEvent>;
     actions?: Array<ActionObject<TContext, TEvent>>;
     /**
      * @deprecated
@@ -826,7 +808,7 @@ export interface StateConfig<TContext, TEvent extends EventObject> {
     children: Record<string, ActorRef<any>>;
     done?: boolean;
     tags?: Set<string>;
-    machine?: StateMachine<TContext, any, TEvent, any, any, any>;
+    machine?: StateMachine<TContext, any, TEvent, any>;
 }
 export interface StateSchema<TC = any> {
     meta?: any;
@@ -839,9 +821,9 @@ export interface InterpreterOptions {
     /**
      * Whether state actions should be executed immediately upon transition. Defaults to `true`.
      */
-    execute?: boolean;
-    clock?: Clock;
-    logger?: (...args: any[]) => void;
+    execute: boolean;
+    clock: Clock;
+    logger: (...args: any[]) => void;
     parent?: AnyInterpreter;
     /**
      * If `true`, defers processing of sent events until the service
@@ -850,7 +832,7 @@ export interface InterpreterOptions {
      *
      * Default: `true`
      */
-    deferEvents?: boolean;
+    deferEvents: boolean;
     /**
      * The custom `id` for referencing this service.
      */
@@ -860,7 +842,8 @@ export interface InterpreterOptions {
      *
      * Default: `false`
      */
-    devTools?: boolean | object;
+    devTools: boolean | object;
+    [option: string]: any;
 }
 export declare namespace SCXML {
     interface Event<TEvent extends EventObject> {
@@ -961,7 +944,7 @@ export declare type ActorRefWithDeprecatedState<TContext, TEvent extends EventOb
     state: State<TContext, TEvent, any, TTypestate>;
 };
 export declare type ActorRefFrom<T> = T extends StateMachine<infer TContext, any, infer TEvent, infer TTypestate> ? ActorRefWithDeprecatedState<TContext, TEvent, TTypestate> : T extends (...args: any[]) => StateMachine<infer TContext, any, infer TEvent, infer TTypestate> ? ActorRefWithDeprecatedState<TContext, TEvent, TTypestate> : 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 AnyInterpreter = Interpreter<any, any, any, any, any>;
+export declare type AnyInterpreter = Interpreter<any, any, any, any>;
 export declare type InterpreterFrom<T extends StateMachine<any, any, any, any> | ((...args: any[]) => StateMachine<any, any, any, any>)> = T extends StateMachine<infer TContext, infer TStateSchema, infer TEvent, infer TTypestate> ? Interpreter<TContext, TStateSchema, TEvent, TTypestate> : T extends (...args: any[]) => StateMachine<infer TContext, infer TStateSchema, infer TEvent, infer TTypestate> ? Interpreter<TContext, TStateSchema, TEvent, TTypestate> : never;
 export interface ActorContext<TEvent extends EventObject, TEmitted> {
     parent?: ActorRef<any, any>;
@@ -975,7 +958,10 @@ export interface Behavior<TEvent extends EventObject, TEmitted = any> {
     start?: (actorCtx: ActorContext<TEvent, TEmitted>) => TEmitted;
 }
 export declare type EmittedFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends ActorRef<infer _, infer TEmitted> ? TEmitted : R extends Behavior<infer _, infer TEmitted> ? TEmitted : R extends ActorContext<infer _, infer TEmitted> ? TEmitted : never : never;
-export declare type EventFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer _, infer __, infer TEvent, infer ____> ? TEvent : R extends Model<infer _, infer TEvent, infer ___, infer ____> ? TEvent : R extends State<infer _, infer TEvent, infer ___, infer ____> ? TEvent : R extends Interpreter<infer _, infer __, infer TEvent, infer ____> ? TEvent : never : never;
+declare type ResolveEventType<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer _, infer __, infer TEvent, infer ____> ? TEvent : R extends Model<infer _, infer TEvent, infer ___, infer ____> ? TEvent : R extends State<infer _, infer TEvent, infer ___, infer ____> ? TEvent : R extends Interpreter<infer _, infer __, infer TEvent, infer ____> ? TEvent : never : never;
+export declare type EventFrom<T, K extends Prop<TEvent, 'type'> = never, TEvent = ResolveEventType<T>> = IsNever<K> extends true ? TEvent : Extract<TEvent, {
+    type: K;
+}>;
 export declare type ContextFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer _, infer __, infer ___> ? TContext : R extends Model<infer TContext, infer _, infer __, infer ___> ? TContext : R extends State<infer TContext, infer _, infer __, infer ___> ? TContext : R extends Interpreter<infer TContext, infer _, infer __, infer ___> ? TContext : never : never;
 export {};
 //# sourceMappingURL=types.d.ts.map

package/es/utils.d.ts

@@ -63,7 +63,7 @@ export declare function toTransitionConfigArray<TContext, TEvent extends EventOb
 }>;
 export declare function normalizeTarget<TContext, TEvent extends EventObject>(target: SingleOrArray<string | StateNode<TContext, any, TEvent>> | undefined): Array<string | StateNode<TContext, any, TEvent>> | undefined;
 export declare function reportUnhandledExceptionOnInvocation(originalError: any, currentError: any, id: string): void;
-export declare function evaluateGuard<TContext, TEvent extends EventObject>(machine: StateNode<TContext, any, TEvent, any, any>, guard: Guard<TContext, TEvent>, context: TContext, _event: SCXML.Event<TEvent>, state: State<TContext, TEvent>): boolean;
+export declare function evaluateGuard<TContext, TEvent extends EventObject>(machine: StateNode<TContext, any, TEvent, any>, guard: Guard<TContext, TEvent>, context: TContext, _event: SCXML.Event<TEvent>, state: State<TContext, TEvent>): boolean;
 export declare function toInvokeSource(src: string | InvokeSourceDefinition): InvokeSourceDefinition;
 export declare function toObserver<T>(nextHandler: Observer<T> | ((value: T) => void), errorHandler?: (error: any) => void, completionHandler?: () => void): Observer<T>;
 //# sourceMappingURL=utils.d.ts.map

package/es/utils.js

@@ -36,7 +36,7 @@ function matchesState(parentStateId, childStateId, delimiter) {
 }
 function getEventType(event) {
   try {
-    return isString(event) || typeof event === 'number' ? "" + event : event.type;
+    return isString(event) || typeof event === 'number' ? "".concat(event) : event.type;
   } catch (e) {
     throw new Error('Events must be strings or objects with a string event.type property.');
   }
@@ -49,7 +49,7 @@ function toStatePath(stateId, delimiter) {
 
     return stateId.toString().split(delimiter);
   } catch (e) {
-    throw new Error("'" + stateId + "' is not a valid state path.");
+    throw new Error("'".concat(stateId, "' is not a valid state path."));
   }
 }
 function isStateLike(state) {
@@ -218,7 +218,7 @@ function toStatePaths(stateValue) {
 function flatten(array) {
   var _a;
 
-  return (_a = []).concat.apply(_a, __spreadArray([], __read(array)));
+  return (_a = []).concat.apply(_a, __spreadArray([], __read(array), false));
 }
 function toArrayStrict(value) {
   if (isArray(value)) {
@@ -395,7 +395,7 @@ if (!IS_PRODUCTION) {
     }
 
     if (console !== undefined) {
-      var args = ["Warning: " + message];
+      var args = ["Warning: ".concat(message)];
 
       if (error) {
         args.push(error);
@@ -524,15 +524,15 @@ function normalizeTarget(target) {
 }
 function reportUnhandledExceptionOnInvocation(originalError, currentError, id) {
   if (!IS_PRODUCTION) {
-    var originalStackTrace = originalError.stack ? " Stacktrace was '" + originalError.stack + "'" : '';
+    var originalStackTrace = originalError.stack ? " Stacktrace was '".concat(originalError.stack, "'") : '';
 
     if (originalError === currentError) {
       // tslint:disable-next-line:no-console
-      console.error("Missing onError handler for invocation '" + id + "', error was '" + originalError + "'." + originalStackTrace);
+      console.error("Missing onError handler for invocation '".concat(id, "', error was '").concat(originalError, "'.").concat(originalStackTrace));
     } else {
-      var stackTrace = currentError.stack ? " Stacktrace was '" + currentError.stack + "'" : ''; // tslint:disable-next-line:no-console
+      var stackTrace = currentError.stack ? " Stacktrace was '".concat(currentError.stack, "'") : ''; // tslint:disable-next-line:no-console
 
-      console.error("Missing onError handler and/or unhandled exception/promise rejection for invocation '" + id + "'. " + ("Original error: '" + originalError + "'. " + originalStackTrace + " Current error is '" + currentError + "'." + stackTrace));
+      console.error("Missing onError handler and/or unhandled exception/promise rejection for invocation '".concat(id, "'. ") + "Original error: '".concat(originalError, "'. ").concat(originalStackTrace, " Current error is '").concat(currentError, "'.").concat(stackTrace));
     }
   }
 }
@@ -548,10 +548,10 @@ function evaluateGuard(machine, guard, context, _event, state) {
     return ((guards === null || guards === void 0 ? void 0 : guards[guard.name]) || guard.predicate)(context, _event.data, guardMeta);
   }
 
-  var condFn = guards === null || guards === void 0 ? void 0 : guards[guard.type];
+  var condFn = guards[guard.type];
 
   if (!condFn) {
-    throw new Error("Guard '" + guard.type + "' is not implemented on machine '" + machine.id + "'.");
+    throw new Error("Guard '".concat(guard.type, "' is not implemented on machine '").concat(machine.id, "'."));
   }
 
   return condFn(context, _event.data, guardMeta);

package/lib/Actor.d.ts

@@ -1,4 +1,5 @@
-import { EventObject, Subscribable, InvokeDefinition, AnyEventObject, StateMachine, Spawnable, SCXML, ActorRef, BaseActorRef } from './types';
+import { EventObject, Subscribable, InvokeDefinition, AnyEventObject, StateMachine, Spawnable, SCXML } from './types';
+import { ActorRef, BaseActorRef } from '.';
 export interface Actor<TContext = any, TEvent extends EventObject = AnyEventObject> extends Subscribable<TContext> {
     id: string;
     send: (event: TEvent) => any;