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

//! Common imports for working with `type-lib`.
//!
//! Glob-import this module to bring the foundation types and the composition
//! combinators into scope in one line. The built-in [rules](crate::rules) are
//! intentionally left out to keep the namespace small; import the ones you need
//! from `type_lib::rules`.
//!
//! # Examples
//!
//! ```rust
//! use type_lib::prelude::*;
//! use type_lib::rules::{Ascii, NonEmpty};
//!
//! // `Refined`, `Validator`, `ValidationError`, and `And`/`Or`/`Not` are all in
//! // scope from the prelude.
//! type Token<'a> = Refined<&'a str, And<NonEmpty, Ascii>>;
//!
//! assert!(Token::new("abc123").is_ok());
//! assert!(Token::new("").is_err());
//! ```

pub use crate::combinator::{And, Not, Or};
pub use crate::error::ValidationError;
pub use crate::refined::Refined;
pub use crate::validator::Validator;