import type { Types } from "effect";
import { Schema } from "effect";
import type * as FormField from "./FormField.js";
type FormSchemaFields<Fields extends AnyFields> = Types.Simplify<{
    [key in keyof Fields]: Fields[key] extends Any ? FormSchema<Fields[key]["fields"]> : Fields[key]["schema"];
}>;
type FormSchemaStruct<T> = T extends Schema.Struct.Fields ? Schema.Struct<T> : never;
type FormSchema<Fields extends AnyFields> = FormSchemaStruct<FormSchemaFields<Fields>>;
export declare const FormStructTypeId: unique symbol;
export type FormStructTypeId = typeof FormStructTypeId;
export declare const isFormStruct: (value: unknown) => value is FormStruct<AnyFields>;
interface FormStruct<Fields extends AnyFields> {
    [FormStructTypeId]: FormStructTypeId;
    fields: Fields;
    schema: FormSchema<Fields>;
    defaultValue: FormSchema<Fields>["Encoded"];
}
export declare const FormArrayTypeId: unique symbol;
export type FormArrayTypeId = typeof FormArrayTypeId;
export declare const isFormArray: (value: unknown) => value is AnyArray;
interface FormArray<Field extends AnyNonIterableField> {
    [FormArrayTypeId]: FormArrayTypeId;
    field: Field;
    schema: Schema.Array$<Field["schema"]>;
    defaultValue: FormArray<Field>["schema"]["Encoded"];
}
export declare const FormMapTypeId: unique symbol;
export type FormMapTypeId = typeof FormMapTypeId;
export declare const isFormMap: (value: unknown) => value is AnyMap;
interface FormMap<Key extends Schema.Schema.AnyNoContext, Field extends AnyNonIterableField> {
    [FormMapTypeId]: FormMapTypeId;
    field: Field;
    keySchema: Key;
    schema: Schema.HashMap<Key, Field["schema"]>;
    defaultValue: FormMap<Key, Field>["schema"]["Encoded"];
    defaultValueFor: (keys: ReadonlyArray<Key["Encoded"]>) => FormMap<Key, Field>["defaultValue"];
}
export declare const FormRawTypeId: unique symbol;
export type FormRawTypeId = typeof FormRawTypeId;
export declare const isFormRaw: (value: unknown) => value is AnyRaw;
interface FormRaw<S extends Schema.Schema.AnyNoContext> {
    [FormRawTypeId]: FormRawTypeId;
    schema: S;
    defaultValue: S["Encoded"];
}
export declare const struct: <Fields extends AnyFields>(fields: Fields) => FormStruct<Fields>;
export declare const array: <Field extends AnyNonIterableField>(field: Field) => FormArray<Field>;
export declare const map: <A, I, Field extends AnyNonIterableField>({ field, key }: {
    key: Schema.Schema<A, I>;
    field: Field;
}) => FormMap<Schema.Schema<A, I>, Field>;
export declare const raw: <S extends Schema.Schema.AnyNoContext>({ defaultValue, schema }: {
    schema: S;
    defaultValue: S["Encoded"];
}) => FormRaw<S>;
export type AnyNonIterableField = Any | FormField.Any;
export type AnyArray = FormArray<AnyNonIterableField>;
export type AnyMap = FormMap<Schema.Schema.AnyNoContext, AnyNonIterableField>;
export type AnyRaw = FormRaw<Schema.Schema.AnyNoContext>;
export type AnyIterable = FormArray<AnyNonIterableField> | FormMap<Schema.Schema.AnyNoContext, AnyNonIterableField>;
export type AnyField = AnyNonIterableField | AnyIterable | AnyRaw;
export type AnyFields = Record<string, AnyField>;
export type Any = FormStruct<AnyFields>;
export {};
//# sourceMappingURL=FormBody.d.ts.map