Crate semval

semval

A lightweight and versatile toolbox for implementing semantic validation.

Please refer to the bundled reservation.rs example to get an idea of how it works.

Without any macro magic, at least not now.

Modules

• context
  Invalidity context
• prelude
  The crate’s prelude

Structs

• Validated
  Tags a type as validated

Traits

• IntoValidated
  Value-to-value conversion with post-validation of the output value
• Invalidity
  Invalidities that cause validation failures
• IsValid
  A utility trait for boolean validity checks.
• Validate
  A trait for validating types
• ValidatedFrom
  Value-to-value conversion with post-validation of the output value

Type Aliases

• ValidatedResult
  Result of a value-to-value conversion with post-validation of the output value
• ValidationResult
  Result of a validation