@effect-app/vue 0.87.0-next.3 → 0.87.0-next.5

package/CHANGELOG.md

@@ -1,5 +1,23 @@
 # @effect-app/vue
 
+## 0.87.0-next.5
+
+### Patch Changes
+
+- 52da734: mini form
+- Updated dependencies [52da734]
+  - @effect-app/vue@0.87.0-next.5
+
+## 0.87.0-next.4
+
+### Patch Changes
+
+- Updated dependencies [fde3e90]
+  - @effect-app/schema@0.150.0-next.2
+  - @effect-app/core@0.97.0-next.1
+  - @effect-app/prelude@0.107.0-next.4
+  - @effect-app/vue@0.87.0-next.4
+
 ## 0.87.0-next.3
 
 ### Patch Changes

package/_cjs/form.cjs

@@ -0,0 +1,32 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.convertIn = convertIn;
+exports.convertOut = convertOut;
+exports.convertOutInt = convertOutInt;
+exports.translate = exports.customSchemaErrors = void 0;
+var _intl = require("@formatjs/intl");
+var _vue = require("vue");
+function convertIn(v, type) {
+  return v === null ? "" : type === "text" ? v : `${v}`;
+}
+function convertOutInt(v, type) {
+  v = v == null ? v : v.trim();
+  const c = v === "" ? null : type === "float" ? parseFloat(v) : type === "int" ? parseInt(v) : v;
+  return c;
+}
+function convertOut(v, set, type) {
+  return set(convertOutInt(v, type));
+}
+const f = Symbol();
+class PhantomTypeParameter {}
+// type GetSchemaFromProp<T> = T extends Field<infer S, any, any, any> ? S
+//   : never
+const defaultIntl = (0, _intl.createIntl)({
+  locale: "en"
+});
+const translate = exports.translate = (0, _vue.ref)(defaultIntl.formatMessage.bind(defaultIntl));
+const customSchemaErrors = exports.customSchemaErrors = (0, _vue.ref)(new Map());
+//# sourceMappingURL=form.cjs.map

package/_cjs/form.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"form.cjs","names":["_intl","require","_vue","convertIn","v","type","convertOutInt","trim","c","parseFloat","parseInt","convertOut","set","f","Symbol","PhantomTypeParameter","defaultIntl","createIntl","locale","translate","exports","ref","formatMessage","bind","customSchemaErrors","Map"],"sources":["../_src/form.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;AACA,IAAAA,KAAA,GAAAC,OAAA;AACA,IAAAC,IAAA,GAAAD,OAAA;AAEM,SAAUE,SAASA,CAACC,CAAgB,EAAEC,IAA+B;EACzE,OAAOD,CAAC,KAAK,IAAI,GAAG,EAAE,GAAGC,IAAI,KAAK,MAAM,GAAGD,CAAC,GAAG,GAAGA,CAAC,EAAE;AACvD;AAEM,SAAUE,aAAaA,CAACF,CAAS,EAAEC,IAA+B;EACtED,CAAC,GAAGA,CAAC,IAAI,IAAI,GAAGA,CAAC,GAAGA,CAAC,CAACG,IAAI,EAAE;EAC5B,MAAMC,CAAC,GAAGJ,CAAC,KAAK,EAAE,GAAG,IAAI,GAAGC,IAAI,KAAK,OAAO,GAAGI,UAAU,CAACL,CAAC,CAAC,GAAGC,IAAI,KAAK,KAAK,GAAGK,QAAQ,CAACN,CAAC,CAAC,GAAGA,CAAC;EAC/F,OAAOI,CAAC;AACV;AAEM,SAAUG,UAAUA,CAACP,CAAS,EAAEQ,GAAgC,EAAEP,IAA+B;EACrG,OAAOO,GAAG,CAACN,aAAa,CAACF,CAAC,EAAEC,IAAI,CAAC,CAAC;AACpC;AAyBA,MAAMQ,CAAC,GAAGC,MAAM,EAAE;AAClB,MAAeC,oBAAoB;AAcnC;AACA;AAEA,MAAMC,WAAW,GAAG,IAAAC,gBAAU,EAAC;EAAEC,MAAM,EAAE;AAAI,CAAE,CAAC;AACzC,MAAMC,SAAS,GAAAC,OAAA,CAAAD,SAAA,GAAG,IAAAE,QAAG,EAAkCL,WAAW,CAACM,aAAa,CAACC,IAAI,CAACP,WAAW,CAAC,CAAC;AACnG,MAAMQ,kBAAkB,GAAAJ,OAAA,CAAAI,kBAAA,GAAG,IAAAH,QAAG,EACnC,IAAII,GAAG,EAAE,CACV"}

