@matheuspuel/state-machine 0.2.2 → 0.4.0

package/dist/StateMachine.js

@@ -0,0 +1,4 @@
+export { make, mapActions } from './definition.js';
+export * from './machines/index.js';
+export { run } from './runtime/index.js';
+//# sourceMappingURL=StateMachine.js.map

package/dist/StateMachine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"StateMachine.js","sourceRoot":"","sources":["../src/StateMachine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAElD,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAA"}

package/dist/definition.js

@@ -0,0 +1,16 @@
+import { Optic } from '@matheuspuel/optic';
+export const makeStore = (base) => ({
+    ...base,
+    zoom: zoomF => ({
+        get: () => zoomF(Optic.id()).get(base.get()),
+        getOption: () => zoomF(Optic.id()).getOption(base.get()),
+        update: f => base.update(zoomF(Optic.id()).update(f)),
+    }),
+});
+export const make = () => (args) => args;
+export const prepareActions = (machine, store) => machine.actions({ Store: store });
+export const mapActions = (self, f) => make()({
+    ...self,
+    actions: machine => ({ ...f(self.actions(machine), machine) }),
+});
+//# sourceMappingURL=definition.js.map

package/dist/definition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.js","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAa1C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAQ,IAAsB,EAAgB,EAAE,CAAC,CAAC;IACzE,GAAG,IAAI;IACP,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACd,GAAG,EAAE,GAAG,EAAE,CAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAS,CAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QAC5D,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAS,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/D,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;KAC7D,CAAC;CACH,CAAC,CAAA;AAkBF,MAAM,CAAC,MAAM,IAAI,GACf,GAAU,EAAE,CACZ,CAAkC,IAAkC,EAAE,EAAE,CACtE,IAAI,CAAA;AAIR,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAAqC,EACrC,KAAmB,EACY,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;AAErE,MAAM,CAAC,MAAM,UAAU,GAAG,CAKxB,IAAkC,EAClC,CAAsE,EACpC,EAAE,CACpC,IAAI,EAAS,CAAC;IACZ,GAAG,IAAI;IACP,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;CAC/D,CAAC,CAAA"}

package/dist/dts/StateMachine.d.ts

@@ -0,0 +1,6 @@
+export { make, mapActions } from './definition.js';
+export type { StateMachine } from './definition.js';
+export * from './machines/index.js';
+export { run } from './runtime/index.js';
+export type { Instance } from './runtime/index.js';
+//# sourceMappingURL=StateMachine.d.ts.map

package/dist/dts/StateMachine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StateMachine.d.ts","sourceRoot":"","sources":["../../src/StateMachine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAClD,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAA;AACxC,YAAY,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA"}

package/dist/dts/definition.d.ts

@@ -0,0 +1,31 @@
+import { Optic } from '@matheuspuel/optic';
+export type StoreBase<State> = {
+    get: () => State;
+    update: (stateUpdate: (_: State) => State) => void;
+};
+export type Store<State> = StoreBase<State> & {
+    zoom: <A, Optional extends boolean>(f: (optic: Optic<State, State>) => Optic<A, State, Optional>) => StoreBase<A>;
+};
+export declare const makeStore: <State>(base: StoreBase<State>) => Store<State>;
+export type StateAction<A extends unknown[], B> = (...args: A) => B;
+export type AnyStateAction = StateAction<any[], unknown>;
+export type AnyStateActions = {
+    [key: string]: AnyStateAction | AnyStateActions;
+};
+export type StateMachine<State, Actions extends AnyStateActions> = {
+    initialState: State;
+    actions: (machine: {
+        Store: Store<State>;
+    }) => Actions;
+    start?: (machine: {
+        Store: Store<State>;
+    }) => undefined | Promise<unknown>;
+    onUpdate?: (state: State) => void | Promise<void>;
+};
+export declare const make: <State>() => <Actions extends AnyStateActions>(args: StateMachine<State, Actions>) => StateMachine<State, Actions>;
+export type PreparedStateActions<Actions extends AnyStateActions> = Actions;
+export declare const prepareActions: <State, Actions extends AnyStateActions>(machine: StateMachine<State, Actions>, store: Store<State>) => PreparedStateActions<Actions>;
+export declare const mapActions: <State, Actions extends AnyStateActions, NextActions extends AnyStateActions>(self: StateMachine<State, Actions>, f: (actions: Actions, machine: {
+    Store: Store<State>;
+}) => NextActions) => StateMachine<State, NextActions>;
+//# sourceMappingURL=definition.d.ts.map

package/dist/dts/definition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../../src/definition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAE1C,MAAM,MAAM,SAAS,CAAC,KAAK,IAAI;IAC7B,GAAG,EAAE,MAAM,KAAK,CAAA;IAChB,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,KAAK,IAAI,CAAA;CACnD,CAAA;AAED,MAAM,MAAM,KAAK,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG;IAC5C,IAAI,EAAE,CAAC,CAAC,EAAE,QAAQ,SAAS,OAAO,EAChC,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KACzD,SAAS,CAAC,CAAC,CAAC,CAAA;CAClB,CAAA;AAED,eAAO,MAAM,SAAS,GAAI,KAAK,EAAE,MAAM,SAAS,CAAC,KAAK,CAAC,KAAG,KAAK,CAAC,KAAK,CAOnE,CAAA;AAEF,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,CAAA;AAGnE,MAAM,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,CAAA;AAExD,MAAM,MAAM,eAAe,GAAG;IAC5B,CAAC,GAAG,EAAE,MAAM,GAAG,cAAc,GAAG,eAAe,CAAA;CAChD,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,KAAK,EAAE,OAAO,SAAS,eAAe,IAAI;IACjE,YAAY,EAAE,KAAK,CAAA;IACnB,OAAO,EAAE,CAAC,OAAO,EAAE;QAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;KAAE,KAAK,OAAO,CAAA;IACtD,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE;QAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;KAAE,KAAK,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IAC1E,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CAClD,CAAA;AAED,eAAO,MAAM,IAAI,GACd,KAAK,QACL,OAAO,SAAS,eAAe,EAAE,MAAM,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,iCAC9D,CAAA;AAER,MAAM,MAAM,oBAAoB,CAAC,OAAO,SAAS,eAAe,IAAI,OAAO,CAAA;AAE3E,eAAO,MAAM,cAAc,GAAI,KAAK,EAAE,OAAO,SAAS,eAAe,EACnE,SAAS,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,EACrC,OAAO,KAAK,CAAC,KAAK,CAAC,KAClB,oBAAoB,CAAC,OAAO,CAAsC,CAAA;AAErE,eAAO,MAAM,UAAU,GACrB,KAAK,EACL,OAAO,SAAS,eAAe,EAC/B,WAAW,SAAS,eAAe,EAEnC,MAAM,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,EAClC,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE;IAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;CAAE,KAAK,WAAW,KACrE,YAAY,CAAC,KAAK,EAAE,WAAW,CAI9B,CAAA"}

package/dist/dts/form/definition.d.ts

@@ -0,0 +1,20 @@
+import { Effect, Schema } from 'effect';
+import { ParseError } from 'effect/ParseResult';
+export type AnyForm = {
+    [key: string]: AnyForm | FormField<any, any, any>;
+};
+export type FormField<A, I, E> = {
+    initial: I;
+    validate: (value: I) => Effect.Effect<A, E>;
+    fromData: (data: A) => I;
+};
+export declare const field: <A, I, E>(args: FormField<A, I, E>) => FormField<A, I, E>;
+export declare const fieldSchema: <A, I>(args: {
+    initial: I;
+    schema: Schema.Schema<A, I>;
+}) => FormField<A, I, ParseError>;
+export declare const fieldSuccess: <A>(args: {
+    initial: A;
+}) => FormField<A, A, never>;
+export declare const Struct: <Fields extends AnyForm>(fields: Fields) => Fields;
+//# sourceMappingURL=definition.d.ts.map

