Trait MapWithShrink 

pub trait MapWithShrink<E0>
where
    E0: Clone + 'static,
{
    // Required method
    fn map<E1>(
        &self,
        map_fn: fn(E0) -> E1,
        unmap_fn: fn(E1) -> E0,
    ) -> BoxShrink<E1>
       where E1: Clone + 'static;
}

Non-object-safe trait for providing shrinker mapping.

Required Methods

fn map<E1>(&self, map_fn: fn(E0) -> E1, unmap_fn: fn(E1) -> E0) -> BoxShrink<E1>

where E1: Clone + 'static,

See shrinks::map.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<E0: Clone + 'static> MapWithShrink<E0> for dyn Shrink<E0>