package/_src/form.ts

@@ -0,0 +1,220 @@
+import type { Schema } from "@effect-app/schema"
+import { createIntl, type IntlFormatters } from "@formatjs/intl"
+import { ref } from "vue"
+
+export function convertIn(v: string | null, type?: "text" | "float" | "int") {
+  return v === null ? "" : type === "text" ? v : `${v}`
+}
+
+export function convertOutInt(v: string, type?: "text" | "float" | "int") {
+  v = v == null ? v : v.trim()
+  const c = v === "" ? null : type === "float" ? parseFloat(v) : type === "int" ? parseInt(v) : v
+  return c
+}
+
+export function convertOut(v: string, set: (v: unknown | null) => void, type?: "text" | "float" | "int") {
+  return set(convertOutInt(v, type))
+}
+
+// export function buildFieldInfoFromFields<Fields extends StructFields>(
+//   fields: Fields
+// ) {
+//   return fields.$$.keys.reduce(
+//     (prev, cur) => {
+//       prev[cur] = buildFieldInfo(fields[cur] as AnyField, cur)
+//       return prev
+//     },
+//     {} as {
+//       [K in keyof Fields]: FieldInfo<
+//         Schema.From<GetSchemaFromProp<Fields[K]>>,
+//         Schema.To<GetSchemaFromProp<Fields[K]>>
+//       >
+//     }
+//   )
+// }
+
+export interface FieldMetadata {
+  minLength: number | undefined
+  maxLength: number | undefined
+  required: boolean
+}
+
+const f = Symbol()
+abstract class PhantomTypeParameter<
+  Identifier extends keyof any,
+  InstantiatedType
+> {
+  protected abstract readonly _: {
+    readonly [NameP in Identifier]: (_: InstantiatedType) => InstantiatedType
+  }
+}
+export interface FieldInfo<Tin, Tout> extends PhantomTypeParameter<typeof f, { in: Tin; out: Tout }> {
+  rules: ((v: string) => boolean | string)[]
+  metadata: FieldMetadata
+  type: "text" | "float" | "int" // todo; multi-line vs single line text
+}
+
+// type GetSchemaFromProp<T> = T extends Field<infer S, any, any, any> ? S
+//   : never
+
+const defaultIntl = createIntl({ locale: "en" })
+export const translate = ref<IntlFormatters["formatMessage"]>(defaultIntl.formatMessage.bind(defaultIntl))
+export const customSchemaErrors = ref<Map<Schema<any, any>, (message: string, e: unknown, v: unknown) => string>>(
+  new Map()
+)
+
+// function buildFieldInfo(
+//   propOrSchema: Schema<any, any>,
+//   fieldKey: PropertyKey
+// ): FieldInfo<any, any> {
+//   const metadata = getMetadataFromSchemaOrProp(propOrSchema) // TODO
+//   const schema = propOrSchema
+//   const parse = schema.parseEither
+
+//   const nullable = AST.isUnion(schema.ast) && schema.ast.types.includes(Schema2.null.ast)
+
+//   function renderError(e: any, v: unknown) {
+//     const err = drawError(e)
+//     const custom = customSchemaErrors.value.get(schema)
+//       ?? (nullable?.self ? customSchemaErrors.value.get(nullable.self) : undefined)
+//     return custom ? custom(err, e, v) : translate.value(
+//       { defaultMessage: "The entered value is not a valid {type}: {message}", id: "validation.not_a_valid" },
+//       {
+//         type: translate.value({
+//           defaultMessage: capitalize(fieldKey.toString()),
+//           id: `fieldNames.${String(fieldKey)}`
+//         }),
+//         message: err.slice(err.indexOf("expected")) // TODO: this is not translated.
+//       }
+//     )
+//   }
+
+//   const stringRules = [
+//     (v: string | null) =>
+//       v === null
+//       || metadata.minLength === undefined
+//       || v.length >= metadata.minLength
+//       || translate.value({
+//         defaultMessage: "The field requires at least {minLength} characters",
+//         id: "validation.string.minLength"
+//       }, {
+//         minLength: metadata.minLength
+//       }),
+//     (v: string | null) =>
+//       v === null
+//       || metadata.maxLength === undefined
+//       || v.length <= metadata.maxLength
+//       || translate.value({
+//         defaultMessage: "The field cannot have more than {maxLength} characters",
+//         id: "validation.string.maxLength"
+//       }, {
+//         maxLength: metadata.maxLength
+//       })
+//   ]
+
+//   const numberRules = [
+//     (v: number | null) =>
+//       v === null
+//       || metadata.minimum === undefined
+//       || metadata.minimumExclusive && v > metadata.minimum
+//       || !metadata.minimumExclusive && v >= metadata.minimum
+//       || translate.value({
+//         defaultMessage: "The value should be {isExclusive, select, true {larger than} other {at least}} {minimum}",
+//         id: "validation.number.min"
+//       }, { isExclusive: metadata.minimumExclusive, minimum: metadata.minimum }),
+//     (v: number | null) =>
+//       v === null
+//       || metadata.maximum === undefined
+//       || metadata.maximumExclusive && v < metadata.maximum
+//       || !metadata.maximumExclusive && v <= metadata.maximum
+//       || translate.value({
+//         defaultMessage: "The value should be {isExclusive, select, true {smaller than} other {at most}} {maximum}",
+//         id: "validation.number.max"
+//       }, { isExclusive: metadata.maximumExclusive, maximum: metadata.maximum })
+//   ]
+
+//   const parseRule = (v: unknown) =>
+//     pipe(
+//       parse(v),
+//       (_) =>
+//         _.match(
+//           {
+//             onLeft: (_) => renderError(_, v),
+//             onRight: ([_, optErr]) =>
+//               optErr.isSome()
+//                 ? renderError(optErr.value, v)
+//                 : true
+//           }
+//         )
+//     )
+
+//   type UnknownRule = (v: unknown) => boolean | string
+//   const rules: UnknownRule[] = [
+//     ...(metadata.type === "text"
+//       ? stringRules
+//       : numberRules) as UnknownRule[],
+//     parseRule as UnknownRule
+//   ]
+
+//   const info = {
+//     type: metadata.type,
+//     rules: [
+//       (v: string) =>
+//         !metadata.required
+//         || v !== ""
+//         || translate.value({ defaultMessage: "The field cannot be empty", id: "validation.empty" }),
+//       (v: string) => {
+//         const converted = convertOutInt(v, metadata.type)
+
+//         for (const r of rules) {
+//           const res = r(converted)
+//           if (res !== true) {
+//             return res
+//           }
+//         }
+
+//         return true
+//       }
+//     ],
+//     metadata
+//   }
+
+//   return info as any
+// }
+
+// export const buildFormFromSchema = <
+//   Fields extends StructFields,
+//   OnSubmitA
+// >(
+//   s: Schema<
+//     Simplify<FromStruct<Fields>>,
+//     Simplify<ToStruct<Fields>>
+//   >,
+//   state: Ref<FromStruct<Fields>>,
+//   onSubmit: (a: ToStruct<Fields>) => Promise<OnSubmitA>
+// ) => {
+//   const fields = buildFieldInfoFromFields(s.Api.fields)
+//   const parse = s.parseSync
+//   const isDirty = ref(false)
+//   const isValid = ref(true)
+
+//   const submit1 = <A>(onSubmit: (a: To) => Promise<A>) => async <T extends Promise<{ valid: boolean }>>(e: T) => {
+//     const r = await e
+//     if (!r.valid) return
+//     return onSubmit(parse(state.value))
+//   }
+//   const submit = submit1(onSubmit)
+
+//   watch(
+//     state,
+//     (v) => {
+//       // TODO: do better
+//       isDirty.value = JSON.stringify(v) !== JSON.stringify(state.value)
+//     },
+//     { deep: true }
+//   )
+
+//   const submitFromState = () => submit(Promise.resolve({ valid: isValid.value }))
+
+//   return { fields, submit, submitFromState, isDirty, isValid }
+// }

