refinement_types/
lib.rs

1//! Refinement types.
2//!
3//! # Examples
4//!
5//! TODO
6//!
7//! # Features
8//!
9//! TODO
10
11#![cfg_attr(not(feature = "std"), no_std)]
12#![deny(missing_docs)]
13#![cfg_attr(docsrs, feature(doc_auto_cfg))]
14
15#[cfg(feature = "alloc")]
16extern crate alloc;
17
18pub mod char;
19pub mod core;
20pub mod empty;
21pub mod int;
22pub mod length;
23pub mod logic;
24pub mod static_str;
25pub mod str;
26#[macro_use]
27pub mod type_str;
28
29#[cfg(feature = "regex")]
30#[macro_use]
31pub mod type_regex;
32
33pub use core::{ErasedError, Error, MessageError, Predicate, Refinement};
34pub use static_str::StaticStr;
35pub use type_str::TypeStr;
36
37#[cfg(feature = "regex")]
38pub use type_regex::{Regex, StaticRegex, TypeRegex};