@logixjs/core 0.0.1 → 1.0.0

package/dist/Module.d.cts

@@ -1,8 +1,9 @@
-export { p as ActionOf, q as ActionsFromMap, h as AnyModuleShape, A as AnySchema, B as BoundApi, m as ModuleHandle, k as ModuleImpl, j as ModuleLogic, l as ModuleRuntime, i as ModuleShape, M as ModuleTag, r as MutatorsFromMap, R as ReducersFromMap, v as StateChangeWithMeta, u as StateCommitMeta, s as StateCommitMode, t as StateCommitPriority, o as StateOf } from './module-B8CBqIZ_.cjs';
+export { E as ActionForTag, w as ActionOf, x as ActionsFromMap, o as AnyModuleShape, A as AnySchema, B as BoundApi, J as BoundApiDispatchApi, I as BoundApiDispatchersApi, K as BoundApiLifecycleApi, Q as BoundApiReducerApi, G as BoundApiRootApi, H as BoundApiStateApi, O as BoundApiTraitsApi, N as BoundApiUseApi, z as DispatchEffect, L as LogicEffect, u as ModuleHandle, r as ModuleImpl, q as ModuleLogic, s as ModuleRuntime, t as ModuleRuntimeOfShape, p as ModuleShape, M as ModuleTag, y as MutatorsFromMap, V as ReadonlySubscriptionRef, R as ReducersFromMap, U as StateChangeWithMeta, a as StateCommitMeta, T as StateCommitMode, S as StateCommitPriority, v as StateOf } from './module-Ds4tarcI.cjs';
 import 'effect';
-import './Logic-DRh4sDZj.cjs';
-import './action-DiMDD_0v.cjs';
-export { A as AnyModule, D as DevSource, H as HandleExtendFn, L as LogicUnitOptions, g as MakeExtendDef, j as Manage, k as Module, d as ModuleDef, c as ModuleDescriptor, a as ModuleDev, b as MountedLogicUnitSummary, R as Reducer, S as Shape, f as descriptor, h as hasImpl, i as is, m as make, e as unwrapImpl, u as unwrapTag } from './Module-B_0xRDMR.cjs';
+import './Logic-09VQpIj3.cjs';
+import './Workflow-DmydkHO8.cjs';
+import './action-BQxjPFEw.cjs';
+import './ReadQuery-DXLzCE0E.cjs';
+export { n as ActionSchemaOf, l as ActionTokenMap, m as ActionUnionOf, A as AnyModule, D as DevSource, H as HandleExtendFn, L as LogicUnitOptions, k as MakeExtendDef, p as Manage, q as Module, f as ModuleDef, c as ModuleDescriptor, a as ModuleDev, e as ModuleLogicApi, d as ModuleSelfHandleEffect, b as MountedLogicUnitSummary, R as Reducer, S as Shape, j as descriptor, h as hasImpl, i as is, o as make, g as unwrapImpl, u as unwrapTag } from './Module-CmNOVXzf.cjs';
 import 'mutative';
-import './Platform-C49Pv956.cjs';
-import './ReadQuery-SinbStGF.cjs';
+import './Platform-BV_0MW7g.cjs';

package/dist/Module.d.ts

@@ -1,8 +1,9 @@
-export { p as ActionOf, q as ActionsFromMap, h as AnyModuleShape, A as AnySchema, B as BoundApi, m as ModuleHandle, k as ModuleImpl, j as ModuleLogic, l as ModuleRuntime, i as ModuleShape, M as ModuleTag, r as MutatorsFromMap, R as ReducersFromMap, v as StateChangeWithMeta, u as StateCommitMeta, s as StateCommitMode, t as StateCommitPriority, o as StateOf } from './module-k7m3txak.js';
+export { E as ActionForTag, w as ActionOf, x as ActionsFromMap, o as AnyModuleShape, A as AnySchema, B as BoundApi, J as BoundApiDispatchApi, I as BoundApiDispatchersApi, K as BoundApiLifecycleApi, Q as BoundApiReducerApi, G as BoundApiRootApi, H as BoundApiStateApi, O as BoundApiTraitsApi, N as BoundApiUseApi, z as DispatchEffect, L as LogicEffect, u as ModuleHandle, r as ModuleImpl, q as ModuleLogic, s as ModuleRuntime, t as ModuleRuntimeOfShape, p as ModuleShape, M as ModuleTag, y as MutatorsFromMap, V as ReadonlySubscriptionRef, R as ReducersFromMap, U as StateChangeWithMeta, a as StateCommitMeta, T as StateCommitMode, S as StateCommitPriority, v as StateOf } from './module-Zd1Gn-Nj.js';
 import 'effect';
