@voila.dev/effect-form 0.27.0

package/dist/internal/dirty.js

@@ -0,0 +1,89 @@
+import * as Equal from "effect/Equal";
+import { getNestedValue, isPathUnderRoot } from "../Path.js";
+export const recalculateDirtyFieldsForArray = (dirtyFields, initialValues, arrayPath, newItems) => {
+    const initialItems = (getNestedValue(initialValues, arrayPath) ??
+        []);
+    if (newItems === initialItems) {
+        return dirtyFields;
+    }
+    const nextDirty = new Set(Array.from(dirtyFields).filter((path) => !isPathUnderRoot(path, arrayPath)));
+    const loopLength = Math.max(newItems.length, initialItems.length);
+    for (let i = 0; i < loopLength; i++) {
+        const itemPath = `${arrayPath}[${i}]`;
+        const newItem = newItems[i];
+        const initialItem = initialItems[i];
+        if (newItem === initialItem)
+            continue;
+        if (!Equal.equals(newItem, initialItem)) {
+            nextDirty.add(itemPath);
+        }
+    }
+    if (newItems.length !== initialItems.length) {
+        nextDirty.add(arrayPath);
+    }
+    else {
+        nextDirty.delete(arrayPath);
+    }
+    return nextDirty;
+};
+export const recalculateDirtySubtree = (currentDirty, allInitial, allValues, rootPath = "") => {
+    const targetValue = rootPath
+        ? getNestedValue(allValues, rootPath)
+        : allValues;
+    const targetInitial = rootPath
+        ? getNestedValue(allInitial, rootPath)
+        : allInitial;
+    if (targetValue === targetInitial) {
+        if (rootPath === "") {
+            return new Set();
+        }
+        let changed = false;
+        const nextDirty = new Set(currentDirty);
+        for (const path of currentDirty) {
+            if (isPathUnderRoot(path, rootPath)) {
+                nextDirty.delete(path);
+                changed = true;
+            }
+        }
+        return changed ? nextDirty : currentDirty;
+    }
+    const nextDirty = new Set(currentDirty);
+    if (rootPath === "") {
+        nextDirty.clear();
+    }
+    else {
+        for (const path of nextDirty) {
+            if (isPathUnderRoot(path, rootPath)) {
+                nextDirty.delete(path);
+            }
+        }
+    }
+    const recurse = (current, initial, path) => {
+        if (current === initial)
+            return;
+        if (Array.isArray(current)) {
+            const initialArr = (initial ?? []);
+            for (let i = 0; i < Math.max(current.length, initialArr.length); i++) {
+                recurse(current[i], initialArr[i], path ? `${path}[${i}]` : `[${i}]`);
+            }
+        }
+        else if (current !== null && typeof current === "object") {
+            const initialObj = (initial ?? {});
+            for (const key in current) {
+                recurse(current[key], initialObj[key], path ? `${path}.${key}` : key);
+            }
+            for (const key in initialObj) {
+                if (!(key in current)) {
+                    recurse(undefined, initialObj[key], path ? `${path}.${key}` : key);
+                }
+            }
+        }
+        else {
+            if (!Equal.equals(current, initial) && path)
+                nextDirty.add(path);
+        }
+    };
+    recurse(targetValue, targetInitial, rootPath);
+    return nextDirty;
+};
+//# sourceMappingURL=dirty.js.map

