Struct quickcheck::Gen

source · [−]

pub struct Gen { /* private fields */ }

Expand description

Gen represents a PRNG.

It is the source of randomness from which QuickCheck will generate values. An instance of Gen is passed to every invocation of Arbitrary::arbitrary, which permits callers to use lower level RNG routines to generate values.

It is unspecified whether this is a secure RNG or not. Therefore, callers should assume it is insecure.

Implementations

impl Gen

pub fn new(size: usize) -> Gen

Returns a Gen with the given size configuration.

The size parameter controls the size of random values generated. For example, it specifies the maximum length of a randomly generated vector, but is and should not be used to control the range of a randomly generated number. (Unless that number is used to control the size of a data structure.)

pub fn size(&self) -> usize

Returns the size configured with this generator.

pub fn choose<'a, T>(&mut self, slice: &'a [T]) -> Option<&'a T>

Choose among the possible alternatives in the slice given. If the slice is empty, then None is returned. Otherwise, a non-None value is guaranteed to be returned.

Auto Trait Implementations

impl RefUnwindSafe for Gen

impl Send for Gen

impl Sync for Gen

impl Unpin for Gen

impl UnwindSafe for Gen

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T where
V: MultiLane<T>,

fn vzip(self) -> V