purescript-halogen-formless

Formless enforces compile-time safety by defining input, error, and output types for each field, as shown in the form type example where fields like 'age' specify String input and Int output.

It automates form state management, validation, and event handling, reducing repetitive code; the README highlights how initial values and types can be reused via form rows.

Validation functions can be pure or effectful and access the entire form state, enabling complex scenarios like dependent field validation, demonstrated in the handleQuery section.

Form rows serve as a single source of truth for type synonyms, allowing easy specialization and reuse, as illustrated with FormInputs derived from the form row.