package/dist/dts/form/definition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../../../src/form/definition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAE/C,MAAM,MAAM,OAAO,GAAG;IACpB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;CAClD,CAAA;AAED,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI;IAC/B,OAAO,EAAE,CAAC,CAAA;IACV,QAAQ,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3C,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAA;CACzB,CAAA;AAED,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,uBAAS,CAAA;AAEhE,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM;IACtC,OAAO,EAAE,CAAC,CAAA;IACV,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAC5B,gCAKG,CAAA;AAEJ,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,MAAM;IAAE,OAAO,EAAE,CAAC,CAAA;CAAE,2BAKhD,CAAA;AAEJ,eAAO,MAAM,MAAM,GAAI,MAAM,SAAS,OAAO,EAAE,QAAQ,MAAM,WAAW,CAAA"}

package/dist/dts/form/index.d.ts

@@ -0,0 +1,2 @@
+export * as Form from './definition.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/dts/form/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/form/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA"}

package/dist/dts/index.d.ts

@@ -0,0 +1,2 @@
+export * as StateMachine from './StateMachine.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/dts/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA"}

package/dist/dts/machines/Form.d.ts

@@ -0,0 +1,37 @@
+import { Effect, Either, Option } from 'effect';
+import { AnyForm, FormField } from '../form/definition.js';
+export type FormState<Form extends AnyForm> = {
+    [K in keyof Form]: Form[K] extends FormField<infer A, infer I, infer E> ? {
+        value: I;
+        error: E | null;
+    } : Form[K] extends AnyForm ? FormState<Form[K]> : never;
+};
+export type FormData<Form extends AnyForm> = {
+    [K in keyof Form]: Form[K] extends FormField<infer A, infer I, infer E> ? A : Form[K] extends AnyForm ? FormData<Form[K]> : never;
+};
+export type FormError<Form extends AnyForm> = {
+    [K in keyof Form]: Form[K] extends FormField<infer A, infer I, infer E> ? Option.Option<E> : Form[K] extends AnyForm ? FormError<Form[K]> : never;
+};
+export type FormActions<Form extends AnyForm> = {
+    [K in keyof Form]: Form[K] extends FormField<infer A, infer I, infer E> ? {
+        set: (value: I) => void;
+        update: (f: (previous: I) => I) => void;
+        validate: () => Promise<Either.Either<A, E | null>>;
+        error: {
+            set: (error: E | null) => void;
+        };
+    } : Form[K] extends AnyForm ? FormActions<Form[K]> : never;
+};
+declare const FormValidationError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "FormValidationError";
+} & Readonly<A>;
+export declare class FormValidationError<Form extends AnyForm> extends FormValidationError_base<{
+    errors: FormError<Form>;
+}> {
+}
+export declare const Form: <F extends AnyForm>(form: F) => import("../definition.js").StateMachine<FormState<F>, FormActions<F> & {
+    validate: () => Effect.Effect<FormData<F>, FormValidationError<F>>;
+    setStateFromData: (data: FormData<F>) => void;
+}>;
+export {};
+//# sourceMappingURL=Form.d.ts.map

package/dist/dts/machines/Form.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Form.d.ts","sourceRoot":"","sources":["../../../src/machines/Form.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,MAAM,EAAE,MAAM,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAE7D,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAA;AAE1D,MAAM,MAAM,SAAS,CAAC,IAAI,SAAS,OAAO,IAAI;KAC3C,CAAC,IAAI,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACnE;QAAE,KAAK,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAA;KAAE,GAC7B,IAAI,CAAC,CAAC,CAAC,SAAS,OAAO,GACrB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAClB,KAAK;CACZ,CAAA;AAED,MAAM,MAAM,QAAQ,CAAC,IAAI,SAAS,OAAO,IAAI;KAC1C,CAAC,IAAI,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACnE,CAAC,GACD,IAAI,CAAC,CAAC,CAAC,SAAS,OAAO,GACrB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GACjB,KAAK;CACZ,CAAA;AAED,MAAM,MAAM,SAAS,CAAC,IAAI,SAAS,OAAO,IAAI;KAC3C,CAAC,IAAI,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACnE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAChB,IAAI,CAAC,CAAC,CAAC,SAAS,OAAO,GACrB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAClB,KAAK;CACZ,CAAA;AAED,MAAM,MAAM,WAAW,CAAC,IAAI,SAAS,OAAO,IAAI;KAC7C,CAAC,IAAI,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACnE;QACE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,CAAA;QACvB,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,CAAA;QACvC,QAAQ,EAAE,MAAM,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;QACnD,KAAK,EAAE;YAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,KAAK,IAAI,CAAA;SAAE,CAAA;KAC1C,GACD,IAAI,CAAC,CAAC,CAAC,SAAS,OAAO,GACrB,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GACpB,KAAK;CACZ,CAAA;;;;AAED,qBAAa,mBAAmB,CAAC,IAAI,SAAS,OAAO,CAAE,SAAQ,yBAE7D;IAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAA;CAAE,CAAC;CAAG;AAMjC,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,OAAO,EAAE,MAAM,CAAC;cAiF/B,MAAM,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC;sBAChD,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI;EAsBlD,CAAA"}

package/dist/dts/machines/FormValue.d.ts

@@ -0,0 +1,12 @@
+export type FormValue<A, E> = {
+    value: A;
+    error: E | null;
+};
+export declare const FormValue: <A, E>(initialValue: A) => import("../definition.js").StateMachine<FormValue<A, E>, {
+    update: (f: (previous: A) => A) => void;
+    set: (value: A) => void;
+    error: {
+        set: (error: E | null) => void;
+    };
+}>;
+//# sourceMappingURL=FormValue.d.ts.map

package/dist/dts/machines/FormValue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FormValue.d.ts","sourceRoot":"","sources":["../../../src/machines/FormValue.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAA;CAAE,CAAA;AAE3D,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC;gBAI7B,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC;iBAEjB,CAAC;;qBAEC,CAAC,GAAG,IAAI;;EAIzB,CAAA"}

package/dist/dts/machines/Struct.d.ts

@@ -0,0 +1,3 @@
+import { AnyStateActions, StateMachine } from '../definition.js';
+export declare const Struct: <A extends Record<string, StateMachine<any, AnyStateActions>>>(fields: A) => StateMachine<{ [K in keyof A]: A[K] extends StateMachine<infer State, any> ? State : never; }, { [K_1 in keyof A]: A[K_1] extends StateMachine<any, infer Actions extends AnyStateActions> ? Actions : never; }>;
+//# sourceMappingURL=Struct.d.ts.map

package/dist/dts/machines/Struct.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Struct.d.ts","sourceRoot":"","sources":["../../../src/machines/Struct.ts"],"names":[],"mappings":"AACA,OAAO,EACL,eAAe,EAGf,YAAY,EACb,MAAM,kBAAkB,CAAA;AAEzB,eAAO,MAAM,MAAM,GACjB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC,EAE5D,QAAQ,CAAC,qBAGN,CAAC,8CAA8C,KAAK,sFAEA,OAAO,+CAmC5D,CAAA"}

package/dist/dts/machines/index.d.ts

@@ -0,0 +1,5 @@
+export { Form } from './Form.js';
+export { FormValue } from './FormValue.js';
+export { of } from './of.js';
+export { Struct } from './Struct.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/dts/machines/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/machines/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA"}

