protest 1.1.0

An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
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

//! Ergonomic APIs for property-based testing
//!
//! This module provides convenient, low-boilerplate APIs for writing property tests.
//! It includes:
//! - Closure-based property definitions
//! - Automatic generator inference
//! - Fluent builder APIs
//! - Common property patterns
//!
//! # Examples
//!
//! ```rust
//! use protest::ergonomic::*;
//!
//! // Using closures directly as properties
//! let result = check_with_closure(
//!     protest::range(1, 100),
//!     |x: i32| x > 0
//! );
//! ```

pub mod auto_gen;
pub mod builder;
pub mod closure_property;
pub mod macros;
pub mod patterns;

// Re-export main types
pub use auto_gen::{AutoGen, InferredGenerator};
pub use builder::{ErgonomicPropertyTest, ErgonomicPropertyTestWithClosure, property};
pub use closure_property::{
    ClosureProperty, PropertyClosure, check_with_closure, check_with_closure_config,
};
pub use patterns::*;

// Macros are exported at crate root via #[macro_export]