@logixjs/core 0.0.1 → 1.0.0

package/package.json

@@ -1,6 +1,12 @@
 {
   "name": "@logixjs/core",
-  "version": "0.0.1",
+  "version": "1.0.0",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/yoyooyooo/logix",
+    "directory": "packages/logix-core"
+  },
+  "license": "Apache-2.0",
   "description": "The pure logic engine for Logix",
   "files": [
     "dist/**"
@@ -36,6 +42,11 @@
       "import": "./dist/EffectOp.js",
       "require": "./dist/EffectOp.cjs"
     },
+    "./ExternalStore": {
+      "types": "./dist/ExternalStore.d.ts",
+      "import": "./dist/ExternalStore.js",
+      "require": "./dist/ExternalStore.cjs"
+    },
     "./Env": {
       "types": "./dist/Env.d.ts",
       "import": "./dist/Env.js",
@@ -46,6 +57,11 @@
       "import": "./dist/Flow.js",
       "require": "./dist/Flow.cjs"
     },
+    "./Workflow": {
+      "types": "./dist/Workflow.d.ts",
+      "import": "./dist/Workflow.js",
+      "require": "./dist/Workflow.cjs"
+    },
     "./Kernel": {
       "types": "./dist/Kernel.d.ts",
       "import": "./dist/Kernel.js",
@@ -137,17 +153,17 @@
     "access": "public"
   },
   "dependencies": {
-    "effect": "^3.19.8",
+    "effect": "4.0.0-beta.28",
     "mutative": "^1.0.4"
   },
   "devDependencies": {
-    "@effect/vitest": "^0.27.0",
+    "@effect/vitest": "4.0.0-beta.28",
     "tsup": "^8.0.0",
     "typescript": "^5.4.0",
     "vitest": "^4.0.15"
   },
   "peerDependencies": {
-    "effect": "^3.19.8"
+    "effect": "4.0.0-beta.28"
   },
   "scripts": {
     "build": "tsup --format cjs,esm --dts",

package/dist/ModuleTag-C8FHY_sY.d.ts

@@ -1,93 +0,0 @@
-import { Schema } from 'effect';
-import { D as Draft } from './Logic-BRjEMr-W.js';
-import { N as NormalizedActionTokens, b as ActionDefs } from './action-DiMDD_0v.js';
-import { F as FieldPath, A as AnySchema, i as ModuleShape, q as ActionsFromMap, R as ReducersFromMap, M as ModuleTag$1, p as ActionOf, h as AnyModuleShape, B as BoundApi, m as ModuleHandle, G as ModuleHandleUnion, k as ModuleImpl, j as ModuleLogic, l as ModuleRuntime, v as StateChangeWithMeta, u as StateCommitMeta, s as StateCommitMode, t as StateCommitPriority, o as StateOf } from './module-k7m3txak.js';
-
-type NoInfer_<T> = [T][T extends any ? 0 : never];
-
-/**
- * Reducer helper:
- * - `Reducer.mutate` provides the same mutative style as `$.state.mutate`.
- * - Internally uses mutative-based immutable updates to map "in-place draft mutation" into a pure `(state, action) => state`.
- *
- * @example
- *
- *   const Counter = Logix.ModuleTag.make("Counter", {
- *     state: CounterState,
- *     actions: CounterActions,
- *     reducers: {
- *       inc: Logix.ModuleTag.Reducer.mutate((draft, _payload) => {
- *         draft.count += 1
- *       }),
- *     },
- *   })
- *
- *   yield* $.reducer(
- *     "setValue",
- *     Logix.ModuleTag.Reducer.mutate((draft, payload) => {
- *       draft.value = payload
- *     }),
- *   )
- */
-declare const Reducer: {
-    mutate: <S, A extends {
-        readonly payload?: any;
-    }>(mutator: (draft: Draft<S>, payload: A["payload"]) => void) => ((state: S, action: A, sink?: (path: string | FieldPath) => void) => S);
-    mutateMap: <R extends Readonly<Record<string, ((state: any, action: any, sink?: (path: string | FieldPath) => void) => any) | undefined>>>(mutators: { readonly [K in keyof NoInfer_<R>]?: (draft: Draft<Parameters<NonNullable<NoInfer_<R>[K]>>[0]>, payload: Parameters<NonNullable<NoInfer_<R>[K]>>[1] extends {
-        readonly payload: infer P;
-    } ? P : Parameters<NonNullable<NoInfer_<R>[K]>>[1] extends {
-        readonly payload?: infer P;
-    } ? P | undefined : never) => void; }) => R;
-};
-/**
- * A simplified Shape definition helper, designed for Action Maps.
- * @example type MyShape = Shape<typeof MyState, typeof MyActionMap>
- */
-type Shape<S extends AnySchema, M extends Record<string, AnySchema>> = ModuleShape<S, Schema.Schema<ActionsFromMap<NormalizedActionTokens<M & ActionDefs>>>, NormalizedActionTokens<M & ActionDefs>>;
-/**
- * ModuleTag.make：
- * - Defines a domain module Tag using the given id and state/actions/reducers.
- * - The returned ModuleTag is both a Context.Tag and a factory carrying its Shape.
- *
- * Note: since 022, the old `Module` (Tag identity) was renamed to `ModuleTag`; use `Logix.Module` for module definition objects.
- */
-declare const make: <Id extends string, SSchema extends AnySchema, ADefs extends ActionDefs>(id: Id, def: {
-    readonly state: SSchema;
-    readonly actions: ADefs;
-    readonly reducers?: ReducersFromMap<SSchema, ADefs>;
-    /**
-     * traits：
-     * - Used to attach a StateTraitSpec (see specs/000-module-traits-runtime).
-     * - The current implementation builds a Program during ModuleTag.make, and injects a setup-only Logic in `ModuleTag.implement`
-     *   to call `StateTrait.install`.
-     *   (Note: if you use `ModuleTag.live` to export a Layer and want trait behavior, call `StateTrait.install` explicitly in logics,
-     *   or use `ModuleTag.implement` instead.)
-     */
-    readonly traits?: unknown;
-}) => ModuleTag$1<Id, ModuleShape<SSchema, Schema.Schema<ActionsFromMap<NormalizedActionTokens<ADefs>>>, NormalizedActionTokens<ADefs>>>;
-
-declare const ModuleTag_ActionOf: typeof ActionOf;
-declare const ModuleTag_ActionsFromMap: typeof ActionsFromMap;
-declare const ModuleTag_AnyModuleShape: typeof AnyModuleShape;
-declare const ModuleTag_AnySchema: typeof AnySchema;
-declare const ModuleTag_BoundApi: typeof BoundApi;
-declare const ModuleTag_ModuleHandle: typeof ModuleHandle;
-declare const ModuleTag_ModuleHandleUnion: typeof ModuleHandleUnion;
-declare const ModuleTag_ModuleImpl: typeof ModuleImpl;
-declare const ModuleTag_ModuleLogic: typeof ModuleLogic;
-declare const ModuleTag_ModuleRuntime: typeof ModuleRuntime;
-declare const ModuleTag_ModuleShape: typeof ModuleShape;
-declare const ModuleTag_Reducer: typeof Reducer;
-declare const ModuleTag_ReducersFromMap: typeof ReducersFromMap;
-type ModuleTag_Shape<S extends AnySchema, M extends Record<string, AnySchema>> = Shape<S, M>;
-declare const ModuleTag_StateChangeWithMeta: typeof StateChangeWithMeta;
-declare const ModuleTag_StateCommitMeta: typeof StateCommitMeta;
-declare const ModuleTag_StateCommitMode: typeof StateCommitMode;
-declare const ModuleTag_StateCommitPriority: typeof StateCommitPriority;
-declare const ModuleTag_StateOf: typeof StateOf;
-declare const ModuleTag_make: typeof make;
-declare namespace ModuleTag {
-  export { ModuleTag_ActionOf as ActionOf, ModuleTag_ActionsFromMap as ActionsFromMap, ModuleTag_AnyModuleShape as AnyModuleShape, ModuleTag_AnySchema as AnySchema, ModuleTag_BoundApi as BoundApi, ModuleTag_ModuleHandle as ModuleHandle, ModuleTag_ModuleHandleUnion as ModuleHandleUnion, ModuleTag_ModuleImpl as ModuleImpl, ModuleTag_ModuleLogic as ModuleLogic, ModuleTag_ModuleRuntime as ModuleRuntime, ModuleTag_ModuleShape as ModuleShape, ModuleTag$1 as ModuleTag, ModuleTag_Reducer as Reducer, ModuleTag_ReducersFromMap as ReducersFromMap, type ModuleTag_Shape as Shape, ModuleTag_StateChangeWithMeta as StateChangeWithMeta, ModuleTag_StateCommitMeta as StateCommitMeta, ModuleTag_StateCommitMode as StateCommitMode, ModuleTag_StateCommitPriority as StateCommitPriority, ModuleTag_StateOf as StateOf, ModuleTag_make as make };
-}
-
-export { ModuleTag as M, Reducer as R, type Shape as S, make as m };

package/dist/ModuleTag-EGbgBMpZ.d.cts

@@ -1,93 +0,0 @@
-import { Schema } from 'effect';
-import { D as Draft } from './Logic-DRh4sDZj.cjs';
-import { N as NormalizedActionTokens, b as ActionDefs } from './action-DiMDD_0v.cjs';
-import { F as FieldPath, A as AnySchema, i as ModuleShape, q as ActionsFromMap, R as ReducersFromMap, M as ModuleTag$1, p as ActionOf, h as AnyModuleShape, B as BoundApi, m as ModuleHandle, G as ModuleHandleUnion, k as ModuleImpl, j as ModuleLogic, l as ModuleRuntime, v as StateChangeWithMeta, u as StateCommitMeta, s as StateCommitMode, t as StateCommitPriority, o as StateOf } from './module-B8CBqIZ_.cjs';
-
-type NoInfer_<T> = [T][T extends any ? 0 : never];
-
-/**
- * Reducer helper:
- * - `Reducer.mutate` provides the same mutative style as `$.state.mutate`.
- * - Internally uses mutative-based immutable updates to map "in-place draft mutation" into a pure `(state, action) => state`.
- *
- * @example
- *
- *   const Counter = Logix.ModuleTag.make("Counter", {
- *     state: CounterState,
- *     actions: CounterActions,
- *     reducers: {
- *       inc: Logix.ModuleTag.Reducer.mutate((draft, _payload) => {
- *         draft.count += 1
- *       }),
- *     },
- *   })
- *
- *   yield* $.reducer(
- *     "setValue",
- *     Logix.ModuleTag.Reducer.mutate((draft, payload) => {
- *       draft.value = payload
- *     }),
- *   )
- */
-declare const Reducer: {
-    mutate: <S, A extends {
-        readonly payload?: any;
-    }>(mutator: (draft: Draft<S>, payload: A["payload"]) => void) => ((state: S, action: A, sink?: (path: string | FieldPath) => void) => S);
-    mutateMap: <R extends Readonly<Record<string, ((state: any, action: any, sink?: (path: string | FieldPath) => void) => any) | undefined>>>(mutators: { readonly [K in keyof NoInfer_<R>]?: (draft: Draft<Parameters<NonNullable<NoInfer_<R>[K]>>[0]>, payload: Parameters<NonNullable<NoInfer_<R>[K]>>[1] extends {
-        readonly payload: infer P;
-    } ? P : Parameters<NonNullable<NoInfer_<R>[K]>>[1] extends {
-        readonly payload?: infer P;
-    } ? P | undefined : never) => void; }) => R;
-};
-/**
- * A simplified Shape definition helper, designed for Action Maps.
- * @example type MyShape = Shape<typeof MyState, typeof MyActionMap>
- */
-type Shape<S extends AnySchema, M extends Record<string, AnySchema>> = ModuleShape<S, Schema.Schema<ActionsFromMap<NormalizedActionTokens<M & ActionDefs>>>, NormalizedActionTokens<M & ActionDefs>>;
-/**
- * ModuleTag.make：
- * - Defines a domain module Tag using the given id and state/actions/reducers.
- * - The returned ModuleTag is both a Context.Tag and a factory carrying its Shape.
- *
- * Note: since 022, the old `Module` (Tag identity) was renamed to `ModuleTag`; use `Logix.Module` for module definition objects.
- */
-declare const make: <Id extends string, SSchema extends AnySchema, ADefs extends ActionDefs>(id: Id, def: {
-    readonly state: SSchema;
-    readonly actions: ADefs;
-    readonly reducers?: ReducersFromMap<SSchema, ADefs>;
-    /**
-     * traits：
-     * - Used to attach a StateTraitSpec (see specs/000-module-traits-runtime).
-     * - The current implementation builds a Program during ModuleTag.make, and injects a setup-only Logic in `ModuleTag.implement`
-     *   to call `StateTrait.install`.
-     *   (Note: if you use `ModuleTag.live` to export a Layer and want trait behavior, call `StateTrait.install` explicitly in logics,
-     *   or use `ModuleTag.implement` instead.)
-     */
-    readonly traits?: unknown;
-}) => ModuleTag$1<Id, ModuleShape<SSchema, Schema.Schema<ActionsFromMap<NormalizedActionTokens<ADefs>>>, NormalizedActionTokens<ADefs>>>;
-
-declare const ModuleTag_ActionOf: typeof ActionOf;
-declare const ModuleTag_ActionsFromMap: typeof ActionsFromMap;
-declare const ModuleTag_AnyModuleShape: typeof AnyModuleShape;
-declare const ModuleTag_AnySchema: typeof AnySchema;
-declare const ModuleTag_BoundApi: typeof BoundApi;
-declare const ModuleTag_ModuleHandle: typeof ModuleHandle;
-declare const ModuleTag_ModuleHandleUnion: typeof ModuleHandleUnion;
-declare const ModuleTag_ModuleImpl: typeof ModuleImpl;
-declare const ModuleTag_ModuleLogic: typeof ModuleLogic;
-declare const ModuleTag_ModuleRuntime: typeof ModuleRuntime;
-declare const ModuleTag_ModuleShape: typeof ModuleShape;
-declare const ModuleTag_Reducer: typeof Reducer;
-declare const ModuleTag_ReducersFromMap: typeof ReducersFromMap;
-type ModuleTag_Shape<S extends AnySchema, M extends Record<string, AnySchema>> = Shape<S, M>;
-declare const ModuleTag_StateChangeWithMeta: typeof StateChangeWithMeta;
-declare const ModuleTag_StateCommitMeta: typeof StateCommitMeta;
-declare const ModuleTag_StateCommitMode: typeof StateCommitMode;
-declare const ModuleTag_StateCommitPriority: typeof StateCommitPriority;
-declare const ModuleTag_StateOf: typeof StateOf;
-declare const ModuleTag_make: typeof make;
-declare namespace ModuleTag {
-  export { ModuleTag_ActionOf as ActionOf, ModuleTag_ActionsFromMap as ActionsFromMap, ModuleTag_AnyModuleShape as AnyModuleShape, ModuleTag_AnySchema as AnySchema, ModuleTag_BoundApi as BoundApi, ModuleTag_ModuleHandle as ModuleHandle, ModuleTag_ModuleHandleUnion as ModuleHandleUnion, ModuleTag_ModuleImpl as ModuleImpl, ModuleTag_ModuleLogic as ModuleLogic, ModuleTag_ModuleRuntime as ModuleRuntime, ModuleTag_ModuleShape as ModuleShape, ModuleTag$1 as ModuleTag, ModuleTag_Reducer as Reducer, ModuleTag_ReducersFromMap as ReducersFromMap, type ModuleTag_Shape as Shape, ModuleTag_StateChangeWithMeta as StateChangeWithMeta, ModuleTag_StateCommitMeta as StateCommitMeta, ModuleTag_StateCommitMode as StateCommitMode, ModuleTag_StateCommitPriority as StateCommitPriority, ModuleTag_StateOf as StateOf, ModuleTag_make as make };
-}
-
-export { ModuleTag as M, Reducer as R, type Shape as S, make as m };