Usage Example
form ContactRequest {
name: String(100) required
email: Email required
message: String(2000) required min(10)
}
fn handle_contact(input: ContactRequest) -> Result<(), FormError> {
return Ok(())
}
Features & Capabilities
Declarative form validation engine with CSRF token support, automatic HTML form rendering, and error mapping. This library is designed with strict nominal type boundaries, deterministic memory layouts, and full verification against memory corruption.
← Back to Package Registry