xstate 5.14.0 → 5.15.0

package/dist/declarations/src/types.d.ts

@@ -8,7 +8,6 @@ import type { Actor } from "./createActor.js";
 import { Spawner } from "./spawn.js";
 import { AnyActorSystem, Clock } from './system.js';
 import { InspectionEvent } from "./inspection.js";
-import { ResolveTypegenMeta, TypegenConstraint, TypegenDisabled } from "./typegenTypes.js";
 export type Identity<T> = {
     [K in keyof T]: T[K];
 };
@@ -23,18 +22,20 @@ export type Invert<T extends Record<PropertyKey, PropertyKey>> = {
 };
 export type GetParameterizedParams<T extends ParameterizedObject | undefined> = T extends any ? ('params' extends keyof T ? T['params'] : undefined) : never;
 /**
- *
  * @remarks
- *
- * `T | unknown` reduces to `unknown` and that can be problematic when it comes to contextual typing.
- * It especially is a problem when the union has a function member, like here:
+ * `T | unknown` reduces to `unknown` and that can be problematic when it comes
+ * to contextual typing. It especially is a problem when the union has a
+ * function member, like here:
  *
  * ```ts
- * declare function test(cbOrVal: ((arg: number) => unknown) | unknown): void;
- * test((arg) => {}) // oops, implicit any
+ * declare function test(
+ *   cbOrVal: ((arg: number) => unknown) | unknown
+ * ): void;
+ * test((arg) => {}); // oops, implicit any
  * ```
  *
- * This type can be used to avoid this problem. This union represents the same value space as `unknown`.
+ * This type can be used to avoid this problem. This union represents the same
+ * value space as `unknown`.
  */
 export type NonReducibleUnknown = {} | null | undefined;
 export type AnyFunction = (...args: any[]) => any;