package/dist/dts/machines/of.d.ts

@@ -0,0 +1,6 @@
+export declare const of: <A>(initialState: A) => import("../definition.js").StateMachine<A, {
+    get: () => A;
+    update: (f: (previous: A) => A) => void;
+    set: (value: A) => void;
+}>;
+//# sourceMappingURL=of.d.ts.map

package/dist/dts/machines/of.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"of.d.ts","sourceRoot":"","sources":["../../../src/machines/of.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,EAAE,GAAI,CAAC,EAAE,cAAc,CAAC;;gBAKnB,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC;iBACjB,CAAC;EAEhB,CAAA"}

package/dist/dts/react/context.d.ts

@@ -0,0 +1,10 @@
+import * as React from 'react';
+import { AnyStateActions, StateMachine } from '../definition.js';
+export declare const makeStateMachineContext: <State, Actions extends AnyStateActions>(machine: StateMachine<State, Actions>) => {
+    Provider: (props: {
+        children: React.ReactNode;
+    }) => import("react/jsx-runtime").JSX.Element;
+    useActions: () => Actions;
+    useSelector: <A>(fn: (state: State) => A) => A;
+};
+//# sourceMappingURL=context.d.ts.map

package/dist/dts/react/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/react/context.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,OAAO,CAAA;AAC9B,OAAO,EACL,eAAe,EAEf,YAAY,EACb,MAAM,kBAAkB,CAAA;AAGzB,eAAO,MAAM,uBAAuB,GAAI,KAAK,EAAE,OAAO,SAAS,eAAe,EAC5E,SAAS,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC;sBAQjB;QAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAA;KAAE;;kBAKjC,CAAC,MAAO,CAAC,KAAK,EAAE,KAAK,KAAK,CAAC;CAM5C,CAAA"}

package/dist/dts/react/index.d.ts

@@ -0,0 +1,4 @@
+export * from './context.js';
+export * from './useSelector.js';
+export * from './useStateMachine.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/dts/react/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/react/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAA;AAC5B,cAAc,kBAAkB,CAAA;AAChC,cAAc,sBAAsB,CAAA"}

package/dist/dts/react/useSelector.d.ts

@@ -0,0 +1,5 @@
+import { Equivalence } from 'effect';
+import { AnyStateActions } from '../definition.js';
+import { Instance } from '../runtime/index.js';
+export declare const makeUseSelector: <State, Actions extends AnyStateActions>(stateMachine: Instance<State, Actions>) => <A>(selector: (state: State) => A, equivalence?: Equivalence.Equivalence<A>) => A;
+//# sourceMappingURL=useSelector.d.ts.map

package/dist/dts/react/useSelector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"useSelector.d.ts","sourceRoot":"","sources":["../../../src/react/useSelector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,WAAW,EAAE,MAAM,QAAQ,CAAA;AAEnD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAE9C,eAAO,MAAM,eAAe,GACzB,KAAK,EAAE,OAAO,SAAS,eAAe,EACrC,cAAc,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,MAEvC,CAAC,EACA,UAAU,CAAC,KAAK,EAAE,KAAK,KAAK,CAAC,EAC7B,cAAc,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,KACvC,CAYA,CAAA"}

package/dist/dts/react/useStateMachine.d.ts

@@ -0,0 +1,6 @@
+import { AnyStateActions, StateMachine } from '../definition.js';
+export declare const useStateMachine: <State, Actions extends AnyStateActions>(stateMachine: StateMachine<State, Actions> | (() => StateMachine<State, Actions>)) => {
+    state: State;
+    actions: Actions;
+};
+//# sourceMappingURL=useStateMachine.d.ts.map

package/dist/dts/react/useStateMachine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"useStateMachine.d.ts","sourceRoot":"","sources":["../../../src/react/useStateMachine.ts"],"names":[],"mappings":"AACA,OAAO,EACL,eAAe,EAGf,YAAY,EACb,MAAM,kBAAkB,CAAA;AAEzB,eAAO,MAAM,eAAe,GAAI,KAAK,EAAE,OAAO,SAAS,eAAe,EACpE,cACI,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,GAC5B,CAAC,MAAM,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;;;CA8BzC,CAAA"}

package/dist/dts/runtime/index.d.ts

@@ -0,0 +1,14 @@
+import { Effect, Ref } from 'effect';
+import { AnyStateActions, PreparedStateActions, StateMachine } from '../definition.js';
+type SubscriptionTask<State> = (state: State) => Effect.Effect<void>;
+export type Instance<State, Actions extends AnyStateActions> = {
+    ref: Ref.Ref<State>;
+    actions: PreparedStateActions<Actions>;
+    startPromise: Promise<unknown> | undefined;
+    subscribe: (task: SubscriptionTask<State>) => Effect.Effect<{
+        unsubscribe: Effect.Effect<void, never, never>;
+    }, never, never>;
+};
+export declare const run: <State, Actions extends AnyStateActions>(machine: StateMachine<State, Actions>) => Instance<State, Actions>;
+export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/dts/runtime/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/runtime/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAA;AAC3C,OAAO,EACL,eAAe,EAGf,oBAAoB,EACpB,YAAY,EACb,MAAM,kBAAkB,CAAA;AAEzB,KAAK,gBAAgB,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;AAEpE,MAAM,MAAM,QAAQ,CAAC,KAAK,EAAE,OAAO,SAAS,eAAe,IAAI;IAC7D,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACnB,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,CAAA;IACtC,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,SAAS,CAAA;IAC1C,SAAS,EAAE,CACT,IAAI,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAC1B,MAAM,CAAC,MAAM,CAChB;QAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;KAAE,EAClD,KAAK,EACL,KAAK,CACN,CAAA;CACF,CAAA;AAED,eAAO,MAAM,GAAG,GAAI,KAAK,EAAE,OAAO,SAAS,eAAe,EACxD,SAAS,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,KACpC,QAAQ,CAAC,KAAK,EAAE,OAAO,CA6BzB,CAAA"}

package/dist/form/definition.js

@@ -0,0 +1,14 @@
+import { Effect, Schema } from 'effect';
+export const field = (args) => args;
+export const fieldSchema = (args) => field({
+    initial: args.initial,
+    validate: Schema.decode(args.schema),
+    fromData: Schema.encodeSync(args.schema),
+});
+export const fieldSuccess = (args) => field({
+    initial: args.initial,
+    validate: Effect.succeed,
+    fromData: _ => _,
+});
+export const Struct = (fields) => fields;
+//# sourceMappingURL=definition.js.map

package/dist/form/definition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.js","sourceRoot":"","sources":["../../src/form/definition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAavC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAU,IAAwB,EAAE,EAAE,CAAC,IAAI,CAAA;AAEhE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAO,IAGjC,EAAE,EAAE,CACH,KAAK,CAAmB;IACtB,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;IACpC,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;CACzC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,YAAY,GAAG,CAAI,IAAoB,EAAE,EAAE,CACtD,KAAK,CAAc;IACjB,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,QAAQ,EAAE,MAAM,CAAC,OAAO;IACxB,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;CACjB,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,MAAM,GAAG,CAAyB,MAAc,EAAE,EAAE,CAAC,MAAM,CAAA"}

package/dist/form/index.js

@@ -0,0 +1,2 @@
+export * as Form from './definition.js';
+//# sourceMappingURL=index.js.map

package/dist/form/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/form/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA"}

package/dist/index.js

@@ -0,0 +1,2 @@
+export * as StateMachine from './StateMachine.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA"}

package/dist/machines/Form.js

