Usage Example
fn validate_iban(code: String) -> Result<Iban, ValidationError> {
if !validator::is_valid_iban(code) {
return Err(ValidationError::InvalidFormat)
}
return Ok(Iban(code))
}
Features & Capabilities
Composable validation rules for email, URLs, IBANs, postal codes, regex patterns, and custom invariant assertions. This library is designed with strict nominal type boundaries, deterministic memory layouts, and full verification against memory corruption.
← Back to Package Registry