package/dist/form.d.ts

@@ -0,0 +1,30 @@
+import type { Schema } from "@effect-app/schema";
+export declare function convertIn(v: string | null, type?: "text" | "float" | "int"): string;
+export declare function convertOutInt(v: string, type?: "text" | "float" | "int"): string | number | null;
+export declare function convertOut(v: string, set: (v: unknown | null) => void, type?: "text" | "float" | "int"): void;
+export interface FieldMetadata {
+    minLength: number | undefined;
+    maxLength: number | undefined;
+    required: boolean;
+}
+declare const f: unique symbol;
+declare abstract class PhantomTypeParameter<Identifier extends keyof any, InstantiatedType> {
+    protected abstract readonly _: {
+        readonly [NameP in Identifier]: (_: InstantiatedType) => InstantiatedType;
+    };
+}
+export interface FieldInfo<Tin, Tout> extends PhantomTypeParameter<typeof f, {
+    in: Tin;
+    out: Tout;
+}> {
+    rules: ((v: string) => boolean | string)[];
+    metadata: FieldMetadata;
+    type: "text" | "float" | "int";
+}
+export declare const translate: import("vue").Ref<{
+    (descriptor: import("@formatjs/intl").MessageDescriptor, values?: Record<string, import("intl-messageformat").PrimitiveType | import("intl-messageformat").FormatXMLElementFn<string, string>> | undefined, opts?: import("intl-messageformat").Options | undefined): string;
+    <T extends unknown>(descriptor: import("@formatjs/intl").MessageDescriptor, values?: Record<string, import("intl-messageformat").PrimitiveType | T | import("intl-messageformat").FormatXMLElementFn<T>> | undefined, opts?: import("intl-messageformat").Options | undefined): string | T | (string | T)[];
+}>;
+export declare const customSchemaErrors: import("vue").Ref<Map<Schema<any, any>, (message: string, e: unknown, v: unknown) => string>>;
+export {};
+//# sourceMappingURL=form.d.ts.map

