xstate 5.33.3 → 5.33.4

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

@@ -1,7 +1,13 @@
-import { EventDescriptor, EventObject, ExtractEvent } from "./types.js";
+import { EventDescriptor, EventObject } from "./types.js";
+type NormalizeAssertedDescriptor<TDescriptor extends string> = TDescriptor extends '*' ? string : TDescriptor extends `${infer TLeading}.*` ? TLeading | `${TLeading}.${string}` : TDescriptor;
+type AssertedEvent<TEvent extends EventObject, TDescriptor extends string> = (TEvent extends {
+    type: infer TType extends string;
+} ? true extends (TType extends NormalizeAssertedDescriptor<TDescriptor> ? true : false) ? TEvent : never : never) | (string extends TEvent['type'] ? TEvent : never);
 /**
  * Asserts that the given event object is of the specified type or types. Throws
  * an error if the event object is not of the specified types.
+ * Partial wildcard descriptors such as `feedback.*` match both `feedback` and
+ * its descendants, such as `feedback.good`.
  *
  * @example
  *
@@ -22,4 +28,5 @@ import { EventDescriptor, EventObject, ExtractEvent } from "./types.js";
  * },
  * ```
  */
-export declare function assertEvent<TEvent extends EventObject, TAssertedDescriptor extends EventDescriptor<TEvent>>(event: TEvent, type: TAssertedDescriptor | readonly TAssertedDescriptor[]): asserts event is ExtractEvent<TEvent, TAssertedDescriptor>;
+export declare function assertEvent<TEvent extends EventObject, TAssertedDescriptor extends EventDescriptor<TEvent>>(event: TEvent, type: TAssertedDescriptor | readonly TAssertedDescriptor[]): asserts event is AssertedEvent<TEvent, TAssertedDescriptor>;
+export {};

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

@@ -193,7 +193,7 @@ export type TransitionsConfig<TContext extends MachineContext, TEvent extends Ev
 };
 type PartialEventDescriptor<TEventType extends string> = TEventType extends `${infer TLeading}.${infer TTail}` ? `${TLeading}.*` | `${TLeading}.${PartialEventDescriptor<TTail>}` : never;
 export type EventDescriptor<TEvent extends EventObject> = TEvent['type'] | PartialEventDescriptor<TEvent['type']> | '*';
-type NormalizeDescriptor<TDescriptor extends string> = TDescriptor extends '*' ? string : TDescriptor extends `${infer TLeading}.*` ? `${TLeading}.${string}` : TDescriptor;
+type NormalizeDescriptor<TDescriptor extends string> = TDescriptor extends '*' ? string : TDescriptor extends `${infer TLeading}.*` ? TLeading | `${TLeading}.${string}` : TDescriptor;
 export type IsLiteralString<T extends string> = string extends T ? false : true;
 type DistributeActors<TContext extends MachineContext, TEvent extends EventObject, TActor extends ProvidedActor, TAction extends ParameterizedObject, TGuard extends ParameterizedObject, TDelay extends string, TEmitted extends EventObject, TTransitionMeta extends MetaObject, TSpecificActor extends ProvidedActor> = TSpecificActor extends {
     src: infer TSrc;