package/dist/internal/dirty.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dirty.js","sourceRoot":"","sources":["../../src/internal/dirty.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7D,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC7C,WAAgC,EAChC,aAAsB,EACtB,SAAiB,EACjB,QAAgC,EACV,EAAE;IACxB,MAAM,YAAY,GAAG,CAAC,cAAc,CAAC,aAAa,EAAE,SAAS,CAAC;QAC7D,EAAE,CAA2B,CAAC;IAE/B,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,WAAW,CAAC;IACpB,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CACxB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAC3E,CAAC;IAEF,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,GAAG,SAAS,IAAI,CAAC,GAAG,CAAC;QACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAEpC,IAAI,OAAO,KAAK,WAAW;YAAE,SAAS;QAEtC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;YACzC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;IACF,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;QAC7C,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1B,CAAC;SAAM,CAAC;QACP,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO,SAAS,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACtC,YAAiC,EACjC,UAAmB,EACnB,SAAkB,EAClB,WAAmB,EAAE,EACC,EAAE;IACxB,MAAM,WAAW,GAAG,QAAQ;QAC3B,CAAC,CAAC,cAAc,CAAC,SAAS,EAAE,QAAQ,CAAC;QACrC,CAAC,CAAC,SAAS,CAAC;IACb,MAAM,aAAa,GAAG,QAAQ;QAC7B,CAAC,CAAC,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAC;QACtC,CAAC,CAAC,UAAU,CAAC;IAEd,IAAI,WAAW,KAAK,aAAa,EAAE,CAAC;QACnC,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;YACrB,OAAO,IAAI,GAAG,EAAE,CAAC;QAClB,CAAC;QAED,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YACjC,IAAI,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACrC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACvB,OAAO,GAAG,IAAI,CAAC;YAChB,CAAC;QACF,CAAC;QACD,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC;IAC3C,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;IAExC,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;QACrB,SAAS,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC;SAAM,CAAC;QACP,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC9B,IAAI,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACrC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;QACF,CAAC;IACF,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,OAAgB,EAAE,OAAgB,EAAE,IAAY,EAAQ,EAAE;QAC1E,IAAI,OAAO,KAAK,OAAO;YAAE,OAAO;QAEhC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,CAAC,OAAO,IAAI,EAAE,CAA2B,CAAC;YAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvE,CAAC;QACF,CAAC;aAAM,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC5D,MAAM,UAAU,GAAG,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC;YAC9D,KAAK,MAAM,GAAG,IAAI,OAAiB,EAAE,CAAC;gBACrC,OAAO,CACL,OAAmC,CAAC,GAAG,CAAC,EACzC,UAAU,CAAC,GAAG,CAAC,EACf,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAC7B,CAAC;YACH,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC9B,IAAI,CAAC,CAAC,GAAG,IAAK,OAAkB,CAAC,EAAE,CAAC;oBACnC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACpE,CAAC;YACF,CAAC;QACF,CAAC;aAAM,CAAC;YACP,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,IAAI;gBAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;IACF,CAAC,CAAC;IAEF,OAAO,CAAC,WAAW,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;IAC9C,OAAO,SAAS,CAAC;AAClB,CAAC,CAAC"}

package/package.json

@@ -0,0 +1,43 @@
+{
+	"name": "@voila.dev/effect-form",
+	"version": "0.27.0",
+	"description": "Type-safe form builder powered by Effect Schema",
+	"type": "module",
+	"publishConfig": {
+		"access": "public"
+	},
+	"exports": {
+		"./package.json": "./package.json",
+		".": "./dist/index.js",
+		"./*": "./dist/*.js",
+		"./internal/*": null
+	},
+	"files": [
+		"src/**/*.ts",
+		"dist/**/*.js",
+		"dist/**/*.js.map",
+		"dist/**/*.d.ts",
+		"dist/**/*.d.ts.map"
+	],
+	"repository": {
+		"type": "git",
+		"url": "https://github.com/voila-voila-dev/effect-form.git"
+	},
+	"homepage": "https://github.com/voila-voila-dev/effect-form",
+	"keywords": [
+		"effect",
+		"form",
+		"schema",
+		"validation",
+		"typescript"
+	],
+	"author": "Lucas Barake",
+	"license": "MIT",
+	"sideEffects": [],
+	"peerDependencies": {
+		"effect": ">=4.0.0-rc.112 <4.0.1"
+	},
+	"devDependencies": {
+		"effect": "4.0.0-rc.112"
+	}
+}

package/src/Field.ts

