@matheuspuel/state-machine 0.3.0 → 0.5.0

package/dist/StateMachine.js

@@ -1,4 +1,4 @@
-export { make } from './definition.js';
+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

@@ -1 +1 @@
-{"version":3,"file":"StateMachine.js","sourceRoot":"","sources":["../src/StateMachine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAEtC,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAA"}
+{"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

@@ -9,4 +9,8 @@ export const makeStore = (base) => ({
 });
 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

@@ -1 +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"}
+{"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;AAyBF,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

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

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

@@ -1 +1 @@
-{"version":3,"file":"StateMachine.d.ts","sourceRoot":"","sources":["../../src/StateMachine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,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"}
+{"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

@@ -22,7 +22,20 @@ export type StateMachine<State, Actions extends AnyStateActions> = {
     }) => undefined | Promise<unknown>;
     onUpdate?: (state: State) => void | Promise<void>;
 };
+export type AnyStateMachineWithActions<Actions extends AnyStateActions> = {
+    initialState: any;
+    actions: (machine: {
+        Store: any;
+    }) => Actions;
+    start?: (machine: {
+        Store: any;
+    }) => undefined | Promise<unknown>;
+    onUpdate?: (state: any) => 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

@@ -1 +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"}
+{"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,MAAM,MAAM,0BAA0B,CAAC,OAAO,SAAS,eAAe,IAAI;IACxE,YAAY,EAAE,GAAG,CAAA;IACjB,OAAO,EAAE,CAAC,OAAO,EAAE;QAAE,KAAK,EAAE,GAAG,CAAA;KAAE,KAAK,OAAO,CAAA;IAC7C,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE;QAAE,KAAK,EAAE,GAAG,CAAA;KAAE,KAAK,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IACjE,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CAChD,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/index.d.ts

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

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

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

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

@@ -1,28 +1,87 @@
-import { Effect, 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;
-        error: {
-            set: (error: E | null) => void;
-        };
-    } : Form[K] extends AnyForm ? FormActions<Form[K]> : never;
-};
-export declare const Form: <F extends AnyForm>(form: F) => import("../definition.js").StateMachine<FormState<F>, FormActions<F> & {
-    validate: () => Effect.Effect<FormData<F>, FormError<F>>;
-    setStateFromData: (data: FormData<F>) => void;
+import { Effect, Either, Option, Schema } from 'effect';
+import { ParseError } from 'effect/ParseResult';
+import { AnyStateMachineWithActions, StateMachine } from '../definition.js';
+declare const ValidationError_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 ValidationError<E> extends ValidationError_base<{
+    error: E;
+}> {
+}
+export type FormField<A, I, E> = StateMachine<{
+    value: I;
+    error: E | null;
+}, {
+    set: (value: I) => void;
+    update: (f: (previous: I) => I) => void;
+    error: {
+        set: (error: E | null) => void;
+    };
+    validate: () => Effect.Effect<A, ValidationError<E>>;
+    check: () => Promise<Either.Either<A, ValidationError<E>>>;
+    setStateFromData: (data: A) => void;
 }>;
+export type AnyFormField = FormField<any, any, any>;
+export declare const makeField: <A, I, E>(args: {
+    initial: I;
+    validate: (value: I) => Effect.Effect<A, E>;
+    fromData: (data: A) => I;
+}) => FormField<A, I, E>;
+export declare const field: <A>(initial: A) => FormField<A, A, never>;
+export declare const fieldWithError: <E>() => <A, I, E1>(self: FormField<A, I, E1>) => FormField<A, I, E | E1>;
+export declare const transformField: <A, A1, I, E, E1>(self: FormField<A1, I, E1>, args: {
+    validate: (value: NoInfer<A1>) => Effect.Effect<A, E>;
+    fromData: (data: A) => NoInfer<A1>;
+}) => FormField<A, I, E | E1>;
+export declare const transformFieldSchema: <A, A1, I, E1>(self: FormField<A1, I, E1>, schema: Schema.Schema<A, A1>) => FormField<A, I, E1 | ParseError>;
+export declare const validateField: <A1, A extends A1, I, E, E1>(self: FormField<A1, I, E1>, validate: (value: NoInfer<A1>) => Effect.Effect<A, E>) => FormField<A, I, E | E1>;
+export declare const Struct: <Fields extends Record<string, AnyStateMachineWithActions<{
+    setStateFromData: (data: any) => void;
+    validate: () => Effect.Effect<any, ValidationError<any>>;
+}>>>(fields: Fields) => StateMachine<{ [K in keyof Fields]: Fields[K] extends StateMachine<infer State, infer Actions> ? State : never; }, { [K in keyof Fields]: Fields[K] extends StateMachine<infer State, infer Actions_1> ? Actions_1 : never; } & {
+    validate: () => Effect.Effect<{ [K in keyof Fields]: Fields[K] extends StateMachine<infer State, {
+        validate: () => Effect.Effect<infer A, ValidationError<infer E>>;
+    }> ? A : never; }, ValidationError<{ [K in keyof Fields]: Fields[K] extends StateMachine<infer State, {
+        validate: () => Effect.Effect<infer A_1, ValidationError<infer E_1>>;
+    }> ? Option.Option<E_1> : never; }>>;
+    setStateFromData: (data: { [K in keyof Fields]: Fields[K] extends StateMachine<infer State, {
+        setStateFromData: (data: infer A_2) => void;
+    }> ? A_2 : never; }) => void;
+}>;
+export declare const TaggedUnion: <TagKey extends string, Variants extends Record<string, AnyStateMachineWithActions<{
+    setStateFromData: (data: any) => void;
+    validate: () => Effect.Effect<any, ValidationError<any>>;
+}>>>(tagKey: TagKey, variants: Variants) => StateMachine<{ [K in keyof Variants]: Variants[K] extends StateMachine<infer State, infer Actions> ? State : never; } & { [K in TagKey]: {
+    value: keyof Variants;
+    error: null;
+}; }, { [K in keyof Variants]: Variants[K] extends StateMachine<infer State, infer Actions_1> ? Actions_1 : never; } & { [K in TagKey]: {
+    set: (tag: keyof Variants) => void;
+    validate: () => Effect.Effect<keyof Variants, ValidationError<never>>;
+    check: () => Promise<Either.Either<keyof Variants, ValidationError<never>>>;
+}; } & {
+    validate: () => Effect.Effect<{ [K in keyof Variants]: Variants[K] extends StateMachine<infer State, {
+        validate: () => Effect.Effect<infer A, ValidationError<infer E>>;
+    }> ? A & { [TK in TagKey]: K; } : never; }[keyof Variants], ValidationError<any>>;
+    setStateFromData: (data: { [K in keyof Variants]: Variants[K] extends StateMachine<infer State, {
+        setStateFromData: (data: infer A_1) => void;
+    }> ? A_1 & { [TK in TagKey]: K; } : never; }[keyof Variants]) => void;
+}>;
+export declare const Array: <Item extends AnyStateMachineWithActions<{
+    setStateFromData: (data: any) => void;
+    validate: () => Effect.Effect<any, ValidationError<any>>;
+}>>(item: Item) => StateMachine<Item extends StateMachine<infer State, infer Actions> ? ReadonlyArray<State> : never, {
+    addItem: () => void;
+    removeItem: (index: number) => void;
+    index: (index: number) => Item extends StateMachine<infer State, infer Actions_1> ? Actions_1 : never;
+    validate: () => Effect.Effect<Item extends StateMachine<infer State, {
+        validate: () => Effect.Effect<infer A, ValidationError<infer E>>;
+    }> ? ReadonlyArray<A> : never, ValidationError<any>>;
+    setStateFromData: (data: Item extends StateMachine<infer State, {
+        setStateFromData: (data: infer A_1) => void;
+    }> ? ReadonlyArray<A_1> : never) => void;
+}>;
+export declare const String: FormField<string, string, never>;
+export declare const NonEmptyString: FormField<string, string, import("effect/Cause").NoSuchElementException>;
+export declare const TrimNonEmptyString: FormField<string, string, import("effect/Cause").NoSuchElementException>;
+export {};
 //# sourceMappingURL=Form.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"Form.d.ts","sourceRoot":"","sources":["../../../src/machines/Form.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,EAAU,MAAM,QAAQ,CAAA;AAEvD,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,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;AAMD,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,OAAO,EAAE,MAAM,CAAC;cAgE/B,MAAM,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;sBACtC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI;EAsBlD,CAAA"}
+{"version":3,"file":"Form.d.ts","sourceRoot":"","sources":["../../../src/machines/Form.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EACN,MAAM,EAEN,MAAM,EAGN,MAAM,EACP,MAAM,QAAQ,CAAA;AACf,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,EACL,0BAA0B,EAG1B,YAAY,EACb,MAAM,kBAAkB,CAAA;;;;AAGzB,qBAAa,eAAe,CAAC,CAAC,CAAE,SAAQ,qBAEtC;IACA,KAAK,EAAE,CAAC,CAAA;CACT,CAAC;CAAG;AAEL,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,YAAY,CAC3C;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAA;CAAE,EAC7B;IACE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,CAAA;IACvB,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,CAAA;IACvC,KAAK,EAAE;QAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,KAAK,IAAI,CAAA;KAAE,CAAA;IACzC,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAA;IACpD,KAAK,EAAE,MAAM,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1D,gBAAgB,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,CAAA;CACpC,CACF,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;AAEnD,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM;IACvC,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,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAgCjB,CAAA;AAEJ,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,SAAS,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAKvD,CAAA;AAEJ,eAAO,MAAM,cAAc,GACxB,CAAC,QACD,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAC5B,CAAA;AAEnC,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAC5C,MAAM,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAC1B,MAAM;IACJ,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACrD,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,EAAE,CAAC,CAAA;CACnC,KACA,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAyBrB,CAAA;AAEJ,eAAO,MAAM,oBAAoB,GAAI,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAC/C,MAAM,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAC1B,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,KAC3B,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,UAAU,CAI9B,CAAA;AAEJ,eAAO,MAAM,aAAa,GAAI,EAAE,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EACtD,MAAM,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAC1B,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KACpD,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAC6B,CAAA;AAEtD,eAAO,MAAM,MAAM,GACjB,MAAM,SAAS,MAAM,CACnB,MAAM,EACN,0BAA0B,CAAC;IACzB,gBAAgB,EAAE,CAAC,IAAI,EAAE,GAAG,KAAK,IAAI,CAAA;IACrC,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAA;CACzD,CAAC,CACH,EAED,QAAQ,MAAM,KACb,YAAY,CACb,GACG,CAAC,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,YAAY,CACjD,MAAM,KAAK,EACX,MAAM,OAAO,CACd,GACG,KAAK,GACL,KAAK,GACV,EACD,GACG,CAAC,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,YAAY,CACjD,MAAM,KAAK,EACX,MAAM,SAAO,CACd,GACG,SAAO,GACP,KAAK,GACV,GAAG;IACF,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAC3B,GACG,CAAC,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,YAAY,CACjD,MAAM,KAAK,EACX;QACE,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;KACjE,CACF,GACG,CAAC,GACD,KAAK,GACV,EACD,eAAe,CAAC,GACb,CAAC,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,YAAY,CACjD,MAAM,KAAK,EACX;QACE,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,GAAC,EAAE,eAAe,CAAC,MAAM,GAAC,CAAC,CAAC,CAAA;KACjE,CACF,GACG,MAAM,CAAC,MAAM,CAAC,GAAC,CAAC,GAChB,KAAK,GACV,CAAC,CACH,CAAA;IACD,gBAAgB,EAAE,CAAC,IAAI,EAAE,GACtB,CAAC,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,YAAY,CACjD,MAAM,KAAK,EACX;QAAE,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,GAAC,KAAK,IAAI,CAAA;KAAE,CAC9C,GACG,GAAC,GACD,KAAK,GACV,KAAK,IAAI,CAAA;CACX,CAqBS,CAAA;AAEZ,eAAO,MAAM,WAAW,GACtB,MAAM,SAAS,MAAM,EACrB,QAAQ,SAAS,MAAM,CACrB,MAAM,EACN,0BAA0B,CAAC;IACzB,gBAAgB,EAAE,CAAC,IAAI,EAAE,GAAG,KAAK,IAAI,CAAA;IACrC,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAA;CACzD,CAAC,CACH,EAED,QAAQ,MAAM,EACd,UAAU,QAAQ,KACjB,YAAY,CACb,GACG,CAAC,IAAI,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,YAAY,CACrD,MAAM,KAAK,EACX,MAAM,OAAO,CACd,GACG,KAAK,GACL,KAAK,GACV,GAAG,GACD,CAAC,IAAI,MAAM,GAAG;IAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACtD,EACD,GACG,CAAC,IAAI,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,YAAY,CACrD,MAAM,KAAK,EACX,MAAM,SAAO,CACd,GACG,SAAO,GACP,KAAK,GACV,GAAG,GACD,CAAC,IAAI,MAAM,GAAG;IACb,GAAG,EAAE,CAAC,GAAG,EAAE,MAAM,QAAQ,KAAK,IAAI,CAAA;IAClC,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAA;IACrE,KAAK,EAAE,MAAM,OAAO,CAClB,MAAM,CAAC,MAAM,CAAC,MAAM,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CACtD,CAAA;CACF,GACF,GAAG;IACF,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAC3B,GACG,CAAC,IAAI,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,YAAY,CACrD,MAAM,KAAK,EACX;QACE,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;KACjE,CACF,GACG,CAAC,GAAG,GAAG,EAAE,IAAI,MAAM,GAAG,CAAC,GAAE,GACzB,KAAK,GACV,CAAC,MAAM,QAAQ,CAAC,EACjB,eAAe,CAAC,GAAG,CAAC,CACrB,CAAA;IACD,gBAAgB,EAAE,CAChB,IAAI,EAAE,GACH,CAAC,IAAI,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,YAAY,CACrD,MAAM,KAAK,EACX;QAAE,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,GAAC,KAAK,IAAI,CAAA;KAAE,CAC9C,GACG,GAAC,GAAG,GAAG,EAAE,IAAI,MAAM,GAAG,CAAC,GAAE,GACzB,KAAK,GACV,CAAC,MAAM,QAAQ,CAAC,KACd,IAAI,CAAA;CACV,CAyFF,CAAA;AAED,eAAO,MAAM,KAAK,GAChB,IAAI,SAAS,0BAA0B,CAAC;IACtC,gBAAgB,EAAE,CAAC,IAAI,EAAE,GAAG,KAAK,IAAI,CAAA;IACrC,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAA;CACzD,CAAC,EAEF,MAAM,IAAI,KACT,YAAY,CACb,IAAI,SAAS,YAAY,CAAC,MAAM,KAAK,EAAE,MAAM,OAAO,CAAC,GACjD,aAAa,CAAC,KAAK,CAAC,GACpB,KAAK,EACT;IACE,OAAO,EAAE,MAAM,IAAI,CAAA;IACnB,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IACnC,KAAK,EAAE,CACL,KAAK,EAAE,MAAM,KACV,IAAI,SAAS,YAAY,CAAC,MAAM,KAAK,EAAE,MAAM,SAAO,CAAC,GAAG,SAAO,GAAG,KAAK,CAAA;IAC5E,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAC3B,IAAI,SAAS,YAAY,CACvB,MAAM,KAAK,EACX;QAAE,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;KAAE,CACrE,GACG,aAAa,CAAC,CAAC,CAAC,GAChB,KAAK,EACT,eAAe,CAAC,GAAG,CAAC,CACrB,CAAA;IACD,gBAAgB,EAAE,CAChB,IAAI,EAAE,IAAI,SAAS,YAAY,CAC7B,MAAM,KAAK,EACX;QAAE,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,GAAC,KAAK,IAAI,CAAA;KAAE,CAC9C,GACG,aAAa,CAAC,GAAC,CAAC,GAChB,KAAK,KACN,IAAI,CAAA;CACV,CA+CF,CAAA;AAED,eAAO,MAAM,MAAM,kCAAY,CAAA;AAE/B,eAAO,MAAM,cAAc,0EAGzB,CAAA;AAEF,eAAO,MAAM,kBAAkB,0EAI7B,CAAA"}

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

@@ -1 +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,+CAgB5D,CAAA"}
+{"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

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

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

@@ -1 +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"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/machines/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA"}

package/dist/index.js

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

package/dist/index.js.map

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

package/dist/machines/Form.js

@@ -1,47 +1,153 @@
-import { Effect, Either, Option, Record } from 'effect';
-import { make, makeStore } from '../definition.js';
-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(_ => ({
+import { Data, Effect, flow, pipe, Record, Schema, } from 'effect';
+import { make, mapActions, } from '../definition.js';
+import { Struct as StateMachineStruct } from '../machines/Struct.js';
+export class ValidationError extends Data.TaggedError('FormValidationError') {
+}
+export const makeField = (args) => make()({
+    initialState: { value: args.initial, error: null },
+    actions: ({ Store }) => {
+        const validate = () => pipe(Store.get().value, args.validate, Effect.tap(() => Effect.sync(() => Store.update(_ => ({ value: _.value, error: null })))), Effect.tapError(error => Effect.sync(() => Store.update(_ => ({ value: _.value, error })))), Effect.mapError(error => new ValidationError({ error })));
+        return {
+            set: value => Store.update(() => ({ value, error: null })),
+            update: f => Store.update(_ => ({ value: f(_.value), error: null })),
+            error: { set: error => Store.update(_ => ({ value: _.value, error })) },
+            validate,
+            check: () => validate().pipe(Effect.either, Effect.runPromise),
+            setStateFromData: data => Store.update(_ => ({
                 ..._,
-                [key]: { value: f(_[key].value), error: null },
+                value: args.fromData(data),
+                error: null,
             })),
-            set: (value) => Store.update(_ => ({ ..._, [key]: { value, error: null } })),
-            error: {
-                set: (error) => Store.update(_ => ({ ..._, [key]: { value: _.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]) })),
-        }))), { mode: 'validate' });
+        };
+    },
+});
+export const field = (initial) => makeField({
+    initial: initial,
+    validate: _ => Effect.succeed(_),
+    fromData: _ => _,
+});
+export const fieldWithError = () => (self) => self;
+export const transformField = (self, args) => mapActions(fieldWithError()(self), (actions, { Store }) => {
+    const validate = () => actions.validate().pipe(Effect.flatMap(flow(args.validate, Effect.tap(() => Effect.sync(() => Store.update(_ => ({ value: _.value, error: null })))), Effect.tapError(error => Effect.sync(() => Store.update(_ => ({ value: _.value, error })))), Effect.mapError(error => new ValidationError({ error })))));
+    return {
+        ...actions,
+        validate,
+        check: () => validate().pipe(Effect.either, Effect.runPromise),
+        setStateFromData: data => actions.setStateFromData(args.fromData(data)),
+    };
+});
+export const transformFieldSchema = (self, schema) => transformField(self, {
+    validate: Schema.decode(schema),
+    fromData: Schema.encodeSync(schema),
+});
+export const validateField = (self, validate) => transformField(self, { validate, fromData: _ => _ });
+export const Struct = (fields) => mapActions(StateMachineStruct(fields), actions => ({
+    ...actions,
+    setStateFromData: data => {
+        Object.keys(fields).map(key => actions[key].setStateFromData?.(data[key]));
+    },
+    validate: () => Effect.all(Record.map(fields, (_, key) => actions[key].validate?.().pipe(Effect.mapError(_ => _.error))), { mode: 'validate' }).pipe(Effect.mapError(error => new ValidationError({ error }))),
+}));
+export const TaggedUnion = (tagKey, variants) => {
+    const variantKeys = Object.keys(variants);
+    const initialTag = variantKeys[0];
+    return mapActions(make()({
+        initialState: {
+            [tagKey]: { value: initialTag, error: null },
+            ...Object.fromEntries(variantKeys.map(key => [key, variants[key].initialState])),
+        },
+        actions: ({ Store }) => {
+            const variantActions = Object.fromEntries(variantKeys.map(key => {
+                const machine = variants[key];
+                const machineActions = machine.actions({
+                    Store: {
+                        get: () => Store.get()[key],
+                        update: (f) => Store.update(state => ({
+                            ...state,
+                            [key]: f(state[key]),
+                        })),
+                    },
+                });
+                return [key, machineActions];
+            }));
+            return {
+                ...variantActions,
+                [tagKey]: {
+                    set: (tag) => Store.update(_ => ({
+                        ..._,
+                        [tagKey]: { value: tag, error: null },
+                    })),
+                    validate: () => Effect.succeed(Store.get()[tagKey].value),
+                    check: () => Effect.succeed(Store.get()[tagKey].value).pipe(Effect.either, Effect.runPromise),
+                },
+                validate: () => {
+                    const tag = Store.get()[tagKey].value;
+                    const variantAction = variantActions[tag];
+                    return pipe(variantAction.validate(), Effect.map((result) => ({ ...result, [tagKey]: tag })));
+                },
+                setStateFromData: (data) => {
+                    const tag = data[tagKey];
+                    Store.update(_ => ({
+                        ..._,
+                        [tagKey]: { value: tag, error: null },
+                    }));
+                    const variantAction = variantActions[tag];
+                    variantAction.setStateFromData(data);
+                },
+            };
+        },
+    }), actions => {
+        const flatActions = Object.fromEntries(variantKeys.map(key => [key, actions[key]]));
+        return {
+            ...flatActions,
+            [tagKey]: actions[tagKey],
+            validate: actions.validate,
+            setStateFromData: actions.setStateFromData,
+        };
+    });
+};
+export const Array = (item) => {
     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);
-            }),
-        }),
+        initialState: [],
+        actions: ({ Store }) => {
+            const getItemActions = (index) => item.actions({
+                Store: {
+                    get: () => Store.get()[index],
+                    update: (f) => Store.update(state => {
+                        const newState = [...state];
+                        newState[index] = f(state[index]);
+                        return newState;
+                    }),
+                },
+            });
+            return {
+                addItem: () => Store.update(state => [...state, item.initialState]),
+                removeItem: (index) => Store.update(state => state.filter((_, i) => i !== index)),
+                index: (index) => getItemActions(index),
+                validate: () => Effect.all(Store.get().map((_, index) => {
+                    const actions = getItemActions(index);
+                    return actions
+                        .validate()
+                        .pipe(Effect.mapError((_) => _.error));
+                }), { mode: 'validate' }).pipe(Effect.mapError(error => new ValidationError({ error }))),
+                setStateFromData: (data) => {
+                    Store.update(() => data.map(() => item.initialState));
+                    data.forEach((itemData, index) => {
+                        const actions = getItemActions(index);
+                        actions.setStateFromData(itemData);
+                    });
+                },
+            };
+        },
     });
 };