package/dist/form.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"form.d.ts","sourceRoot":"","sources":["../_src/form.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAIhD,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,KAAK,UAE1E;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,KAAK,0BAIvE;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,GAAG,IAAI,KAAK,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,KAAK,QAEtG;AAmBD,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,GAAG,SAAS,CAAA;IAC7B,SAAS,EAAE,MAAM,GAAG,SAAS,CAAA;IAC7B,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED,QAAA,MAAM,CAAC,eAAW,CAAA;AAClB,uBAAe,oBAAoB,CACjC,UAAU,SAAS,MAAM,GAAG,EAC5B,gBAAgB;IAEhB,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE;QAC7B,QAAQ,EAAE,KAAK,IAAI,UAAU,GAAG,CAAC,CAAC,EAAE,gBAAgB,KAAK,gBAAgB;KAC1E,CAAA;CACF;AACD,MAAM,WAAW,SAAS,CAAC,GAAG,EAAE,IAAI,CAAE,SAAQ,oBAAoB,CAAC,OAAO,CAAC,EAAE;IAAE,EAAE,EAAE,GAAG,CAAC;IAAC,GAAG,EAAE,IAAI,CAAA;CAAE,CAAC;IAClG,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,GAAG,MAAM,CAAC,EAAE,CAAA;IAC1C,QAAQ,EAAE,aAAa,CAAA;IACvB,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,KAAK,CAAA;CAC/B;AAMD,eAAO,MAAM,SAAS;;;EAAoF,CAAA;AAC1G,eAAO,MAAM,kBAAkB,oDAAuC,MAAM,KAAK,OAAO,KAAK,OAAO,KAAK,MAAM,EAE9G,CAAA"}

package/dist/form.js

