Struct prop_check_rs::rng::RNG

pub struct RNG { /* private fields */ }

Implementations

impl RNG

pub fn new() -> Self

pub fn new_with_seed(seed: u64) -> Self

pub fn i32_f32(&self) -> ((i32, f32), Self)

pub fn f32_i32(&self) -> ((f32, i32), Self)

pub fn f32_3(&self) -> ((f32, f32, f32), Self)

pub fn i32s(self, count: u32) -> (Vec<i32>, Self)

pub fn unit<A>(a: A) -> Box<dyn FnMut(RNG) -> (A, RNG)>where
    A: Clone + 'static,

pub fn sequence<A, F>(fs: Vec<F>) -> Box<dyn FnMut(RNG) -> (Vec<A>, RNG)>where
    A: Clone + 'static,
    F: FnMut(RNG) -> (A, RNG) + 'static,

pub fn int_value() -> Box<dyn FnMut(RNG) -> (i32, RNG)>

pub fn double_value() -> Box<dyn FnMut(RNG) -> (f32, RNG)>

pub fn map<A, B, F1, F2>(s: F1, f: F2) -> Box<dyn FnMut(RNG) -> (B, RNG)>where
    F1: FnMut(RNG) -> (A, RNG) + 'static,
    F2: FnMut(A) -> B + 'static,

pub fn map2<F1, F2, F3, A, B, C>(
    ra: F1,
    rb: F2,
    f: F3
) -> Box<dyn FnMut(RNG) -> (C, RNG)>where
    F1: FnMut(RNG) -> (A, RNG) + 'static,
    F2: FnMut(RNG) -> (B, RNG) + 'static,
    F3: FnMut(A, B) -> C + 'static,

pub fn both<F1, F2, A, B>(ra: F1, rb: F2) -> Box<dyn FnMut(RNG) -> ((A, B), RNG)>where
    F1: FnMut(RNG) -> (A, RNG) + 'static,
    F2: FnMut(RNG) -> (B, RNG) + 'static,

pub fn rand_int_double() -> Box<dyn FnMut(RNG) -> ((i32, f32), RNG)>

pub fn rand_double_int<'a>() -> Box<dyn FnMut(RNG) -> ((f32, i32), RNG)>

pub fn flat_map<A, B, F, GF, BF>(f: F, g: GF) -> Box<dyn FnMut(RNG) -> (B, RNG)>where
    F: FnMut(RNG) -> (A, RNG) + 'static,
    BF: FnMut(RNG) -> (B, RNG) + 'static,
    GF: FnMut(A) -> BF + 'static,

Trait Implementations

impl Clone for RNG

fn clone(&self) -> RNG

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RNG

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

Formats the value using the given formatter.

impl Default for RNG

fn default() -> Self

Returns the “default value” for a type.

impl NextRandValue for RNG

fn next_i64(&self) -> (i64, Self)

fn next_u64(&self) -> (u64, Self)

fn next_i32(&self) -> (i32, Self)

fn next_u32(&self) -> (u32, Self)

fn next_i16(&self) -> (i16, Self)

fn next_u16(&self) -> (u16, Self)

fn next_i8(&self) -> (i8, Self)

fn next_u8(&self) -> (u8, Self)

fn next_f64(&self) -> (f64, Self)

fn next_f32(&self) -> (f32, Self)

fn next_bool(&self) -> (bool, Self)

impl PartialEq<RNG> for RNG

fn eq(&self, other: &RNG) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for RNG