@lite-fsm/core 2.0.1 → 2.0.3

package/dist/interfaces.d.cts

@@ -1,8 +1,9 @@
 import { AnyEvent, AnyRecord, DefaultDeps, GenerateSpawnIdFn, MachineConfig, MachineManagerDehydrateFn, MachineManagerRuntimeSnapshot, MachineManagerSnapshot, MachineStore, MachinesState, Reducer, StateName, StateType, TransitionSubscriber, HydrateOptions, HydratePreviewOptions, UnknownMachineKeyContext, Middleware, WILDCARD, ManagerAction } from "./types";
 type UnionToIntersection<U> = (U extends unknown ? (value: U) => void : never) extends (value: infer I) => void ? I : never;
-type ConfigDependencies<E> = E extends MachineConfig<object, AnyRecord, AnyEvent, infer D> ? D : never;
+type ConfigDependencies<E> = E extends MachineConfig<infer C, infer T, infer P, infer D, infer Snapshot> ? [C, T, P, D, Snapshot] extends [object, AnyRecord, AnyEvent, AnyRecord, unknown] ? D : never : never;
+type EffectFunctionDependencies<F> = NonNullable<F> extends (deps: infer D) => unknown ? Omit<D, keyof DefaultDeps | "self"> : {};
 type EffectDependencies<E> = "effects" extends keyof E ? keyof NonNullable<E["effects"]> extends never ? {} : [ConfigDependencies<E>] extends [never] ? UnionToIntersection<{
-    [key in keyof NonNullable<E["effects"]>]: NonNullable<E["effects"]>[key] extends (deps: infer D) => unknown ? Omit<D, keyof DefaultDeps | "self"> : {};
+    [key in keyof NonNullable<E["effects"]>]: EffectFunctionDependencies<NonNullable<E["effects"]>[key]>;
 }[keyof NonNullable<E["effects"]>]> : ConfigDependencies<E> : {};
 export type MachineDependencies<S extends MachineStore> = keyof S extends never ? {} : UnionToIntersection<{
     [key in keyof S]: EffectDependencies<S[key]>;

package/dist/interfaces.d.ts

@@ -1,8 +1,9 @@
 import { AnyEvent, AnyRecord, DefaultDeps, GenerateSpawnIdFn, MachineConfig, MachineManagerDehydrateFn, MachineManagerRuntimeSnapshot, MachineManagerSnapshot, MachineStore, MachinesState, Reducer, StateName, StateType, TransitionSubscriber, HydrateOptions, HydratePreviewOptions, UnknownMachineKeyContext, Middleware, WILDCARD, ManagerAction } from "./types";
 type UnionToIntersection<U> = (U extends unknown ? (value: U) => void : never) extends (value: infer I) => void ? I : never;
-type ConfigDependencies<E> = E extends MachineConfig<object, AnyRecord, AnyEvent, infer D> ? D : never;
+type ConfigDependencies<E> = E extends MachineConfig<infer C, infer T, infer P, infer D, infer Snapshot> ? [C, T, P, D, Snapshot] extends [object, AnyRecord, AnyEvent, AnyRecord, unknown] ? D : never : never;
+type EffectFunctionDependencies<F> = NonNullable<F> extends (deps: infer D) => unknown ? Omit<D, keyof DefaultDeps | "self"> : {};
 type EffectDependencies<E> = "effects" extends keyof E ? keyof NonNullable<E["effects"]> extends never ? {} : [ConfigDependencies<E>] extends [never] ? UnionToIntersection<{
-    [key in keyof NonNullable<E["effects"]>]: NonNullable<E["effects"]>[key] extends (deps: infer D) => unknown ? Omit<D, keyof DefaultDeps | "self"> : {};
+    [key in keyof NonNullable<E["effects"]>]: EffectFunctionDependencies<NonNullable<E["effects"]>[key]>;
 }[keyof NonNullable<E["effects"]>]> : ConfigDependencies<E> : {};
 export type MachineDependencies<S extends MachineStore> = keyof S extends never ? {} : UnionToIntersection<{
     [key in keyof S]: EffectDependencies<S[key]>;

package/dist/types.d.cts

@@ -236,7 +236,7 @@ type SnapshotFromDomainHydrate<M> = M extends {
 } ? Snapshot : MachineRuntimeSnapshotForMachine<M>;
 type DomainSnapshotForMachine<M> = M extends {
     dehydrate: (...args: any[]) => unknown;
-} ? SnapshotFromDehydrate<M> : SnapshotFromDomainHydrate<M>;
+} ? SnapshotFromDehydrate<M> : M extends MachineConfig<infer _C, infer _T, infer _P, infer _D, infer Snapshot> ? Snapshot : SnapshotFromDomainHydrate<M>;
 export type SnapshotForMachine<M> = IsActorTemplate<M> extends true ? ActorSnapshotForMachine<M> : DomainSnapshotForMachine<M>;
 export type MachineSnapshot<M> = SnapshotForMachine<M>;
 type ActorTemplateKey<S extends MachineStore> = {

package/dist/types.d.ts

@@ -236,7 +236,7 @@ type SnapshotFromDomainHydrate<M> = M extends {
 } ? Snapshot : MachineRuntimeSnapshotForMachine<M>;
 type DomainSnapshotForMachine<M> = M extends {
     dehydrate: (...args: any[]) => unknown;
-} ? SnapshotFromDehydrate<M> : SnapshotFromDomainHydrate<M>;
+} ? SnapshotFromDehydrate<M> : M extends MachineConfig<infer _C, infer _T, infer _P, infer _D, infer Snapshot> ? Snapshot : SnapshotFromDomainHydrate<M>;
 export type SnapshotForMachine<M> = IsActorTemplate<M> extends true ? ActorSnapshotForMachine<M> : DomainSnapshotForMachine<M>;
 export type MachineSnapshot<M> = SnapshotForMachine<M>;
 type ActorTemplateKey<S extends MachineStore> = {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lite-fsm/core",
-  "version": "2.0.1",
+  "version": "2.0.3",
   "type": "module",
   "description": "Framework-agnostic runtime for lite-fsm",
   "license": "MIT",