@@ -0,0 +1,22 @@
+import { createIntl } from "@formatjs/intl";
+import { ref } from "vue";
+export function convertIn(v, type) {
+    return v === null ? "" : type === "text" ? v : `${v}`;
+}
+export function convertOutInt(v, type) {
+    v = v == null ? v : v.trim();
+    const c = v === "" ? null : type === "float" ? parseFloat(v) : type === "int" ? parseInt(v) : v;
+    return c;
+}
+export function convertOut(v, set, type) {
+    return set(convertOutInt(v, type));
+}
+const f = Symbol();
+class PhantomTypeParameter {
+}
+// type GetSchemaFromProp<T> = T extends Field<infer S, any, any, any> ? S
+//   : never
+const defaultIntl = createIntl({ locale: "en" });
+export const translate = ref(defaultIntl.formatMessage.bind(defaultIntl));
+export const customSchemaErrors = ref(new Map());
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZm9ybS5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL19zcmMvZm9ybS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsVUFBVSxFQUF1QixNQUFNLGdCQUFnQixDQUFBO0FBQ2hFLE9BQU8sRUFBRSxHQUFHLEVBQUUsTUFBTSxLQUFLLENBQUE7QUFFekIsTUFBTSxVQUFVLFNBQVMsQ0FBQyxDQUFnQixFQUFFLElBQStCO0lBQ3pFLE9BQU8sQ0FBQyxLQUFLLElBQUksQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxJQUFJLEtBQUssTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUE7QUFDdkQsQ0FBQztBQUVELE1BQU0sVUFBVSxhQUFhLENBQUMsQ0FBUyxFQUFFLElBQStCO0lBQ3RFLENBQUMsR0FBRyxDQUFDLElBQUksSUFBSSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxJQUFJLEVBQUUsQ0FBQTtJQUM1QixNQUFNLENBQUMsR0FBRyxDQUFDLEtBQUssRUFBRSxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLElBQUksS0FBSyxPQUFPLENBQUMsQ0FBQyxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsSUFBSSxLQUFLLEtBQUssQ0FBQyxDQUFDLENBQUMsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7SUFDL0YsT0FBTyxDQUFDLENBQUE7QUFDVixDQUFDO0FBRUQsTUFBTSxVQUFVLFVBQVUsQ0FBQyxDQUFTLEVBQUUsR0FBZ0MsRUFBRSxJQUErQjtJQUNyRyxPQUFPLEdBQUcsQ0FBQyxhQUFhLENBQUMsQ0FBQyxFQUFFLElBQUksQ0FBQyxDQUFDLENBQUE7QUFDcEMsQ0FBQztBQXlCRCxNQUFNLENBQUMsR0FBRyxNQUFNLEVBQUUsQ0FBQTtBQUNsQixNQUFlLG9CQUFvQjtDQU9sQztBQU9ELDBFQUEwRTtBQUMxRSxZQUFZO0FBRVosTUFBTSxXQUFXLEdBQUcsVUFBVSxDQUFDLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRSxDQUFDLENBQUE7QUFDaEQsTUFBTSxDQUFDLE1BQU0sU0FBUyxHQUFHLEdBQUcsQ0FBa0MsV0FBVyxDQUFDLGFBQWEsQ0FBQyxJQUFJLENBQUMsV0FBVyxDQUFDLENBQUMsQ0FBQTtBQUMxRyxNQUFNLENBQUMsTUFBTSxrQkFBa0IsR0FBRyxHQUFHLENBQ25DLElBQUksR0FBRyxFQUFFLENBQ1YsQ0FBQSJ9

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect-app/vue",
-  "version": "0.87.0-next.3",
+  "version": "0.87.0-next.5",
   "license": "MIT",
   "type": "module",
   "dependencies": {
@@ -12,10 +12,10 @@
     "query-string": "^8.1.0",
     "swrv": "^1.0.4",
     "vue": "^3.3.13",
-    "@effect-app/vue": "0.87.0-next.3",
-    "@effect-app/prelude": "0.107.0-next.3",
-    "@effect-app/schema": "0.150.0-next.1",
-    "@effect-app/core": "0.97.0-next.0"
+    "@effect-app/prelude": "0.107.0-next.4",
+    "@effect-app/core": "0.97.0-next.1",
+    "@effect-app/vue": "0.87.0-next.5",
+    "@effect-app/schema": "0.150.0-next.2"
   },
   "devDependencies": {
     "@rollup/pluginutils": "^5.1.0",
@@ -56,6 +56,16 @@
         "default": "./_cjs/_global.cjs"
       }
     },
