Struct ShrinkEngine 

pub struct ShrinkEngine { /* private fields */ }

Shrinking engine that coordinates the shrinking process

Implementations

impl ShrinkEngine

pub fn new() -> Self

Create a new shrinking engine with default configuration

pub fn with_config(config: ShrinkConfig) -> Self

Create a new shrinking engine with custom configuration

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

where T: Shrinkable + Clone, F: Fn(&T) -> Result<(), PropertyError>,

Shrink a value using a property test function

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

where T: Clone, F: Fn(&T) -> Result<(), PropertyError>, S: Fn(&T) -> Box<dyn Iterator<Item = T>>,

Shrink a value with a custom shrinking strategy

Trait Implementations

impl Default for ShrinkEngine

fn default() -> Self

Returns the “default value” for a type.