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

use super::*;

/// Specifies a membership constraint
pub fn in_slice<'a, T>(context: impl ToString, slice: &'a [T]) -> LambdaUnit<'a, T>
where
    T: Target<'a> + PartialEq + Clone,
{
    let context = context.to_string();
    lambda_unit("in_slice", move |g, t| {
        Ok(if !slice.contains(&t) {
            let reason = || {
                format!(
                    "{}: expected {:?} to be contained in {:?}",
                    context, t, slice
                )
            };
            g.choose(slice, reason)?.to_owned()
        } else {
            t
        })
    })
}

/// Specifies a membership constraint
pub fn in_slice_<'a, T>(slice: &'a [T]) -> LambdaUnit<'a, T>
where
    T: Target<'a> + PartialEq + Clone,
{
    in_slice("in_slice", slice)
}