refinement-types 0.3.0

Refinement types.
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
35
36
37
38
39
40

//! Refinement types.
//!
//! # Examples
//!
//! TODO
//!
//! # Features
//!
//! TODO

#![cfg_attr(not(feature = "std"), no_std)]
#![deny(missing_docs)]
#![cfg_attr(docsrs, feature(doc_auto_cfg))]

#[cfg(feature = "alloc")]
extern crate alloc;

pub mod char;
pub mod core;
pub mod empty;
pub mod int;
pub mod length;
#[macro_use]
pub mod logic;
pub mod static_str;
pub mod str;
#[macro_use]
pub mod type_str;

#[cfg(feature = "regex")]
#[macro_use]
pub mod type_regex;

pub use core::{Error, ErrorCore, Predicate, Refinement};

pub use static_str::StaticStr;
pub use type_str::TypeStr;

#[cfg(feature = "regex")]
pub use type_regex::{Regex, StaticRegex, TypeRegex};