+export const String = field('');
+export const NonEmptyString = transformField(String, {
+    validate: _ => Schema.decodeOption(Schema.NonEmptyString)(_),
+    fromData: _ => _,
+});
+export const TrimNonEmptyString = transformField(String, {
+    validate: _ => Schema.decodeOption(Schema.compose(Schema.Trim, Schema.NonEmptyString))(_),
+    fromData: _ => _,
+});
 //# sourceMappingURL=Form.js.map

package/dist/machines/Form.js.map

@@ -1 +1 @@
-{"version":3,"file":"Form.js","sourceRoot":"","sources":["../../src/machines/Form.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAS,MAAM,kBAAkB,CAAA;AAuCzD,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,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,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;aAClE;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,EACrB,EAAE,CACP,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,CACN,EACD,EAAE,IAAI,EAAE,UAAU,EAAE,CACd,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"}
+{"version":3,"file":"Form.js","sourceRoot":"","sources":["../../src/machines/Form.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EAEN,IAAI,EAEJ,IAAI,EACJ,MAAM,EACN,MAAM,GACP,MAAM,QAAQ,CAAA;AAEf,OAAO,EAEL,IAAI,EACJ,UAAU,GAEX,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAE,MAAM,IAAI,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAEpE,MAAM,OAAO,eAAmB,SAAQ,IAAI,CAAC,WAAW,CACtD,qBAAqB,CAGrB;CAAG;AAgBL,MAAM,CAAC,MAAM,SAAS,GAAG,CAAU,IAIlC,EAAsB,EAAE,CACvB,IAAI,EAAiC,CAAC;IACpC,YAAY,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE;IAClD,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE;QACrB,MAAM,QAAQ,GAAG,GAAG,EAAE,CACpB,IAAI,CACF,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,EACjB,IAAI,CAAC,QAAQ,EACb,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CACd,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CACf,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CACrD,CACF,EACD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CACtB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAClE,EACD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CACzD,CAAA;QACH,OAAO;YACL,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1D,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,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;YACpE,KAAK,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;YACvE,QAAQ;YACR,KAAK,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC;YAC9D,gBAAgB,EAAE,IAAI,CAAC,EAAE,CACvB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACjB,GAAG,CAAC;gBACJ,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC1B,KAAK,EAAE,IAAI;aACZ,CAAC,CAAC;SACN,CAAA;IACH,CAAC;CACF,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,OAAU,EAA0B,EAAE,CAC7D,SAAS,CAAc;IACrB,OAAO,EAAE,OAAO;IAChB,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;CACjB,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,cAAc,GACzB,GAAM,EAAE,CACR,CAAW,IAAyB,EAA2B,EAAE,CAC/D,IAA+B,CAAA;AAEnC,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAA0B,EAC1B,IAGC,EACwB,EAAE,CAC3B,UAAU,CAAC,cAAc,EAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;IAC3D,MAAM,QAAQ,GAAG,GAAqD,EAAE,CACtE,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CACrB,MAAM,CAAC,OAAO,CACZ,IAAI,CACF,IAAI,CAAC,QAAQ,EACb,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CACd,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CACf,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CACrD,CACF,EACD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CACtB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAClE,EACD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CACzD,CACF,CACF,CAAA;IACH,OAAO;QACL,GAAG,OAAO;QACV,QAAQ;QACR,KAAK,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9D,gBAAgB,EAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;KACxE,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA0B,EAC1B,MAA4B,EACM,EAAE,CACpC,cAAc,CAAC,IAAI,EAAE;IACnB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;CACpC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAA0B,EAC1B,QAAqD,EAC5B,EAAE,CAC3B,cAAc,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;AAEtD,MAAM,CAAC,MAAM,MAAM,GAAG,CASpB,MAAc,EAiDd,EAAE,CACF,UAAU,CAAC,kBAAkB,CAAS,MAAM,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IACzD,GAAG,OAAO;IACV,gBAAgB,EAAE,IAAI,CAAC,EAAE;QACvB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAC3B,OAAO,CAAC,GAAG,CAAE,CAAC,gBAAwB,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CACrD,CAAA;IACH,CAAC;IACD,QAAQ,EAAE,GAAG,EAAE,CACb,MAAM,CAAC,GAAG,CACR,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAE1B,OAAO,CAAC,GAAG,CAAE,CAAC,QAIf,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAC1C,EACD,EAAE,IAAI,EAAE,UAAU,EAAE,CACrB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;CACnE,CAAC,CAAQ,CAAA;AAEZ,MAAM,CAAC,MAAM,WAAW,GAAG,CAUzB,MAAc,EACd,QAAkB,EAoDlB,EAAE;IACF,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAuB,CAAA;IAC/D,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAE,CAAA;IAalC,OAAO,UAAU,CACf,IAAI,EAAiB,CAAC;QACpB,YAAY,EAAE;YACZ,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE;YAC5C,GAAG,MAAM,CAAC,WAAW,CACnB,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAE,CAAC,YAAY,CAAC,CAAC,CAC3D;SACe;QAClB,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE;YACrB,MAAM,cAAc,GAAG,MAAM,CAAC,WAAW,CACvC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;gBACpB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAE,CAAA;gBAC9B,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC;oBACrC,KAAK,EAAE;wBACL,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;wBAC3B,MAAM,EAAE,CAAC,CAAM,EAAE,EAAE,CACjB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;4BACrB,GAAG,KAAK;4BACR,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;yBACrB,CAAC,CAAC;qBACN;iBACF,CAAC,CAAA;gBACF,OAAO,CAAC,GAAG,EAAE,cAAc,CAAC,CAAA;YAC9B,CAAC,CAAC,CACH,CAAA;YAED,OAAO;gBACL,GAAG,cAAc;gBACjB,CAAC,MAAM,CAAC,EAAE;oBACR,GAAG,EAAE,CAAC,GAAmB,EAAE,EAAE,CAC3B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBACjB,GAAG,CAAC;wBACJ,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE;qBACtC,CAAC,CAAC;oBACL,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC;oBACzD,KAAK,EAAE,GAAG,EAAE,CACV,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC5C,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,UAAU,CAClB;iBACJ;gBACD,QAAQ,EAAE,GAAG,EAAE;oBACb,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,CAAA;oBACrC,MAAM,aAAa,GAAG,cAAc,CAAC,GAAG,CAAQ,CAAA;oBAChD,OAAO,IAAI,CACT,aAAa,CAAC,QAAQ,EAAE,EACxB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAW,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAC5D,CAAA;gBACH,CAAC;gBACD,gBAAgB,EAAE,CAAC,IAAS,EAAE,EAAE;oBAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAA;oBACxB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBACjB,GAAG,CAAC;wBACJ,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE;qBACtC,CAAC,CAAC,CAAA;oBACH,MAAM,aAAa,GAAG,cAAc,CAAC,GAAG,CAAQ,CAAA;oBAChD,aAAa,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAA;gBACtC,CAAC;aACF,CAAA;QACH,CAAC;KACF,CAAC,EACF,OAAO,CAAC,EAAE;QACR,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CACpC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,GAA2B,CAAC,CAAC,CAAC,CACpE,CAAA;QACD,OAAO;YACL,GAAG,WAAW;YACd,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,MAA8B,CAAC;YACjD,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;SACpC,CAAA;IACV,CAAC,CACK,CAAA;AACV,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAMnB,IAAU,EA6BV,EAAE;IAKF,OAAO,IAAI,EAA4B,CAAC;QACtC,YAAY,EAAE,EAAE;QAChB,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE;YACrB,MAAM,cAAc,GAAG,CAAC,KAAa,EAAe,EAAE,CACpD,IAAI,CAAC,OAAO,CAAC;gBACX,KAAK,EAAE;oBACL,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAE;oBAC9B,MAAM,EAAE,CAAC,CAAM,EAAE,EAAE,CACjB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;wBACnB,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,CAAA;wBAC3B,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;wBACjC,OAAO,QAAQ,CAAA;oBACjB,CAAC,CAAC;iBACL;aACF,CAAQ,CAAA;YACX,OAAO;gBACL,OAAO,EAAE,GAAG,EAAE,CACZ,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,YAAyB,CAAC,CAAC;gBACnE,UAAU,EAAE,CAAC,KAAa,EAAE,EAAE,CAC5B,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC;gBAC5D,KAAK,EAAE,CAAC,KAAa,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC;gBAC/C,QAAQ,EAAE,GAAG,EAAE,CACb,MAAM,CAAC,GAAG,CACR,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;oBAC3B,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAQ,CAAA;oBAC5C,OAAO,OAAO;yBACX,QAAQ,EAAE;yBACV,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;gBAC/C,CAAC,CAAC,EACF,EAAE,IAAI,EAAE,UAAU,EAAE,CACrB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;gBAClE,gBAAgB,EAAE,CAAC,IAAW,EAAE,EAAE;oBAChC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,YAAyB,CAAC,CAAC,CAAA;oBAClE,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;wBAC/B,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAQ,CAAA;wBAC5C,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAA;oBACpC,CAAC,CAAC,CAAA;gBACJ,CAAC;aACF,CAAA;QACH,CAAC;KACF,CAAQ,CAAA;AACX,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC,CAAA;AAE/B,MAAM,CAAC,MAAM,cAAc,GAAG,cAAc,CAAC,MAAM,EAAE;IACnD,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IAC5D,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;CACjB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAc,CAAC,MAAM,EAAE;IACvD,QAAQ,EAAE,CAAC,CAAC,EAAE,CACZ,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;CACjB,CAAC,CAAA"}

package/dist/machines/Struct.js

@@ -10,6 +10,20 @@ export const Struct = (fields) => make()({
             }),
         })),
     }),
