@@ -1,4 +1,4 @@
|
||||
import type { Array, Schema, SchemaAST } from "effect"
|
||||
import type { Effect, Schema } from "effect"
|
||||
import type * as Formify from "./Formify.js"
|
||||
|
||||
|
||||
@@ -6,11 +6,12 @@ export interface FormField<S extends Schema.Schema.Any> {
|
||||
readonly schema: S
|
||||
}
|
||||
|
||||
export interface LiteralFormField<
|
||||
S extends Schema.Literal<Literals>,
|
||||
Literals extends Array.NonEmptyReadonlyArray<SchemaAST.LiteralValue>,
|
||||
> extends FormField<S> {
|
||||
readonly value: S["Type"]
|
||||
export const makeFormField = <S extends Schema.Schema.Any>(
|
||||
schema: S,
|
||||
get: Effect.Effect<S["Type"]>,
|
||||
set: (value: S["Type"]) => Effect.Effect<void>,
|
||||
): FormField<S> => {
|
||||
|
||||
}
|
||||
|
||||
export interface UnionFormField<
|
||||
@@ -50,7 +51,6 @@ export type StructFormField<
|
||||
)
|
||||
|
||||
export interface GenericFormField<S extends Schema.Schema.Any> extends FormField<S> {
|
||||
readonly value: S["Type"]
|
||||
}
|
||||
|
||||
|
||||
|
||||
@@ -3,7 +3,6 @@ import type * as FormField from "./FormField.js"
|
||||
|
||||
|
||||
export type Formify<S> = (
|
||||
S extends Schema.Literal<infer Literals> ? FormField.LiteralFormField<S, Literals> :
|
||||
S extends Schema.Union<infer Members> ? FormField.UnionFormField<S, Members> :
|
||||
S extends Schema.TupleType<infer Elements, infer Rest> ? FormField.TupleFormField<S, Elements, Rest> :
|
||||
S extends Schema.Array$<infer Value> ? FormField.ArrayFormField<S, Value> :
|
||||
@@ -50,17 +49,3 @@ switch (loginForm.member._tag) {
|
||||
case "ByPhone":
|
||||
break
|
||||
}
|
||||
|
||||
|
||||
const User = Schema.Struct({
|
||||
_tag: Schema.tag("User"),
|
||||
name: Schema.String,
|
||||
roles: Schema.Tuple(Schema.Literal("Admin"), Schema.Literal("Moderator"), Schema.Literal("User")),
|
||||
values: Schema.Array(Schema.String),
|
||||
})
|
||||
|
||||
type TestFormTree = Formify<typeof User>
|
||||
declare const testFormTree: TestFormTree
|
||||
|
||||
testFormTree.fields._tag
|
||||
testFormTree.fields.roles.elements[0].value
|
||||
|
||||
Reference in New Issue
Block a user