hegeltest 0.12.5

Property-based testing for Rust, built on Hypothesis
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
41
42
43
44
45

use std::collections::HashMap;

use serde_json::{Map, Number, Value};

use crate::generators::{self as gs, BoxedGenerator, DefaultGenerator, Generator};

use super::{NumberGenerator, ValueGenerator, numbers, values};

impl DefaultGenerator for Number {
    type Generator = NumberGenerator;
    fn default_generator() -> Self::Generator {
        numbers()
    }
}

impl DefaultGenerator for Value {
    type Generator = ValueGenerator;
    fn default_generator() -> Self::Generator {
        values()
    }
}

// `serde_json::Map<K, V>` is generic in its type signature, but every public
// constructor and trait impl is hardcoded to `Map<String, Value>`. There's no
// way to construct any other instantiation through the crate's public API,
// so this impl covers the full usable space.
impl DefaultGenerator for Map<String, Value> {
    type Generator = BoxedGenerator<'static, Map<String, Value>>;
    fn default_generator() -> Self::Generator {
        gs::hashmaps(
            <String as DefaultGenerator>::default_generator(),
            <Value as DefaultGenerator>::default_generator(),
        )
        .map(|m: HashMap<String, Value>| m.into_iter().collect::<Map<String, Value>>())
        .boxed()
    }
}

#[cfg(feature = "serde_json_raw_value")]
impl DefaultGenerator for Box<serde_json::value::RawValue> {
    type Generator = super::RawValueGenerator;
    fn default_generator() -> Self::Generator {
        super::raw_values()
    }
}