Struct NoShrink 

pub struct NoShrink<A: Arbitrary> { /* private fields */ }

Wrapper for disabling shrinking for an Arbitrary

This type allows generating values via a given Arbitrary implementation for a test for which we don’t want to shrink input values.

Example

use quickcheck::{QuickCheck, NoShrink};

fn prop_sane_shrinker() {
    // Yielding the original value will result in endless shrinking
    fn shrinker_no_self(value: NoShrink<u16>) -> bool {
        use quickcheck::Arbitrary;
        !value.inner().shrink().any(|v| v == *value.inner())
    }
    QuickCheck::new().quickcheck(shrinker_no_self as fn(NoShrink<u16>) -> bool);
}

Implementations

impl<A: Arbitrary> NoShrink<A>

pub fn into_inner(self) -> A

Unwrap the inner value

pub fn inner(&self) -> &A

Returns a borrow of the inner value.

Trait Implementations

impl<A: Arbitrary> Arbitrary for NoShrink<A>

fn arbitrary(rnd: &mut Gen) -> Self

Return an arbitrary value.

fn shrink(&self) -> Box<dyn Iterator<Item = Self>>

Return an iterator of values that are smaller than itself.

impl<A: Clone + Arbitrary> Clone for NoShrink<A>

fn clone(&self) -> NoShrink<A>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: Debug + Arbitrary> Debug for NoShrink<A>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.