xstate 5.0.0-alpha.1 → 5.0.0-alpha.3

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

@@ -1,33 +1,33 @@
-import type { StateNode } from './StateNode';
-import type { State } from './State';
-import type { ActorStatus, Clock, Interpreter } from './interpreter';
-import type { StateMachine } from './StateMachine';
-import type { LifecycleSignal } from './actors';
-import { TypegenDisabled, ResolveTypegenMeta, TypegenConstraint, MarkAllImplementationsAsProvided, AreAllImplementationsAssumedToBeProvided } from './typegenTypes';
-export 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 Compute<A extends any> = {
+import type { StateNode } from './StateNode.js';
+import type { State } from './State.js';
+import type { ActorStatus, Clock, Interpreter } from './interpreter.js';
+import type { StateMachine } from './StateMachine.js';
+import type { LifecycleSignal } from './actors/index.js';
+import { TypegenDisabled, ResolveTypegenMeta, TypegenConstraint, MarkAllImplementationsAsProvided, AreAllImplementationsAssumedToBeProvided } from './typegenTypes.js';
+export type AnyFunction = (...args: any[]) => any;
+type ReturnTypeOrValue<T> = T extends AnyFunction ? ReturnType<T> : T;
+export type IsNever<T> = [T] extends [never] ? true : false;
+export 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 {
+export type Prop<T, K> = K extends keyof T ? T[K] : never;
+export type Values<T> = T[keyof T];
+export type Merge<M, N> = Omit<M, keyof N> & N;
+export type IndexByType<T extends {
     type: string;
 }> = {
     [K in T['type']]: T extends any ? (K extends T['type'] ? T : never) : never;
 };
-export declare type Equals<A1 extends any, A2 extends any> = (<A>() => A extends A2 ? true : false) extends <A>() => A extends A1 ? true : false ? true : false;
-export declare type IsAny<T> = Equals<T, any>;
-export declare type Cast<A, B> = A extends B ? A : B;
-export declare type NoInfer<T> = [T][T extends any ? 0 : any];
-export declare type LowInfer<T> = T & {};
-export declare type EventType = string;
-export declare type ActionType = string;
-export declare type MetaObject = Record<string, any>;
-export declare type Lazy<T> = () => T;
-export declare type MaybeLazy<T> = T | Lazy<T>;
+export type Equals<A1 extends any, A2 extends any> = (<A>() => A extends A2 ? true : false) extends <A>() => A extends A1 ? true : false ? true : false;
+export type IsAny<T> = Equals<T, any>;
+export type Cast<A, B> = A extends B ? A : B;
+export type NoInfer<T> = [T][T extends any ? 0 : any];
+export type LowInfer<T> = T & {};
+export type EventType = string;
+export type ActionType = string;
+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`.
  */
@@ -40,57 +40,71 @@ export interface EventObject {
 export interface AnyEventObject extends EventObject {
     [key: string]: any;
 }
-export interface BaseActionObject {
+export interface ParameterizedObject {
     type: string;
     params?: Record<string, any>;
-    execute?: (actorCtx: ActorContext<any, any>) => void;
 }
-export interface BuiltInActionObject {
+export interface BaseActionObject extends ParameterizedObject {
+    execute?: (actorCtx: AnyActorContext) => void;
+}
+export interface BuiltInActionObject extends ParameterizedObject {
     type: `xstate.${string}`;
     params: Record<string, any>;
 }
-export interface BaseDynamicActionObject<TContext extends MachineContext, TEvent extends EventObject, TResolvedAction extends BaseActionObject, TDynamicParams extends Record<string, any>> {
+export interface UnifiedArg<TContext extends MachineContext, TEvent extends EventObject> {
+    context: TContext;
+    event: TEvent;
+}
+export interface BaseDynamicActionObject<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TResolvedAction extends BaseActionObject, TDynamicParams extends Record<string, any>> {
     type: `xstate.${string}`;
     params: TDynamicParams;
-    resolve: (_event: SCXML.Event<TEvent>, extra: {
+    resolve: (_event: SCXML.Event<TExpressionEvent>, extra: {
         state: State<TContext, TEvent>;
         /**
          * The original action object
          */
-        action: BaseActionObject;
-        actorContext: ActorContext<any, any> | undefined;
+        action: ParameterizedObject;
+        actorContext: AnyActorContext | undefined;
     }) => [AnyState, TResolvedAction];
+    /** @deprecated an internal signature that doesn't exist at runtime. Its existence helps TS to choose a better code path in the inference algorithm  */
+    (args: {
+        context: TContext;
+        event: TExpressionEvent;
+    } & ActionMeta<TContext, TEvent, ParameterizedObject>): void;
 }
-export declare type MachineContext = Record<string, any>;
-export interface ActionMeta<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> extends StateMeta<TContext, TEvent> {
+export type MachineContext = Record<string, any>;
+export interface ActionMeta<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> extends StateMeta<TContext, TEvent> {
     action: TAction;
     _event: SCXML.Event<TEvent>;
 }
-export declare type Spawner = <T extends Behavior<any, any> | string>(// TODO: read string from machine behavior keys
-behavior: T, name?: string) => T extends Behavior<infer TActorEvent, infer TActorEmitted> ? ActorRef<TActorEvent, TActorEmitted> : ActorRef<any, any>;
-export interface AssignMeta<TContext extends MachineContext, TEvent extends EventObject> {
-    state: State<TContext, TEvent>;
+export type Spawner = <T extends ActorBehavior<any, any> | string>(// TODO: read string from machine behavior keys
+behavior: T, options?: Partial<{
+    id: string;
+    input: any;
+}>) => T extends ActorBehavior<infer TActorEvent, infer TActorEmitted> ? ActorRef<TActorEvent, TActorEmitted> : ActorRef<any, any>;
+export interface AssignMeta<TContext extends MachineContext, TExpressionEvent extends EventObject, _TEvent extends EventObject> extends StateMeta<TContext, TExpressionEvent> {
     action: BaseActionObject;
-    _event: SCXML.Event<TEvent>;
+    _event: SCXML.Event<TExpressionEvent>;
     spawn: Spawner;
 }
-export declare type ActionFunction<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> = {
-    bivarianceHack(context: TContext, event: TEvent, meta: ActionMeta<TContext, TEvent, TAction>): void;
-}['bivarianceHack'];
-export interface ChooseCondition<TContext extends MachineContext, TEvent extends EventObject> {
+export type ActionFunction<TContext extends MachineContext, TExpressionEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject, TEvent extends EventObject = TExpressionEvent> = (args: {
+    context: TContext;
+    event: TExpressionEvent;
+} & ActionMeta<TContext, TEvent, TAction>) => void;
+export interface ChooseCondition<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> {
     guard?: GuardConfig<TContext, TEvent>;
-    actions: Actions<TContext, TEvent>;
+    actions: Actions<TContext, TExpressionEvent, TEvent>;
 }
-export declare type Action<TContext extends MachineContext, TEvent extends EventObject> = ActionType | BaseActionObject | ActionFunction<TContext, TEvent> | BaseDynamicActionObject<TContext, TEvent, any, any>;
+export type Action<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = ActionType | ParameterizedObject | ActionFunction<TContext, TExpressionEvent, ParameterizedObject, TEvent> | BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, any, any>;
 /**
  * Extracts action objects that have no extra properties.
  */
-declare type SimpleActionsFrom<T extends BaseActionObject> = BaseActionObject extends T ? T : ExtractWithSimpleSupport<T>;
-export declare type BaseAction<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject> = BaseDynamicActionObject<TContext, TEvent, any, // TODO: at the very least this should include TAction, but probably at a covariant position or something, we really need to rethink how action objects are typed
-any> | TAction | SimpleActionsFrom<TAction>['type'] | ActionFunction<TContext, TEvent>;
-export declare type BaseActions<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject> = SingleOrArray<BaseAction<TContext, TEvent, TAction>>;
-export declare type Actions<TContext extends MachineContext, TEvent extends EventObject> = SingleOrArray<Action<TContext, TEvent>>;
-export declare type StateKey = string | AnyState;
+type SimpleActionsFrom<T extends ParameterizedObject> = ParameterizedObject extends T ? T : ExtractWithSimpleSupport<T>;
+export type BaseAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TAction extends ParameterizedObject, TEvent extends EventObject> = BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, any, // TODO: at the very least this should include TAction, but probably at a covariant position or something, we really need to rethink how action objects are typed
+any> | TAction | SimpleActionsFrom<TAction>['type'] | ActionFunction<TContext, TExpressionEvent, TAction, TEvent>;
+export type BaseActions<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TAction extends ParameterizedObject> = SingleOrArray<BaseAction<TContext, TExpressionEvent, TAction, TEvent>>;
+export type Actions<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = SingleOrArray<Action<TContext, TEvent>>;
+export type StateKey = string | AnyState;
 export interface StateValueMap {
     [key: string]: StateValue;
 }
@@ -100,26 +114,27 @@ export interface StateValueMap {
  * - 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" }`.
  */
-export declare type StateValue = string | StateValueMap;
-export declare type GuardPredicate<TContext extends MachineContext, TEvent extends EventObject> = (context: TContext, event: TEvent, meta: GuardMeta<TContext, TEvent>) => boolean;
-export interface DefaultGuardObject<TContext extends MachineContext, TEvent extends EventObject> {
-    type: string;
-    params?: {
-        [key: string]: any;
-    };
+export type StateValue = string | StateValueMap;
+export type GuardPredicate<TContext extends MachineContext, TEvent extends EventObject> = (args: {
+    context: TContext;
+    event: TEvent;
+} & GuardMeta<TContext, TEvent>) => boolean;
+export interface DefaultGuardObject<TContext extends MachineContext, TEvent extends EventObject> extends ParameterizedObject {
     /**
      * Nested guards
      */
     children?: Array<GuardObject<TContext, TEvent>>;
     predicate?: GuardPredicate<TContext, TEvent>;
 }
-export declare type GuardEvaluator<TContext extends MachineContext, TEvent extends EventObject> = (guard: GuardDefinition<TContext, TEvent>, context: TContext, _event: SCXML.Event<TEvent>, state: State<TContext, TEvent>, machine: StateMachine<TContext, TEvent>) => boolean;
-export interface GuardMeta<TContext extends MachineContext, TEvent extends EventObject> extends StateMeta<TContext, TEvent> {
+export type GuardEvaluator<TContext extends MachineContext, TEvent extends EventObject> = (guard: GuardDefinition<TContext, TEvent>, context: TContext, _event: SCXML.Event<TEvent>, state: State<TContext, TEvent>) => boolean;
+export interface GuardMeta<TContext extends MachineContext, TEvent extends EventObject> {
+    state: State<TContext, TEvent, any>;
+    _event: SCXML.Event<TEvent>;
     guard: GuardDefinition<TContext, TEvent>;
     evaluate: GuardEvaluator<TContext, TEvent>;
 }
-export declare type GuardConfig<TContext extends MachineContext, TEvent extends EventObject> = string | GuardPredicate<TContext, TEvent> | GuardObject<TContext, TEvent>;
-export declare type GuardObject<TContext extends MachineContext, TEvent extends EventObject> = BooleanGuardObject<TContext, TEvent> | DefaultGuardObject<TContext, TEvent>;
+export type GuardConfig<TContext extends MachineContext, TEvent extends EventObject> = string | GuardPredicate<TContext, TEvent> | GuardObject<TContext, TEvent>;
+export type GuardObject<TContext extends MachineContext, TEvent extends EventObject> = BooleanGuardObject<TContext, TEvent> | DefaultGuardObject<TContext, TEvent>;
 export interface GuardDefinition<TContext extends MachineContext, TEvent extends EventObject> {
     type: string;
     children?: Array<GuardDefinition<TContext, TEvent>>;
@@ -128,7 +143,7 @@ export interface GuardDefinition<TContext extends MachineContext, TEvent extends
         [key: string]: any;
     };
 }
-export interface BooleanGuardObject<TContext extends MachineContext, TEvent extends EventObject> {
+export interface BooleanGuardObject<TContext extends MachineContext, TEvent extends EventObject> extends ParameterizedObject {
     type: 'xstate.boolean';
     children: Array<GuardConfig<TContext, TEvent>>;
     params: {
@@ -142,65 +157,55 @@ export interface BooleanGuardDefinition<TContext extends MachineContext, TEvent
         op: 'and' | 'or' | 'not';
     };
 }
-export declare type TransitionTarget<TContext extends MachineContext, TEvent extends EventObject> = SingleOrArray<string | StateNode<TContext, TEvent>>;
-export declare type TransitionTargets<TContext extends MachineContext> = Array<string | StateNode<TContext, any>>;
-export interface TransitionConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> {
-    guard?: GuardConfig<TContext, TEvent>;
-    actions?: BaseActions<TContext, TEvent, TAction>;
-    internal?: boolean;
-    target?: TransitionTarget<TContext, TEvent> | undefined;
+export type TransitionTarget = SingleOrArray<string>;
+export interface TransitionConfig<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent, TAction extends ParameterizedObject = ParameterizedObject> {
+    guard?: GuardConfig<TContext, TExpressionEvent>;
+    actions?: BaseActions<TContext, TExpressionEvent, TEvent, TAction>;
+    external?: boolean;
+    target?: TransitionTarget | undefined;
     meta?: Record<string, any>;
     description?: string;
 }
 export interface TargetTransitionConfig<TContext extends MachineContext, TEvent extends EventObject> extends TransitionConfig<TContext, TEvent> {
-    target: TransitionTarget<TContext, TEvent>;
+    target: TransitionTarget;
 }
-export declare type ConditionalTransitionConfig<TContext extends MachineContext, TEvent extends EventObject = EventObject> = Array<TransitionConfig<TContext, TEvent>>;
+export type ConditionalTransitionConfig<TContext extends MachineContext, TEvent extends EventObject = EventObject> = Array<TransitionConfig<TContext, TEvent>>;
 export interface InitialTransitionConfig<TContext extends MachineContext, TEvent extends EventObject> extends TransitionConfig<TContext, TEvent> {
     guard?: never;
-    target: TransitionTarget<TContext, TEvent>;
+    target: TransitionTarget;
 }
-export declare type Transition<TContext extends MachineContext, TEvent extends EventObject = EventObject> = string | TransitionConfig<TContext, TEvent> | ConditionalTransitionConfig<TContext, TEvent>;
-declare type ExtractWithSimpleSupport<T extends {
+export type Transition<TContext extends MachineContext, TEvent extends EventObject = EventObject> = string | TransitionConfig<TContext, TEvent> | ConditionalTransitionConfig<TContext, TEvent>;
+type ExtractWithSimpleSupport<T extends {
     type: string;
 }> = T extends any ? {
     type: T['type'];
 } extends T ? T : never : never;
-export declare type Receiver<TEvent extends EventObject> = (listener: {
+export type Receiver<TEvent extends EventObject> = (listener: {
     bivarianceHack(event: TEvent): void;
 }['bivarianceHack']) => void;
-export declare type InvokeCallback<TEvent extends EventObject = AnyEventObject, TSentEvent extends EventObject = AnyEventObject> = (callback: (event: TSentEvent) => void, onReceive: Receiver<TEvent>) => (() => void) | Promise<any> | void;
-export declare type BehaviorCreator<TContext extends MachineContext, TEvent extends EventObject, TSnapshot = any> = (context: TContext, event: TEvent, meta: {
+export type InvokeCallback<TEvent extends EventObject = AnyEventObject, TSentEvent extends EventObject = AnyEventObject> = (sendBack: (event: TSentEvent) => void, onReceive: Receiver<TEvent>, { input }: {
+    input: any;
+}) => (() => void) | Promise<any> | void;
+export type ActorBehaviorCreator<TContext extends MachineContext, TEvent extends EventObject, TActorBehavior extends AnyActorBehavior = AnyActorBehavior> = (context: TContext, event: TEvent, meta: {
     id: string;
     data?: any;
-    src: InvokeSourceDefinition;
+    src: string;
     _event: SCXML.Event<TEvent>;
     meta: MetaObject | undefined;
-}) => Behavior<any, TSnapshot>;
+    input: any;
+}) => TActorBehavior;
 export interface InvokeMeta {
-    data: any;
-    src: InvokeSourceDefinition;
+    src: string;
     meta: MetaObject | undefined;
 }
 export interface InvokeDefinition<TContext extends MachineContext, TEvent extends EventObject> {
     id: string;
+    systemId: string | undefined;
     /**
      * The source of the actor's behavior to be invoked
      */
-    src: InvokeSourceDefinition;
-    /**
-     * If `true`, events sent to the parent service will be forwarded to the invoked service.
-     *
-     * Default: `false`
-     */
-    autoForward?: boolean;
-    /**
-     * Data from the parent machine's context to set as the (partial or full) context
-     * for the invoked child machine.
-     *
-     * Data should be mapped to match the child machine's context shape.
-     */
-    data?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
+    src: string;
+    input?: Mapper<TContext, TEvent, any> | any;
     /**
      * The transition to take upon the invoked child machine reaching its final top-level state.
      */
@@ -220,73 +225,58 @@ export interface Delay {
      */
     delay: number;
 }
-export declare type DelayedTransitions<TContext extends MachineContext, TEvent extends EventObject> = Record<string | number, string | SingleOrArray<TransitionConfig<TContext, TEvent>>> | Array<TransitionConfig<TContext, TEvent> & {
+export type DelayedTransitions<TContext extends MachineContext, TEvent extends EventObject> = Record<string | number, string | SingleOrArray<TransitionConfig<TContext, TEvent>>> | Array<TransitionConfig<TContext, TEvent> & {
     delay: number | string | Expr<TContext, TEvent, number>;
 }>;
-export declare type StateTypes = 'atomic' | 'compound' | 'parallel' | 'final' | 'history' | string;
-export declare type SingleOrArray<T> = T[] | T;
-export declare type StateNodesConfig<TContext extends MachineContext, TEvent extends EventObject> = {
+export type StateTypes = 'atomic' | 'compound' | 'parallel' | 'final' | 'history' | string;
+export type SingleOrArray<T> = T[] | T;
+export type StateNodesConfig<TContext extends MachineContext, TEvent extends EventObject> = {
     [K in string]: StateNode<TContext, TEvent>;
 };
-export declare type StatesConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> = {
+export type StatesConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> = {
     [K in string]: StateNodeConfig<TContext, TEvent, TAction>;
 };
-export declare type StatesDefinition<TContext extends MachineContext, TEvent extends EventObject> = {
+export type StatesDefinition<TContext extends MachineContext, TEvent extends EventObject> = {
     [K in string]: StateNodeDefinition<TContext, TEvent>;
 };
-export declare type TransitionConfigTarget<TContext extends MachineContext, TEvent extends EventObject> = string | undefined | StateNode<TContext, TEvent>;
-export declare type TransitionConfigOrTarget<TContext extends MachineContext, TEvent extends EventObject> = SingleOrArray<TransitionConfigTarget<TContext, TEvent> | TransitionConfig<TContext, TEvent>>;
-export declare type TransitionsConfigMap<TContext extends MachineContext, TEvent extends EventObject> = {
-    [K in TEvent['type'] | '' | '*']?: K extends '' | '*' ? TransitionConfigOrTarget<TContext, TEvent> : TransitionConfigOrTarget<TContext, ExtractEvent<TEvent, K>>;
+export type TransitionConfigTarget = string | undefined;
+export type TransitionConfigOrTarget<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = SingleOrArray<TransitionConfigTarget | TransitionConfig<TContext, TExpressionEvent, TEvent>>;
+export type TransitionsConfigMap<TContext extends MachineContext, TEvent extends EventObject> = {
+    [K in TEvent['type'] | '' | '*']?: K extends '' | '*' ? TransitionConfigOrTarget<TContext, TEvent> : TransitionConfigOrTarget<TContext, ExtractEvent<TEvent, K>, TEvent>;
 };
-declare type TransitionsConfigArray<TContext extends MachineContext, TEvent extends EventObject> = Array<(TEvent extends EventObject ? TransitionConfig<TContext, TEvent> & {
+type TransitionsConfigArray<TContext extends MachineContext, TEvent extends EventObject> = Array<(TEvent extends EventObject ? TransitionConfig<TContext, TEvent> & {
     event: TEvent['type'];
 } : never) | (TransitionConfig<TContext, TEvent> & {
     event: '*';
 })>;
-export declare type TransitionsConfig<TContext extends MachineContext, TEvent extends EventObject> = TransitionsConfigMap<TContext, TEvent> | TransitionsConfigArray<TContext, TEvent>;
-export interface InvokeSourceDefinition {
-    [key: string]: any;
-    type: string;
-}
+export type TransitionsConfig<TContext extends MachineContext, TEvent extends EventObject> = TransitionsConfigMap<TContext, TEvent> | TransitionsConfigArray<TContext, TEvent>;
 export interface InvokeConfig<TContext extends MachineContext, TEvent extends EventObject> {
     /**
      * The unique identifier for the invoked machine. If not specified, this
      * will be the machine's own `id`, or the URL (from `src`).
      */
     id?: string;
+    systemId?: string;
     /**
      * The source of the machine to be invoked, or the machine itself.
      */
-    src: string | InvokeSourceDefinition | BehaviorCreator<TContext, TEvent> | Behavior<any, any>;
-    /**
-     * If `true`, events sent to the parent service will be forwarded to the invoked service.
-     *
-     * Default: `false`
-     */
-    autoForward?: boolean;
-    /**
-     * Data from the parent machine's context to set as the (partial or full) context
-     * for the invoked child machine.
-     *
-     * Data should be mapped to match the child machine's context shape.
-     */
-    data?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
+    src: string | ActorBehavior<any, any>;
+    input?: Mapper<TContext, TEvent, any> | any;
     /**
      * The transition to take upon the invoked child machine reaching its final top-level state.
      */
-    onDone?: string | SingleOrArray<TransitionConfig<TContext, DoneInvokeEvent<any>>>;
+    onDone?: string | SingleOrArray<TransitionConfigOrTarget<TContext, DoneInvokeEvent<any>, TEvent>>;
     /**
      * The transition to take upon the invoked child machine sending an error event.
      */
-    onError?: string | SingleOrArray<TransitionConfig<TContext, DoneInvokeEvent<any>>>;
-    onSnapshot?: string | SingleOrArray<TransitionConfig<TContext, SnapshotEvent<any>>>;
+    onError?: string | SingleOrArray<TransitionConfigOrTarget<TContext, DoneInvokeEvent<any>, TEvent>>;
+    onSnapshot?: string | SingleOrArray<TransitionConfigOrTarget<TContext, SnapshotEvent<any>, TEvent>>;
     /**
      * Meta data related to this invocation
      */
     meta?: MetaObject;
 }
-export interface StateNodeConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> {
+export interface StateNodeConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> {
     /**
      * The initial state transition.
      */
@@ -314,7 +304,7 @@ export interface StateNodeConfig<TContext extends MachineContext, TEvent extends
     /**
      * The services to invoke upon entering this state node. These services will be stopped upon exiting this state node.
      */
-    invoke?: SingleOrArray<string | BehaviorCreator<TContext, TEvent> | InvokeConfig<TContext, TEvent>>;
+    invoke?: SingleOrArray<string | InvokeConfig<TContext, TEvent>>;
     /**
      * The mapping of event types to their potential transition(s).
      */
@@ -322,11 +312,11 @@ export interface StateNodeConfig<TContext extends MachineContext, TEvent extends
     /**
      * The action(s) to be executed upon entering the state node.
      */
-    entry?: BaseActions<TContext, TEvent, TAction>;
+    entry?: BaseActions<TContext, TEvent, TEvent, TAction>;
     /**
      * The action(s) to be executed upon exiting the state node.
      */
-    exit?: BaseActions<TContext, TEvent, TAction>;
+    exit?: BaseActions<TContext, TEvent, TEvent, TAction>;
     /**
      * The potential transition(s) to be taken upon reaching a final child state node.
      *
@@ -406,11 +396,11 @@ export interface StateNodeDefinition<TContext extends MachineContext, TEvent ext
 export interface StateMachineDefinition<TContext extends MachineContext, TEvent extends EventObject> extends StateNodeDefinition<TContext, TEvent> {
     context: TContext;
 }
-export declare type AnyStateNode = StateNode<any, any>;
-export declare type AnyStateNodeDefinition = StateNodeDefinition<any, any>;
-export declare type AnyState = State<any, any, any>;
-export declare type AnyStateMachine = StateMachine<any, any, any, any, any>;
-export declare type AnyStateConfig = StateConfig<any, AnyEventObject>;
+export type AnyStateNode = StateNode<any, any>;
+export type AnyStateNodeDefinition = StateNodeDefinition<any, any>;
+export type AnyState = State<any, any, any>;
+export type AnyStateMachine = StateMachine<any, any, any, any, any>;
+export type AnyStateConfig = StateConfig<any, AnyEventObject>;
 export interface AtomicStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> extends StateNodeConfig<TContext, TEvent> {
     initial?: undefined;
     parallel?: false | undefined;
@@ -429,59 +419,66 @@ export interface FinalStateNodeConfig<TContext extends MachineContext, TEvent ex
      */
     data?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
 }
-export declare type SimpleOrStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> = AtomicStateNodeConfig<TContext, TEvent> | StateNodeConfig<TContext, TEvent>;
-export declare type ActionFunctionMap<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> = {
-    [K in TAction['type']]?: BaseDynamicActionObject<TContext, TEvent, TAction, any> | ActionFunction<TContext, TEvent, TAction extends {
+export type SimpleOrStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> = AtomicStateNodeConfig<TContext, TEvent> | StateNodeConfig<TContext, TEvent>;
+export type ActionFunctionMap<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> = {
+    [K in TAction['type']]?: BaseDynamicActionObject<TContext, TEvent, TEvent, TAction, any> | ActionFunction<TContext, TEvent, TAction extends {
         type: K;
     } ? TAction : never>;
 };
-export declare type DelayFunctionMap<TContext extends MachineContext, TEvent extends EventObject> = Record<string, DelayConfig<TContext, TEvent>>;
-export declare type DelayConfig<TContext extends MachineContext, TEvent extends EventObject> = number | DelayExpr<TContext, TEvent>;
-export interface MachineImplementationsSimplified<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> {
+export type DelayFunctionMap<TContext extends MachineContext, TEvent extends EventObject> = Record<string, DelayConfig<TContext, TEvent>>;
+export type DelayConfig<TContext extends MachineContext, TEvent extends EventObject> = number | DelayExpr<TContext, TEvent>;
+export interface MachineImplementationsSimplified<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> {
     guards: Record<string, GuardPredicate<TContext, TEvent>>;
     actions: ActionFunctionMap<TContext, TEvent, TAction>;
-    actors: Record<string, BehaviorCreator<TContext, TEvent> | AnyBehavior>;
+    actors: Record<string, AnyActorBehavior | {
+        src: AnyActorBehavior;
+        input: Mapper<TContext, TEvent, any> | any;
+    }>;
     delays: DelayFunctionMap<TContext, TEvent>;
-    context: Partial<TContext> | ContextFactory<Partial<TContext>>;
 }
-declare type MachineImplementationsActions<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingActions = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingActions'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>, TIndexedActions = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedActions'>> = {
-    [K in keyof TEventsCausingActions]?: BaseDynamicActionObject<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>, any, // TODO: this should receive something like `Cast<Prop<TIndexedActions, K>, BaseActionObject>`, but at the moment builtin actions expect Resolved*Action here and this should be simplified somehow
-    any> | ActionFunction<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>, Cast<Prop<TIndexedActions, K>, BaseActionObject>>;
+type MachineImplementationsActions<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingActions = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingActions'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>> = {
+    [K in keyof TEventsCausingActions]?: BaseDynamicActionObject<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>, Cast<Prop<TIndexedEvents, keyof TIndexedEvents>, EventObject>, any, // TODO: this should receive something like `Cast<Prop<TIndexedActions, K>, ParameterizedObject>`, but at the moment builtin actions expect Resolved*Action here and this should be simplified somehow
+    any> | ActionFunction<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>, ParameterizedObject, // TODO: when bringing back parametrized actions this should accept something like `Cast<Prop<TIndexedActions, K>, ParameterizedObject>`. At the moment we need to keep this type argument consistent with what is provided to the fake callable signature within `BaseDynamicActionObject`
+    Cast<Prop<TIndexedEvents, keyof TIndexedEvents>, EventObject>>;
 };
-declare type MachineImplementationsDelays<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingDelays = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingDelays'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>> = {
+type MachineImplementationsDelays<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingDelays = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingDelays'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>> = {
     [K in keyof TEventsCausingDelays]?: DelayConfig<TContext, Cast<Prop<TIndexedEvents, TEventsCausingDelays[K]>, EventObject>>;
 };
-declare type MachineImplementationsGuards<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingGuards = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingGuards'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>> = {
+type MachineImplementationsGuards<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingGuards = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingGuards'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>> = {
     [K in keyof TEventsCausingGuards]?: GuardPredicate<TContext, Cast<Prop<TIndexedEvents, TEventsCausingGuards[K]>, EventObject>>;
 };
-declare type MachineImplementationsActors<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingActors = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingActors'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>, _TInvokeSrcNameMap = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'invokeSrcNameMap'>> = {
-    [K in keyof TEventsCausingActors]?: BehaviorCreator<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActors[K]>, EventObject>> | AnyBehavior;
+type MachineImplementationsActors<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingActors = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingActors'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>, _TInvokeSrcNameMap = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'invokeSrcNameMap'>> = {
+    [K in keyof TEventsCausingActors]?: AnyActorBehavior | {
+        src: AnyActorBehavior;
+        input: Mapper<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActors[K]>, EventObject>, any> | any;
+    };
 };
-declare type MakeKeysRequired<T extends string> = {
+type MakeKeysRequired<T extends string> = {
     [K in T]: unknown;
 };
-declare type MaybeMakeMissingImplementationsRequired<TImplementationType, TMissingImplementationsForType, TRequireMissingImplementations> = TRequireMissingImplementations extends true ? IsNever<TMissingImplementationsForType> extends true ? {} : {
+type MaybeMakeMissingImplementationsRequired<TImplementationType, TMissingImplementationsForType, TRequireMissingImplementations> = TRequireMissingImplementations extends true ? IsNever<TMissingImplementationsForType> extends true ? {} : {
     [K in Cast<TImplementationType, string>]: MakeKeysRequired<Cast<TMissingImplementationsForType, string>>;
 } : {};
-declare type GenerateActionsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'actions', Prop<TMissingImplementations, 'actions'>, TRequireMissingImplementations> & {
+type GenerateActionsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'actions', Prop<TMissingImplementations, 'actions'>, TRequireMissingImplementations> & {
     actions?: MachineImplementationsActions<TContext, TResolvedTypesMeta>;
 };
-declare type GenerateDelaysImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'delays', Prop<TMissingImplementations, 'delays'>, TRequireMissingImplementations> & {
+type GenerateDelaysImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'delays', Prop<TMissingImplementations, 'delays'>, TRequireMissingImplementations> & {
     delays?: MachineImplementationsDelays<TContext, TResolvedTypesMeta>;
 };
-declare type GenerateGuardsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'guards', Prop<TMissingImplementations, 'guards'>, TRequireMissingImplementations> & {
+type GenerateGuardsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'guards', Prop<TMissingImplementations, 'guards'>, TRequireMissingImplementations> & {
     guards?: MachineImplementationsGuards<TContext, TResolvedTypesMeta>;
 };
-declare type GenerateActorsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'actors', Prop<TMissingImplementations, 'actors'>, TRequireMissingImplementations> & {
+type GenerateActorsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'actors', Prop<TMissingImplementations, 'actors'>, TRequireMissingImplementations> & {
     actors?: MachineImplementationsActors<TContext, TResolvedTypesMeta>;
 };
-export declare type InternalMachineImplementations<TContext extends MachineContext, _TEvent extends EventObject, TResolvedTypesMeta, TRequireMissingImplementations extends boolean = false, TMissingImplementations = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'missingImplementations'>> = GenerateActionsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateDelaysImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateGuardsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateActorsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations>;
-export declare type MachineImplementations<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TActorMap extends ActorMap = ActorMap, TTypesMeta extends TypegenConstraint = TypegenDisabled> = InternalMachineImplementations<TContext, TEvent, ResolveTypegenMeta<TTypesMeta, TEvent, TAction, TActorMap>>;
-declare type InitialContext<TContext extends MachineContext> = TContext | ContextFactory<TContext>;
-export declare type ContextFactory<TContext extends MachineContext> = (stuff: {
+export type InternalMachineImplementations<TContext extends MachineContext, _TEvent extends EventObject, TResolvedTypesMeta, TRequireMissingImplementations extends boolean = false, TMissingImplementations = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'missingImplementations'>> = GenerateActionsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateDelaysImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateGuardsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateActorsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations>;
+export type MachineImplementations<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject, TActorMap extends ActorMap = ActorMap, TTypesMeta extends TypegenConstraint = TypegenDisabled> = InternalMachineImplementations<TContext, TEvent, ResolveTypegenMeta<TTypesMeta, TEvent, TAction, TActorMap>>;
+type InitialContext<TContext extends MachineContext> = TContext | ContextFactory<TContext>;
+export type ContextFactory<TContext extends MachineContext> = ({ spawn, input }: {
     spawn: Spawner;
+    input: any;
 }) => TContext;
-export interface MachineConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TActorMap extends ActorMap = ActorMap, TTypesMeta = TypegenDisabled> extends StateNodeConfig<NoInfer<TContext>, NoInfer<TEvent>, TAction> {
+export interface MachineConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject, TActorMap extends ActorMap = ActorMap, TTypesMeta = TypegenDisabled> extends StateNodeConfig<NoInfer<TContext>, NoInfer<TEvent>, TAction> {
     /**
      * The initial context (extended state)
      */
@@ -497,7 +494,7 @@ export interface MachineConfig<TContext extends MachineContext, TEvent extends E
     schema?: MachineSchema<TContext, TEvent, TActorMap>;
     tsTypes?: TTypesMeta;
 }
-export declare type ActorMap = Record<string, {
+export type ActorMap = Record<string, {
     data: any;
 }>;
 export interface MachineSchema<TContext extends MachineContext, TEvent extends EventObject, TActorMap extends ActorMap = ActorMap> {
@@ -517,10 +514,10 @@ export interface HistoryStateNode<TContext extends MachineContext> extends State
     history: 'shallow' | 'deep';
     target: string | undefined;
 }
-export declare type HistoryValue<TContext extends MachineContext, TEvent extends EventObject> = Record<string, Array<StateNode<TContext, TEvent>>>;
-export declare type AnyHistoryValue = HistoryValue<any, any>;
-export declare type StateFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = T extends AnyStateMachine ? ReturnType<T['transition']> : T extends (...args: any[]) => AnyStateMachine ? ReturnType<ReturnType<T>['transition']> : never;
-export declare type Transitions<TContext extends MachineContext, TEvent extends EventObject> = Array<TransitionDefinition<TContext, TEvent>>;
+export type HistoryValue<TContext extends MachineContext, TEvent extends EventObject> = Record<string, Array<StateNode<TContext, TEvent>>>;
+export type AnyHistoryValue = HistoryValue<any, any>;
+export type StateFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = T extends AnyStateMachine ? ReturnType<T['transition']> : T extends (...args: any[]) => AnyStateMachine ? ReturnType<ReturnType<T>['transition']> : never;
+export type Transitions<TContext extends MachineContext, TEvent extends EventObject> = Array<TransitionDefinition<TContext, TEvent>>;
 export declare enum ActionTypes {
     Stop = "xstate.stop",
     Raise = "xstate.raise",
@@ -540,10 +537,13 @@ export declare enum ActionTypes {
     Pure = "xstate.pure",
     Choose = "xstate.choose"
 }
-export interface RaiseActionObject<TEvent extends EventObject> extends BuiltInActionObject {
+export interface RaiseActionObject<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> extends BaseActionObject {
     type: ActionTypes.Raise;
     params: {
+        event: TEvent;
         _event: SCXML.Event<TEvent>;
+        delay: RaiseActionOptions<TContext, TExpressionEvent>['delay'];
+        id: string | number;
     };
 }
 export interface DoneInvokeEvent<TData> extends EventObject {
@@ -574,13 +574,11 @@ export interface DoneEventObject extends EventObject {
     data?: any;
     toString(): string;
 }
-export declare type DoneEvent = DoneEventObject & string;
+export type DoneEvent = DoneEventObject & string;
 export interface InvokeAction {
     type: ActionTypes.Invoke;
-    src: InvokeSourceDefinition | ActorRef<any>;
+    src: string | ActorRef<any>;
     id: string;
-    autoForward?: boolean;
-    data?: any;
     exec?: undefined;
     meta: MetaObject | undefined;
 }
@@ -591,19 +589,17 @@ export interface DynamicInvokeActionObject<TContext extends MachineContext, TEve
 export interface InvokeActionObject extends BaseActionObject {
     type: ActionTypes.Invoke;
     params: {
-        src: InvokeSourceDefinition | ActorRef<any>;
+        src: string | ActorRef<any>;
         id: string;
-        autoForward?: boolean;
-        data?: any;
         exec?: undefined;
         ref?: ActorRef<any>;
         meta: MetaObject | undefined;
     };
 }
-export interface DynamicStopActionObject<TContext extends MachineContext, TEvent extends EventObject> {
+export interface DynamicStopActionObject<TContext extends MachineContext, TExpressionEvent extends EventObject> {
     type: ActionTypes.Stop;
     params: {
-        actor: string | ActorRef<any> | Expr<TContext, TEvent, ActorRef<any> | string>;
+        actor: string | ActorRef<any> | Expr<TContext, TExpressionEvent, ActorRef<any> | string>;
     };
 }
 export interface StopActionObject {
@@ -612,11 +608,11 @@ export interface StopActionObject {
         actor: ActorRef<any>;
     };
 }
-export declare type DelayExpr<TContext extends MachineContext, TEvent extends EventObject> = ExprWithMeta<TContext, TEvent, number>;
-export declare type LogExpr<TContext extends MachineContext, TEvent extends EventObject> = ExprWithMeta<TContext, TEvent, any>;
-export interface DynamicLogAction<TContext extends MachineContext, TEvent extends EventObject> extends BaseDynamicActionObject<TContext, TEvent, LogActionObject, {
+export type DelayExpr<TContext extends MachineContext, TEvent extends EventObject> = ExprWithMeta<TContext, TEvent, number>;
+export type LogExpr<TContext extends MachineContext, TEvent extends EventObject> = ExprWithMeta<TContext, TEvent, any>;
+export interface DynamicLogAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject> extends BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, LogActionObject, {
     label: string | undefined;
-    expr: string | LogExpr<TContext, TEvent>;
+    expr: string | LogExpr<TContext, TExpressionEvent>;
 }> {
     type: ActionTypes.Log;
 }
@@ -638,25 +634,30 @@ export interface SendActionObject<TSentEvent extends EventObject = AnyEventObjec
         internal: boolean;
     };
 }
-export declare type Expr<TContext extends MachineContext, TEvent extends EventObject, T> = (context: TContext, event: TEvent) => T;
-export declare type ExprWithMeta<TContext extends MachineContext, TEvent extends EventObject, T> = (context: TContext, event: TEvent, meta: SCXMLEventMeta<TEvent>) => T;
-export declare type SendExpr<TContext extends MachineContext, TEvent extends EventObject, TSentEvent extends EventObject = AnyEventObject> = ExprWithMeta<TContext, TEvent, TSentEvent>;
+export type Expr<TContext extends MachineContext, TEvent extends EventObject, T> = (arg: UnifiedArg<TContext, TEvent>) => T;
+export type ExprWithMeta<TContext extends MachineContext, TEvent extends EventObject, T> = (args: UnifiedArg<TContext, TEvent> & StateMeta<TContext, TEvent>) => T;
+export type SendExpr<TContext extends MachineContext, TEvent extends EventObject, TSentEvent extends EventObject = AnyEventObject> = ExprWithMeta<TContext, TEvent, TSentEvent>;
 export declare enum SpecialTargets {
     Parent = "#_parent",
     Internal = "#_internal"
 }
-export interface SendActionOptions<TContext extends MachineContext, TEvent extends EventObject> {
+export interface SendActionOptions<TContext extends MachineContext, TEvent extends EventObject> extends RaiseActionOptions<TContext, TEvent> {
+    to?: string | ActorRef<any, any> | ExprWithMeta<TContext, TEvent, string | ActorRef<any, any>>;
+}
+export interface RaiseActionOptions<TContext extends MachineContext, TEvent extends EventObject> {
     id?: string | number;
     delay?: number | string | DelayExpr<TContext, TEvent>;
-    to?: string | ExprWithMeta<TContext, TEvent, string | ActorRef<any> | undefined> | undefined;
+}
+export interface RaiseActionParams<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject> extends RaiseActionOptions<TContext, TExpressionEvent> {
+    event: TEvent | SendExpr<TContext, TExpressionEvent, TEvent>;
 }
 export interface SendActionParams<TContext extends MachineContext, TEvent extends EventObject, TSentEvent extends EventObject = EventObject> extends SendActionOptions<TContext, TEvent> {
     event: TSentEvent | SendExpr<TContext, TEvent, TSentEvent>;
 }
-export interface DynamicCancelActionObject<TContext extends MachineContext, TEvent extends EventObject> {
+export interface DynamicCancelActionObject<TContext extends MachineContext, TExpressionEvent extends EventObject> {
     type: ActionTypes.Cancel;
     params: {
-        sendId: string | ExprWithMeta<TContext, TEvent, string>;
+        sendId: string | ExprWithMeta<TContext, TExpressionEvent, string>;
     };
 }
 export interface CancelActionObject extends BaseActionObject {
@@ -665,21 +666,33 @@ export interface CancelActionObject extends BaseActionObject {
         sendId: string;
     };
 }
-export declare type Assigner<TContext extends MachineContext, TEvent extends EventObject> = (context: TContext, event: TEvent, meta: AssignMeta<TContext, TEvent>) => Partial<TContext>;
-export declare type PartialAssigner<TContext extends MachineContext, TEvent extends EventObject, TKey extends keyof TContext> = (context: TContext, event: TEvent, meta: AssignMeta<TContext, TEvent>) => TContext[TKey];
-export declare type PropertyAssigner<TContext extends MachineContext, TEvent extends EventObject> = {
-    [K in keyof TContext]?: PartialAssigner<TContext, TEvent, K> | TContext[K];
+export type Assigner<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = (args: {
+    context: TContext;
+    event: TExpressionEvent;
+} & AssignMeta<TContext, TExpressionEvent, TEvent>) => Partial<TContext>;
+export type PartialAssigner<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TKey extends keyof TContext> = (args: {
+    context: TContext;
+    event: TExpressionEvent;
+} & AssignMeta<TContext, TExpressionEvent, TEvent>) => TContext[TKey];
+export type PropertyAssigner<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = {
+    [K in keyof TContext]?: PartialAssigner<TContext, TExpressionEvent, TEvent, K> | TContext[K];
 };
-export declare type Mapper<TContext extends MachineContext, TEvent extends EventObject, TParams extends {}> = (context: TContext, event: TEvent) => TParams;
-export declare type PropertyMapper<TContext extends MachineContext, TEvent extends EventObject, TParams extends {}> = {
-    [K in keyof TParams]?: ((context: TContext, event: TEvent) => TParams[K]) | TParams[K];
+export type Mapper<TContext extends MachineContext, TEvent extends EventObject, TParams extends {}> = (args: {
+    context: TContext;
+    event: TEvent;
+}) => TParams;
+export type PropertyMapper<TContext extends MachineContext, TEvent extends EventObject, TParams extends {}> = {
+    [K in keyof TParams]?: ((args: {
+        context: TContext;
+        event: TEvent;
+    }) => TParams[K]) | TParams[K];
 };
 export interface AnyAssignAction extends BaseActionObject {
     type: ActionTypes.Assign;
     assignment: any;
 }
-export declare type DynamicAssignAction<TContext extends MachineContext, TEvent extends EventObject> = BaseDynamicActionObject<TContext, TEvent, AssignActionObject<TContext> | RaiseActionObject<TEvent>, {
-    assignment: Assigner<TContext, TEvent> | PropertyAssigner<TContext, TEvent>;
+export type DynamicAssignAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, AssignActionObject<TContext> | RaiseActionObject<TContext, TExpressionEvent>, {
+    assignment: Assigner<TContext, TExpressionEvent, TEvent> | PropertyAssigner<TContext, TExpressionEvent, TEvent>;
 }>;
 export interface AssignActionObject<TContext extends MachineContext> extends BaseActionObject {
     type: ActionTypes.Assign;
@@ -691,7 +704,10 @@ export interface AssignActionObject<TContext extends MachineContext> extends Bas
 export interface DynamicPureActionObject<TContext extends MachineContext, TEvent extends EventObject> {
     type: ActionTypes.Pure;
     params: {
-        get: (context: TContext, event: TEvent) => SingleOrArray<BaseActionObject> | undefined;
+        get: (args: {
+            context: TContext;
+            event: TEvent;
+        }) => SingleOrArray<BaseActionObject | BaseActionObject['type']> | undefined;
     };
 }
 export interface PureActionObject extends BaseActionObject {
@@ -712,10 +728,11 @@ export interface ResolvedChooseAction extends BaseActionObject {
         actions: BaseActionObject[];
     };
 }
-export interface TransitionDefinition<TContext extends MachineContext, TEvent extends EventObject> extends TransitionConfig<TContext, TEvent> {
+export interface TransitionDefinition<TContext extends MachineContext, TEvent extends EventObject> extends Omit<TransitionConfig<TContext, TEvent>, 'target'> {
     target: Array<StateNode<TContext, TEvent>> | undefined;
     source: StateNode<TContext, TEvent>;
     actions: BaseActionObject[];
+    external: boolean;
     guard?: GuardDefinition<TContext, TEvent>;
     eventType: TEvent['type'] | '*';
     toJSON: () => {
@@ -727,12 +744,12 @@ export interface TransitionDefinition<TContext extends MachineContext, TEvent ex
         meta?: Record<string, any>;
     };
 }
-export declare type AnyTransitionDefinition = TransitionDefinition<any, any>;
+export type AnyTransitionDefinition = TransitionDefinition<any, any>;
 export interface InitialTransitionDefinition<TContext extends MachineContext, TEvent extends EventObject> extends TransitionDefinition<TContext, TEvent> {
     target: Array<StateNode<TContext, TEvent>>;
     guard?: never;
 }
-export declare type TransitionDefinitionMap<TContext extends MachineContext, TEvent extends EventObject> = {
+export type TransitionDefinitionMap<TContext extends MachineContext, TEvent extends EventObject> = {
     [K in TEvent['type'] | '*']: Array<TransitionDefinition<TContext, K extends TEvent['type'] ? Extract<TEvent, {
         type: K;
     }> : EventObject>>;
@@ -765,36 +782,11 @@ export interface Segment<TContext extends MachineContext, TEvent extends EventOb
      */
     event: TEvent;
 }
-export interface PathItem<TContext extends MachineContext, TEvent extends EventObject> {
-    state: State<TContext, TEvent>;
-    path: Array<Segment<TContext, TEvent>>;
-    weight?: number;
-}
-export interface PathMap<TContext extends MachineContext, TEvent extends EventObject> {
-    [key: string]: PathItem<TContext, TEvent>;
-}
-export interface PathsItem<TContext extends MachineContext, TEvent extends EventObject> {
-    state: State<TContext, TEvent>;
-    paths: Array<Array<Segment<TContext, TEvent>>>;
-}
-export interface PathsMap<TContext extends MachineContext, TEvent extends EventObject> {
-    [key: string]: PathsItem<TContext, TEvent>;
-}
-export interface TransitionMap {
-    state: StateValue | undefined;
-}
-export interface AdjacencyMap {
-    [stateId: string]: Record<string, TransitionMap>;
-}
-export interface ValueAdjacencyMap<TContext extends MachineContext, TEvent extends EventObject> {
-    [stateId: string]: Record<string, State<TContext, TEvent>>;
-}
-export interface SCXMLEventMeta<TEvent extends EventObject> {
-    _event: SCXML.Event<TEvent>;
-}
 export interface StateMeta<TContext extends MachineContext, TEvent extends EventObject> {
     state: State<TContext, TEvent, any>;
     _event: SCXML.Event<TEvent>;
+    self: ActorRef<TEvent>;
+    system: ActorSystem<any>;
 }
 export interface StateLike<TContext extends MachineContext> {
     value: StateValue;
@@ -806,12 +798,11 @@ export interface StateConfig<TContext extends MachineContext, TEvent extends Eve
     value: StateValue;
     context: TContext;
     _event: SCXML.Event<TEvent>;
-    _sessionid: string | undefined;
     historyValue?: HistoryValue<TContext, TEvent>;
     actions?: BaseActionObject[];
     meta?: any;
     configuration?: Array<StateNode<TContext, TEvent>>;
-    transitions: Array<TransitionDefinition<TContext, TEvent>>;
+    transitions?: Array<TransitionDefinition<TContext, TEvent>>;
     children: Record<string, ActorRef<any>>;
     done?: boolean;
     output?: any;
@@ -819,7 +810,7 @@ export interface StateConfig<TContext extends MachineContext, TEvent extends Eve
     machine?: StateMachine<TContext, TEvent, any, any, any>;
     _internalQueue?: Array<SCXML.Event<TEvent>>;
 }
-export interface InterpreterOptions {
+export interface InterpreterOptions<_TActorBehavior extends AnyActorBehavior> {
     /**
      * Whether state actions should be executed immediately upon transition. Defaults to `true`.
      */
@@ -845,15 +836,22 @@ export interface InterpreterOptions {
      * Default: `false`
      */
     devTools?: boolean | DevToolsAdapter;
+    sync?: boolean;
     /**
-     * If `true`, events from the parent will be sent to this interpreter.
-     *
-     * Default: `false`
+     * The system ID to register this actor under
      */
-    autoForward?: boolean;
-    sync?: boolean;
+    systemId?: string;
+    /**
+     * The input data to pass to the actor.
+     */
+    input?: any;
+    state?: any;
+    /**
+     * The source definition.
+     */
+    src?: string;
 }
-export declare type AnyInterpreter = Interpreter<any>;
+export type AnyInterpreter = Interpreter<any>;
 export declare namespace SCXML {
     interface Event<TEvent extends EventObject> {
         /**
@@ -916,7 +914,7 @@ export declare namespace SCXML {
         $$type: 'scxml';
     }
 }
-export declare type Observer<T> = {
+export type Observer<T> = {
     next?: (value: T) => void;
     error?: (err: any) => void;
     complete?: () => void;
@@ -934,8 +932,8 @@ export interface Subscribable<T> extends InteropSubscribable<T> {
     subscribe(observer: Observer<T>): Subscription;
     subscribe(next: (value: T) => void, error?: (error: any) => void, complete?: () => void): Subscription;
 }
-export declare type Spawnable = AnyStateMachine | PromiseLike<any> | InvokeCallback | InteropObservable<any> | Subscribable<any> | Behavior<any, any>;
-export declare type ExtractEvent<TEvent extends EventObject, TEventType extends TEvent['type']> = TEvent extends any ? TEventType extends TEvent['type'] ? TEvent : never : never;
+export type Spawnable = AnyStateMachine | PromiseLike<any> | InvokeCallback | InteropObservable<any> | Subscribable<any> | ActorBehavior<any, any>;
+export type ExtractEvent<TEvent extends EventObject, TEventType extends TEvent['type']> = TEvent extends any ? TEventType extends TEvent['type'] ? TEvent : never : never;
 export interface BaseActorRef<TEvent extends EventObject> {
     send: (event: TEvent) => void;
 }
@@ -947,55 +945,90 @@ export interface ActorRef<TEvent extends EventObject, TSnapshot = any> extends S
      * The unique identifier for this actor relative to its parent.
      */
     id: string;
+    sessionId: string;
     send: (event: TEvent) => void;
     start?: () => void;
     getSnapshot: () => TSnapshot | undefined;
-    stop?: () => void;
+    getPersistedState?: () => any;
+    stop: () => void;
     toJSON?: () => any;
     _parent?: ActorRef<any, any>;
+    system?: ActorSystem<any>;
     status: ActorStatus;
+    src?: string;
 }
-export declare type AnyActorRef = ActorRef<any, any>;
-export declare type ActorRefFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? ActorRef<TEvent, State<TContext, TEvent, AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends false ? MarkAllImplementationsAsProvided<TResolvedTypesMeta> : TResolvedTypesMeta>> : R extends Promise<infer U> ? ActorRef<{
+export type AnyActorRef = ActorRef<any, any>;
+export type ActorRefFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? ActorRef<TEvent, State<TContext, TEvent, AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends false ? MarkAllImplementationsAsProvided<TResolvedTypesMeta> : TResolvedTypesMeta>> : R extends Promise<infer U> ? ActorRef<{
     type: string;
-}, U | undefined> : R extends Behavior<infer TEvent, infer TSnapshot> ? ActorRef<TEvent, TSnapshot> : never : never;
-export declare type DevToolsAdapter = (service: AnyInterpreter) => void;
-export declare type InterpreterFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? Interpreter<Behavior<TEvent, State<TContext, TEvent, TResolvedTypesMeta>, State<TContext, TEvent, TResolvedTypesMeta>>> : never;
-export declare type MachineImplementationsFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine), TRequireMissingImplementations extends boolean = false> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? InternalMachineImplementations<TContext, TEvent, TResolvedTypesMeta, TRequireMissingImplementations> : never;
-export declare type __ResolvedTypesMetaFrom<T> = T extends StateMachine<any, any, any, infer TResolvedTypesMeta> ? TResolvedTypesMeta : never;
-export declare type EventOfMachine<TMachine extends AnyStateMachine> = TMachine extends StateMachine<any, infer E, any, any, any> ? E : never;
-export interface ActorContext<TEvent extends EventObject, TSnapshot> {
+}, U | undefined> : R extends ActorBehavior<infer TEvent, infer TSnapshot> ? ActorRef<TEvent, TSnapshot> : never : never;
+export type DevToolsAdapter = (service: AnyInterpreter) => void;
+export type InterpreterFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? Interpreter<ActorBehavior<TEvent, State<TContext, TEvent, TResolvedTypesMeta>, State<TContext, TEvent, TResolvedTypesMeta>, PersistedMachineState<State<TContext, TEvent, TResolvedTypesMeta>>>> : never;
+export type MachineImplementationsFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine), TRequireMissingImplementations extends boolean = false> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? InternalMachineImplementations<TContext, TEvent, TResolvedTypesMeta, TRequireMissingImplementations> : never;
+export type __ResolvedTypesMetaFrom<T> = T extends StateMachine<any, any, any, infer TResolvedTypesMeta> ? TResolvedTypesMeta : never;
+export type EventOfMachine<TMachine extends AnyStateMachine> = TMachine extends StateMachine<any, infer E, any, any, any> ? E : never;
+export interface ActorContext<TEvent extends EventObject, TSnapshot, TSystem extends ActorSystem<any> = ActorSystem<any>> {
     self: ActorRef<TEvent, TSnapshot>;
     id: string;
     sessionId: string;
     logger: (...args: any[]) => void;
     defer: (fn: () => void) => void;
+    system: TSystem;
+    stopChild: (child: AnyActorRef) => void;
 }
-export interface Behavior<TEvent extends EventObject, TSnapshot = any, TInternalState = any> {
-    transition: (state: TInternalState, message: TEvent | LifecycleSignal, ctx: ActorContext<TEvent, TSnapshot>) => TInternalState;
-    getInitialState: (actorCtx: ActorContext<TEvent, TSnapshot>) => TInternalState;
-    restoreState?: (restoredState: any, actorCtx: ActorContext<TEvent, TSnapshot>) => TInternalState;
+export type AnyActorContext = ActorContext<any, any, any>;
+export interface ActorBehavior<TEvent extends EventObject, TSnapshot = any, TInternalState = any, 
+/**
+ * Serialized internal state used for persistence & restoration
+ */
+TPersisted = TInternalState, TSystem extends ActorSystem<any> = ActorSystem<any>> {
+    transition: (state: TInternalState, message: TEvent | LifecycleSignal, ctx: ActorContext<TEvent, TSnapshot, TSystem>) => TInternalState;
+    getInitialState: (actorCtx: ActorContext<TEvent, TSnapshot, any>, input: any) => TInternalState;
+    restoreState?: (persistedState: TPersisted, actorCtx: ActorContext<TEvent, TSnapshot>) => TInternalState;
     getSnapshot?: (state: TInternalState) => TSnapshot;
     getStatus?: (state: TInternalState) => {
         status: string;
         data?: any;
     };
-    start?: (state: TInternalState, actorCtx: ActorContext<TEvent, TSnapshot>) => TInternalState;
-}
-export declare type AnyBehavior = Behavior<any, any, any>;
-export declare type SnapshotFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends ActorRef<infer _, infer TSnapshot> ? TSnapshot : R extends Interpreter<infer TBehavior> ? SnapshotFrom<TBehavior> : R extends Behavior<infer _, infer TSnapshot> ? TSnapshot : R extends ActorContext<infer _, infer TSnapshot> ? TSnapshot : never : never;
-export declare type EventFromBehavior<TBehavior extends Behavior<any, any>> = TBehavior extends Behavior<infer TEvent, infer _> ? TEvent : never;
-declare type ResolveEventType<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer _, infer TEvent, infer __, infer ___, infer ____> ? TEvent : R extends State<infer _, infer TEvent, infer __> ? TEvent : R extends Interpreter<infer _, infer TEvent> ? TEvent : R extends ActorRef<infer TEvent, infer _> ? TEvent : never : never;
-export declare type EventFrom<T, K extends Prop<TEvent, 'type'> = never, TEvent extends EventObject = ResolveEventType<T>> = IsNever<K> extends true ? TEvent : ExtractEvent<TEvent, K>;
-export declare type ContextFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer _, infer __, infer ___, infer ____> ? TContext : R extends State<infer TContext, infer _, infer __> ? TContext : R extends Interpreter<infer TBehavior> ? TBehavior extends StateMachine<infer TContext, infer _> ? TContext : never : never : never;
-export declare type InferEvent<E extends EventObject> = {
+    start?: (state: TInternalState, actorCtx: ActorContext<TEvent, TSnapshot>) => void;
+    /**
+     * @returns Persisted state
+     */
+    getPersistedState?: (state: TInternalState) => TPersisted;
+}
+export type AnyActorBehavior = ActorBehavior<any, any, any, any>;
+export type SnapshotFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends ActorRef<infer _, infer TSnapshot> ? TSnapshot : R extends Interpreter<infer TBehavior> ? SnapshotFrom<TBehavior> : R extends ActorBehavior<infer _, infer TSnapshot> ? TSnapshot : R extends ActorContext<infer _, infer TSnapshot, infer __> ? TSnapshot : never : never;
+export type EventFromBehavior<TBehavior extends ActorBehavior<any, any>> = TBehavior extends ActorBehavior<infer TEvent, infer _> ? TEvent : never;
+export type PersistedStateFrom<TBehavior extends ActorBehavior<any, any>> = TBehavior extends ActorBehavior<infer _TEvent, infer _TSnapshot, infer _TInternalState, infer TPersisted> ? TPersisted : never;
+export type InternalStateFrom<TBehavior extends ActorBehavior<any, any>> = TBehavior extends ActorBehavior<infer _TEvent, infer _TSnapshot, infer TInternalState, infer _TPersisted> ? TInternalState : never;
+type ResolveEventType<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer _, infer TEvent, infer __, infer ___, infer ____> ? TEvent : R extends State<infer _, infer TEvent, infer __> ? TEvent : R extends Interpreter<infer _, infer TEvent> ? TEvent : R extends ActorRef<infer TEvent, infer _> ? 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 _, infer __, infer ___, infer ____> ? TContext : R extends State<infer TContext, infer _, infer __> ? TContext : R extends Interpreter<infer TBehavior> ? TBehavior extends StateMachine<infer TContext, infer _> ? TContext : never : never : never;
+export type InferEvent<E extends EventObject> = {
     [T in E['type']]: {
         type: T;
     } & Extract<E, {
         type: T;
     }>;
 }[E['type']];
-export declare type TODO = any;
-export declare type StateValueFrom<TMachine extends AnyStateMachine> = Parameters<StateFrom<TMachine>['matches']>[0];
-export declare type StateFromMachine<TMachine extends AnyStateMachine> = TMachine['initialState'];
+export type TODO = any;
+export type StateValueFrom<TMachine extends AnyStateMachine> = Parameters<StateFrom<TMachine>['matches']>[0];
+export type StateFromMachine<TMachine extends AnyStateMachine> = TMachine['initialState'];
+export interface ActorSystemInfo {
+    actors: Record<string, AnyActorRef>;
+}
+export interface ActorSystem<T extends ActorSystemInfo> {
+    _bookId: () => string;
+    _register: (sessionId: string, actorRef: AnyActorRef) => string;
+    _unregister: (actorRef: AnyActorRef) => void;
+    _set: <K extends keyof T['actors']>(key: K, actorRef: T['actors'][K]) => void;
+    get: <K extends keyof T['actors']>(key: K) => T['actors'][K] | undefined;
+}
+export type PersistedMachineState<TState extends AnyState> = Pick<TState, 'value' | 'output' | 'context' | '_event' | 'done' | 'historyValue'> & {
+    children: {
+        [K in keyof TState['children']]: {
+            state: any;
+            src?: string;
+        };
+    };
+};
 export {};