contrafact 0.2.0-rc.1

A trait for highly composable constraints ("facts") which can be used both to verify data and to generate arbitrary data within those constraints
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

mod and;
mod brute;
mod consecutive_int;
mod constant;
mod eq;
mod in_range;
mod in_slice;
mod lens;
mod not;
mod or;
mod prism;
mod same;
mod seq;

pub use consecutive_int::{consecutive_int, consecutive_int_};
pub use constant::{always, never};
pub use eq::{eq, ne};
pub use in_range::in_range;
pub use in_slice::{in_slice, in_slice_};
pub use not::not;
pub use or::or;
pub use same::{different, same};

pub use and::and;
pub use brute::brute;
pub use lens::{lens1, lens2};
pub use prism::prism;
pub use seq::{vec, vec_len, vec_of_length};

// Optical facts are experimental and currently not supported
// #[cfg(feature = "optics")]
// mod optical;
// #[cfg(feature = "optics")]
// pub use optical::*;

use crate::*;