type-lib 1.0.0

Validation and type constraint library. Declare domain types with invariants enforced at construction. Parse-dont-validate pattern as a first-class citizen. Zero-overhead wrappers with derive macros.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

//! Built-in validation rules.
//!
//! These are ready-to-use [`Validator`](crate::Validator) implementations for the
//! most common invariants, grouped by what they constrain:
//!
//! - [length] — `NonEmpty`, `MinLen`, `MaxLen`, `LenRange`
//! - [numeric] — `Positive`, `NonNegative`, `Negative`, `NonPositive`, `InRange`
//! - [string] — `Ascii`, `Alphanumeric`, `Trimmed`
//!
//! Every built-in rule reports failures as [`ValidationError`](crate::ValidationError),
//! so they share one error type and compose freely with the
//! [combinators](crate::combinator).
//!
//! # Examples
//!
//! ```rust
//! use type_lib::combinator::And;
//! use type_lib::rules::{LenRange, Trimmed};
//! use type_lib::Refined;
//!
//! // A display name: 1–32 characters, no surrounding whitespace.
//! type DisplayName<'a> = Refined<&'a str, And<Trimmed, LenRange<1, 32>>>;
//!
//! assert!(DisplayName::new("Ada Lovelace").is_ok());
//! assert!(DisplayName::new("  spaced  ").is_err());
//! ```

pub mod length;
pub mod numeric;
pub mod string;

pub use length::{HasLength, LenRange, MaxLen, MinLen, NonEmpty};
pub use numeric::{InRange, Negative, NonNegative, NonPositive, Positive};
pub use string::{Alphanumeric, Ascii, Trimmed};