xstate 4.27.0-pr2674-2021926101023 → 4.27.0

package/lib/scxml.js

@@ -26,10 +26,14 @@ var __read = (this && this.__read) || function (o, n) {
     }
     return ar;
 };
-var __spreadArray = (this && this.__spreadArray) || function (to, from) {
-    for (var i = 0, il = from.length, j = to.length; i < il; i++, j++)
-        to[j] = from[i];
-    return to;
+var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
+    if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
+        if (ar || !(i in from)) {
+            if (!ar) ar = Array.prototype.slice.call(from, 0, i);
+            ar[i] = from[i];
+        }
+    }
+    return to.concat(ar || Array.prototype.slice.call(from));
 };
 var __values = (this && this.__values) || function(o) {
     var s = typeof Symbol === "function" && Symbol.iterator, m = s && o[s], i = 0;
@@ -53,7 +57,7 @@ function getAttribute(element, attribute) {
 }
 function indexedRecord(items, identifier) {
     var record = {};
-    var identifierFn = utils_1.isString(identifier)
+    var identifierFn = (0, utils_1.isString)(identifier)
         ? function (item) { return item[identifier]; }
         : identifier;
     items.forEach(function (item) {
@@ -71,7 +75,7 @@ function executableContent(elements) {
 function getTargets(targetAttr) {
     // return targetAttr ? [`#${targetAttr}`] : undefined;
     return targetAttr
-        ? ("" + targetAttr).split(/\s+/).map(function (target) { return "#" + target; })
+        ? "".concat(targetAttr).split(/\s+/).map(function (target) { return "#".concat(target); })
         : undefined;
 }
 function delayToMs(delay) {
@@ -96,29 +100,29 @@ function delayToMs(delay) {
             : 0;
         var millisecondsPart = parseInt(secondsMatch[3].padEnd(3, '0'), 10);
         if (millisecondsPart >= 1000) {
-            throw new Error("Can't parse \"" + delay + " delay.\"");
+            throw new Error("Can't parse \"".concat(delay, " delay.\""));
         }
         return secondsPart + millisecondsPart;
     }
-    throw new Error("Can't parse \"" + delay + " delay.\"");
+    throw new Error("Can't parse \"".concat(delay, " delay.\""));
 }
 var evaluateExecutableContent = function (context, _ev, meta, body) {
     var datamodel = context
-        ? utils_1.keys(context)
-            .map(function (key) { return "const " + key + " = context['" + key + "'];"; })
+        ? (0, utils_1.keys)(context)
+            .map(function (key) { return "const ".concat(key, " = context['").concat(key, "'];"); })
             .join('\n')
         : '';
     var scope = ['const _sessionid = "NOT_IMPLEMENTED";', datamodel]
         .filter(Boolean)
         .join('\n');
     var args = ['context', '_event'];
-    var fnBody = "\n    " + scope + "\n    " + body + "\n  ";
-    var fn = new (Function.bind.apply(Function, __spreadArray(__spreadArray([void 0], __read(args)), [fnBody])))();
+    var fnBody = "\n    ".concat(scope, "\n    ").concat(body, "\n  ");
+    var fn = new (Function.bind.apply(Function, __spreadArray(__spreadArray([void 0], __read(args), false), [fnBody], false)))();
     return fn(context, meta._event);
 };
 function createCond(cond) {
     return function (context, _event, meta) {
-        return evaluateExecutableContent(context, _event, meta, "return " + cond + ";");
+        return evaluateExecutableContent(context, _event, meta, "return ".concat(cond, ";"));
     };
 }
 function mapAction(element) {
@@ -129,7 +133,7 @@ function mapAction(element) {
         }
         case 'assign': {
             return actions.assign(function (context, e, meta) {
-                var fnBody = "\n            return {'" + element.attributes.location + "': " + element.attributes.expr + "};\n          ";
+                var fnBody = "\n            return {'".concat(element.attributes.location, "': ").concat(element.attributes.expr, "};\n          ");
                 return evaluateExecutableContent(context, e, meta, fnBody);
             });
         }
@@ -142,14 +146,14 @@ function mapAction(element) {
                     if (child.name === 'content') {
                         throw new Error('Conversion of <content/> inside <send/> not implemented.');
                     }
-                    return "" + acc + child.attributes.name + ":" + child.attributes.expr + ",\n";
+                    return "".concat(acc).concat(child.attributes.name, ":").concat(child.attributes.expr, ",\n");
                 }, '');
             if (event_1 && !params_1) {
                 convertedEvent = event_1;
             }
             else {
                 convertedEvent = function (context, _ev, meta) {
-                    var fnBody = "\n              return { type: " + (event_1 ? "\"" + event_1 + "\"" : eventexpr_1) + ", " + (params_1 ? params_1 : '') + " }\n            ";
+                    var fnBody = "\n              return { type: ".concat(event_1 ? "\"".concat(event_1, "\"") : eventexpr_1, ", ").concat(params_1 ? params_1 : '', " }\n            ");
                     return evaluateExecutableContent(context, _ev, meta, fnBody);
                 };
             }
@@ -158,7 +162,7 @@ function mapAction(element) {
             }
             else if (element.attributes.delayexpr) {
                 convertedDelay = function (context, _ev, meta) {
-                    var fnBody = "\n              return (" + delayToMs + ")(" + element.attributes.delayexpr + ");\n            ";
+                    var fnBody = "\n              return (".concat(delayToMs, ")(").concat(element.attributes.delayexpr, ");\n            ");
                     return evaluateExecutableContent(context, _ev, meta, fnBody);
                 };
             }
@@ -170,7 +174,7 @@ function mapAction(element) {
         case 'log': {
             var label = element.attributes.label;
             return actions.log(function (context, e, meta) {
-                var fnBody = "\n              return " + element.attributes.expr + ";\n            ";
+                var fnBody = "\n              return ".concat(element.attributes.expr, ";\n            ");
                 return evaluateExecutableContent(context, e, meta, fnBody);
             }, label !== undefined ? String(label) : undefined);
         }
@@ -215,7 +219,7 @@ function mapAction(element) {
             return actions.choose(conds);
         }
         default:
-            throw new Error("Conversion of \"" + element.name + "\" elements is not implemented yet.");
+            throw new Error("Conversion of \"".concat(element.name, "\" elements is not implemented yet."));
     }
 }
 function mapActions(elements) {
@@ -257,7 +261,7 @@ function toConfig(nodeJson, id, options) {
             return {
                 id: id,
                 history: history_1,
-                target: target ? "#" + target : undefined
+                target: target ? "#".concat(target) : undefined
             };
         }
         case 'final': {
@@ -277,7 +281,7 @@ function toConfig(nodeJson, id, options) {
         var invokeElements = nodeJson.elements.filter(function (element) { return element.name === 'invoke'; });
         var onEntryElement = nodeJson.elements.find(function (element) { return element.name === 'onentry'; });
         var onExitElement = nodeJson.elements.find(function (element) { return element.name === 'onexit'; });
-        var states = indexedRecord(stateElements, function (item) { return "" + item.attributes.id; });
+        var states = indexedRecord(stateElements, function (item) { return "".concat(item.attributes.id); });
         var initialElement = !initial
             ? nodeJson.elements.find(function (element) { return element.name === 'initial'; })
             : undefined;
@@ -312,7 +316,7 @@ function toConfig(nodeJson, id, options) {
         });
         return __assign(__assign(__assign(__assign(__assign(__assign(__assign({ id: id }, (initial ? { initial: initial } : undefined)), (parallel ? { type: 'parallel' } : undefined)), (stateElements.length
             ? {
-                states: utils_1.mapValues(states, function (state, key) {
+                states: (0, utils_1.mapValues)(states, function (state, key) {
                     return toConfig(state, key, options);
                 })
             }
@@ -332,15 +336,15 @@ function scxmlToMachine(scxmlJson, options) {
             }
             acc[element.attributes.id] = element.attributes.expr
                 ? // tslint:disable-next-line:no-eval
-                    eval("(" + element.attributes.expr + ")")
+                    eval("(".concat(element.attributes.expr, ")"))
                 : undefined;
             return acc;
         }, {})
         : undefined;
-    return index_1.Machine(__assign(__assign({}, toConfig(machineElement, '(machine)', options)), { context: extState, delimiter: options.delimiter }));
+    return (0, index_1.Machine)(__assign(__assign({}, toConfig(machineElement, '(machine)', options)), { context: extState, delimiter: options.delimiter }));
 }
 function toMachine(xml, options) {
-    var json = xml_js_1.xml2js(xml);
+    var json = (0, xml_js_1.xml2js)(xml);
     return scxmlToMachine(json, options);
 }
 exports.toMachine = toMachine;

package/lib/stateUtils.d.ts

@@ -1,16 +1,15 @@
-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>>): Set<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 {};

package/lib/stateUtils.js

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

package/lib/types.d.ts

@@ -1,25 +1,10 @@
-import { Clock, Interpreter } from './interpreter';
-import { Model } from './model.types';
-import { State } from './State';
 import { StateNode } from './StateNode';
-import { MarkAllImplementationsAsProvided, TypegenDisabled, ResolveTypegenMeta, TypegenConstraint } 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 Cast<A, B> = A extends B ? A : B;
 export declare type EventType = string;
 export declare type ActionType = string;
 export declare type MetaObject = Record<string, any>;
@@ -50,7 +35,7 @@ export interface ActionObject<TContext, TEvent extends EventObject> extends Base
     /**
      * The implementation for executing the action.
      */
-    exec?: ActionFunction<TContext, TEvent>;
+    exec?: ActionFunction<TContext, TEvent> | undefined;
 }
 export declare type DefaultContext = Record<string, any> | undefined;
 export declare type EventData = Record<string, any> & {
@@ -60,7 +45,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,9 +54,7 @@ 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> = {
-    bivarianceHack(context: TContext, event: TEvent, meta: ActionMeta<TContext, TEvent, TAction>): void;
-}['bivarianceHack'];
+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>;
@@ -99,14 +82,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;
@@ -132,7 +107,7 @@ export interface TransitionConfig<TContext, TEvent extends EventObject> {
     actions?: Actions<TContext, TEvent>;
     in?: StateValue;
     internal?: boolean;
-    target?: TransitionTarget<TContext, TEvent>;
+    target?: TransitionTarget<TContext, TEvent> | undefined;
     meta?: Record<string, any>;
     description?: string;
 }
@@ -371,7 +346,7 @@ export interface StateNodeConfig<TContext, TStateSchema extends StateSchema, TEv
      *
      * This is equivalent to defining a `[done(id)]` transition on this state node's `on` property.
      */
-    onDone?: string | SingleOrArray<TransitionConfig<TContext, DoneEventObject>>;
+    onDone?: string | SingleOrArray<TransitionConfig<TContext, DoneEventObject>> | undefined;
     /**
      * The mapping (or array) of delays (in milliseconds) to their potential transition(s).
      * The delayed transitions are taken after the specified delay in an interpreter.
@@ -480,7 +455,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>;
@@ -488,44 +463,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>;
-declare type MachineOptionsActions<TContext, TResolvedTypesMeta, TEventsCausingActions = Prop<TResolvedTypesMeta, 'eventsCausingActions'>, TIndexedEvents = Prop<TResolvedTypesMeta, 'indexedEvents'>, TIndexedActions = Prop<TResolvedTypesMeta, 'indexedActions'>> = {
-    [K in keyof TEventsCausingActions]?: ActionObject<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>> | ActionFunction<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>, Cast<Prop<TIndexedActions, K>, BaseActionObject>>;
-};
-declare type MachineOptionsDelays<TContext, TResolvedTypesMeta, TEventsCausingDelays = Prop<TResolvedTypesMeta, 'eventsCausingDelays'>, TIndexedEvents = Prop<TResolvedTypesMeta, 'indexedEvents'>> = {
-    [K in keyof TEventsCausingDelays]?: DelayConfig<TContext, Cast<Prop<TIndexedEvents, TEventsCausingDelays[K]>, EventObject>>;
-};
-declare type MachineOptionsGuards<TContext, TResolvedTypesMeta, TEventsCausingGuards = Prop<TResolvedTypesMeta, 'eventsCausingGuards'>, TIndexedEvents = Prop<TResolvedTypesMeta, 'indexedEvents'>> = {
-    [K in keyof TEventsCausingGuards]?: ConditionPredicate<TContext, Cast<Prop<TIndexedEvents, TEventsCausingGuards[K]>, EventObject>>;
-};
-declare type MachineOptionsServices<TContext, TResolvedTypesMeta, TEventsCausingServices = Prop<TResolvedTypesMeta, 'eventsCausingServices'>, TIndexedEvents = Prop<TResolvedTypesMeta, 'indexedEvents'>, TInvokeSrcNameMap = Prop<TResolvedTypesMeta, 'invokeSrcNameMap'>> = {
-    [K in keyof TEventsCausingServices]?: StateMachine<any, any, any> | 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?: MachineOptionsActions<TContext, TResolvedTypesMeta>;
-};
-declare type GenerateDelaysConfigPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'delays', Prop<TMissingImplementations, 'delays'>, TRequireMissingImplementations> & {
-    delays?: MachineOptionsDelays<TContext, TResolvedTypesMeta>;
-};
-declare type GenerateGuardsConfigPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'guards', Prop<TMissingImplementations, 'guards'>, TRequireMissingImplementations> & {
-    guards?: MachineOptionsGuards<TContext, TResolvedTypesMeta>;
-};
-declare type GenerateServicesConfigPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'services', Prop<TMissingImplementations, 'services'>, TRequireMissingImplementations> & {
-    services?: MachineOptionsServices<TContext, TResolvedTypesMeta>;
-};
-export declare type InternalMachineOptions<TContext, TEvent extends EventObject, TResolvedTypesMeta, TRequireMissingImplementations extends boolean = false, 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 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>>;
-};
-export declare type MachineOptions<TContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TTypesMeta extends TypegenConstraint = TypegenDisabled> = InternalMachineOptions<TContext, TEvent, ResolveTypegenMeta<TTypesMeta, TEvent, TAction>>;
-export interface MachineConfig<TContext, TStateSchema extends StateSchema, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TTypesMeta = TypegenDisabled> extends StateNodeConfig<TContext, TStateSchema, TEvent, TAction> {
+    activities: Record<string, ActivityConfig<TContext, TEvent>>;
+    services: Record<string, ServiceConfig<TContext, TEvent>>;
+    delays: DelayFunctionMap<TContext, TEvent>;
+    /**
+     * @private
+     */
+    _parent?: StateNode<TContext, any, TEvent, any>;
+    /**
+     * @private
+     */
+    _key?: string;
+}
+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)
      */
@@ -535,7 +491,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;
@@ -570,19 +525,13 @@ 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: InternalMachineOptions<TContext, TEvent, TResolvedTypesMeta, true>, context?: TContext | (() => TContext)): StateMachine<TContext, TStateSchema, TEvent, TTypestate, TAction, MarkAllImplementationsAsProvided<TResolvedTypesMeta>>;
-    withContext(context: TContext | (() => TContext)): StateMachine<TContext, TStateSchema, TEvent, TTypestate, any, TResolvedTypesMeta>;
-    __TContext: TContext;
-    __TStateSchema: TStateSchema;
-    __TEvent: TEvent;
-    __TTypestate: TTypestate;
-    __TAction: TAction;
-    __TResolvedTypesMeta: TResolvedTypesMeta;
-}
-export declare type StateFrom<T extends StateMachine<any, any, any, any, any, any> | ((...args: any[]) => StateMachine<any, any, any, any, any, any>)> = T extends StateMachine<any, any, any, any, any, any> ? ReturnType<T['transition']> : T extends (...args: any[]) => StateMachine<any, any, any, any, any, any> ? ReturnType<ReturnType<T>['transition']> : never;
+    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> {
     onEntry: Array<Action<TContext, TEvent>>;
     actions: Array<Action<TContext, TEvent>>;
@@ -601,13 +550,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> {
@@ -828,7 +777,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> {
@@ -847,7 +796,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
@@ -860,7 +809,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;
@@ -873,9 +822,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
@@ -884,7 +833,7 @@ export interface InterpreterOptions {
      *
      * Default: `true`
      */
-    deferEvents?: boolean;
+    deferEvents: boolean;
     /**
      * The custom `id` for referencing this service.
      */
@@ -894,7 +843,8 @@ export interface InterpreterOptions {
      *
      * Default: `false`
      */
-    devTools?: boolean | object;
+    devTools: boolean | object;
+    [option: string]: any;
 }
 export declare namespace SCXML {
     interface Event<TEvent extends EventObject> {
@@ -988,17 +938,15 @@ export interface ActorRef<TEvent extends EventObject, TEmitted = any> extends Su
  * @deprecated Use `ActorRef` instead.
  */
 export declare type SpawnedActorRef<TEvent extends EventObject, TEmitted = any> = ActorRef<TEvent, TEmitted>;
-export declare type ActorRefWithDeprecatedState<TContext, TEvent extends EventObject, TTypestate extends Typestate<TContext>, TResolvedTypesMeta = TypegenDisabled> = ActorRef<TEvent, State<TContext, TEvent, any, TTypestate, TResolvedTypesMeta>> & {
+export declare type ActorRefWithDeprecatedState<TContext, TEvent extends EventObject, TTypestate extends Typestate<TContext>> = ActorRef<TEvent, State<TContext, TEvent, any, TTypestate>> & {
     /**
      * @deprecated Use `.getSnapshot()` instead.
      */
-    state: State<TContext, TEvent, any, TTypestate, TResolvedTypesMeta>;
+    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, any, infer TResolvedTypesMeta> ? ActorRefWithDeprecatedState<TContext, TEvent, TTypestate, TResolvedTypesMeta> : T extends Promise<infer U> ? ActorRef<never, U> : T extends Behavior<infer TEvent1, infer TEmitted> ? ActorRef<TEvent1, TEmitted> : T extends (...args: any[]) => Behavior<infer TEvent1, infer TEmitted> ? ActorRef<TEvent1, TEmitted> : never;
-export declare type AnyInterpreter = Interpreter<any, any, any, any, any>;
-export declare type InterpreterFrom<T extends StateMachine<any, any, any, any, any, any> | ((...args: any[]) => StateMachine<any, any, any, any, any, any>)> = T extends StateMachine<infer TContext, infer TStateSchema, infer TEvent, infer TTypestate, any, infer TResolvedTypesMeta> ? Interpreter<TContext, TStateSchema, TEvent, TTypestate, TResolvedTypesMeta> : T extends (...args: any[]) => StateMachine<infer TContext, infer TStateSchema, infer TEvent, infer TTypestate, any, infer TResolvedTypesMeta> ? Interpreter<TContext, TStateSchema, TEvent, TTypestate, TResolvedTypesMeta> : never;
-export declare type MachineOptionsFrom<T extends StateMachine<any, any, any, any> | ((...args: any[]) => StateMachine<any, any, any, any>), TRequireMissingImplementations extends boolean = false> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, any, infer TEvent, any, any, infer TResolvedTypesMeta> ? InternalMachineOptions<TContext, TEvent, TResolvedTypesMeta, TRequireMissingImplementations> : never;
-export declare type __ResolvedTypesMetaFrom<T> = T extends StateMachine<any, any, any, any, any, infer TResolvedTypesMeta> ? TResolvedTypesMeta : never;
+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>;
+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>;
     self: ActorRef<TEvent, TEmitted>;
@@ -1011,7 +959,7 @@ 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;
-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;
+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 : R extends ActorRef<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;
 }>;

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

@@ -40,7 +40,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.');
   }
@@ -53,7 +53,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) {
@@ -222,7 +222,7 @@ function toStatePaths(stateValue) {
 function flatten(array) {
   var _a;
 
-  return (_a = []).concat.apply(_a, _tslib.__spreadArray([], _tslib.__read(array)));
+  return (_a = []).concat.apply(_a, _tslib.__spreadArray([], _tslib.__read(array), false));
 }
 function toArrayStrict(value) {
   if (isArray(value)) {
@@ -399,7 +399,7 @@ if (!environment.IS_PRODUCTION) {
     }
 
     if (console !== undefined) {
-      var args = ["Warning: " + message];
+      var args = ["Warning: ".concat(message)];
 
       if (error) {
         args.push(error);
@@ -528,15 +528,15 @@ function normalizeTarget(target) {
 }
 function reportUnhandledExceptionOnInvocation(originalError, currentError, id) {
   if (!environment.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));
     }
   }
 }
@@ -552,10 +552,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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "xstate",
-  "version": "4.27.0-pr2674-2021926101023",
+  "version": "4.27.0",
   "description": "Finite State Machines and Statecharts for the Modern Web.",
   "main": "lib/index.js",
   "module": "es/index.js",
@@ -30,11 +30,7 @@
     "clean": "rm -rf lib es dist tsconfig.tsbuildinfo",
     "test": "jest",
     "build": "rollup -c",
-    "preversion": "npm run test",
-    "version": "npm run build",
-    "postversion": "git push --follow-tags",
-    "prepublishOnly": "npm run build",
-    "publish:next": "npm version prerelease && npm publish --tag next"
+    "prepublishOnly": "npm run build"
   },
   "repository": {
     "type": "git",
@@ -65,8 +61,8 @@
     "rollup-plugin-uglify": "^6.0.2",
     "rxjs": "^7.1.0",
     "ts-jest": "^26.5.6",
-    "tslib": "^2.2.0",
-    "typescript": "^4.3.5",
+    "tslib": "^2.3.1",
+    "typescript": "^4.5.2",
     "xml-js": "^1.6.11"
   }
 }