@@ -0,0 +1,61 @@
+import { Data, Effect, Either, Option, Record } from 'effect';
+import { make, makeStore } from '../definition.js';
+export class FormValidationError extends Data.TaggedError('FormValidationError') {
+}
+const isField = (value) => typeof value.validate === 'function';
+export const Form = (form) => {
+    const getInitialState = (form) => Record.map(form, _ => isField(_) ? { value: _.initial, error: null } : getInitialState(_));
+    const getActions = (form, Store) => Record.map(form, (_, key) => isField(_)
+        ? {
+            update: (f) => Store.update(_ => ({
+                ..._,
+                [key]: { value: f(_[key].value), error: null },
+            })),
+            validate: () => Effect.gen(function* () {
+                const result = yield* _.validate(Store.get()[key].value).pipe(Effect.either);
+                const error = Option.getOrNull(Either.getLeft(result));
+                Store.update(_ => ({
+                    ..._,
+                    [key]: { value: _[key].value, error },
+                }));
+                return result;
+            }).pipe(Effect.runPromise),
+            set: (value) => Store.update(_ => ({ ..._, [key]: { value, error: null } })),
+            error: {
+                set: (error) => Store.update(_ => ({
+                    ..._,
+                    [key]: { value: _[key].value, error },
+                })),
+            },
+        }
+        : getActions(_, makeStore({
+            get: () => Store.get()[key],
+            update: f => Store.update(_ => ({ ..._, [key]: f(_[key]) })),
+        })));
+    const validate = (form, Store) => Effect.all(Record.map(form, (_, key) => isField(_)
+        ? _.validate(Store.get()[key].value).pipe(Effect.either, Effect.tap(e => Store.update(_ => ({
+            ..._,
+            [key]: {
+                value: _[key].value,
+                error: Option.getOrNull(Either.getLeft(e)),
+            },
+        }))), Effect.flatten)
+        : validate(_, makeStore({
+            get: () => Store.get()[key],
+            update: f => Store.update(_ => ({ ..._, [key]: f(_[key]) })),
+        })).pipe(Effect.mapError(e => e.errors))), { mode: 'validate' }).pipe(Effect.mapError(e => new FormValidationError({ errors: e })));
+    return make()({
+        initialState: getInitialState(form),
+        actions: ({ Store }) => ({
+            ...getActions(form, Store),
+            validate: () => validate(form, Store),
+            setStateFromData: (data) => Store.update(() => {
+                const updateState = (form, data) => Record.map(form, (_, key) => isField(_)
+                    ? { value: _.fromData(data[key]), error: null }
+                    : updateState(_, data[key]));
+                return updateState(form, data);
+            }),
+        }),
+    });
+};
+//# sourceMappingURL=Form.js.map

package/dist/machines/Form.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Form.js","sourceRoot":"","sources":["../../src/machines/Form.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC7D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAS,MAAM,kBAAkB,CAAA;AAwCzD,MAAM,OAAO,mBAA0C,SAAQ,IAAI,CAAC,WAAW,CAC7E,qBAAqB,CACO;CAAG;AAEjC,MAAM,OAAO,GAAG,CACd,KAAyC,EACN,EAAE,CAAC,OAAO,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAA;AAE5E,MAAM,CAAC,MAAM,IAAI,GAAG,CAAoB,IAAO,EAAE,EAAE;IACjD,MAAM,eAAe,GAAG,CAAoB,IAAO,EAAgB,EAAE,CACnE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CACnB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAC7D,CAAA;IACV,MAAM,UAAU,GAAG,CACjB,IAAO,EACP,KAA0B,EACV,EAAE,CAClB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAC1B,OAAO,CAAC,CAAC,CAAC;QACR,CAAC,CAAC;YACE,MAAM,EAAE,CAAC,CAAyB,EAAE,EAAE,CACpC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACjB,GAAG,CAAC;gBACJ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE;aAChD,CAAC,CAAC;YACL,QAAQ,EAAE,GAAG,EAAE,CACb,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAC5D,MAAM,CAAC,MAAM,CACd,CAAA;gBACD,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;gBACtD,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACjB,GAAG,CAAC;oBACJ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAE,CAAC,KAAK,EAAE,KAAK,EAAE;iBACvC,CAAC,CAAC,CAAA;gBACH,OAAO,MAAM,CAAA;YACf,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YAC5B,GAAG,EAAE,CAAC,KAAU,EAAE,EAAE,CAClB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YAC9D,KAAK,EAAE;gBACL,GAAG,EAAE,CAAC,KAAU,EAAE,EAAE,CAClB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACjB,GAAG,CAAC;oBACJ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAE,CAAC,KAAK,EAAE,KAAK,EAAE;iBACvC,CAAC,CAAC;aACN;SACF;QACH,CAAC,CAAC,UAAU,CACR,CAAC,EACD,SAAS,CAAC;YACR,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;YAC3B,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;SAC7D,CAAQ,CACV,CACC,CAAA;IACV,MAAM,QAAQ,GAAG,CACf,IAAO,EACP,KAA0B,EAC0B,EAAE,CACtD,MAAM,CAAC,GAAG,CACR,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAC1B,OAAO,CAAC,CAAC,CAAC;QACR,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CACtC,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACb,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjB,GAAG,CAAC;YACJ,CAAC,GAAG,CAAC,EAAE;gBACL,KAAK,EAAE,CAAC,CAAC,GAAG,CAAE,CAAC,KAAK;gBACpB,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;aAC3C;SACF,CAAC,CAAC,CACJ,EACD,MAAM,CAAC,OAAO,CACf;QACH,CAAC,CAAC,QAAQ,CACN,CAAC,EACD,SAAS,CAAC;YACR,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;YAC3B,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;SAC7D,CAAQ,CACV,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAC3C,EACD,EAAE,IAAI,EAAE,UAAU,EAAE,CACrB,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAQ,EAAE,CAAC,CAAC,CAC7D,CAAA;IACV,OAAO,IAAI,EAAgB,CAKzB;QACA,YAAY,EAAE,eAAe,CAAC,IAAI,CAAC;QACnC,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YACvB,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC;YAC1B,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;YACrC,gBAAgB,EAAE,CAAC,IAAiB,EAAE,EAAE,CACtC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE;gBAChB,MAAM,WAAW,GAAG,CAClB,IAAO,EACP,IAAiB,EACZ,EAAE,CACP,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAC1B,OAAO,CAAC,CAAC,CAAC;oBACR,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE;oBAC/C,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAE,CAAC,CAC/B,CAAA;gBACH,OAAO,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YAChC,CAAC,CAAC;SACL,CAAC;KACH,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/machines/FormValue.js

@@ -0,0 +1,12 @@
+import { make } from '../definition.js';
+export const FormValue = (initialValue) => make()({
+    initialState: { value: initialValue, error: null },
+    actions: ({ Store }) => ({
+        update: (f) => Store.update(_ => ({ value: f(_.value), error: null })),
+        set: (value) => Store.update(() => ({ value, error: null })),
+        error: {
+            set: (error) => Store.update(_ => ({ value: _.value, error })),
+        },
+    }),
+});
+//# sourceMappingURL=FormValue.js.map

package/dist/machines/FormValue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FormValue.js","sourceRoot":"","sources":["../../src/machines/FormValue.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAIvC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,YAAe,EAAE,EAAE,CACjD,IAAI,EAAmB,CAAC;IACtB,YAAY,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE;IAClD,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACvB,MAAM,EAAE,CAAC,CAAqB,EAAE,EAAE,CAChC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,GAAG,EAAE,CAAC,KAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,KAAK,EAAE;YACL,GAAG,EAAE,CAAC,KAAe,EAAE,EAAE,CACvB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACjD;KACF,CAAC;CACH,CAAC,CAAA"}