@@ -0,0 +1,149 @@
+import * as Schema from "effect/Schema";
+import * as AST from "effect/SchemaAST";
+
+export const TypeId: unique symbol = Symbol.for("@voila.dev/effect-form/Field");
+
+export type TypeId = typeof TypeId;
+
+export interface FieldDef<K extends string, S extends Schema.Top> {
+	readonly _tag: "field";
+	readonly key: K;
+	readonly schema: S;
+}
+
+export interface ArrayFieldDef<K extends string, S extends Schema.Top> {
+	readonly _tag: "array";
+	readonly key: K;
+	readonly itemSchema: S;
+}
+
+export type AnyFieldDef =
+	| FieldDef<string, Schema.Top>
+	| ArrayFieldDef<string, Schema.Top>;
+
+export type FieldsRecord = Record<string, AnyFieldDef>;
+
+export const isArrayFieldDef = (
+	def: AnyFieldDef,
+): def is ArrayFieldDef<string, Schema.Top> => def._tag === "array";
+
+export const isFieldDef = (
+	def: AnyFieldDef,
+): def is FieldDef<string, Schema.Top> => def._tag === "field";
+
+export const makeField = <K extends string, S extends Schema.Top>(
+	key: K,
+	schema: S,
+): FieldDef<K, S> => ({
+	_tag: "field",
+	key,
+	schema,
+});
+
+export const makeArrayField = <K extends string, S extends Schema.Top>(
+	key: K,
+	itemSchema: S,
+): ArrayFieldDef<K, S> => ({
+	_tag: "array",
+	key,
+	itemSchema,
+});
+
+export type EncodedFromFields<T extends FieldsRecord> = {
+	readonly [K in keyof T]: T[K] extends FieldDef<any, infer S>
+		? Schema.Codec.Encoded<S>
+		: T[K] extends ArrayFieldDef<any, infer S>
+			? ReadonlyArray<Schema.Codec.Encoded<S>>
+			: never;
+};
+
+export type DecodedFromFields<T extends FieldsRecord> = {
+	readonly [K in keyof T]: T[K] extends FieldDef<any, infer S>
+		? Schema.Schema.Type<S>
+		: T[K] extends ArrayFieldDef<any, infer S>
+			? ReadonlyArray<Schema.Schema.Type<S>>
+			: never;
+};
+
+export const getDefaultFromSchema = (schema: Schema.Top): unknown => {
+	const ast = AST.toEncoded(schema.ast);
+	switch (ast._tag) {
+		case "String":
+		case "TemplateLiteral":
+			return "";
+		case "Number":
+			return 0;
+		case "Boolean":
+			return false;
+		case "Arrays":
+			return [];
+		case "Literal":
+			return ast.literal;
+		case "Enum": {
+			const first = ast.enums[0];
+			return first ? first[1] : undefined;
+		}
+		case "Objects": {
+			const result: Record<string, unknown> = {};
+			for (const prop of ast.propertySignatures) {
+				result[prop.name as string] = getDefaultFromSchema(
+					Schema.make(prop.type),
+				);
+			}
+			return result;
+		}
+		case "Union": {
+			const first = ast.types[0];
+			return first ? getDefaultFromSchema(Schema.make(first)) : undefined;
+		}
+		case "Never":
+			return undefined;
+		case "Suspend":
+			return getDefaultFromSchema(Schema.make(ast.thunk()));
+		default:
+			return "";
+	}
+};
+
+export const getDefaultEncodedValues = (
+	fields: FieldsRecord,
+): Record<string, unknown> => {
+	const result: Record<string, unknown> = {};
+	for (const [key, def] of Object.entries(fields)) {
+		if (isArrayFieldDef(def)) {
+			result[key] = [];
+		} else {
+			result[key] = "";
+		}
+	}
+	return result;
+};
+
+export const createTouchedRecord = (
+	fields: FieldsRecord,
+	value: boolean,
+): Record<string, boolean> => {
+	const result: Record<string, boolean> = {};
+	for (const key of Object.keys(fields)) {
+		result[key] = value;
+	}
+	return result;
+};
+
+export const extractStructFieldDefs = (
+	schema: Schema.Top,
+): ReadonlyArray<FieldDef<string, Schema.Top>> | undefined => {
+	const unwrapObjects = (ast: AST.AST): AST.Objects | undefined => {
+		const base = AST.toType(ast);
+		if (AST.isObjects(base)) return base;
+		if (AST.isSuspend(base)) return unwrapObjects(base.thunk());
+		return undefined;
+	};
+
+	const objects = unwrapObjects(schema.ast);
+	if (!objects) return undefined;
+
+	return objects.propertySignatures.map((prop) =>
+		makeField(prop.name as string, { ast: prop.type } as Schema.Top),
+	);
+};

package/src/FieldState.ts

@@ -0,0 +1,23 @@
+import type * as Option from "effect/Option";
+import type * as Schema from "effect/Schema";
+
+export type FieldValue<T> = T extends Schema.Top ? Schema.Codec.Encoded<T> : T;
+
+export interface FieldState<E> {
+	readonly path: string;
+	readonly value: E;
+	readonly onChange: (value: E) => void;
+	readonly onBlur: () => void;
+	readonly error: Option.Option<string>;
+	readonly isTouched: boolean;
+	readonly isValidating: boolean;
+	readonly isDirty: boolean;
+}
+
+export interface ArrayFieldOperations<TItem> {
+	readonly items: ReadonlyArray<TItem>;
+	readonly append: (value?: TItem) => void;
+	readonly remove: (index: number) => void;
+	readonly swap: (indexA: number, indexB: number) => void;
+	readonly move: (from: number, to: number) => void;
+}