xstate 5.0.0-beta.15 → 5.0.0-beta.17

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

@@ -44,36 +44,14 @@ export interface ParameterizedObject {
     type: string;
     params?: Record<string, any>;
 }
-export interface BaseActionObject extends ParameterizedObject {
-    execute?: (actorCtx: AnyActorContext) => void;
-}
-export interface BuiltInActionObject extends ParameterizedObject {
-    type: `xstate.${string}`;
-    params: 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: TExpressionEvent, extra: {
-        state: State<TContext, TEvent>;
-        /**
-         * The original action object
-         */
-        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<TEvent, ParameterizedObject>): void;
+    self: ActorRef<TEvent>;
+    system: ActorSystem<any>;
 }
 export type MachineContext = Record<string, any>;
-export interface ActionMeta<TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> extends StateMeta<TEvent> {
+export interface ActionArgs<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> extends UnifiedArg<TContext, TEvent> {
     action: TAction;
 }
 export type Spawner = <T extends ActorLogic<any, any> | string>(// TODO: read string from machine logic keys
@@ -82,28 +60,19 @@ logic: T, options?: Partial<{
     systemId?: string;
     input: any;
 }>) => T extends ActorLogic<infer TActorEvent, infer TActorEmitted, infer _, infer __, infer ___> ? ActorRef<TActorEvent, TActorEmitted> : ActorRef<any, any>;
-export interface AssignMeta<TExpressionEvent extends EventObject, _TEvent extends EventObject> extends StateMeta<TExpressionEvent> {
-    action: BaseActionObject;
-    event: TExpressionEvent;
+export interface AssignArgs<TContext extends MachineContext, TExpressionEvent extends EventObject> extends ActionArgs<TContext, TExpressionEvent> {
     spawn: Spawner;
 }
-export type ActionFunction<TContext extends MachineContext, TExpressionEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject, TEvent extends EventObject = TExpressionEvent> = (args: {
-    context: TContext;
-    event: TExpressionEvent;
-} & ActionMeta<TEvent, TAction>) => void;
-export interface ChooseCondition<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> {
+export type ActionFunction<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> = {
+    (args: ActionArgs<TContext, TExpressionEvent, TAction>): void;
+    _out_TEvent?: TEvent;
+};
+export interface ChooseBranch<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> {
     guard?: GuardConfig<TContext, TExpressionEvent>;
     actions: Actions<TContext, TExpressionEvent, TEvent>;
 }
-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.
- */
-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 Action<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = ActionType | ParameterizedObject | ActionFunction<TContext, TExpressionEvent, TEvent, ParameterizedObject>;
+export type Actions<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = SingleOrArray<Action<TContext, TExpressionEvent, TEvent>>;
 export type StateKey = string | AnyState;
 export interface StateValueMap {
     [key: string]: StateValue;
@@ -118,7 +87,7 @@ export type StateValue = string | StateValueMap;
 export type GuardPredicate<TContext extends MachineContext, TEvent extends EventObject> = (args: {
     context: TContext;
     event: TEvent;
-} & GuardMeta<TContext, TEvent>) => boolean;
+} & GuardArgs<TContext, TEvent>) => boolean;
 export interface DefaultGuardObject<TContext extends MachineContext, TEvent extends EventObject> extends ParameterizedObject {
     /**
      * Nested guards
@@ -127,7 +96,7 @@ export interface DefaultGuardObject<TContext extends MachineContext, TEvent exte
     predicate?: GuardPredicate<TContext, TEvent>;
 }
 export type GuardEvaluator<TContext extends MachineContext, TEvent extends EventObject> = (guard: GuardDefinition<TContext, TEvent>, context: TContext, event: TEvent, state: State<TContext, TEvent>) => boolean;
-export interface GuardMeta<TContext extends MachineContext, TEvent extends EventObject> {
+export interface GuardArgs<TContext extends MachineContext, TEvent extends EventObject> {
     state: State<TContext, TEvent, any>;
     guard: GuardDefinition<TContext, TEvent>;
     evaluate: GuardEvaluator<TContext, TEvent>;
@@ -159,7 +128,7 @@ export interface BooleanGuardDefinition<TContext extends MachineContext, TEvent
 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>;
+    actions?: Actions<TContext, TExpressionEvent, TEvent>;
     reenter?: boolean;
     target?: TransitionTarget | undefined;
     meta?: Record<string, any>;
@@ -174,11 +143,6 @@ export interface InitialTransitionConfig<TContext extends MachineContext, TEvent
     target: TransitionTarget;
 }
 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 type Receiver<TEvent extends EventObject> = (listener: {
     bivarianceHack(event: TEvent): void;
 }['bivarianceHack']) => void;
@@ -218,7 +182,7 @@ export interface Delay {
     delay: number;
 }
 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>;
+    delay: number | string | ((args: UnifiedArg<TContext, TEvent>) => number);
 }>;
 export type StateTypes = 'atomic' | 'compound' | 'parallel' | 'final' | 'history' | string;
 export type SingleOrArray<T> = T[] | T;
@@ -233,15 +197,9 @@ export type StatesDefinition<TContext extends MachineContext, TEvent extends Eve
 };
 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>;
+export type TransitionsConfig<TContext extends MachineContext, TEvent extends EventObject> = {
+    [K in TEvent['type'] | '*']?: K extends '*' ? TransitionConfigOrTarget<TContext, TEvent> : TransitionConfigOrTarget<TContext, ExtractEvent<TEvent, K>, 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 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
@@ -304,11 +262,11 @@ export interface StateNodeConfig<TContext extends MachineContext, TEvent extends
     /**
      * The action(s) to be executed upon entering the state node.
      */
-    entry?: BaseActions<TContext, TEvent, TEvent, TAction>;
+    entry?: Actions<TContext, TEvent, TEvent>;
     /**
      * The action(s) to be executed upon exiting the state node.
      */
-    exit?: BaseActions<TContext, TEvent, TEvent, TAction>;
+    exit?: Actions<TContext, TEvent, TEvent>;
     /**
      * The potential transition(s) to be taken upon reaching a final child state node.
      *
@@ -371,8 +329,8 @@ export interface StateNodeDefinition<TContext extends MachineContext, TEvent ext
     states: StatesDefinition<TContext, TEvent>;
     on: TransitionDefinitionMap<TContext, TEvent>;
     transitions: Array<TransitionDefinition<TContext, TEvent>>;
-    entry: BaseActionObject[];
-    exit: BaseActionObject[];
+    entry: Action<any, any, any>[];
+    exit: Action<any, any, any>[];
     meta: any;
     order: number;
     output?: FinalStateNodeConfig<TContext, TEvent>['output'];
@@ -381,7 +339,6 @@ export interface StateNodeDefinition<TContext extends MachineContext, TEvent ext
     tags: string[];
 }
 export interface StateMachineDefinition<TContext extends MachineContext, TEvent extends EventObject> extends StateNodeDefinition<TContext, TEvent> {
-    context: TContext;
 }
 export type AnyStateNode = StateNode<any, any>;
 export type AnyStateNodeDefinition = StateNodeDefinition<any, any>;
@@ -408,7 +365,7 @@ export interface FinalStateNodeConfig<TContext extends MachineContext, TEvent ex
 }
 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 {
+    [K in TAction['type']]?: ActionFunction<TContext, TEvent, TEvent, TAction extends {
         type: K;
     } ? TAction : never>;
 };
@@ -424,9 +381,7 @@ export interface MachineImplementationsSimplified<TContext extends MachineContex
     delays: DelayFunctionMap<TContext, TEvent>;
 }
 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>>;
+    [K in keyof TEventsCausingActions]?: ActionFunction<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>, Cast<Prop<TIndexedEvents, keyof TIndexedEvents>, EventObject>, ParameterizedObject>;
 };
 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>>;
@@ -501,32 +456,14 @@ export type HistoryValue<TContext extends MachineContext, TEvent extends EventOb
 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",
-    Send = "xstate.send",
-    Cancel = "xstate.cancel",
-    Assign = "xstate.assign",
+export declare enum ConstantPrefix {
     After = "xstate.after",
     DoneState = "done.state",
     DoneInvoke = "done.invoke",
-    Log = "xstate.log",
-    Init = "xstate.init",
-    Invoke = "xstate.invoke",
     ErrorExecution = "error.execution",
     ErrorCommunication = "error.communication",
     ErrorPlatform = "error.platform",
-    ErrorCustom = "xstate.error",
-    Pure = "xstate.pure",
-    Choose = "xstate.choose"
-}
-export interface RaiseActionObject<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> extends BaseActionObject {
-    type: ActionTypes.Raise;
-    params: {
-        event: TEvent;
-        delay: RaiseActionOptions<TContext, TExpressionEvent>['delay'];
-        id: string | number;
-    };
+    ErrorCustom = "xstate.error"
 }
 export interface DoneInvokeEvent<TData> extends EventObject {
     type: `done.invoke.${string}`;
@@ -542,7 +479,7 @@ export interface SnapshotEvent<TData> {
 }
 export interface ErrorExecutionEvent extends EventObject {
     src: string;
-    type: ActionTypes.ErrorExecution;
+    type: ConstantPrefix.ErrorExecution;
     data: any;
 }
 export interface ErrorPlatformEvent extends EventObject {
@@ -553,106 +490,29 @@ export interface DoneEventObject extends EventObject {
     toString(): string;
 }
 export type DoneEvent = DoneEventObject & string;
-export interface InvokeAction {
-    type: ActionTypes.Invoke;
-    src: string | ActorRef<any>;
-    id: string;
-    exec?: undefined;
-    meta: MetaObject | undefined;
-}
-export interface DynamicInvokeActionObject<TContext extends MachineContext, TEvent extends EventObject> {
-    type: ActionTypes.Invoke;
-    params: InvokeDefinition<TContext, TEvent>;
-}
-export interface InvokeActionObject extends BaseActionObject {
-    type: ActionTypes.Invoke;
-    params: {
-        src: string | ActorRef<any>;
-        id: string;
-        exec?: undefined;
-        ref?: ActorRef<any>;
-        meta: MetaObject | undefined;
-    };
-}
-export interface DynamicStopActionObject<TContext extends MachineContext, TExpressionEvent extends EventObject> {
-    type: ActionTypes.Stop;
-    params: {
-        actor: string | ActorRef<any> | Expr<TContext, TExpressionEvent, ActorRef<any> | string>;
-    };
-}
-export interface StopActionObject {
-    type: ActionTypes.Stop;
-    params: {
-        actor: ActorRef<any>;
-    };
-}
-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, TExpressionEvent>;
-}> {
-    type: ActionTypes.Log;
-}
-export interface LogActionObject extends BuiltInActionObject {
-    type: ActionTypes.Log;
-    params: {
-        label: string | undefined;
-        value: any;
-    };
-}
-export interface SendActionObject<TSentEvent extends EventObject = AnyEventObject> extends BaseActionObject {
-    type: 'xstate.send';
-    params: {
-        to: ActorRef<TSentEvent> | undefined;
-        event: TSentEvent;
-        delay?: number;
-        id: string | number;
-        internal: boolean;
-    };
-}
-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<TEvent>) => T;
-export type SendExpr<TContext extends MachineContext, TEvent extends EventObject, TSentEvent extends EventObject = AnyEventObject> = ExprWithMeta<TContext, TEvent, TSentEvent>;
+export type DelayExpr<TContext extends MachineContext, TEvent extends EventObject> = (args: UnifiedArg<TContext, TEvent>) => number;
+export type LogExpr<TContext extends MachineContext, TEvent extends EventObject> = (args: UnifiedArg<TContext, TEvent>) => unknown;
+export type SendExpr<TContext extends MachineContext, TExpressionEvent extends EventObject, TSentEvent extends EventObject = AnyEventObject> = (args: UnifiedArg<TContext, TExpressionEvent>) => TSentEvent;
 export declare enum SpecialTargets {
     Parent = "#_parent",
     Internal = "#_internal"
 }
-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 SendToActionOptions<TContext extends MachineContext, TEvent extends EventObject> extends RaiseActionOptions<TContext, TEvent> {
 }
 export interface RaiseActionOptions<TContext extends MachineContext, TEvent extends EventObject> {
-    id?: string | number;
+    id?: string;
     delay?: number | string | DelayExpr<TContext, TEvent>;
 }
 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> {
+export interface SendToActionParams<TContext extends MachineContext, TEvent extends EventObject, TSentEvent extends EventObject = EventObject> extends SendToActionOptions<TContext, TEvent> {
     event: TSentEvent | SendExpr<TContext, TEvent, TSentEvent>;
 }
-export interface DynamicCancelActionObject<TContext extends MachineContext, TExpressionEvent extends EventObject> {
-    type: ActionTypes.Cancel;
-    params: {
-        sendId: string | ExprWithMeta<TContext, TExpressionEvent, string>;
-    };
-}
-export interface CancelActionObject extends BaseActionObject {
-    type: ActionTypes.Cancel;
-    params: {
-        sendId: string;
-    };
-}
-export type Assigner<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = (args: {
-    context: TContext;
-    event: TExpressionEvent;
-} & AssignMeta<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<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 type Assigner<TContext extends MachineContext, TExpressionEvent extends EventObject> = (args: AssignArgs<TContext, TExpressionEvent>) => Partial<TContext>;
+export type PartialAssigner<TContext extends MachineContext, TExpressionEvent extends EventObject, TKey extends keyof TContext> = (args: AssignArgs<TContext, TExpressionEvent>) => TContext[TKey];
+export type PropertyAssigner<TContext extends MachineContext, TExpressionEvent extends EventObject> = {
+    [K in keyof TContext]?: PartialAssigner<TContext, TExpressionEvent, K> | TContext[K];
 };
 export type Mapper<TContext extends MachineContext, TEvent extends EventObject, TParams extends {}> = (args: {
     context: TContext;
@@ -664,58 +524,17 @@ export type PropertyMapper<TContext extends MachineContext, TEvent extends Event
         event: TEvent;
     }) => TParams[K]) | TParams[K];
 };
-export interface AnyAssignAction extends BaseActionObject {
-    type: ActionTypes.Assign;
-    assignment: any;
-}
-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;
-    params: {
-        context: TContext;
-        actions: BaseActionObject[];
-    };
-}
-export interface DynamicPureActionObject<TContext extends MachineContext, TEvent extends EventObject> {
-    type: ActionTypes.Pure;
-    params: {
-        get: (args: {
-            context: TContext;
-            event: TEvent;
-        }) => SingleOrArray<BaseActionObject | BaseActionObject['type']> | undefined;
-    };
-}
-export interface PureActionObject extends BaseActionObject {
-    type: ActionTypes.Pure;
-    params: {
-        actions: BaseActionObject[];
-    };
-}
-export interface ChooseAction<TContext extends MachineContext, TEvent extends EventObject> extends BaseActionObject {
-    type: ActionTypes.Choose;
-    params: {
-        guards: Array<ChooseCondition<TContext, TEvent>>;
-    };
-}
-export interface ResolvedChooseAction extends BaseActionObject {
-    type: ActionTypes.Choose;
-    params: {
-        actions: BaseActionObject[];
-    };
-}
 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[];
+    actions: Action<any, any, any>[];
     reenter: boolean;
     guard?: GuardDefinition<TContext, TEvent>;
     eventType: TEvent['type'] | '*';
     toJSON: () => {
         target: string[] | undefined;
         source: string;
-        actions: BaseActionObject[];
+        actions: Action<any, any, any>[];
         guard?: GuardDefinition<TContext, TEvent>;
         eventType: TEvent['type'] | '*';
         meta?: Record<string, any>;
@@ -759,10 +578,6 @@ export interface Segment<TContext extends MachineContext, TEvent extends EventOb
      */
     event: TEvent;
 }
-export interface StateMeta<TEvent extends EventObject> {
-    self: ActorRef<TEvent>;
-    system: ActorSystem<any>;
-}
 export interface StateLike<TContext extends MachineContext> {
     value: StateValue;
     context: TContext;

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

@@ -1,5 +1,4 @@
 import { AnyActorLogic, AnyState } from "./index.js";
-import { NULL_EVENT } from "./constants.js";
 import type { StateNode } from "./StateNode.js";
 import type { ActorLogic, AnyEventObject, EventObject, EventType, InvokeConfig, MachineContext, Mapper, Observer, PropertyMapper, ErrorEvent, SingleOrArray, StateLike, StateValue, Subscribable, TransitionConfig, TransitionConfigTarget } from "./types.js";
 export declare function keys<T extends object>(value: T): Array<keyof T & string>;
@@ -33,14 +32,10 @@ export declare function isPromiseLike(value: any): value is PromiseLike<any>;
 export declare function isActorLogic(value: any): value is ActorLogic<any, any>;
 export declare function partition<T, A extends T, B extends T>(items: T[], predicate: (item: T) => item is A): [A[], B[]];
 export declare function isArray(value: any): value is any[];
-export declare function isFunction(value: any): value is Function;
-export declare function isString(value: any): value is string;
 export declare function isObservable<T>(value: any): value is Subscribable<T>;
 export declare const uniqueId: () => string;
 export declare function isErrorEvent(event: AnyEventObject): event is ErrorEvent<any>;
-export declare function toTransitionConfigArray<TContext extends MachineContext, TEvent extends EventObject>(event: TEvent['type'] | typeof NULL_EVENT | '*', configLike: SingleOrArray<TransitionConfig<TContext, TEvent> | TransitionConfigTarget>): Array<TransitionConfig<TContext, TEvent> & {
-    event: TEvent['type'] | typeof NULL_EVENT | '*';
-}>;
+export declare function toTransitionConfigArray<TContext extends MachineContext, TEvent extends EventObject>(configLike: SingleOrArray<TransitionConfig<TContext, TEvent> | TransitionConfigTarget>): Array<TransitionConfig<TContext, TEvent>>;
 export declare function normalizeTarget<TContext extends MachineContext, TEvent extends EventObject>(target: SingleOrArray<string | StateNode<TContext, TEvent>> | undefined): Array<string | StateNode<TContext, TEvent>> | undefined;
 export declare function reportUnhandledExceptionOnInvocation(originalError: any, currentError: any, id: string): void;
 export declare function toInvokeConfig<TContext extends MachineContext, TEvent extends EventObject>(invocable: InvokeConfig<TContext, TEvent> | string | ActorLogic<any, any>, id: string): InvokeConfig<TContext, TEvent>;