package/dist/machines/Struct.js

@@ -0,0 +1,29 @@
+import { Record } from 'effect';
+import { make, makeStore, } from '../definition.js';
+export const Struct = (fields) => make()({
+    initialState: Record.map(fields, _ => _.initialState),
+    actions: ({ Store }) => ({
+        ...Record.map(fields, (_, key) => _.actions({
+            Store: makeStore({
+                get: () => Store.get()[key],
+                update: f => Store.update(_ => ({ ..._, [key]: f(_[key]) })),
+            }),
+        })),
+    }),
+    start: ({ Store }) => Promise.all(Object.keys(fields).map(async (key) => {
+        const field = fields[key];
+        return field.start?.({
+            Store: makeStore({
+                get: () => Store.get()[key],
+                update: f => Store.update(_ => ({ ..._, [key]: f(_[key]) })),
+            }),
+        });
+    })),
+    onUpdate: async (state) => {
+        await Promise.all(Object.keys(fields).map(async (key) => {
+            const field = fields[key];
+            return field.onUpdate?.(state[key]);
+        }));
+    },
+});
+//# sourceMappingURL=Struct.js.map

package/dist/machines/Struct.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Struct.js","sourceRoot":"","sources":["../../src/machines/Struct.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAEL,IAAI,EACJ,SAAS,GAEV,MAAM,kBAAkB,CAAA;AAEzB,MAAM,CAAC,MAAM,MAAM,GAAG,CAGpB,MAAS,EACT,EAAE,CACF,IAAI,EAEA,CAID;IACD,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAQ;IAC5D,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACvB,GAAI,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAChC,CAAC,CAAC,OAAO,CAAC;YACR,KAAK,EAAE,SAAS,CAAC;gBACf,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;gBAC3B,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;aAC7D,CAAQ;SACV,CAAC,CACK;KACV,CAAC;IACF,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CACnB,OAAO,CAAC,GAAG,CACT,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,EAAC,GAAG,EAAC,EAAE;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAE,CAAA;QAC1B,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC;YACnB,KAAK,EAAE,SAAS,CAAC;gBACf,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;gBAC3B,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;aAC7D,CAAQ;SACV,CAAC,CAAA;IACJ,CAAC,CAAC,CACH;IACH,QAAQ,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACtB,MAAM,OAAO,CAAC,GAAG,CACf,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,EAAC,GAAG,EAAC,EAAE;YAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAE,CAAA;YAC1B,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;QACrC,CAAC,CAAC,CACH,CAAA;IACH,CAAC;CACF,CAAC,CAAA"}

package/dist/machines/index.js

@@ -0,0 +1,5 @@
+export { Form } from './Form.js';
+export { FormValue } from './FormValue.js';
+export { of } from './of.js';
+export { Struct } from './Struct.js';
+//# sourceMappingURL=index.js.map

package/dist/machines/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/machines/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA"}

package/dist/machines/of.js

@@ -0,0 +1,10 @@
+import { make } from '../definition.js';
+export const of = (initialState) => make()({
+    initialState,
+    actions: ({ Store }) => ({
+        get: Store.get,
+        update: (f) => Store.update(f),
+        set: (value) => Store.update(() => value),
+    }),
+});
+//# sourceMappingURL=of.js.map

package/dist/machines/of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"of.js","sourceRoot":"","sources":["../../src/machines/of.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAEvC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,YAAe,EAAE,EAAE,CACvC,IAAI,EAAK,CAAC;IACR,YAAY;IACZ,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACvB,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,MAAM,EAAE,CAAC,CAAqB,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAClD,GAAG,EAAE,CAAC,KAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;KAC7C,CAAC;CACH,CAAC,CAAA"}

package/dist/react/context.js

@@ -0,0 +1,19 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import * as React from 'react';
+import { useStateMachine } from './useStateMachine.js';
+export const makeStateMachineContext = (machine) => {
+    const Context = React.createContext(undefined);
+    return {
+        Provider: (props) => {
+            const value = useStateMachine(machine);
+            return _jsx(Context.Provider, { value: value, children: props.children });
+        },
+        useActions: () => React.useContext(Context).actions,
+        useSelector: (fn) => {
+            const state = React.useContext(Context).state;
+            // eslint-disable-next-line react-hooks/exhaustive-deps
+            return React.useMemo(() => fn(state), [state]);
+        },
+    };
+};
+//# sourceMappingURL=context.js.map

package/dist/react/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../src/react/context.tsx"],"names":[],"mappings":";AAAA,OAAO,KAAK,KAAK,MAAM,OAAO,CAAA;AAM9B,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAA;AAEtD,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,OAAqC,EACrC,EAAE;IACF,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAIhC,SAAgB,CAAC,CAAA;IACpB,OAAO;QACL,QAAQ,EAAE,CAAC,KAAoC,EAAE,EAAE;YACjD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAA;YACtC,OAAO,KAAC,OAAO,CAAC,QAAQ,IAAC,KAAK,EAAE,KAAK,YAAG,KAAK,CAAC,QAAQ,GAAoB,CAAA;QAC5E,CAAC;QACD,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,OAAO;QACnD,WAAW,EAAE,CAAK,EAAuB,EAAE,EAAE;YAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,CAAA;YAC7C,uDAAuD;YACvD,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QAChD,CAAC;KACF,CAAA;AACH,CAAC,CAAA"}

package/dist/react/index.js

@@ -0,0 +1,4 @@
+export * from './context.js';
+export * from './useSelector.js';
+export * from './useStateMachine.js';
+//# sourceMappingURL=index.js.map

package/dist/react/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/react/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAA;AAC5B,cAAc,kBAAkB,CAAA;AAChC,cAAc,sBAAsB,CAAA"}

package/dist/react/useSelector.js

@@ -0,0 +1,9 @@
+import { Effect, Equal } from 'effect';
+import { useSyncExternalStoreWithSelector } from 'use-sync-external-store/with-selector';
+export const makeUseSelector = (stateMachine) => (selector, equivalence) => useSyncExternalStoreWithSelector(onChange => {
+    const subscription = stateMachine
+        .subscribe(() => Effect.sync(onChange))
+        .pipe(Effect.runSync);
+    return () => subscription.unsubscribe.pipe(Effect.runSync);
+}, () => stateMachine.ref.get.pipe(Effect.runSync), undefined, selector, equivalence ?? Equal.equivalence());
+//# sourceMappingURL=useSelector.js.map

package/dist/react/useSelector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"useSelector.js","sourceRoot":"","sources":["../../src/react/useSelector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAe,MAAM,QAAQ,CAAA;AACnD,OAAO,EAAE,gCAAgC,EAAE,MAAM,uCAAuC,CAAA;AAIxF,MAAM,CAAC,MAAM,eAAe,GAC1B,CACE,YAAsC,EACtC,EAAE,CACJ,CACE,QAA6B,EAC7B,WAAwC,EACrC,EAAE,CACL,gCAAgC,CAC9B,QAAQ,CAAC,EAAE;IACT,MAAM,YAAY,GAAG,YAAY;SAC9B,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SACtC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACvB,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;AAC5D,CAAC,EACD,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAC/C,SAAS,EACT,QAAQ,EACR,WAAW,IAAI,KAAK,CAAC,WAAW,EAAK,CACtC,CAAA"}

package/dist/react/useStateMachine.js

