Struct AsyncShrinkEngine 

pub struct AsyncShrinkEngine { /* private fields */ }

Async shrinking engine that coordinates the shrinking process for async properties

Implementations

impl AsyncShrinkEngine

pub fn new() -> Self

Create a new async shrinking engine with default configuration

pub fn with_config(config: ShrinkConfig) -> Self

Create a new async shrinking engine with custom configuration

pub async fn shrink<T, F, Fut>(&self, value: T, property: F) -> ShrinkResult<T>

where T: Shrinkable + Clone + Send + Sync, F: Fn(T) -> Fut + Send + Sync, Fut: Future<Output = Result<(), PropertyError>> + Send,

Shrink a value using an async property test function

pub async fn shrink_with_strategy<T, F, Fut, S>( &self, value: T, property: F, strategy: S, ) -> ShrinkResult<T>

where T: Clone + Send + Sync, F: Fn(T) -> Fut + Send + Sync, Fut: Future<Output = Result<(), PropertyError>> + Send, S: Fn(&T) -> Box<dyn Iterator<Item = T>>,

Shrink a value with a custom async shrinking strategy

pub async fn shrink_with_timeout<T, F, Fut>( &self, value: T, property: F, timeout: Duration, ) -> ShrinkResult<T>

where T: Shrinkable + Clone + Send + Sync, F: Fn(T) -> Fut + Send + Sync, Fut: Future<Output = Result<(), PropertyError>> + Send,

Shrink a value with timeout-based cancellation support

Trait Implementations

impl Default for AsyncShrinkEngine

fn default() -> Self

Returns the “default value” for a type.