utils

export interface FormEntry<out R, in out E, in out I, in out O> extends RefSubject.RefSubject<I, E | ParseError, R> {
  readonly name: PropertyKey
  readonly schema: Schema.Schema<O, I, R>
  readonly decoded: RefSubject.Computed<O, E | ParseError, R>
}

export interface Derived<R, R2, E, I, O> extends FormEntry<R, E, I, O> {
  readonly persist: Effect.Effect<O, E | ParseError, R2>
}

export interface FormEntryOptions<R, I, O> {
  readonly name: PropertyKey
  readonly schema: Schema.Schema<O, I, R>
}

export type MakeFormEntry<R0, I, O> = {
  <E, R>(
    ref: RefSubject.RefSubject<O, E, R>
  ): Effect.Effect<FormEntry.Derived<never, R, E, I, O>, never, R0 | R | Scope.Scope>
  <E, R>(fx: Fx.Fx<O, E, R>): Effect.Effect<FormEntry<never, E, I, O>, never, R0 | R | Scope.Scope>
  <E, R>(effect: Effect.Effect<O, E, R>): Effect.Effect<FormEntry<never, E, I, O>, never, R0 | R | Scope.Scope>
}

export type MakeInputFormEntry<R0, I, O> = {
  <E, R>(ref: RefSubject.RefSubject<I, E, R>): Effect.Effect<FormEntry.Derived<R0, R, E, I, O>, never, R | Scope.Scope>
  <E, R>(fx: Fx.Fx<I, E, R>): Effect.Effect<FormEntry<R0, E, I, O>, never, R | Scope.Scope>
  <E, R>(effect: Effect.Effect<I, E, R>): Effect.Effect<FormEntry<R0, E, I, O>, never, R | Scope.Scope>
}

export declare function derive<R, I, O>(options: FormEntryOptions<R, I, O>): MakeFormEntry<R, I, O>

export declare function deriveInput<R, I, O>(options: FormEntryOptions<R, I, O>): MakeInputFormEntry<R, I, O>