Trait quickcheck::Arbitrary [−][src]
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
Provided Methods
Implementations on Foreign Types
impl Arbitrary for ()
[src]
impl Arbitrary for ()
impl Arbitrary for bool
[src]
impl Arbitrary for bool
impl<A: Arbitrary> Arbitrary for Option<A>
[src]
impl<A: Arbitrary> Arbitrary for Option<A>
impl<A: Arbitrary, B: Arbitrary> Arbitrary for Result<A, B>
[src]
impl<A: Arbitrary, B: Arbitrary> Arbitrary for Result<A, B>
impl<A> Arbitrary for (A,) where
A: Arbitrary,
[src]
impl<A> Arbitrary for (A,) where
A: Arbitrary,
impl<A, B> Arbitrary for (A, B) where
A: Arbitrary,
B: Arbitrary,
[src]
impl<A, B> Arbitrary for (A, B) where
A: Arbitrary,
B: Arbitrary,
impl<A, B, C> Arbitrary for (A, B, C) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
[src]
impl<A, B, C> Arbitrary for (A, B, C) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
impl<A, B, C, D> Arbitrary for (A, B, C, D) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
D: Arbitrary,
[src]
impl<A, B, C, D> Arbitrary for (A, B, C, D) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
D: Arbitrary,
impl<A, B, C, D, E> Arbitrary for (A, B, C, D, E) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
D: Arbitrary,
E: Arbitrary,
[src]
impl<A, B, C, D, E> Arbitrary for (A, B, C, D, E) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
D: Arbitrary,
E: Arbitrary,
impl<A, B, C, D, E, F> Arbitrary for (A, B, C, D, E, F) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
D: Arbitrary,
E: Arbitrary,
F: Arbitrary,
[src]
impl<A, B, C, D, E, F> Arbitrary for (A, B, C, D, E, F) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
D: Arbitrary,
E: Arbitrary,
F: Arbitrary,
impl<A, B, C, D, E, F, G> Arbitrary for (A, B, C, D, E, F, G) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
D: Arbitrary,
E: Arbitrary,
F: Arbitrary,
G: Arbitrary,
[src]
impl<A, B, C, D, E, F, G> Arbitrary for (A, B, C, D, E, F, G) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
D: Arbitrary,
E: Arbitrary,
F: Arbitrary,
G: Arbitrary,
impl<A, B, C, D, E, F, G, H> Arbitrary for (A, B, C, D, E, F, G, H) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
D: Arbitrary,
E: Arbitrary,
F: Arbitrary,
G: Arbitrary,
H: Arbitrary,
[src]
impl<A, B, C, D, E, F, G, H> Arbitrary for (A, B, C, D, E, F, G, H) where
A: Arbitrary,
B: Arbitrary,
C: Arbitrary,
D: Arbitrary,
E: Arbitrary,
F: Arbitrary,
G: Arbitrary,
H: Arbitrary,
impl<A: Arbitrary> Arbitrary for Vec<A>
[src]
impl<A: Arbitrary> Arbitrary for Vec<A>
impl<K: Arbitrary + Ord, V: Arbitrary> Arbitrary for BTreeMap<K, V>
[src]
impl<K: Arbitrary + Ord, V: Arbitrary> Arbitrary for BTreeMap<K, V>
impl<K: Arbitrary + Eq + Hash, V: Arbitrary, S: BuildHasher + Default + Clone + Send + 'static> Arbitrary for HashMap<K, V, S>
[src]
impl<K: Arbitrary + Eq + Hash, V: Arbitrary, S: BuildHasher + Default + Clone + Send + 'static> Arbitrary for HashMap<K, V, S>
impl<T: Arbitrary + Ord> Arbitrary for BTreeSet<T>
[src]
impl<T: Arbitrary + Ord> Arbitrary for BTreeSet<T>
impl<T: Arbitrary + Ord> Arbitrary for BinaryHeap<T>
[src]
impl<T: Arbitrary + Ord> Arbitrary for BinaryHeap<T>
impl<T: Arbitrary + Eq + Hash, S: BuildHasher + Default + Clone + Send + 'static> Arbitrary for HashSet<T, S>
[src]
impl<T: Arbitrary + Eq + Hash, S: BuildHasher + Default + Clone + Send + 'static> Arbitrary for HashSet<T, S>
impl<T: Arbitrary> Arbitrary for LinkedList<T>
[src]
impl<T: Arbitrary> Arbitrary for LinkedList<T>
impl<T: Arbitrary> Arbitrary for VecDeque<T>
[src]
impl<T: Arbitrary> Arbitrary for VecDeque<T>
impl Arbitrary for IpAddr
[src]
impl Arbitrary for IpAddr
impl Arbitrary for Ipv4Addr
[src]
impl Arbitrary for Ipv4Addr
impl Arbitrary for Ipv6Addr
[src]
impl Arbitrary for Ipv6Addr
impl Arbitrary for SocketAddr
[src]
impl Arbitrary for SocketAddr
impl Arbitrary for SocketAddrV4
[src]
impl Arbitrary for SocketAddrV4
impl Arbitrary for SocketAddrV6
[src]
impl Arbitrary for SocketAddrV6
impl Arbitrary for PathBuf
[src]
impl Arbitrary for PathBuf
impl Arbitrary for OsString
[src]
impl Arbitrary for OsString
impl Arbitrary for String
[src]
impl Arbitrary for String
impl Arbitrary for char
[src]
impl Arbitrary for char
impl Arbitrary for usize
[src]
impl Arbitrary for usize
impl Arbitrary for u8
[src]
impl Arbitrary for u8
impl Arbitrary for u16
[src]
impl Arbitrary for u16
impl Arbitrary for u32
[src]
impl Arbitrary for u32
impl Arbitrary for u64
[src]
impl Arbitrary for u64
impl Arbitrary for isize
[src]
impl Arbitrary for isize
impl Arbitrary for i8
[src]
impl Arbitrary for i8
impl Arbitrary for i16
[src]
impl Arbitrary for i16
impl Arbitrary for i32
[src]
impl Arbitrary for i32
impl Arbitrary for i64
[src]
impl Arbitrary for i64
impl Arbitrary for f32
[src]
impl Arbitrary for f32
impl Arbitrary for f64
[src]
impl Arbitrary for f64
impl<T: Arbitrary + Clone + PartialOrd> Arbitrary for Range<T>
[src]
impl<T: Arbitrary + Clone + PartialOrd> Arbitrary for Range<T>
impl<T: Arbitrary + Clone + PartialOrd> Arbitrary for RangeFrom<T>
[src]
impl<T: Arbitrary + Clone + PartialOrd> Arbitrary for RangeFrom<T>
impl<T: Arbitrary + Clone + PartialOrd> Arbitrary for RangeTo<T>
[src]
impl<T: Arbitrary + Clone + PartialOrd> Arbitrary for RangeTo<T>
impl Arbitrary for RangeFull
[src]
impl Arbitrary for RangeFull
impl Arbitrary for Duration
[src]
impl Arbitrary for Duration
impl<A: Arbitrary> Arbitrary for Box<A>
[src]
impl<A: Arbitrary> Arbitrary for Box<A>
impl<A: Arbitrary + Sync> Arbitrary for Arc<A>
[src]
impl<A: Arbitrary + Sync> Arbitrary for Arc<A>