-    // 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]) })),
+            }),
+        });
+    })),
+    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

@@ -1 +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,+BAA+B;CAChC,CAAC,CAAA"}
+{"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

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

package/dist/machines/index.js.map

@@ -1 +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"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/machines/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@matheuspuel/state-machine",
-  "version": "0.3.0",
+  "version": "0.5.0",
   "type": "module",
   "files": [
     "/dist",
@@ -16,10 +16,6 @@
       "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"
@@ -35,6 +31,7 @@
   },
   "scripts": {
     "build": "tsc -b tsconfig.build.json",
+    "build:watch": "tsc -b tsconfig.build.json --watch",
     "lint": "eslint . --max-warnings 0 --config .eslintrc.production.js",
     "lint:fix": "eslint . --fix --config .eslintrc.production.js",
     "typecheck": "tsc",

package/src/StateMachine.ts

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

package/src/definition.ts

@@ -36,6 +36,13 @@ export type StateMachine<State, Actions extends AnyStateActions> = {
   onUpdate?: (state: State) => void | Promise<void>
 }
 
+export type AnyStateMachineWithActions<Actions extends AnyStateActions> = {
+  initialState: any
+  actions: (machine: { Store: any }) => Actions
+  start?: (machine: { Store: any }) => undefined | Promise<unknown>
+  onUpdate?: (state: any) => void | Promise<void>
+}
+
 export const make =
   <State>() =>
   <Actions extends AnyStateActions>(args: StateMachine<State, Actions>) =>
@@ -47,3 +54,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) }),
+  })