@@ -0,0 +1,25 @@
+import * as React from 'react';
+import { makeStore, prepareActions, } from '../definition.js';
+export const useStateMachine = (stateMachine) => {
+    const machine = typeof stateMachine === 'function' ? stateMachine() : stateMachine;
+    const [state, setState] = React.useState(() => machine.initialState);
+    const stateRef = React.useRef(machine.initialState);
+    const getState = React.useMemo(() => () => stateRef.current, []);
+    const store = React.useMemo(() => makeStore({
+        get: getState,
+        update: fn => {
+            const previousState = getState();
+            const state = fn(previousState);
+            stateRef.current = state;
+            void machine.onUpdate?.(state);
+            setState(() => state);
+        },
+    }), [machine, getState]);
+    const actions = React.useMemo(() => prepareActions(machine, store), [machine, store]);
+    React.useEffect(() => {
+        void machine.start?.({ Store: store });
+        // eslint-disable-next-line react-hooks/exhaustive-deps
+    }, []);
+    return { state, actions };
+};
+//# sourceMappingURL=useStateMachine.js.map

package/dist/react/useStateMachine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"useStateMachine.js","sourceRoot":"","sources":["../../src/react/useStateMachine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,OAAO,CAAA;AAC9B,OAAO,EAEL,SAAS,EACT,cAAc,GAEf,MAAM,kBAAkB,CAAA;AAEzB,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,YAEwC,EACxC,EAAE;IACF,MAAM,OAAO,GACX,OAAO,YAAY,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,YAAY,CAAA;IACpE,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAA;IACpE,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAA;IACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IAChE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CACzB,GAAG,EAAE,CACH,SAAS,CAAQ;QACf,GAAG,EAAE,QAAQ;QACb,MAAM,EAAE,EAAE,CAAC,EAAE;YACX,MAAM,aAAa,GAAG,QAAQ,EAAE,CAAA;YAChC,MAAM,KAAK,GAAG,EAAE,CAAC,aAAa,CAAC,CAAA;YAC/B,QAAQ,CAAC,OAAO,GAAG,KAAK,CAAA;YACxB,KAAK,OAAO,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAA;YAC9B,QAAQ,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;QACvB,CAAC;KACF,CAAC,EACJ,CAAC,OAAO,EAAE,QAAQ,CAAC,CACpB,CAAA;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAC3B,GAAG,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,EACpC,CAAC,OAAO,EAAE,KAAK,CAAC,CACjB,CAAA;IACD,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE;QACnB,KAAK,OAAO,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;QACtC,uDAAuD;IACzD,CAAC,EAAE,EAAE,CAAC,CAAA;IACN,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;AAC3B,CAAC,CAAA"}

package/dist/runtime/index.js

@@ -0,0 +1,26 @@
+import { Array, Effect, Ref } from 'effect';
+import { makeStore, prepareActions, } from '../definition.js';
+export const run = (machine) => {
+    const subscriptionsRef = Ref.unsafeMake([]);
+    const ref = Ref.unsafeMake(machine.initialState);
+    const store = makeStore({
+        get: () => ref.get.pipe(Effect.runSync),
+        update: fn => Effect.gen(function* () {
+            const previousState = yield* ref.get;
+            const state = fn(previousState);
+            yield* Ref.set(ref, state);
+            yield* Effect.forEach(yield* subscriptionsRef.get, _ => _(state)).pipe(Effect.exit);
+            void machine.onUpdate?.(state);
+        }).pipe(Effect.runSync),
+    });
+    const actions = prepareActions(machine, store);
+    const subscribe = (task) => Effect.gen(function* () {
+        yield* Ref.update(subscriptionsRef, Array.append(task));
+        return {
+            unsubscribe: Ref.update(subscriptionsRef, Array.filter(_ => _ !== task)),
+        };
+    });
+    const startPromise = machine.start?.({ Store: store });
+    return { ref, actions, subscribe, startPromise };
+};
+//# sourceMappingURL=index.js.map

package/dist/runtime/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/runtime/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAA;AAC3C,OAAO,EAEL,SAAS,EACT,cAAc,GAGf,MAAM,kBAAkB,CAAA;AAiBzB,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,OAAqC,EACX,EAAE;IAC5B,MAAM,gBAAgB,GAAG,GAAG,CAAC,UAAU,CAA4B,EAAE,CAAC,CAAA;IACtE,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,CAAA;IAChD,MAAM,KAAK,GAAG,SAAS,CAAQ;QAC7B,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;QACvC,MAAM,EAAE,EAAE,CAAC,EAAE,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAA;YACpC,MAAM,KAAK,GAAG,EAAE,CAAC,aAAa,CAAC,CAAA;YAC/B,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;YAC1B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CACpE,MAAM,CAAC,IAAI,CACZ,CAAA;YACD,KAAK,OAAO,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAA;QAChC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;KAC1B,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAC9C,MAAM,SAAS,GAAG,CAAC,IAA6B,EAAE,EAAE,CAClD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;QACvD,OAAO;YACL,WAAW,EAAE,GAAG,CAAC,MAAM,CACrB,gBAAgB,EAChB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAC9B;SACF,CAAA;IACH,CAAC,CAAC,CAAA;IACJ,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IACtD,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,CAAA;AAClD,CAAC,CAAA"}

package/package.json

