Trait quickcheck::Arbitrary

pub trait Arbitrary: Clone + Send + 'static {
    fn arbitrary<G: Gen>(g: &mut G) -> Self;

    fn shrink(&self) -> Box<Iterator<Item = Self>> { ... }
}

Arbitrary describes types whose values can be randomly generated and shrunk.

Aside from shrinking, Arbitrary is different from the std::Rand trait in that it uses a Gen to control the distribution of random values.

As of now, all types that implement Arbitrary must also implement Clone. (I'm not sure if this is a permanent restriction.)

They must also be sendable and static since every test is run in its own thread using thread::Builder::spawn, which requires the Send + 'static bounds.

Required Methods

fn arbitrary<G: Gen>(g: &mut G) -> Self

Provided Methods

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

Implementations on Foreign Types

impl Arbitrary for ()

fn arbitrary<G: Gen>(_: &mut G)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for bool

fn arbitrary<G: Gen>(g: &mut G) -> bool

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl<A: Arbitrary> Arbitrary for Option<A>

fn arbitrary<G: Gen>(g: &mut G) -> Option<A>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = Option<A>>>

impl<A: Arbitrary, B: Arbitrary> Arbitrary for Result<A, B>

fn arbitrary<G: Gen>(g: &mut G) -> Result<A, B>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = Result<A, B>>>

impl<A: Arbitrary> Arbitrary for (A,)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A,)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A,)>>

impl<A: Arbitrary, B: Arbitrary> Arbitrary for (A, B)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A, B)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A, B)>>

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary> Arbitrary for (A, B, C)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A, B, C)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A, B, C)>>

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary> Arbitrary for (A, B, C, D)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A, B, C, D)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A, B, C, D)>>

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary> Arbitrary for (A, B, C, D, E)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A, B, C, D, E)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A, B, C, D, E)>>

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary> Arbitrary for (A, B, C, D, E, F)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A, B, C, D, E, F)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A, B, C, D, E, F)>>

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary> Arbitrary for (A, B, C, D, E, F, G)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A, B, C, D, E, F, G)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A, B, C, D, E, F, G)>>

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A, B, C, D, E, F, G, H)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A, B, C, D, E, F, G, H)>>

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A, B, C, D, E, F, G, H, I)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A, B, C, D, E, F, G, H, I)>>

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary, J: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I, J)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A, B, C, D, E, F, G, H, I, J)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A, B, C, D, E, F, G, H, I, J)>>

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary, J: Arbitrary, K: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I, J, K)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A, B, C, D, E, F, G, H, I, J, K)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A, B, C, D, E, F, G, H, I, J, K)>>

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary, J: Arbitrary, K: Arbitrary, L: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I, J, K, L)

fn arbitrary<GEN: Gen>(g: &mut GEN) -> (A, B, C, D, E, F, G, H, I, J, K, L)

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = (A, B, C, D, E, F, G, H, I, J, K, L)>>

impl<A: Arbitrary> Arbitrary for Vec<A>

Important traits for Vec<u8>

impl Write for Vec<u8>

fn arbitrary<G: Gen>(g: &mut G) -> Vec<A>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = Vec<A>>>

impl<K: Arbitrary + Ord, V: Arbitrary> Arbitrary for BTreeMap<K, V>

fn arbitrary<G: Gen>(g: &mut G) -> BTreeMap<K, V>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = BTreeMap<K, V>>>

impl<K: Arbitrary + Eq + Hash, V: Arbitrary> Arbitrary for HashMap<K, V>

fn arbitrary<G: Gen>(g: &mut G) -> HashMap<K, V>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = HashMap<K, V>>>

impl<T: Arbitrary + Ord> Arbitrary for BTreeSet<T>

fn arbitrary<G: Gen>(g: &mut G) -> BTreeSet<T>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = BTreeSet<T>>>

impl<T: Arbitrary + Ord> Arbitrary for BinaryHeap<T>

fn arbitrary<G: Gen>(g: &mut G) -> BinaryHeap<T>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = BinaryHeap<T>>>

impl<T: Arbitrary + Eq + Hash> Arbitrary for HashSet<T>

fn arbitrary<G: Gen>(g: &mut G) -> HashSet<T>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = HashSet<T>>>

impl<T: Arbitrary> Arbitrary for LinkedList<T>

fn arbitrary<G: Gen>(g: &mut G) -> LinkedList<T>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = LinkedList<T>>>

impl<T: Arbitrary> Arbitrary for VecDeque<T>

fn arbitrary<G: Gen>(g: &mut G) -> VecDeque<T>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = VecDeque<T>>>

impl Arbitrary for String

fn arbitrary<G: Gen>(g: &mut G) -> String

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for char

fn arbitrary<G: Gen>(g: &mut G) -> char

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for usize

fn arbitrary<G: Gen>(g: &mut G) -> usize

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for u8

fn arbitrary<G: Gen>(g: &mut G) -> u8

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for u16

fn arbitrary<G: Gen>(g: &mut G) -> u16

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for u32

fn arbitrary<G: Gen>(g: &mut G) -> u32

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for u64

fn arbitrary<G: Gen>(g: &mut G) -> u64

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for isize

fn arbitrary<G: Gen>(g: &mut G) -> isize

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for i8

fn arbitrary<G: Gen>(g: &mut G) -> i8

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for i16

fn arbitrary<G: Gen>(g: &mut G) -> i16

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for i32

fn arbitrary<G: Gen>(g: &mut G) -> i32

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for i64

fn arbitrary<G: Gen>(g: &mut G) -> i64

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for f32

fn arbitrary<G: Gen>(g: &mut G) -> f32

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for f64

fn arbitrary<G: Gen>(g: &mut G) -> f64

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl<T: Arbitrary + Clone + PartialOrd> Arbitrary for Range<T>

Important traits for Range<A>

impl<A> Iterator for Range<A> where
    A: Step,  type Item = A;

fn arbitrary<G: Gen>(g: &mut G) -> Range<T>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = Range<T>>>

impl<T: Arbitrary + Clone + PartialOrd> Arbitrary for RangeFrom<T>

Important traits for RangeFrom<A>

impl<A> Iterator for RangeFrom<A> where
    A: Step,  type Item = A;

fn arbitrary<G: Gen>(g: &mut G) -> RangeFrom<T>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = RangeFrom<T>>>

impl<T: Arbitrary + Clone + PartialOrd> Arbitrary for RangeTo<T>

fn arbitrary<G: Gen>(g: &mut G) -> RangeTo<T>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn shrink(&self) -> Box<Iterator<Item = RangeTo<T>>>

impl Arbitrary for RangeFull

fn arbitrary<G: Gen>(_: &mut G) -> RangeFull

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

impl Arbitrary for Duration

fn arbitrary<G: Gen>(gen: &mut G) -> Self

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

Implementors