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

//! Property definition traits for synchronous and asynchronous testing.

use crate::error::PropertyError;

/// Property definition trait for synchronous testing
pub trait Property<T> {
    type Output;

    /// Test the property with the given input
    fn test(&self, input: T) -> Result<Self::Output, PropertyError>;
}

/// Async property trait for asynchronous testing
pub trait AsyncProperty<T> {
    type Output;

    /// Test the property asynchronously with the given input
    fn test(
        &self,
        input: T,
    ) -> impl std::future::Future<Output = Result<Self::Output, PropertyError>> + Send;
}