@lite-fsm/core 2.0.0 → 2.0.2

package/README.md

@@ -0,0 +1,63 @@
+# @lite-fsm/core
+
+Framework-agnostic runtime for `lite-fsm`: typed machine configs, `MachineManager`, effects, actor templates, snapshots, hydration, middleware contracts, and core TypeScript types.
+
+Use this package when you want the FSM runtime without React or any UI dependency.
+
+## Install
+
+```bash
+npm install @lite-fsm/core
+```
+
+For Immer-style reducers that mutate draft state, also install middleware:
+
+```bash
+npm install @lite-fsm/middleware immer
+```
+
+## Quick Example
+
+```ts
+import { MachineManager, createMachine, type FSMEvent } from "@lite-fsm/core";
+
+type ToggleEvent = FSMEvent<"TOGGLE"> | FSMEvent<"RESET">;
+
+const toggle = createMachine<ToggleEvent>({
+  config: {
+    OFF: { TOGGLE: "ON", RESET: "OFF" },
+    ON: { TOGGLE: "OFF", RESET: "OFF" },
+  },
+  initialState: "OFF",
+  initialContext: { count: 0 },
+  reducer: (slice, event, { nextState }) => ({
+    state: nextState,
+    context: {
+      count: event.type === "RESET" ? 0 : slice.context.count + 1,
+    },
+  }),
+});
+
+const manager = MachineManager({ toggle });
+
+manager.transition({ type: "TOGGLE" });
+
+console.log(manager.getState().toggle);
+// { state: "ON", context: { count: 1 } }
+```
+
+## Main Exports
+
+- `createMachine` - typed machine config factory.
+- `MachineManager` - runtime store for coordinating multiple machines.
+- `createEffect` - effect wrapper with `every` or `latest` semantics.
+- `createConfig` and `createReducer` - helpers for reusable typed config and reducer definitions.
+- `Machine` and `defineMachine` - standalone machine APIs.
+- Snapshot and hydration types for `dehydrate()` / `hydrate()` workflows.
+- Middleware, actor, event, state, and manager types.
+
+## Documentation
+
+- [Full documentation](https://alexandergureev.github.io/lite-fsm/)
+- [Core package guide](https://alexandergureev.github.io/lite-fsm/packages/core)
+- [Core API reference](https://alexandergureev.github.io/lite-fsm/api/core)

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.0",
+  "version": "2.0.2",
   "type": "module",
   "description": "Framework-agnostic runtime for lite-fsm",
   "license": "MIT",