Thilawyn/reffuse
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Form work

Browse Source
This commit is contained in:
Julien Valverdé
2025-04-17 02:30:23 +02:00
parent 7aef7ae796
commit 35a8037f5a
2 changed files with 22 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

39
packages/extension-form/src/internal/FormField.ts
View File

@@ -11,34 +11,27 @@ export interface GenericFormField<S extends Schema.Schema.Any> extends FormField
readonly value: S["Type"] readonly value: S["Type"]
} }
export interface TupleFormField<S extends Schema.Tuple<readonly Schema.Schema.Any[]>> extends FormField<S> { export interface TupleFormField<
S extends Schema.TupleType<Elements, Rest>,
Elements extends Schema.TupleType.Elements,
Rest extends Schema.TupleType.Rest,
> extends FormField<S> {
readonly _tag: "TupleFormField" readonly _tag: "TupleFormField"
readonly elements: { readonly [K in keyof S["elements"]]: FormTree.FormTree< readonly elements: [...{ readonly [K in keyof Elements]: FormTree.FormTree<Elements[K]> }]
S["elements"][K] extends Schema.Schema.Any
? S["elements"][K]
: never
> }
} }
export interface Tuple2FormField<S extends Schema.Tuple2<Schema.Schema.Any, Schema.Schema.Any>> extends FormField<S> { export interface ArrayFormField<
readonly _tag: "Tuple2FormField" S extends Schema.Array$<Value>,
readonly elements: { readonly [K in keyof S["elements"]]: FormTree.FormTree< Value extends Schema.Schema.Any,
S["elements"][K] extends Schema.Schema.Any > extends FormField<S> {
? S["elements"][K]
: never
> }
}
export interface ArrayFormField<S extends Schema.Array$<Schema.Schema.AnyNoContext>> extends FormField<S> {
readonly _tag: "ArrayFormField" readonly _tag: "ArrayFormField"
readonly elements: readonly FormTree.FormTree<S["value"]>[] readonly elements: readonly FormTree.FormTree<Value>[]
} }
export interface StructFormField<S extends Schema.Struct<{ export interface StructFormField<
readonly [x: string]: Schema.Schema.AnyNoContext S extends Schema.Struct<Fields>,
readonly [x: number]: Schema.Schema.AnyNoContext Fields extends Schema.Struct.Fields,
readonly [x: symbol]: Schema.Schema.AnyNoContext > extends FormField<S> {
}>> extends FormField<S> {
readonly _tag: "StructFormField" readonly _tag: "StructFormField"
readonly fields: { readonly [K in keyof S["fields"]]: FormTree.FormTree<S["fields"][K]> } readonly fields: { readonly [K in keyof Fields]: FormTree.FormTree<Fields[K]> }
} }

12
packages/extension-form/src/internal/FormTree.ts
View File

@@ -2,12 +2,12 @@ import { Schema } from "effect"
import type * as FormField from "./FormField.js" import type * as FormField from "./FormField.js"
export type FormTree<S extends Schema.Schema.Any> = ( export type FormTree<S> = (
S extends Schema.Tuple<any> ? FormField.TupleFormField<S> : S extends Schema.TupleType<infer Elements, infer Rest> ? FormField.TupleFormField<S, Elements, Rest> :
S extends Schema.Tuple2<any, any> ? FormField.Tuple2FormField<S> : S extends Schema.Array$<infer Value> ? FormField.ArrayFormField<S, Value> :
S extends Schema.Array$<any> ? FormField.ArrayFormField<S> : S extends Schema.Struct<infer Fields> ? FormField.StructFormField<S, Fields> :
S extends Schema.Struct<any> ? FormField.StructFormField<S> : S extends Schema.Schema.Any ? FormField.GenericFormField<S> :
FormField.GenericFormField<S> never
) )