Form work
All checks were successful
Lint / lint (push) Successful in 17s

This commit is contained in:
Julien Valverdé
2025-04-17 01:09:01 +02:00
parent 1bfbeba934
commit 7aef7ae796
2 changed files with 13 additions and 5 deletions

View File

@@ -11,15 +11,22 @@ export interface GenericFormField<S extends Schema.Schema.Any> extends FormField
readonly value: S["Type"]
}
export interface TupleFormField<S extends Schema.Tuple<readonly Schema.Schema.AnyNoContext[]>> extends FormField<S> {
export interface TupleFormField<S extends Schema.Tuple<readonly Schema.Schema.Any[]>> extends FormField<S> {
readonly _tag: "TupleFormField"
readonly elements: { [K in keyof S]: FormTree.FormTree<S["elements"][K]> }
readonly elements: { readonly [K in keyof S["elements"]]: FormTree.FormTree<
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> {
readonly _tag: "Tuple2FormField"
// readonly elements: readonly [FormTree.FormTree<S["elements"][0]>, FormTree.FormTree<S["elements"][0]>]
readonly elements: [...{ [K in keyof S["elements"]]: S["elements"][K] }]
readonly elements: { readonly [K in keyof S["elements"]]: FormTree.FormTree<
S["elements"][K] extends Schema.Schema.Any
? S["elements"][K]
: never
> }
}
export interface ArrayFormField<S extends Schema.Array$<Schema.Schema.AnyNoContext>> extends FormField<S> {
@@ -33,5 +40,5 @@ export interface StructFormField<S extends Schema.Struct<{
readonly [x: symbol]: Schema.Schema.AnyNoContext
}>> extends FormField<S> {
readonly _tag: "StructFormField"
readonly fields: { [K in keyof S["fields"]]: FormTree.FormTree<S["fields"][K]> }
readonly fields: { readonly [K in keyof S["fields"]]: FormTree.FormTree<S["fields"][K]> }
}