@@ -58,21 +59,15 @@ export type Equals<A1 extends any, A2 extends any> = (<A>() => A extends A2 ? tr
 export type IsAny<T> = Equals<T, any>;
 export type Cast<A, B> = A extends B ? A : B;
 export type DoNotInfer<T> = [T][T extends any ? 0 : any];
-/**
- * @deprecated Use the built-in `NoInfer` type instead
- */
+/** @deprecated Use the built-in `NoInfer` type instead */
 export type NoInfer<T> = DoNotInfer<T>;
 export type LowInfer<T> = T & {};
 export type MetaObject = Record<string, any>;
 export type Lazy<T> = () => T;
 export type MaybeLazy<T> = T | Lazy<T>;
-/**
- * The full definition of an event, with a string `type`.
- */
+/** The full definition of an event, with a string `type`. */
 export type EventObject = {
-    /**
-     * The type of event that is sent.
-     */
+    /** The type of event that is sent. */
     type: string;
 };
 export interface AnyEventObject extends EventObject {
@@ -92,7 +87,7 @@ export interface UnifiedArg<TContext extends MachineContext, TExpressionEvent ex
 export type MachineContext = Record<string, any>;
 export interface ActionArgs<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject> extends UnifiedArg<TContext, TExpressionEvent, TEvent> {
 }
-export type InputFrom<T> = T extends StateMachine<infer _TContext, infer _TEvent, infer _TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer _TStateValue, infer _TTag, infer TInput, infer _TOutput, infer _TEmitted, infer _TMeta, infer _TResolvedTypesMeta> ? TInput : T extends ActorLogic<infer _TSnapshot, infer _TEvent, infer TInput, infer _TSystem, infer _TEmitted> ? TInput : never;
+export type InputFrom<T> = T extends StateMachine<infer _TContext, infer _TEvent, infer _TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer _TStateValue, infer _TTag, infer TInput, infer _TOutput, infer _TEmitted, infer _TMeta> ? TInput : T extends ActorLogic<infer _TSnapshot, infer _TEvent, infer TInput, infer _TSystem, infer _TEmitted> ? TInput : never;
 export type OutputFrom<T> = T extends ActorLogic<infer TSnapshot, infer _TEvent, infer _TInput, infer _TSystem, infer _TEmitted> ? (TSnapshot & {
     status: 'done';
 })['output'] : T extends ActorRef<infer TSnapshot, infer _TEvent, infer _TEmitted> ? (TSnapshot & {
@@ -124,13 +119,13 @@ export interface StateValueMap {
     [key: string]: StateValue | undefined;
 }
 /**
- * The string or object representing the state value relative to the parent state node.
+ * The string or object representing the state value relative to the parent
+ * state node.
  *
  * @remarks
- *
  * - For a child atomic state node, this is a string, e.g., `"pending"`.
- *
- * - For complex state nodes, this is an object, e.g., `{ success: "someChildState" }`.
+ * - For complex state nodes, this is an object, e.g., `{ success:
+ *   "someChildState" }`.
  */
 export type StateValue = string | StateValueMap;
 export type TransitionTarget = SingleOrArray<string>;
@@ -158,17 +153,17 @@ any>;
 export interface InvokeDefinition<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string, TEmitted extends EventObject, TMeta extends MetaObject> {
     id: string;
     systemId: string | undefined;
-    /**
-     * The source of the actor logic to be invoked
-     */
+    /** The source of the actor logic to be invoked */
     src: AnyActorLogic | string;
     input?: Mapper<TContext, TEvent, NonReducibleUnknown, TEvent> | NonReducibleUnknown;
     /**
-     * The transition to take upon the invoked child machine reaching its final top-level state.
+     * The transition to take upon the invoked child machine reaching its final
+     * top-level state.
      */
     onDone?: string | SingleOrArray<TransitionConfig<TContext, DoneActorEvent<unknown>, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>>;
     /**
-     * The transition to take upon the invoked child machine sending an error event.
+     * The transition to take upon the invoked child machine sending an error
+     * event.
      */
     onError?: string | SingleOrArray<TransitionConfig<TContext, ErrorActorEvent, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>>;
     onSnapshot?: string | SingleOrArray<TransitionConfig<TContext, SnapshotEvent, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>>;
@@ -203,22 +198,22 @@ type DistributeActors<TContext extends MachineContext, TEvent extends EventObjec
     src: infer TSrc;
 } ? Compute<{
     systemId?: string;
-    /**
-     * The source of the machine to be invoked, or the machine itself.
-     */
+    /** The source of the machine to be invoked, or the machine itself. */
     src: TSrc;
     /**
-     * The unique identifier for the invoked machine. If not specified, this
-     * will be the machine's own `id`, or the URL (from `src`).
+     * The unique identifier for the invoked machine. If not specified,
+     * this will be the machine's own `id`, or the URL (from `src`).
      */
     id?: TSpecificActor['id'];
     input?: Mapper<TContext, TEvent, InputFrom<TSpecificActor['logic']>, TEvent> | InputFrom<TSpecificActor['logic']>;
     /**
-     * The transition to take upon the invoked child machine reaching its final top-level state.
+     * The transition to take upon the invoked child machine reaching
+     * its final top-level state.
      */
     onDone?: string | SingleOrArray<TransitionConfigOrTarget<TContext, DoneActorEvent<OutputFrom<TSpecificActor['logic']>>, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>>;
     /**
-     * The transition to take upon the invoked child machine sending an error event.
+     * The transition to take upon the invoked child machine sending an
+     * error event.
      */
     onError?: string | SingleOrArray<TransitionConfigOrTarget<TContext, ErrorActorEvent, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>>;
     onSnapshot?: string | SingleOrArray<TransitionConfigOrTarget<TContext, SnapshotEvent<SnapshotFrom<TSpecificActor['logic']>>, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>>;
@@ -240,111 +235,108 @@ export type InvokeConfig<TContext extends MachineContext, TEvent extends EventOb
      */
     id?: string;
     systemId?: string;
-    /**
-     * The source of the machine to be invoked, or the machine itself.
-     */
+    /** The source of the machine to be invoked, or the machine itself. */
     src: AnyActorLogic | string;
     input?: Mapper<TContext, TEvent, NonReducibleUnknown, TEvent> | NonReducibleUnknown;
     /**
-     * The transition to take upon the invoked child machine reaching its final top-level state.
+     * The transition to take upon the invoked child machine reaching its
+     * final top-level state.
      */
     onDone?: string | SingleOrArray<TransitionConfigOrTarget<TContext, DoneActorEvent<any>, // TODO: consider replacing with `unknown`
     TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>>;
     /**
-     * The transition to take upon the invoked child machine sending an error event.
+     * The transition to take upon the invoked child machine sending an error
+     * event.
      */
     onError?: string | SingleOrArray<TransitionConfigOrTarget<TContext, ErrorActorEvent, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>>;
     onSnapshot?: string | SingleOrArray<TransitionConfigOrTarget<TContext, SnapshotEvent, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>>;
 };
 export type AnyInvokeConfig = InvokeConfig<any, any, any, any, any, any, any, any>;
 export interface StateNodeConfig<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string, TTag extends string, TOutput, TEmitted extends EventObject, TMeta extends MetaObject> {
-    /**
-     * The initial state transition.
-     */
+    /** The initial state transition. */
     initial?: InitialTransitionConfig<TContext, TEvent, TActor, TAction, TGuard, TDelay> | string | undefined;
     /**
      * The type of this state node:
      *
-     *  - `'atomic'` - no child state nodes
-     *  - `'compound'` - nested child state nodes (XOR)
-     *  - `'parallel'` - orthogonal nested child state nodes (AND)
-     *  - `'history'` - history state node
-     *  - `'final'` - final state node
+     * - `'atomic'` - no child state nodes
+     * - `'compound'` - nested child state nodes (XOR)
+     * - `'parallel'` - orthogonal nested child state nodes (AND)
+     * - `'history'` - history state node
+     * - `'final'` - final state node
      */
     type?: 'atomic' | 'compound' | 'parallel' | 'final' | 'history';
     /**
-     * Indicates whether the state node is a history state node, and what
-     * type of history:
-     * shallow, deep, true (shallow), false (none), undefined (none)
+     * Indicates whether the state node is a history state node, and what type of
+     * history: shallow, deep, true (shallow), false (none), undefined (none)
      */
     history?: 'shallow' | 'deep' | boolean | undefined;
     /**
-     * The mapping of state node keys to their state node configurations (recursive).
+     * The mapping of state node keys to their state node configurations
+     * (recursive).
      */
     states?: StatesConfig<TContext, TEvent, TActor, TAction, TGuard, TDelay, TTag, NonReducibleUnknown, TEmitted, TMeta> | undefined;
     /**
-     * The services to invoke upon entering this state node. These services will be stopped upon exiting this state node.
+     * The services to invoke upon entering this state node. These services will
+     * be stopped upon exiting this state node.
      */
     invoke?: SingleOrArray<InvokeConfig<TContext, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>>;
-    /**
-     * The mapping of event types to their potential transition(s).
-     */
+    /** The mapping of event types to their potential transition(s). */
     on?: TransitionsConfig<TContext, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>;
-    /**
-     * The action(s) to be executed upon entering the state node.
-     */
+    /** The action(s) to be executed upon entering the state node. */
     entry?: Actions<TContext, TEvent, TEvent, undefined, TActor, TAction, TGuard, TDelay, TEmitted>;
-    /**
-     * The action(s) to be executed upon exiting the state node.
-     */
+    /** The action(s) to be executed upon exiting the state node. */
     exit?: Actions<TContext, TEvent, TEvent, undefined, TActor, TAction, TGuard, TDelay, TEmitted>;
     /**
-     * The potential transition(s) to be taken upon reaching a final child state node.
+     * The potential transition(s) to be taken upon reaching a final child state
+     * node.
      *
-     * This is equivalent to defining a `[done(id)]` transition on this state node's `on` property.
+     * This is equivalent to defining a `[done(id)]` transition on this state
+     * node's `on` property.
      */
     onDone?: string | SingleOrArray<TransitionConfig<TContext, DoneStateEvent, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>> | 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.
+     * 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.
      */
     after?: DelayedTransitions<TContext, TEvent, TActor, TAction, TGuard, TDelay>;
     /**
-     * An eventless transition that is always taken when this state node is active.
+     * An eventless transition that is always taken when this state node is
+     * active.
      */
     always?: TransitionConfigOrTarget<TContext, TEvent, TEvent, TActor, TAction, TGuard, TDelay, TEmitted, TMeta>;
     parent?: StateNode<TContext, TEvent>;
     /**
-     * The meta data associated with this state node, which will be returned in State instances.
+     * The meta data associated with this state node, which will be returned in
+     * State instances.
      */
     meta?: TMeta;
     /**
-     * The output data sent with the "xstate.done.state._id_" event if this is a final state node.
+     * The output data sent with the "xstate.done.state._id_" event if this is a
+     * final state node.
      *
-     * The output data will be evaluated with the current `context` and placed on the `.data` property
-     * of the event.
+     * The output data will be evaluated with the current `context` and placed on
+     * the `.data` property of the event.
      */
     output?: Mapper<TContext, TEvent, unknown, TEvent> | NonReducibleUnknown;
     /**
-     * The unique ID of the state node, which can be referenced as a transition target via the
-     * `#id` syntax.
+     * The unique ID of the state node, which can be referenced as a transition
+     * target via the `#id` syntax.
      */
     id?: string | undefined;
     /**
-     * The order this state node appears. Corresponds to the implicit document order.
+     * The order this state node appears. Corresponds to the implicit document
+     * order.
      */
     order?: number;
     /**
-     * The tags for this state node, which are accumulated into the `state.tags` property.
+     * The tags for this state node, which are accumulated into the `state.tags`
+     * property.
      */
     tags?: SingleOrArray<TTag>;
-    /**
-     * A text description of the state node
-     */
+    /** A text description of the state node */
     description?: string;
-    /**
-     * A default target for a history state
-     */
+    /** A default target for a history state */
     target?: string;
 }
 export type AnyStateNodeConfig = StateNodeConfig<any, any, any, any, any, any, any, any, any, // emitted
@@ -375,7 +367,7 @@ export interface StateMachineDefinition<TContext extends MachineContext, TEvent
 export type AnyStateNode = StateNode<any, any>;
 export type AnyStateNodeDefinition = StateNodeDefinition<any, any>;
 export type AnyMachineSnapshot = MachineSnapshot<any, any, any, any, any, any, any>;
-/** @deprecated use `AnyMachineSnapshot` instead */
+/** @deprecated Use `AnyMachineSnapshot` instead */
 export type AnyState = AnyMachineSnapshot;
 export type AnyStateMachine = StateMachine<any, // context
 any, // event
@@ -389,7 +381,6 @@ any, // tag
 any, // input
 any, // output
 any, // emitted
-any, // TMeta
 any>;
 export type AnyStateConfig = StateConfig<any, AnyEventObject>;
 export interface AtomicStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> extends StateNodeConfig<TContext, TEvent, TODO, TODO, TODO, TODO, TODO, TODO, TODO, // emitted
@@ -417,9 +408,7 @@ type GuardMap<TContext extends MachineContext, TEvent extends EventObject, TGuar
 };
 export type DelayFunctionMap<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject> = Record<string, DelayConfig<TContext, TEvent, TAction['params'], TEvent>>;
 export type DelayConfig<TContext extends MachineContext, TExpressionEvent extends EventObject, TParams extends ParameterizedObject['params'] | undefined, TEvent extends EventObject> = number | DelayExpr<TContext, TExpressionEvent, TParams, TEvent>;
-/**
- * @hidden
- */
+/** @ignore */
 export interface MachineImplementationsSimplified<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor = ProvidedActor, TAction extends ParameterizedObject = ParameterizedObject, TGuard extends ParameterizedObject = ParameterizedObject> {
     guards: GuardMap<TContext, TEvent, TGuard>;
     actions: ActionFunctionMap<TContext, TEvent, TActor, TAction>;
@@ -429,39 +418,24 @@ export interface MachineImplementationsSimplified<TContext extends MachineContex
     }>;
     delays: DelayFunctionMap<TContext, TEvent, TAction>;
 }
-type MaybeNarrowedEvent<TIndexedEvents, TCausingLookup, K> = Cast<Prop<TIndexedEvents, K extends keyof TCausingLookup ? TCausingLookup[K] : TIndexedEvents[keyof TIndexedEvents]>, EventObject>;
-type MachineImplementationsActions<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingActions = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingActions'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>, TIndexedActors = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedActors'>, TIndexedActions = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedActions'>, TIndexedGuards = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedGuards'>, TIndexedDelays = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedDelays'>, TEmitted = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'emitted'>> = {
-    [K in keyof TIndexedActions]?: ActionFunction<TContext, MaybeNarrowedEvent<TIndexedEvents, TEventsCausingActions, K>, Cast<Prop<TIndexedEvents, keyof TIndexedEvents>, EventObject>, GetParameterizedParams<Cast<TIndexedActions[K], ParameterizedObject>>, Cast<Prop<TIndexedActors, keyof TIndexedActors>, ProvidedActor>, Cast<Prop<TIndexedActions, keyof TIndexedActions>, ParameterizedObject>, Cast<Prop<TIndexedGuards, keyof TIndexedGuards>, ParameterizedObject>, Cast<Prop<TIndexedDelays, keyof TIndexedDelays>, ParameterizedObject>['type'], Cast<TEmitted, EventObject>>;
+type MachineImplementationsActions<TTypes extends StateMachineTypes> = {
+    [K in TTypes['actions']['type']]?: ActionFunction<TTypes['context'], TTypes['events'], TTypes['events'], GetConcreteByKey<TTypes['actions'], 'type', K>['params'], TTypes['actors'], TTypes['actions'], TTypes['guards'], TTypes['delays'], TTypes['emitted']>;
 };
-type MachineImplementationsActors<_TContext extends MachineContext, TResolvedTypesMeta, TIndexedActors = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedActors'>, _TInvokeSrcNameMap = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'invokeSrcNameMap'>> = {
-    [K in keyof TIndexedActors]?: Cast<Prop<TIndexedActors[K], 'logic'>, AnyActorLogic>;
+type MachineImplementationsActors<TTypes extends StateMachineTypes> = {
+    [K in TTypes['actors']['src']]?: GetConcreteByKey<TTypes['actors'], 'src', K>['logic'];
 };
-type MachineImplementationsDelays<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingDelays = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingDelays'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>, TIndexedActions = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedActions'>, TIndexedDelays = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedDelays'>> = {
-    [K in keyof TIndexedDelays]?: DelayConfig<TContext, MaybeNarrowedEvent<TIndexedEvents, TEventsCausingDelays, K>, Cast<Prop<Prop<TIndexedActions, keyof TIndexedActions>, 'params'>, ParameterizedObject['params'] | undefined> | undefined, Cast<Prop<TIndexedEvents, keyof TIndexedEvents>, EventObject>>;
+type MachineImplementationsDelays<TTypes extends StateMachineTypes> = {
+    [K in TTypes['delays']]?: DelayConfig<TTypes['context'], TTypes['events'], undefined, TTypes['events']>;
 };
-type MachineImplementationsGuards<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingGuards = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingGuards'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>, TIndexedGuards = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedGuards'>> = {
-    [K in keyof TIndexedGuards]?: Guard<TContext, MaybeNarrowedEvent<TIndexedEvents, TEventsCausingGuards, K>, GetParameterizedParams<Cast<TIndexedGuards[K], ParameterizedObject | undefined>>, Cast<Prop<TIndexedGuards, keyof TIndexedGuards>, ParameterizedObject>>;
+type MachineImplementationsGuards<TTypes extends StateMachineTypes> = {
+    [K in TTypes['guards']['type']]?: Guard<TTypes['context'], TTypes['events'], GetConcreteByKey<TTypes['guards'], 'type', K>['params'], TTypes['guards']>;
 };
-type MakeKeysRequired<T extends string> = {
-    [K in T]: unknown;
+export type InternalMachineImplementations<TTypes extends StateMachineTypes> = {
+    actions?: MachineImplementationsActions<TTypes>;
+    actors?: MachineImplementationsActors<TTypes>;
+    delays?: MachineImplementationsDelays<TTypes>;
+    guards?: MachineImplementationsGuards<TTypes>;
 };
-type MaybeMakeMissingImplementationsRequired<TImplementationType, TMissingImplementationsForType, TRequireMissingImplementations> = TRequireMissingImplementations extends true ? IsNever<TMissingImplementationsForType> extends true ? {} : {
-    [K in Cast<TImplementationType, string>]: MakeKeysRequired<Cast<TMissingImplementationsForType, string>>;
-} : {};
-type GenerateActionsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = Compute<MaybeMakeMissingImplementationsRequired<'actions', Prop<TMissingImplementations, 'actions'>, TRequireMissingImplementations> & {
-    actions?: MachineImplementationsActions<TContext, TResolvedTypesMeta>;
-}>;
-type GenerateActorsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = Compute<MaybeMakeMissingImplementationsRequired<'actors', Prop<TMissingImplementations, 'actors'>, TRequireMissingImplementations> & {
-    actors?: MachineImplementationsActors<TContext, TResolvedTypesMeta>;
-}>;
-type GenerateDelaysImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = Compute<MaybeMakeMissingImplementationsRequired<'delays', Prop<TMissingImplementations, 'delays'>, TRequireMissingImplementations> & {
-    delays?: MachineImplementationsDelays<TContext, TResolvedTypesMeta>;
-}>;
-type GenerateGuardsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = Compute<MaybeMakeMissingImplementationsRequired<'guards', Prop<TMissingImplementations, 'guards'>, TRequireMissingImplementations> & {
-    guards?: MachineImplementationsGuards<TContext, TResolvedTypesMeta>;
-}>;
-export type InternalMachineImplementations<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations extends boolean = false, TMissingImplementations = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'missingImplementations'>> = Compute<GenerateActionsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateActorsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateDelaysImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateGuardsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations>>;
-export type MachineImplementations<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor = ProvidedActor, TAction extends ParameterizedObject = ParameterizedObject, TGuard extends ParameterizedObject = ParameterizedObject, TDelay extends string = string, TTag extends string = string, TTypesMeta extends TypegenConstraint = TypegenDisabled> = InternalMachineImplementations<TContext, ResolveTypegenMeta<TTypesMeta, TEvent, TActor, TAction, TGuard, TDelay, TTag>>;
 type InitialContext<TContext extends MachineContext, TActor extends ProvidedActor, TInput, TEvent extends EventObject> = TContext | ContextFactory<TContext, TActor, TInput, TEvent>;
 export type ContextFactory<TContext extends MachineContext, TActor extends ProvidedActor, TInput, TEvent extends EventObject = EventObject> = ({ spawn, input, self }: {
     spawn: Spawner<TActor>;
@@ -469,13 +443,9 @@ export type ContextFactory<TContext extends MachineContext, TActor extends Provi
     self: ActorRef<MachineSnapshot<TContext, TEvent, Record<string, AnyActorRef | undefined>, // TODO: this should be replaced with `TChildren`
     StateValue, string, unknown, TODO>, TEvent, AnyEventObject>;
 }) => TContext;
-export type MachineConfig<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor = ProvidedActor, TAction extends ParameterizedObject = ParameterizedObject, TGuard extends ParameterizedObject = ParameterizedObject, TDelay extends string = string, TTag extends string = string, TInput = any, TOutput = unknown, TEmitted extends EventObject = EventObject, TMeta extends MetaObject = MetaObject, TTypesMeta = TypegenDisabled> = (Omit<StateNodeConfig<DoNotInfer<TContext>, DoNotInfer<TEvent>, DoNotInfer<TActor>, DoNotInfer<TAction>, DoNotInfer<TGuard>, DoNotInfer<TDelay>, DoNotInfer<TTag>, DoNotInfer<TOutput>, DoNotInfer<TEmitted>, DoNotInfer<TMeta>>, 'output'> & {
-    /**
-     * The initial context (extended state)
-     */
-    /**
-     * The machine's own version.
-     */
+export type MachineConfig<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor = ProvidedActor, TAction extends ParameterizedObject = ParameterizedObject, TGuard extends ParameterizedObject = ParameterizedObject, TDelay extends string = string, TTag extends string = string, TInput = any, TOutput = unknown, TEmitted extends EventObject = EventObject, TMeta extends MetaObject = MetaObject> = (Omit<StateNodeConfig<DoNotInfer<TContext>, DoNotInfer<TEvent>, DoNotInfer<TActor>, DoNotInfer<TAction>, DoNotInfer<TGuard>, DoNotInfer<TDelay>, DoNotInfer<TTag>, DoNotInfer<TOutput>, DoNotInfer<TEmitted>, DoNotInfer<TMeta>>, 'output'> & {
+    /** The initial context (extended state) */
+    /** The machine's own version. */
     version?: string;
     output?: Mapper<TContext, DoneStateEvent, TOutput, TEvent> | TOutput;
 }) & (MachineContext extends TContext ? {
@@ -499,12 +469,11 @@ export interface SetupTypes<TContext extends MachineContext, TEvent extends Even
     emitted?: TEmitted;
     meta?: TMeta;
 }
-export interface MachineTypes<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string, TTag extends string, TInput, TOutput, TEmitted extends EventObject, TMeta extends MetaObject, TTypesMeta = TypegenDisabled> extends SetupTypes<TContext, TEvent, never, TTag, TInput, TOutput, TEmitted, TMeta> {
+export interface MachineTypes<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string, TTag extends string, TInput, TOutput, TEmitted extends EventObject, TMeta extends MetaObject> extends SetupTypes<TContext, TEvent, never, TTag, TInput, TOutput, TEmitted, TMeta> {
     actors?: TActor;
     actions?: TAction;
     guards?: TGuard;
     delays?: TDelay;
-    typegen?: TTypesMeta;
     meta?: TMeta;
 }
 export interface HistoryStateNode<TContext extends MachineContext> extends StateNode<TContext> {
@@ -608,10 +577,12 @@ export interface StateConfig<TContext extends MachineContext, TEvent extends Eve
 }
 export interface ActorOptions<TLogic extends AnyActorLogic> {
     /**
-     * The clock that is responsible for setting and clearing timeouts, such as delayed events and transitions.
+     * The clock that is responsible for setting and clearing timeouts, such as
+     * delayed events and transitions.
      *
      * @remarks
-     * You can create your own “clock”. The clock interface is an object with two functions/methods:
+     * You can create your own “clock”. The clock interface is an object with two
+     * functions/methods:
      *
      * - `setTimeout` - same arguments as `window.setTimeout(fn, timeout)`
      * - `clearTimeout` - same arguments as `window.clearTimeout(id)`
@@ -619,65 +590,58 @@ export interface ActorOptions<TLogic extends AnyActorLogic> {
      * By default, the native `setTimeout` and `clearTimeout` functions are used.
      *
      * For testing, XState provides `SimulatedClock`.
-     *
      * @see {@link Clock}
      * @see {@link SimulatedClock}
      */
     clock?: Clock;
     /**
-     * Specifies the logger to be used for `log(...)` actions. Defaults to the native `console.log(...)` method.
+     * Specifies the logger to be used for `log(...)` actions. Defaults to the
+     * native `console.log(...)` method.
      */
     logger?: (...args: any[]) => void;
     parent?: AnyActorRef;
-    /**
-     * The custom `id` for referencing this service.
-     */
+    /** The custom `id` for referencing this service. */
     id?: string;
-    /**
-     * @deprecated Use `inspect` instead.
-     */
+    /** @deprecated Use `inspect` instead. */
     devTools?: never;
-    /**
-     * The system ID to register this actor under.
-     */
+    /** The system ID to register this actor under. */
     systemId?: string;
-    /**
-     * The input data to pass to the actor.
-     */
+    /** The input data to pass to the actor. */
     input?: InputFrom<TLogic>;
     /**
      * Initializes actor logic from a specific persisted internal state.
      *
      * @remarks
-     *
-     * If the state is compatible with the actor logic, when the actor is started it will be at that persisted state.
-     * Actions from machine actors will not be re-executed, because they are assumed to have been already executed.
-     * However, invocations will be restarted, and spawned actors will be restored recursively.
+     * If the state is compatible with the actor logic, when the actor is started
+     * it will be at that persisted state. Actions from machine actors will not be
+     * re-executed, because they are assumed to have been already executed.
+     * However, invocations will be restarted, and spawned actors will be restored
+     * recursively.
      *
      * Can be generated with {@link Actor.getPersistedSnapshot}.
-     *
      * @see https://stately.ai/docs/persistence
      */
     snapshot?: Snapshot<unknown>;
-    /**
-     * @deprecated Use `snapshot` instead.
-     */
+    /** @deprecated Use `snapshot` instead. */
     state?: Snapshot<unknown>;
-    /**
-     * The source actor logic.
-     */
+    /** The source actor logic. */
     src?: string | AnyActorLogic;
     /**
-     * A callback function or observer object which can be used to inspect actor system updates.
+     * A callback function or observer object which can be used to inspect actor
+     * system updates.
      *
      * @remarks
-     * If a callback function is provided, it can accept an inspection event argument. The types of inspection events that can be observed include:
+     * If a callback function is provided, it can accept an inspection event
+     * argument. The types of inspection events that can be observed include:
      *
      * - `@xstate.actor` - An actor ref has been created in the system
-     * - `@xstate.event` - An event was sent from a source actor ref to a target actor ref in the system
-     * - `@xstate.snapshot` - An actor ref emitted a snapshot due to a received event
+     * - `@xstate.event` - An event was sent from a source actor ref to a target
+     *   actor ref in the system
+     * - `@xstate.snapshot` - An actor ref emitted a snapshot due to a received
+     *   event
      *
      * @example
+     *
      * ```ts
      * import { createMachine } from 'xstate';
      *
@@ -710,9 +674,11 @@ export interface ActorOptions<TLogic extends AnyActorLogic> {
      * });
      * ```
      *
-     * Alternately, an observer object (`{ next?, error?, complete? }`) can be provided:
+     * Alternately, an observer object (`{ next?, error?, complete? }`) can be
+     * provided:
      *
      * @example
+     *
      * ```ts
      * const actor = createActor(machine, {
      *   inspect: {
@@ -744,9 +710,7 @@ export interface ActorOptions<TLogic extends AnyActorLogic> {
     inspect?: Observer<InspectionEvent> | ((inspectionEvent: InspectionEvent) => void);
 }
 export type AnyActor = Actor<any>;
-/**
- * @deprecated Use `AnyActor` instead.
- */
+/** @deprecated Use `AnyActor` instead. */
 export type AnyInterpreter = AnyActor;
 export type Observer<T> = {
     next?: (value: T) => void;
@@ -775,9 +739,7 @@ export interface ActorLike<TCurrent, TEvent extends EventObject> extends Subscri
     send: (event: TEvent) => void;
 }
 export interface ActorRef<TSnapshot extends Snapshot<unknown>, TEvent extends EventObject, TEmitted extends EventObject = EventObject> extends Subscribable<TSnapshot>, InteropObservable<TSnapshot> {
-    /**
-     * The unique identifier for this actor relative to its parent.
-     */
+    /** The unique identifier for this actor relative to its parent. */
     id: string;
     sessionId: string;
     send: (event: TEvent) => void;
@@ -797,27 +759,11 @@ export type AnyActorRef = ActorRef<any, any, any>;
 export type UnknownActorRef = ActorRef<Snapshot<unknown>, EventObject>;
 export type ActorLogicFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<any, any, any, any, any, any, any, any, any, any, any, any, // TMeta
 any> ? R : R extends Promise<infer U> ? PromiseActorLogic<U> : never : never;
-export type ActorRefFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer TEvent, infer TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer TStateValue, infer TTag, infer _TInput, infer TOutput, infer TEmitted, infer TMeta, infer _TResolvedTypesMeta> ? ActorRef<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta>, TEvent, TEmitted> : R extends Promise<infer U> ? ActorRefFrom<PromiseActorLogic<U>> : R extends ActorLogic<infer TSnapshot, infer TEvent, infer _TInput, infer _TSystem, infer TEmitted> ? ActorRef<TSnapshot, TEvent, TEmitted> : never : never;
+export type ActorRefFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer TEvent, infer TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer TStateValue, infer TTag, infer _TInput, infer TOutput, infer TEmitted, infer TMeta> ? ActorRef<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta>, TEvent, TEmitted> : R extends Promise<infer U> ? ActorRefFrom<PromiseActorLogic<U>> : R extends ActorLogic<infer TSnapshot, infer TEvent, infer _TInput, infer _TSystem, infer TEmitted> ? ActorRef<TSnapshot, TEvent, TEmitted> : never : never;
 export type DevToolsAdapter = (service: AnyActor) => void;
-/**
- * @deprecated Use `Actor<T>` instead.
- */
-export type InterpreterFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer TEvent, infer TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer TStateValue, infer TTag, infer TInput, infer TOutput, infer TEmitted, infer TMeta, infer _TResolvedTypesMeta> ? Actor<ActorLogic<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta>, TEvent, TInput, AnyActorSystem, TEmitted>> : never;
-export type MachineImplementationsFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine), TRequireMissingImplementations extends boolean = false> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer _TEvent, infer _TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer _TStateValue, infer _TTag, infer _TInput, infer _TOutput, infer _TEmitted, infer _TMeta, infer TResolvedTypesMeta> ? InternalMachineImplementations<TContext, TResolvedTypesMeta, TRequireMissingImplementations> : never;
-export type __ResolvedTypesMetaFrom<T> = T extends StateMachine<any, // context
-any, // event
-any, // children
-any, // actor
-any, // action
-any, // guard
-any, // delay
-any, // state value
-any, // tag
-any, // input
-any, // output
-any, // emitted
-any, // TMeta
-infer TResolvedTypesMeta> ? TResolvedTypesMeta : never;
+/** @deprecated Use `Actor<T>` instead. */
+export type InterpreterFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer TEvent, infer TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer TStateValue, infer TTag, infer TInput, infer TOutput, infer TEmitted, infer TMeta> ? Actor<ActorLogic<MachineSnapshot<TContext, TEvent, TChildren, TStateValue, TTag, TOutput, TMeta>, TEvent, TInput, AnyActorSystem, TEmitted>> : never;
+export type MachineImplementationsFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer TEvent, infer _TChildren, infer TActor, infer TAction, infer TGuard, infer TDelay, infer _TStateValue, infer TTag, infer _TInput, infer _TOutput, infer TEmitted, infer _TMeta> ? InternalMachineImplementations<ResolvedStateMachineTypes<TContext, TEvent, TActor, TAction, TGuard, TDelay, TTag, TEmitted>> : never;
 export interface ActorScope<TSnapshot extends Snapshot<unknown>, TEvent extends EventObject, TSystem extends AnyActorSystem = AnyActorSystem, TEmitted extends EventObject = EventObject> {
     self: ActorRef<TSnapshot, TEvent, TEmitted>;
     id: string;
@@ -862,8 +808,9 @@ in TInput = NonReducibleUnknown, TSystem extends AnyActorSystem = AnyActorSystem
     /** The initial setup/configuration used to create the actor logic. */
     config?: unknown;
     /**
-     * Transition function that processes the current state and an incoming message
-     * to produce a new state.
+     * Transition function that processes the current state and an incoming
+     * message to produce a new state.
+     *
      * @param snapshot - The current state.
      * @param message - The incoming message.
      * @param actorScope - The actor scope.
@@ -872,14 +819,17 @@ in TInput = NonReducibleUnknown, TSystem extends AnyActorSystem = AnyActorSystem
     transition: (snapshot: TSnapshot, message: TEvent, actorScope: ActorScope<TSnapshot, TEvent, TSystem, TEmitted>) => TSnapshot;
     /**
      * Called to provide the initial state of the actor.
+     *
      * @param actorScope - The actor scope.
      * @param input - The input for the initial state.
      * @returns The initial state.
      */
     getInitialSnapshot: (actorScope: ActorScope<TSnapshot, TEvent, TSystem, TEmitted>, input: TInput) => TSnapshot;
     /**
-     * Called when Actor is created to restore the internal state of the actor given a persisted state.
-     * The persisted state can be created by `getPersistedSnapshot`.
+     * Called when Actor is created to restore the internal state of the actor
+     * given a persisted state. The persisted state can be created by
+     * `getPersistedSnapshot`.
+     *
      * @param persistedState - The persisted state to restore from.
      * @param actorScope - The actor scope.
      * @returns The restored state.
@@ -887,13 +837,15 @@ in TInput = NonReducibleUnknown, TSystem extends AnyActorSystem = AnyActorSystem
     restoreSnapshot?: (persistedState: Snapshot<unknown>, actorScope: ActorScope<TSnapshot, TEvent, AnyActorSystem, TEmitted>) => TSnapshot;
     /**
      * Called when the actor is started.
+     *
      * @param snapshot - The starting state.
      * @param actorScope - The actor scope.
      */
     start?: (snapshot: TSnapshot, actorScope: ActorScope<TSnapshot, TEvent, AnyActorSystem, TEmitted>) => void;
     /**
-     * Obtains the internal state of the actor in a representation which can be be persisted.
-     * The persisted state can be restored by `restoreSnapshot`.
+     * Obtains the internal state of the actor in a representation which can be be
+     * persisted. The persisted state can be restored by `restoreSnapshot`.
+     *
      * @param snapshot - The current state.
      * @returns The a representation of the internal state to be persisted.
      */
@@ -911,9 +863,9 @@ AnyActorSystem, any>;
 export type SnapshotFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends ActorRef<infer TSnapshot, infer _, infer __> ? TSnapshot : R extends Actor<infer TLogic> ? SnapshotFrom<TLogic> : R extends ActorLogic<infer _TSnapshot, infer _TEvent, infer _TInput, infer _TEmitted, infer _TSystem> ? ReturnType<R['transition']> : R extends ActorScope<infer TSnapshot, infer _TEvent, infer _TEmitted, infer _TSystem> ? TSnapshot : never : never;
 export type EventFromLogic<TLogic extends AnyActorLogic> = TLogic extends ActorLogic<infer _TSnapshot, infer TEvent, infer _TInput, infer _TEmitted, infer _TSystem> ? TEvent : never;
 export type EmittedFrom<TLogic extends AnyActorLogic> = TLogic extends ActorLogic<infer _TSnapshot, infer _TEvent, infer _TInput, infer _TSystem, infer TEmitted> ? TEmitted : never;
-type ResolveEventType<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer _TContext, infer TEvent, infer _TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer _TStateValue, infer _TTag, infer _TInput, infer _TOutput, infer _TEmitted, infer _TMeta, infer _TResolvedTypesMeta> ? TEvent : R extends MachineSnapshot<infer _TContext, infer TEvent, infer _TChildren, infer _TStateValue, infer _TTag, infer _TOutput, infer _TMeta> ? TEvent : R extends ActorRef<infer _TSnapshot, infer TEvent, infer _TEmitted> ? TEvent : never : never;
+type ResolveEventType<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer _TContext, infer TEvent, infer _TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer _TStateValue, infer _TTag, infer _TInput, infer _TOutput, infer _TEmitted, infer _TMeta> ? TEvent : R extends MachineSnapshot<infer _TContext, infer TEvent, infer _TChildren, infer _TStateValue, infer _TTag, infer _TOutput, infer _TMeta> ? TEvent : R extends ActorRef<infer _TSnapshot, infer TEvent, infer _TEmitted> ? TEvent : never : never;
 export type EventFrom<T, K extends Prop<TEvent, 'type'> = never, TEvent extends EventObject = ResolveEventType<T>> = IsNever<K> extends true ? TEvent : ExtractEvent<TEvent, K>;
-export type ContextFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer _TEvent, infer _TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer _TStateValue, infer _TTag, infer _TInput, infer _TOutput, infer _TEmitted, infer _TMeta, infer _TResolvedTypesMeta> ? TContext : R extends MachineSnapshot<infer TContext, infer _TEvent, infer _TChildren, infer _TStateValue, infer _TTag, infer _TOutput, infer _TMeta> ? TContext : R extends Actor<infer TActorLogic> ? TActorLogic extends StateMachine<infer TContext, infer _TEvent, infer _TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer _TTag, infer _TInput, infer _TOutput, infer _TEmitted, infer _TMeta, infer _TResolvedTypesMeta> ? TContext : never : never : never;
+export type ContextFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer _TEvent, infer _TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer _TStateValue, infer _TTag, infer _TInput, infer _TOutput, infer _TEmitted, infer _TMeta> ? TContext : R extends MachineSnapshot<infer TContext, infer _TEvent, infer _TChildren, infer _TStateValue, infer _TTag, infer _TOutput, infer _TMeta> ? TContext : R extends Actor<infer TActorLogic> ? TActorLogic extends StateMachine<infer TContext, infer _TEvent, infer _TChildren, infer _TActor, infer _TAction, infer _TGuard, infer _TDelay, infer _TTag, infer _TInput, infer _TOutput, infer _TEmitted, infer _TMeta, infer _TTypes> ? TContext : never : never : never;
 export type InferEvent<E extends EventObject> = {
     [T in E['type']]: {
         type: T;
@@ -941,4 +893,26 @@ export type ToChildren<TActor extends ProvidedActor> = string extends TActor['sr
 export type StateSchema = {
     states?: Record<string, StateSchema>;
 };
+export interface StateMachineTypes {
+    context: MachineContext;
+    events: EventObject;
+    actors: ProvidedActor;
+    actions: ParameterizedObject;
+    guards: ParameterizedObject;
+    delays: string;
+    tags: string;
+    emitted: EventObject;
+}
+/** @deprecated */
+export interface ResolvedStateMachineTypes<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string, TTag extends string, TEmitted extends EventObject = EventObject> {
+    context: TContext;
+    events: TEvent;
+    actors: TActor;
+    actions: TAction;
+    guards: TGuard;
+    delays: TDelay;
+    tags: TTag;
+    emitted: TEmitted;
+}
+export type GetConcreteByKey<T, TKey extends keyof T, TValue extends T[TKey]> = T & Record<TKey, TValue>;
 export {};