Module ergonomic 

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

use protest::ergonomic::*;

// Using closures directly as properties
let result = check_with_closure(
    protest::range(1, 100),
    |x: i32| x > 0
);

Re-exports

pub use auto_gen::AutoGen;

pub use auto_gen::InferredGenerator;

pub use builder::ErgonomicPropertyTest;

pub use builder::ErgonomicPropertyTestWithClosure;

pub use builder::property;

pub use closure_property::ClosureProperty;

pub use closure_property::PropertyClosure;

pub use closure_property::check_with_closure;

pub use closure_property::check_with_closure_config;

pub use patterns::*;

Modules

auto_gen

Automatic generator inference for common types.

builder

Fluent builder API for ergonomic property testing.

closure_property

Closure-based property definitions for ergonomic property testing.

macros

Declarative macros for ultra-ergonomic property testing.

patterns

Common property testing patterns.