@@ -1,25 +1,47 @@
 {
   "name": "@matheuspuel/state-machine",
-  "version": "0.2.2",
+  "version": "0.4.0",
   "type": "module",
-  "module": "index.ts",
+  "files": [
+    "/dist",
+    "/src"
+  ],
   "exports": {
     "./package.json": "./package.json",
-    ".": "./src/index.ts",
-    "./definition": "./src/definition.ts",
-    "./form": "./src/form/index.ts",
-    "./machines": "./src/machines/index.ts",
-    "./react": "./src/react/index.ts",
-    "./runtime": "./src/runtime/index.ts"
+    ".": {
+      "types": "./dist/dts/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./definition": {
+      "types": "./dist/dts/definition.d.ts",
+      "default": "./dist/definition.js"
+    },
+    "./form": {
+      "types": "./dist/dts/form/index.d.ts",
+      "default": "./dist/form/index.js"
+    },
+    "./machines": {
+      "types": "./dist/dts/machines/index.d.ts",
+      "default": "./dist/machines/index.js"
+    },
+    "./react": {
+      "types": "./dist/dts/react/index.d.ts",
+      "default": "./dist/react/index.js"
+    },
+    "./runtime": {
+      "types": "./dist/dts/runtime/index.d.ts",
+      "default": "./dist/runtime/index.js"
+    }
   },
   "scripts": {
+    "build": "tsc -b tsconfig.build.json",
     "lint": "eslint . --max-warnings 0 --config .eslintrc.production.js",
     "lint:fix": "eslint . --fix --config .eslintrc.production.js",
     "typecheck": "tsc",
     "test": "vitest"
   },
   "dependencies": {
-    "@matheuspuel/optic": "^0.1.0",
+    "@matheuspuel/optic": "^0.2.0",
     "effect": "^3.18.1",
     "react": "19.1.0",
     "use-sync-external-store": "^1.5.0"
@@ -27,6 +49,8 @@
   "devDependencies": {
     "@effect/language-service": "^0.41.1",
     "@effect/vitest": "^0.26.0",
+    "@matheuspuel/state-machine": "file:.",
+    "@types/node": "^25.0.8",
     "@types/react": "~19.1.17",
     "@types/use-sync-external-store": "^1.5.0",
     "@typescript-eslint/parser": "^8.29.1",

package/src/StateMachine.ts

@@ -1,3 +1,5 @@
-export { make, StateMachine } from './definition'
-export * from './machines'
-export { Instance, run } from './runtime'
+export { make, mapActions } from './definition.js'
+export type { StateMachine } from './definition.js'
+export * from './machines/index.js'
+export { run } from './runtime/index.js'
+export type { Instance } from './runtime/index.js'

package/src/definition.ts

@@ -47,3 +47,16 @@ export const prepareActions = <State, Actions extends AnyStateActions>(
   machine: StateMachine<State, Actions>,
   store: Store<State>,
 ): PreparedStateActions<Actions> => machine.actions({ Store: store })
+
+export const mapActions = <
+  State,
+  Actions extends AnyStateActions,
+  NextActions extends AnyStateActions,
+>(
+  self: StateMachine<State, Actions>,
+  f: (actions: Actions, machine: { Store: Store<State> }) => NextActions,
+): StateMachine<State, NextActions> =>
+  make<State>()({
+    ...self,
+    actions: machine => ({ ...f(self.actions(machine), machine) }),
+  })

package/src/form/index.ts

@@ -1 +1 @@
-export * as Form from './definition'
+export * as Form from './definition.js'

package/src/index.ts

@@ -1 +1 @@
-export * as StateMachine from './StateMachine'
+export * as StateMachine from './StateMachine.js'

package/src/machines/Form.test.ts

@@ -1,8 +1,7 @@
 import { describe, expect, it } from '@effect/vitest'
+import { StateMachine } from '@matheuspuel/state-machine'
+import { Form } from '@matheuspuel/state-machine/form'
 import { Effect } from 'effect'
-import { StateMachine } from '..'
-import { Form } from '../form'
-import { run } from '../runtime'
 
 describe('Form', () => {
   it('should work', () => {
@@ -17,7 +16,7 @@ describe('Form', () => {
       b: Form.Struct({ c: formField }),
     })
     const machine = StateMachine.Form(form)
-    const instance = run(machine)
+    const instance = StateMachine.run(machine)
     const getState = () => instance.ref.get.pipe(Effect.runSync)
     expect(getState()).toStrictEqual<ReturnType<typeof getState>>({
       a: { value: 0, error: null },

package/src/machines/Form.ts

@@ -1,6 +1,6 @@
-import { Effect, Either, Option, Record } from 'effect'
-import { make, makeStore, Store } from '../definition'
-import { AnyForm, FormField } from '../form/definition'
+import { Data, Effect, Either, Option, Record } from 'effect'
+import { make, makeStore, Store } from '../definition.js'
+import { AnyForm, FormField } from '../form/definition.js'
 
 export type FormState<Form extends AnyForm> = {
   [K in keyof Form]: Form[K] extends FormField<infer A, infer I, infer E>
@@ -31,6 +31,7 @@ export type FormActions<Form extends AnyForm> = {
     ? {
         set: (value: I) => void
         update: (f: (previous: I) => I) => void
+        validate: () => Promise<Either.Either<A, E | null>>
         error: { set: (error: E | null) => void }
       }
     : Form[K] extends AnyForm
@@ -38,6 +39,10 @@ export type FormActions<Form extends AnyForm> = {
       : never
 }
 
+export class FormValidationError<Form extends AnyForm> extends Data.TaggedError(
+  'FormValidationError',
+)<{ errors: FormError<Form> }> {}
+
 const isField = (
   value: AnyForm | FormField<any, any, any>,
 ): value is FormField<any, any, any> => typeof value.validate === 'function'
@@ -59,11 +64,26 @@ export const Form = <F extends AnyForm>(form: F) => {
                 ..._,
                 [key]: { value: f(_[key]!.value), error: null },
               })),
+            validate: () =>
+              Effect.gen(function* () {
+                const result = yield* _.validate(Store.get()[key]!.value).pipe(
+                  Effect.either,
+                )
+                const error = Option.getOrNull(Either.getLeft(result))
+                Store.update(_ => ({
+                  ..._,
+                  [key]: { value: _[key]!.value, error },
+                }))
+                return result
+              }).pipe(Effect.runPromise),
             set: (value: any) =>
               Store.update(_ => ({ ..._, [key]: { value, error: null } })),
             error: {
               set: (error: any) =>
-                Store.update(_ => ({ ..._, [key]: { value: _.value, error } })),
+                Store.update(_ => ({
+                  ..._,
+                  [key]: { value: _[key]!.value, error },
+                })),
             },
           }
         : getActions(
@@ -77,7 +97,7 @@ export const Form = <F extends AnyForm>(form: F) => {
   const validate = <F extends AnyForm>(
     form: F,
     Store: Store<FormState<F>>,
-  ): any =>
+  ): Effect.Effect<FormData<F>, FormValidationError<F>> =>
     Effect.all(
       Record.map(form, (_, key) =>
         isField(_)
@@ -100,13 +120,15 @@ export const Form = <F extends AnyForm>(form: F) => {
                 get: () => Store.get()[key],
                 update: f => Store.update(_ => ({ ..._, [key]: f(_[key]) })),
               }) as any,
-            ),
+            ).pipe(Effect.mapError(e => e.errors)),
       ),
       { mode: 'validate' },
+    ).pipe(
+      Effect.mapError(e => new FormValidationError({ errors: e as any })),
     ) as any
   return make<FormState<F>>()<
     FormActions<F> & {
-      validate: () => Effect.Effect<FormData<F>, FormError<F>>
+      validate: () => Effect.Effect<FormData<F>, FormValidationError<F>>
       setStateFromData: (data: FormData<F>) => void
     }
   >({

package/src/machines/FormValue.test.ts

@@ -1,12 +1,11 @@
 import { describe, expect, it } from '@effect/vitest'
+import { StateMachine } from '@matheuspuel/state-machine'
 import { Effect } from 'effect'
-import { run } from '../runtime'
-import { FormValue } from './FormValue'
 
 describe('FormValue', () => {
   it('should work', () => {
-    const machine = FormValue<number, string>(0)
-    const instance = run(machine)
+    const machine = StateMachine.FormValue<number, string>(0)
+    const instance = StateMachine.run(machine)
     const getState = () => instance.ref.get.pipe(Effect.runSync)
     expect(getState()).toStrictEqual({ value: 0, error: null })
     instance.actions.set(1)

package/src/machines/FormValue.ts

@@ -1,4 +1,4 @@
-import { make } from '../definition'
+import { make } from '../definition.js'
 
 export type FormValue<A, E> = { value: A; error: E | null }
 

package/src/machines/Struct.test.ts

@@ -1,23 +1,24 @@
 import { describe, expect, it } from '@effect/vitest'
-import { Effect } from 'effect'
-import { run } from '../runtime'
-import { Struct } from './Struct'
-import { of } from './of'
+import { StateMachine } from '@matheuspuel/state-machine'
+import { Effect, pipe } from 'effect'
 
 describe('Struct', () => {
   it('should work', () => {
-    const machine = Struct(
-      {
-        a: of(0),
-        b: of(''),
-      },
-      {
-        extraActions: ({ Store }) => ({
-          get: () => Store.get(),
+    const machine = pipe(
+      StateMachine.Struct({
+        a: StateMachine.of(0),
+        b: StateMachine.of(''),
+      }),
+      base =>
+        StateMachine.make<(typeof base)['initialState']>()({
+          ...base,
+          actions: ({ Store }) => ({
+            ...base.actions({ Store }),
+            get: () => Store.get(),
+          }),
         }),
-      },
     )
-    const instance = run(machine)
+    const instance = StateMachine.run(machine)
     const getState = () => instance.ref.get.pipe(Effect.runSync)
     expect(getState()).toStrictEqual({ a: 0, b: '' })
     instance.actions.a.set(1)

package/src/machines/Struct.ts

@@ -4,33 +4,20 @@ import {
   make,
   makeStore,
   StateMachine,
-  Store,
-} from '../definition'
+} from '../definition.js'
 
 export const Struct = <
   A extends Record<string, StateMachine<any, AnyStateActions>>,
-  ExtraActions extends AnyStateActions = {},
 >(
   fields: A,
-  options?: {
-    extraActions?: (machine: {
-      Store: Store<{
-        [K in keyof A]: A[K] extends StateMachine<infer State, any>
-          ? State
-          : never
-      }>
-    }) => ExtraActions
-  },
 ) =>
   make<{
     [K in keyof A]: A[K] extends StateMachine<infer State, any> ? State : never
-  }>()<
-    {
-      [K in keyof A]: A[K] extends StateMachine<any, infer Actions>
-        ? Actions
-        : never
-    } & ExtraActions
-  >({
+  }>()<{
+    [K in keyof A]: A[K] extends StateMachine<any, infer Actions>
+      ? Actions
+      : never
+  }>({
     initialState: Record.map(fields, _ => _.initialState) as any,
     actions: ({ Store }) => ({
       ...(Record.map(fields, (_, key) =>
@@ -41,7 +28,25 @@ export const Struct = <
           }) as any,
         }),
       ) as any),
-      ...options?.extraActions?.({ Store }),
     }),
-    // TODO implement other options
+    start: ({ Store }) =>
+      Promise.all(
+        Object.keys(fields).map(async key => {
+          const field = fields[key]!
+          return field.start?.({
+            Store: makeStore({
+              get: () => Store.get()[key],
+              update: f => Store.update(_ => ({ ..._, [key]: f(_[key]) })),
+            }) as any,
+          })
+        }),
+      ),
+    onUpdate: async state => {
+      await Promise.all(
+        Object.keys(fields).map(async key => {
+          const field = fields[key]!
+          return field.onUpdate?.(state[key])
+        }),
+      )
+    },
   })

package/src/machines/index.ts

@@ -1,4 +1,4 @@
-export { Form } from './Form'
-export { FormValue } from './FormValue'
-export { of } from './of'
-export { Struct } from './Struct'
+export { Form } from './Form.js'
+export { FormValue } from './FormValue.js'
+export { of } from './of.js'
+export { Struct } from './Struct.js'

package/src/machines/of.test.ts

@@ -1,12 +1,11 @@
 import { describe, expect, it } from '@effect/vitest'
+import { StateMachine } from '@matheuspuel/state-machine'
 import { Effect } from 'effect'
-import { run } from '../runtime'
-import { of } from './of'
 
 describe('of', () => {
   it('should work', () => {
-    const machine = of('')
-    const instance = run(machine)
+    const machine = StateMachine.of('')
+    const instance = StateMachine.run(machine)
     instance.actions.set('a')
     const state = instance.ref.get.pipe(Effect.runSync)
     expect(state).toStrictEqual('a')

package/src/machines/of.ts

@@ -1,4 +1,4 @@
-import { make } from '../definition'
+import { make } from '../definition.js'
 
 export const of = <A>(initialState: A) =>
   make<A>()({

package/src/react/context.tsx

@@ -3,8 +3,8 @@ import {
   AnyStateActions,
   PreparedStateActions,
   StateMachine,
-} from '../definition'
-import { useStateMachine } from './useStateMachine'
+} from '../definition.js'
+import { useStateMachine } from './useStateMachine.js'
 
 export const makeStateMachineContext = <State, Actions extends AnyStateActions>(
   machine: StateMachine<State, Actions>,

package/src/react/index.ts

@@ -1,3 +1,3 @@
-export * from './context'
-export * from './useSelector'
-export * from './useStateMachine'
+export * from './context.js'
+export * from './useSelector.js'
+export * from './useStateMachine.js'

package/src/react/useSelector.ts

@@ -1,7 +1,7 @@
 import { Effect, Equal, Equivalence } from 'effect'
 import { useSyncExternalStoreWithSelector } from 'use-sync-external-store/with-selector'
 import { AnyStateActions } from '../definition.js'
-import { Instance } from '../runtime'
+import { Instance } from '../runtime/index.js'
 
 export const makeUseSelector =
   <State, Actions extends AnyStateActions>(

package/src/react/useStateMachine.ts

@@ -4,7 +4,7 @@ import {
   makeStore,
   prepareActions,
   StateMachine,
-} from '../definition'
+} from '../definition.js'
 
 export const useStateMachine = <State, Actions extends AnyStateActions>(
   stateMachine:

package/src/runtime/index.ts

@@ -5,7 +5,7 @@ import {
   prepareActions,
   PreparedStateActions,
   StateMachine,
-} from '../definition'
+} from '../definition.js'
 
 type SubscriptionTask<State> = (state: State) => Effect.Effect<void>
 

package/.eslintrc.js

@@ -1,34 +0,0 @@
-module.exports = {
-  extends: [
-    'eslint:recommended',
-    'plugin:@typescript-eslint/recommended',
-    'plugin:@typescript-eslint/recommended-requiring-type-checking',
-    'plugin:@typescript-eslint/strict',
-  ],
-  parserOptions: {
-    tsconfigRootDir: __dirname,
-    project: ['./tsconfig.json'],
-    ecmaVersion: 'latest',
-    sourceType: 'module',
-  },
-  ignorePatterns: [
-    '/.vscode/*',
-    '/coverage/*',
-    '/dist/*',
-    '/experiments/*',
-    '/node_modules/*',
-    '.eslintrc.js',
-    '.eslintrc.production.js',
-  ],
-  rules: {
-    // already checked by typescript
-    '@typescript-eslint/no-redeclare': 'off',
-    // warn instead of error
-    '@typescript-eslint/no-unused-vars': 'warn',
-    // allow namespace declaration for types
-    '@typescript-eslint/no-namespace': ['error', { allowDeclarations: true }],
-    // warn instead of error to prevent covering more specific errors
-    '@typescript-eslint/no-unsafe-return': 'warn',
-    '@typescript-eslint/no-unsafe-call': 'warn',
-  },
-}

package/.eslintrc.production.js

@@ -1,11 +0,0 @@
-const base = require('./.eslintrc.js')
-
-module.exports = {
-  ...base,
-  extends: [...base.extends, 'prettier'],
-  plugins: [...(base.plugins ?? []), 'prettier'],
-  rules: {
-    ...base.rules,
-    'prettier/prettier': ['warn'],
-  },
-}

package/.prettierrc

@@ -1,9 +0,0 @@
-{
-  "semi": false,
-  "trailingComma": "all",
-  "arrowParens": "avoid",
-  "singleQuote": true,
-  "printWidth": 80,
-  "tabWidth": 2,
-  "endOfLine": "lf"
-}

package/pnpm-workspace.yaml

@@ -1,2 +0,0 @@
-onlyBuiltDependencies:
-  - esbuild

package/tsconfig.json

@@ -1,14 +0,0 @@
-{
-  "compilerOptions": {
-    "noEmit": true,
-    "skipLibCheck": true,
-    "moduleResolution": "bundler",
-    "target": "ESNext",
-    "jsx": "preserve",
-    "strict": true,
-    "noUncheckedIndexedAccess": true,
-    "noFallthroughCasesInSwitch": true,
-    "plugins": [{ "name": "@effect/language-service" }]
-  },
-  "include": ["**/*.ts", "**/*.tsx"]
-}

package/vitest.config.ts

@@ -1,5 +0,0 @@
-import { defineConfig } from 'vitest/config'
-
-export default defineConfig({
-  test: {},
-})