Introduce inferrable TConfig

packages/core/src/Machine.ts

@@ -1,15 +1,43 @@
+import { StateMachine } from './StateMachine.ts';
+import { ResolveTypegenMeta, TypegenConstraint } from './typegenTypes.ts';
 import {
+  AnyEventObject,
+  EventObject,
+  InternalMachineImplementations,
   MachineConfig,
   MachineContext,
-  InternalMachineImplementations,
-  ParameterizedObject,
-  ProvidedActor,
+  MachineTypes,
   NonReducibleUnknown,
+  ParameterizedObject,
   Prop,
-  AnyEventObject
+  ProvidedActor
 } from './types.ts';
-import { TypegenConstraint, ResolveTypegenMeta } from './typegenTypes.ts';
-import { StateMachine } from './StateMachine.ts';
+
+interface InferenceSource<
+  TContext extends MachineContext,
+  TEvent extends EventObject,
+  TActor extends ProvidedActor,
+  TAction extends ParameterizedObject,
+  TGuard extends ParameterizedObject,
+  TDelay extends string,
+  TTag extends string,
+  TInput,
+  TOutput extends NonReducibleUnknown,
+  TTypesMeta extends TypegenConstraint
+> {
+  types?: MachineTypes<
+    TContext,
+    TEvent,
+    TActor,
+    TAction,
+    TGuard,
+    TDelay,
+    TTag,
+    TInput,
+    TOutput,
+    TTypesMeta
+  >;
+}
 
 export function createMachine<
   TContext extends MachineContext,
@@ -21,9 +49,22 @@ export function createMachine<
   TTag extends string,
   TInput,
   TOutput extends NonReducibleUnknown,
-  TTypesMeta extends TypegenConstraint
+  TTypesMeta extends TypegenConstraint,
+  TConfig extends MachineConfig<
+    TContext,
+    TEvent,
+    TActor,
+    TAction,
+    TGuard,
+    TDelay,
+    TTag,
+    TInput,
+    TOutput,
+    TStringLiteral
+  >,
+  TStringLiteral extends string
 >(
-  config: MachineConfig<
+  config: InferenceSource<
     TContext,
     TEvent,
     TActor,
@@ -34,7 +75,8 @@ export function createMachine<
     TInput,
     TOutput,
     TTypesMeta
-  >,
+  > &
+    TConfig,
   implementations?: InternalMachineImplementations<
     TContext,
     TEvent,

packages/core/src/StateMachine.ts

@@ -129,7 +129,7 @@ export class StateMachine<
       any,
       any,
       TOutput,
-      any
+      string
     >,
     implementations?: MachineImplementationsSimplified<TContext, TEvent>
   ) {

packages/core/src/StateNode.ts

@@ -159,7 +159,8 @@ export class StateNode<
       TODO, // output
       TODO, // guards
       TODO, // delays
-      TODO // tags
+      TODO, // tags
+      string // TStringLiteral
     >,
     options: StateNodeOptions<TContext, TEvent>
   ) {
@@ -293,6 +294,7 @@ export class StateNode<
       ProvidedActor,
       ParameterizedObject,
       ParameterizedObject,
+      string,
       string
     >
   > {
@@ -337,6 +339,7 @@ export class StateNode<
           ProvidedActor,
           ParameterizedObject,
           ParameterizedObject,
+          string,
           string
         >;
       })

packages/core/src/actions/pure.ts

@@ -65,7 +65,8 @@ export function pure<
   TActor extends ProvidedActor = ProvidedActor,
   TAction extends ParameterizedObject = ParameterizedObject,
   TGuard extends ParameterizedObject = ParameterizedObject,
-  TDelay extends string = string
+  TDelay extends string = string,
+  TStringLiteral extends string = string
 >(
   getActions: ({
     context,
@@ -82,7 +83,8 @@ export function pure<
         TActor,
         NoInfer<TAction>,
         NoInfer<TGuard>,
-        TDelay
+        TDelay,
+        TStringLiteral
       >
     | undefined
 ): PureAction<

packages/core/src/guards.ts

@@ -35,10 +35,11 @@ export type Guard<
   TContext extends MachineContext,
   TExpressionEvent extends EventObject,
   TExpressionGuard extends ParameterizedObject | undefined,
-  TGuard extends ParameterizedObject
+  TGuard extends ParameterizedObject,
+  TStringLiteral extends string
 > =
   | NoRequiredParams<TGuard>
-  | WithDynamicParams<TContext, TExpressionEvent, TGuard>
+  | WithDynamicParams<TContext, TExpressionEvent, TGuard, TStringLiteral>
   | GuardPredicate<TContext, TExpressionEvent, TExpressionGuard, TGuard>;
 
 export type UnknownGuard = UnknownReferencedGuard | UnknownInlineGuard;
@@ -47,14 +48,16 @@ type UnknownReferencedGuard = Guard<
   MachineContext,
   EventObject,
   ParameterizedObject,
-  ParameterizedObject
+  ParameterizedObject,
+  string
 >;
 
 type UnknownInlineGuard = Guard<
   MachineContext,
   EventObject,
   undefined,
-  ParameterizedObject
+  ParameterizedObject,
+  string
 >;
 
 interface BuiltinGuard {
@@ -114,7 +117,15 @@ export function not<
   TExpressionEvent extends EventObject,
   TExpressionGuard extends ParameterizedObject | undefined,
   TGuard extends ParameterizedObject
->(guard: Guard<TContext, TExpressionEvent, TExpressionGuard, NoInfer<TGuard>>) {
+>(
+  guard: Guard<
+    TContext,
+    TExpressionEvent,
+    TExpressionGuard,
+    NoInfer<TGuard>,
+    string
+  >
+) {
   function not(_: GuardArgs<TContext, TExpressionEvent, TExpressionGuard>) {
     if (isDevelopment) {
       throw new Error(`This isn't supposed to be called`);
@@ -148,7 +159,7 @@ export function and<
   TGuard extends ParameterizedObject
 >(
   guards: ReadonlyArray<
-    Guard<TContext, TExpressionEvent, TExpressionGuard, NoInfer<TGuard>>
+    Guard<TContext, TExpressionEvent, TExpressionGuard, NoInfer<TGuard>, string>
   >
 ) {
   function and(_: GuardArgs<TContext, TExpressionEvent, TExpressionGuard>) {
@@ -184,7 +195,7 @@ export function or<
   TGuard extends ParameterizedObject
 >(
   guards: ReadonlyArray<
-    Guard<TContext, TExpressionEvent, TExpressionGuard, NoInfer<TGuard>>
+    Guard<TContext, TExpressionEvent, TExpressionGuard, NoInfer<TGuard>, string>
   >
 ) {
   function or(_: GuardArgs<TContext, TExpressionEvent, TExpressionGuard>) {

packages/core/src/stateUtils.ts

@@ -460,7 +460,7 @@ export function formatInitialTransition<
   stateNode: AnyStateNode,
   _target:
     | SingleOrArray<string>
-    | InitialTransitionConfig<TContext, TEvent, TODO, TODO, TODO, TODO>
+    | InitialTransitionConfig<TContext, TEvent, TODO, TODO, TODO, TODO, string>
 ): InitialTransitionDefinition<TContext, TEvent> {
   if (typeof _target === 'string' || isArray(_target)) {
     const targets = toArray(_target).map((t) => {