-import './Logic-BRjEMr-W.js';
-import './action-DiMDD_0v.js';
-export { A as AnyModule, D as DevSource, H as HandleExtendFn, L as LogicUnitOptions, g as MakeExtendDef, j as Manage, k as Module, d as ModuleDef, c as ModuleDescriptor, a as ModuleDev, b as MountedLogicUnitSummary, R as Reducer, S as Shape, f as descriptor, h as hasImpl, i as is, m as make, e as unwrapImpl, u as unwrapTag } from './Module-DnzluX2J.js';
+import './Logic-DKg7ghGy.js';
+import './Workflow-C_OWr4dV.js';
+import './action-BQxjPFEw.js';
+import './ReadQuery-DXLzCE0E.js';
+export { n as ActionSchemaOf, l as ActionTokenMap, m as ActionUnionOf, A as AnyModule, D as DevSource, H as HandleExtendFn, L as LogicUnitOptions, k as MakeExtendDef, p as Manage, q as Module, f as ModuleDef, c as ModuleDescriptor, a as ModuleDev, e as ModuleLogicApi, d as ModuleSelfHandleEffect, b as MountedLogicUnitSummary, R as Reducer, S as Shape, j as descriptor, h as hasImpl, i as is, o as make, g as unwrapImpl, u as unwrapTag } from './Module-B_Cntyms.js';
 import 'mutative';
-import './Platform-C49Pv956.js';
-import './ReadQuery-SinbStGF.js';
+import './Platform-BV_0MW7g.js';

package/dist/Module.js

@@ -7,38 +7,46 @@ import {
   make,
   unwrapImpl,
   unwrapTag
-} from "./chunk-OGWBVHB3.js";
-import "./chunk-76WT3HOR.js";
-import "./chunk-KIXAU3GM.js";
-import "./chunk-JCXGZRMU.js";
-import "./chunk-JGIWG6SR.js";
-import "./chunk-PYOE4VSI.js";
-import "./chunk-BABLDP24.js";
-import "./chunk-NZJKFF45.js";
-import "./chunk-KP7MUZNX.js";
-import "./chunk-PAYXCY6A.js";
-import "./chunk-ZGDVUPTM.js";
+} from "./chunk-ESR6HGOY.js";
+import "./chunk-PD6YECQH.js";
+import "./chunk-3L6QGFMM.js";
+import "./chunk-6YZOXFPQ.js";
+import "./chunk-GWSM4KLB.js";
+import "./chunk-AO4JEOKD.js";
+import "./chunk-SNPNHU3H.js";
+import "./chunk-IVXSVHO4.js";
+import "./chunk-EPQFNJU3.js";
+import "./chunk-NUDBM4MM.js";
+import "./chunk-MYB2B5WX.js";
+import "./chunk-VJLWD47W.js";
+import "./chunk-EKCDHWRK.js";
+import "./chunk-RLXO27MW.js";
+import "./chunk-IOZ3VKPK.js";
 import "./chunk-LEU6UA5J.js";
