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;
23#[macro_use]
24pub mod logic;
25pub mod static_str;
26pub mod str;
27#[macro_use]
28pub mod type_str;
29
30#[cfg(feature = "regex")]
31#[macro_use]
32pub mod type_regex;
33
34pub use core::{Error, ErrorCore, Predicate, Refinement};
35
36pub use static_str::StaticStr;
37pub use type_str::TypeStr;
38
39#[cfg(feature = "regex")]
40pub use type_regex::{Regex, StaticRegex, TypeRegex};