+    "./form": {
+      "import": {
+        "types": "./dist/form.d.ts",
+        "default": "./dist/form.js"
+      },
+      "require": {
+        "types": "./dist/form.d.ts",
+        "default": "./_cjs/form.cjs"
+      }
+    },
     "./hooks": {
       "import": {
         "types": "./dist/hooks.d.ts",

package/_src/form.ts.bak

@@ -1,224 +0,0 @@
-import { type drawError, type Field, getMetadataFromSchemaOrProp } from "@effect-app/prelude/schema"
-import type { AnyField, FromStruct, Schema, StructFields, To, ToStruct } from "@effect-app/schema"
-import { AST } from "@effect-app/schema/schema"
-import { createIntl, type IntlFormatters } from "@formatjs/intl"
-import type { Simplify } from "effect/Types"
-import type { Ref } from "vue"
-import { capitalize, ref, watch } from "vue"
-
-export function convertIn(v: string | null, type?: "text" | "float" | "int") {
-  return v === null ? "" : type === "text" ? v : `${v}`
-}
-
-export function convertOutInt(v: string, type?: "text" | "float" | "int") {
-  v = v == null ? v : v.trim()
-  const c = v === "" ? null : type === "float" ? parseFloat(v) : type === "int" ? parseInt(v) : v
-  return c
-}
-
-export function convertOut(v: string, set: (v: unknown | null) => void, type?: "text" | "float" | "int") {
-  return set(convertOutInt(v, type))
-}
-
-export function buildFieldInfoFromFields<Fields extends StructFields>(
-  fields: Fields
-) {
-  return fields.$$.keys.reduce(
-    (prev, cur) => {
-      prev[cur] = buildFieldInfo(fields[cur] as AnyField, cur)
-      return prev
-    },
-    {} as {
-      [K in keyof Fields]: FieldInfo<
-        Schema.From<GetSchemaFromProp<Fields[K]>>,
-        Schema.To<GetSchemaFromProp<Fields[K]>>
-      >
-    }
-  )
-}
-
-export interface FieldMetadata {
-  minLength: number | undefined
-  maxLength: number | undefined
-  required: boolean
-}
-
-const f = Symbol()
-abstract class PhantomTypeParameter<
-  Identifier extends keyof any,
-  InstantiatedType
-> {
-  protected abstract readonly _: {
-    readonly [NameP in Identifier]: (_: InstantiatedType) => InstantiatedType
-  }
-}
-export interface FieldInfo<Tin, Tout> extends PhantomTypeParameter<typeof f, { in: Tin; out: Tout }> {
-  rules: ((v: string) => boolean | string)[]
-  metadata: FieldMetadata
-  type: "text" | "float" | "int" // todo; multi-line vs single line text
-}
-
-type GetSchemaFromProp<T> = T extends Field<infer S, any, any, any> ? S
-  : never
-
-const defaultIntl = createIntl({ locale: "en" })
-export const translate = ref<IntlFormatters["formatMessage"]>(defaultIntl.formatMessage.bind(defaultIntl))
-export const customSchemaErrors = ref<Map<Schema<any, any>, (message: string, e: unknown, v: unknown) => string>>(
-  new Map()
-)
-
-function buildFieldInfo(
-  propOrSchema: Schema<any, any>,
-  fieldKey: PropertyKey
-): FieldInfo<any, any> {
-  const metadata = getMetadataFromSchemaOrProp(propOrSchema) // TODO
-  const schema = propOrSchema
-  const parse = schema.parseEither
-
-  const nullable = AST.isUnion(schema.ast) && schema.ast.types.includes(Schema2.null.ast)
-
-  function renderError(e: any, v: unknown) {
-    const err = drawError(e)
-    const custom = customSchemaErrors.value.get(schema)
-      ?? (nullable?.self ? customSchemaErrors.value.get(nullable.self) : undefined)
-    return custom ? custom(err, e, v) : translate.value(
-      { defaultMessage: "The entered value is not a valid {type}: {message}", id: "validation.not_a_valid" },
-      {
-        type: translate.value({
-          defaultMessage: capitalize(fieldKey.toString()),
-          id: `fieldNames.${String(fieldKey)}`
-        }),
-        message: err.slice(err.indexOf("expected")) // TODO: this is not translated.
-      }
-    )
-  }
-
-  const stringRules = [
-    (v: string | null) =>
-      v === null
-      || metadata.minLength === undefined
-      || v.length >= metadata.minLength
-      || translate.value({
-        defaultMessage: "The field requires at least {minLength} characters",
-        id: "validation.string.minLength"
-      }, {
-        minLength: metadata.minLength
-      }),
-    (v: string | null) =>
-      v === null
-      || metadata.maxLength === undefined
-      || v.length <= metadata.maxLength
-      || translate.value({
-        defaultMessage: "The field cannot have more than {maxLength} characters",
-        id: "validation.string.maxLength"
-      }, {
-        maxLength: metadata.maxLength
-      })
-  ]
-
-  const numberRules = [
-    (v: number | null) =>
-      v === null
-      || metadata.minimum === undefined
-      || metadata.minimumExclusive && v > metadata.minimum
-      || !metadata.minimumExclusive && v >= metadata.minimum
-      || translate.value({
-        defaultMessage: "The value should be {isExclusive, select, true {larger than} other {at least}} {minimum}",
-        id: "validation.number.min"
-      }, { isExclusive: metadata.minimumExclusive, minimum: metadata.minimum }),
-    (v: number | null) =>
-      v === null
-      || metadata.maximum === undefined
-      || metadata.maximumExclusive && v < metadata.maximum
-      || !metadata.maximumExclusive && v <= metadata.maximum
-      || translate.value({
-        defaultMessage: "The value should be {isExclusive, select, true {smaller than} other {at most}} {maximum}",
-        id: "validation.number.max"
-      }, { isExclusive: metadata.maximumExclusive, maximum: metadata.maximum })
-  ]
-
-  const parseRule = (v: unknown) =>
-    pipe(
-      parse(v),
-      (_) =>
-        _.match(
-          {
-            onLeft: (_) => renderError(_, v),
-            onRight: ([_, optErr]) =>
-              optErr.isSome()
-                ? renderError(optErr.value, v)
-                : true
-          }
-        )
-    )
-
-  type UnknownRule = (v: unknown) => boolean | string
-  const rules: UnknownRule[] = [
-    ...(metadata.type === "text"
-      ? stringRules
-      : numberRules) as UnknownRule[],
-    parseRule as UnknownRule
-  ]
-
-  const info = {
-    type: metadata.type,
-    rules: [
-      (v: string) =>
-        !metadata.required
-        || v !== ""
-        || translate.value({ defaultMessage: "The field cannot be empty", id: "validation.empty" }),
-      (v: string) => {
-        const converted = convertOutInt(v, metadata.type)
-
-        for (const r of rules) {
-          const res = r(converted)
-          if (res !== true) {
-            return res
-          }
-        }
-
-        return true
-      }
-    ],
-    metadata
-  }
-
-  return info as any
-}
-
-export const buildFormFromSchema = <
-  Fields extends StructFields,
-  OnSubmitA
->(
-  s: Schema<
-    Simplify<FromStruct<Fields>>,
-    Simplify<ToStruct<Fields>>
-  >,
-  state: Ref<FromStruct<Fields>>,
-  onSubmit: (a: ToStruct<Fields>) => Promise<OnSubmitA>
-) => {
-  const fields = buildFieldInfoFromFields(s.Api.fields)
-  const parse = s.parseSync
-  const isDirty = ref(false)
-  const isValid = ref(true)
-
-  const submit1 = <A>(onSubmit: (a: To) => Promise<A>) => async <T extends Promise<{ valid: boolean }>>(e: T) => {
-    const r = await e
-    if (!r.valid) return
-    return onSubmit(parse(state.value))
-  }
-  const submit = submit1(onSubmit)
-
-  watch(
-    state,
-    (v) => {
-      // TODO: do better
-      isDirty.value = JSON.stringify(v) !== JSON.stringify(state.value)
-    },
-    { deep: true }
-  )
-
-  const submitFromState = () => submit(Promise.resolve({ valid: isValid.value }))
-
-  return { fields, submit, submitFromState, isDirty, isValid }
-}