-import "./chunk-BE3HW4FY.js";
-import "./chunk-ZFLHVFUC.js";
-import "./chunk-KL5ACTCT.js";
-import "./chunk-AUIR5O6W.js";
-import "./chunk-BZ2SHDN2.js";
-import "./chunk-YS3AZQ2G.js";
-import "./chunk-W3TEWHLO.js";
-import "./chunk-66ALHVEX.js";
-import "./chunk-ZFY7U2FR.js";
-import "./chunk-M3BFQ7HK.js";
-import "./chunk-IHVBV5C2.js";
-import "./chunk-3RMKLXHX.js";
-import "./chunk-3QMIVH35.js";
-import "./chunk-NQZ2OSGR.js";
-import "./chunk-CW6T36TN.js";
-import "./chunk-DMBALCE2.js";
-import "./chunk-GMPEOUP2.js";
-import "./chunk-OFADUJWJ.js";
-import "./chunk-M7IYCTJV.js";
-import "./chunk-JWOYLO27.js";
+import "./chunk-ZBBMZMA6.js";
+import "./chunk-UEFFTVPY.js";
+import "./chunk-AFSB6NKM.js";
+import "./chunk-YZDJMAKL.js";
+import "./chunk-SGTRAXXX.js";
+import "./chunk-6HFAW2MH.js";
+import "./chunk-GNEN7NKO.js";
+import "./chunk-EB46EYI7.js";
+import "./chunk-HJM5Y5NU.js";
+import "./chunk-RHJIGDUE.js";
+import "./chunk-J3CWXIPV.js";
+import "./chunk-SOOBFXRR.js";
+import "./chunk-63ZQ5RIN.js";
+import "./chunk-S4S5N4BJ.js";
+import "./chunk-NZMWWDAY.js";
+import "./chunk-MYKNINNN.js";
+import "./chunk-FBYW3QDI.js";
+import "./chunk-K6JQW266.js";
+import "./chunk-CYYSQMLO.js";
+import "./chunk-R4LFQGP3.js";
+import "./chunk-V2SBGVDO.js";
+import "./chunk-LPPZDFTD.js";
+import "./chunk-PBD7BJUN.js";
+import "./chunk-4MZ7BT3R.js";
 import "./chunk-PZ5AY32C.js";
 export {
   Manage,

package/dist/ModuleTag-CGho_InD.d.ts

@@ -0,0 +1,113 @@
+import { Schema } from 'effect';
+import { D as Draft } from './Logic-DKg7ghGy.js';
+import { b as ActionDefs, N as NormalizedActionTokens, c as AnyActionToken } from './action-BQxjPFEw.js';
+import { F as FieldPath, x as ActionsFromMap, A as AnySchema, p as ModuleShape, R as ReducersFromMap, M as ModuleTag$1, E as ActionForTag, w as ActionOf, o as AnyModuleShape, B as BoundApi, J as BoundApiDispatchApi, I as BoundApiDispatchersApi, K as BoundApiLifecycleApi, Q as BoundApiReducerApi, G as BoundApiRootApi, H as BoundApiStateApi, O as BoundApiTraitsApi, N as BoundApiUseApi, z as DispatchEffect, L as LogicEffect, u as ModuleHandle, a0 as ModuleHandleUnion, r as ModuleImpl, q as ModuleLogic, s as ModuleRuntime, t as ModuleRuntimeOfShape, U as StateChangeWithMeta, a as StateCommitMeta, T as StateCommitMode, S as StateCommitPriority, v as StateOf } from './module-Zd1Gn-Nj.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 ActionTokenMap<ADefs extends ActionDefs> = NormalizedActionTokens<ADefs>;
+type ActionUnionOf<ADefs extends ActionDefs> = ActionsFromMap<ActionTokenMap<ADefs>>;
+type ActionSchemaOf<ADefs extends ActionDefs> = Schema.Schema<ActionUnionOf<ADefs>>;
+type Shape<SSchema extends AnySchema, ADefs extends ActionDefs> = ModuleShape<SSchema, ActionSchemaOf<ADefs>, ActionTokenMap<ADefs>>;
+type ShapeFromActionTokenMap<SSchema extends AnySchema, AMap extends Record<string, AnyActionToken>> = ModuleShape<SSchema, Schema.Schema<ActionsFromMap<AMap>>, AMap>;
+/**
+ * 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, Shape<SSchema, ADefs>>;
+
+declare const ModuleTag_ActionForTag: typeof ActionForTag;
+declare const ModuleTag_ActionOf: typeof ActionOf;
+type ModuleTag_ActionSchemaOf<ADefs extends ActionDefs> = ActionSchemaOf<ADefs>;
+type ModuleTag_ActionTokenMap<ADefs extends ActionDefs> = ActionTokenMap<ADefs>;
+type ModuleTag_ActionUnionOf<ADefs extends ActionDefs> = ActionUnionOf<ADefs>;
+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_BoundApiDispatchApi: typeof BoundApiDispatchApi;
+declare const ModuleTag_BoundApiDispatchersApi: typeof BoundApiDispatchersApi;
+declare const ModuleTag_BoundApiLifecycleApi: typeof BoundApiLifecycleApi;
+declare const ModuleTag_BoundApiReducerApi: typeof BoundApiReducerApi;
+declare const ModuleTag_BoundApiRootApi: typeof BoundApiRootApi;
+declare const ModuleTag_BoundApiStateApi: typeof BoundApiStateApi;
+declare const ModuleTag_BoundApiTraitsApi: typeof BoundApiTraitsApi;
+declare const ModuleTag_BoundApiUseApi: typeof BoundApiUseApi;
+declare const ModuleTag_DispatchEffect: typeof DispatchEffect;
+declare const ModuleTag_LogicEffect: typeof LogicEffect;
+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_ModuleRuntimeOfShape: typeof ModuleRuntimeOfShape;
+declare const ModuleTag_ModuleShape: typeof ModuleShape;
+declare const ModuleTag_Reducer: typeof Reducer;
+declare const ModuleTag_ReducersFromMap: typeof ReducersFromMap;
+type ModuleTag_Shape<SSchema extends AnySchema, ADefs extends ActionDefs> = Shape<SSchema, ADefs>;
+type ModuleTag_ShapeFromActionTokenMap<SSchema extends AnySchema, AMap extends Record<string, AnyActionToken>> = ShapeFromActionTokenMap<SSchema, AMap>;
+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_ActionForTag as ActionForTag, ModuleTag_ActionOf as ActionOf, type ModuleTag_ActionSchemaOf as ActionSchemaOf, type ModuleTag_ActionTokenMap as ActionTokenMap, type ModuleTag_ActionUnionOf as ActionUnionOf, ModuleTag_ActionsFromMap as ActionsFromMap, ModuleTag_AnyModuleShape as AnyModuleShape, ModuleTag_AnySchema as AnySchema, ModuleTag_BoundApi as BoundApi, ModuleTag_BoundApiDispatchApi as BoundApiDispatchApi, ModuleTag_BoundApiDispatchersApi as BoundApiDispatchersApi, ModuleTag_BoundApiLifecycleApi as BoundApiLifecycleApi, ModuleTag_BoundApiReducerApi as BoundApiReducerApi, ModuleTag_BoundApiRootApi as BoundApiRootApi, ModuleTag_BoundApiStateApi as BoundApiStateApi, ModuleTag_BoundApiTraitsApi as BoundApiTraitsApi, ModuleTag_BoundApiUseApi as BoundApiUseApi, ModuleTag_DispatchEffect as DispatchEffect, ModuleTag_LogicEffect as LogicEffect, ModuleTag_ModuleHandle as ModuleHandle, ModuleTag_ModuleHandleUnion as ModuleHandleUnion, ModuleTag_ModuleImpl as ModuleImpl, ModuleTag_ModuleLogic as ModuleLogic, ModuleTag_ModuleRuntime as ModuleRuntime, ModuleTag_ModuleRuntimeOfShape as ModuleRuntimeOfShape, ModuleTag_ModuleShape as ModuleShape, ModuleTag$1 as ModuleTag, ModuleTag_Reducer as Reducer, ModuleTag_ReducersFromMap as ReducersFromMap, type ModuleTag_Shape as Shape, type ModuleTag_ShapeFromActionTokenMap as ShapeFromActionTokenMap, 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 { type ActionTokenMap as A, ModuleTag as M, Reducer as R, type Shape as S, type ActionUnionOf as a, type ActionSchemaOf as b, type ShapeFromActionTokenMap as c, make as m };

package/dist/ModuleTag-CITb8L_G.d.cts

@@ -0,0 +1,113 @@
+import { Schema } from 'effect';
+import { D as Draft } from './Logic-09VQpIj3.cjs';
+import { b as ActionDefs, N as NormalizedActionTokens, c as AnyActionToken } from './action-BQxjPFEw.cjs';
+import { F as FieldPath, x as ActionsFromMap, A as AnySchema, p as ModuleShape, R as ReducersFromMap, M as ModuleTag$1, E as ActionForTag, w as ActionOf, o as AnyModuleShape, B as BoundApi, J as BoundApiDispatchApi, I as BoundApiDispatchersApi, K as BoundApiLifecycleApi, Q as BoundApiReducerApi, G as BoundApiRootApi, H as BoundApiStateApi, O as BoundApiTraitsApi, N as BoundApiUseApi, z as DispatchEffect, L as LogicEffect, u as ModuleHandle, a0 as ModuleHandleUnion, r as ModuleImpl, q as ModuleLogic, s as ModuleRuntime, t as ModuleRuntimeOfShape, U as StateChangeWithMeta, a as StateCommitMeta, T as StateCommitMode, S as StateCommitPriority, v as StateOf } from './module-Ds4tarcI.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 ActionTokenMap<ADefs extends ActionDefs> = NormalizedActionTokens<ADefs>;
+type ActionUnionOf<ADefs extends ActionDefs> = ActionsFromMap<ActionTokenMap<ADefs>>;
+type ActionSchemaOf<ADefs extends ActionDefs> = Schema.Schema<ActionUnionOf<ADefs>>;
+type Shape<SSchema extends AnySchema, ADefs extends ActionDefs> = ModuleShape<SSchema, ActionSchemaOf<ADefs>, ActionTokenMap<ADefs>>;
+type ShapeFromActionTokenMap<SSchema extends AnySchema, AMap extends Record<string, AnyActionToken>> = ModuleShape<SSchema, Schema.Schema<ActionsFromMap<AMap>>, AMap>;
+/**
+ * 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, Shape<SSchema, ADefs>>;
+
+declare const ModuleTag_ActionForTag: typeof ActionForTag;
+declare const ModuleTag_ActionOf: typeof ActionOf;
+type ModuleTag_ActionSchemaOf<ADefs extends ActionDefs> = ActionSchemaOf<ADefs>;
+type ModuleTag_ActionTokenMap<ADefs extends ActionDefs> = ActionTokenMap<ADefs>;
+type ModuleTag_ActionUnionOf<ADefs extends ActionDefs> = ActionUnionOf<ADefs>;
+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_BoundApiDispatchApi: typeof BoundApiDispatchApi;
+declare const ModuleTag_BoundApiDispatchersApi: typeof BoundApiDispatchersApi;
+declare const ModuleTag_BoundApiLifecycleApi: typeof BoundApiLifecycleApi;
+declare const ModuleTag_BoundApiReducerApi: typeof BoundApiReducerApi;
+declare const ModuleTag_BoundApiRootApi: typeof BoundApiRootApi;
+declare const ModuleTag_BoundApiStateApi: typeof BoundApiStateApi;
+declare const ModuleTag_BoundApiTraitsApi: typeof BoundApiTraitsApi;
+declare const ModuleTag_BoundApiUseApi: typeof BoundApiUseApi;
+declare const ModuleTag_DispatchEffect: typeof DispatchEffect;
+declare const ModuleTag_LogicEffect: typeof LogicEffect;
+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_ModuleRuntimeOfShape: typeof ModuleRuntimeOfShape;
+declare const ModuleTag_ModuleShape: typeof ModuleShape;
+declare const ModuleTag_Reducer: typeof Reducer;
+declare const ModuleTag_ReducersFromMap: typeof ReducersFromMap;
+type ModuleTag_Shape<SSchema extends AnySchema, ADefs extends ActionDefs> = Shape<SSchema, ADefs>;
+type ModuleTag_ShapeFromActionTokenMap<SSchema extends AnySchema, AMap extends Record<string, AnyActionToken>> = ShapeFromActionTokenMap<SSchema, AMap>;
+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_ActionForTag as ActionForTag, ModuleTag_ActionOf as ActionOf, type ModuleTag_ActionSchemaOf as ActionSchemaOf, type ModuleTag_ActionTokenMap as ActionTokenMap, type ModuleTag_ActionUnionOf as ActionUnionOf, ModuleTag_ActionsFromMap as ActionsFromMap, ModuleTag_AnyModuleShape as AnyModuleShape, ModuleTag_AnySchema as AnySchema, ModuleTag_BoundApi as BoundApi, ModuleTag_BoundApiDispatchApi as BoundApiDispatchApi, ModuleTag_BoundApiDispatchersApi as BoundApiDispatchersApi, ModuleTag_BoundApiLifecycleApi as BoundApiLifecycleApi, ModuleTag_BoundApiReducerApi as BoundApiReducerApi, ModuleTag_BoundApiRootApi as BoundApiRootApi, ModuleTag_BoundApiStateApi as BoundApiStateApi, ModuleTag_BoundApiTraitsApi as BoundApiTraitsApi, ModuleTag_BoundApiUseApi as BoundApiUseApi, ModuleTag_DispatchEffect as DispatchEffect, ModuleTag_LogicEffect as LogicEffect, ModuleTag_ModuleHandle as ModuleHandle, ModuleTag_ModuleHandleUnion as ModuleHandleUnion, ModuleTag_ModuleImpl as ModuleImpl, ModuleTag_ModuleLogic as ModuleLogic, ModuleTag_ModuleRuntime as ModuleRuntime, ModuleTag_ModuleRuntimeOfShape as ModuleRuntimeOfShape, ModuleTag_ModuleShape as ModuleShape, ModuleTag$1 as ModuleTag, ModuleTag_Reducer as Reducer, ModuleTag_ReducersFromMap as ReducersFromMap, type ModuleTag_Shape as Shape, type ModuleTag_ShapeFromActionTokenMap as ShapeFromActionTokenMap, 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 { type ActionTokenMap as A, ModuleTag as M, Reducer as R, type Shape as S, type ActionUnionOf as a, type ActionSchemaOf as b, type ShapeFromActionTokenMap as c, make as m };