Anwendungsbeispiel
form ContactRequest {
name: String(100) required
email: Email required
message: String(2000) required min(10)
}
fn handle_contact(input: ContactRequest) -> Result<(), FormError> {
return Ok(())
}
Funktionen & Capabilities
Deklarative Formularvalidierung, CSRF-Tokens, automatisierte HTML-Formulargenerierung und Fehlermeldungs-Mapping. Dieses Paket wurde mit strikten nominalen Typengrenzen, deterministischem Speicherlayout und vollständiger Verifikation gegen Speicherfehler entwickelt.
← Zurück zur Paket-Übersicht