Struct prop_check_rs::rng::RNG

pub struct RNG { /* fields omitted */ }

Implementations

impl RNG

pub fn new() -> Self

pub fn with_seed(&mut self, seed: i64)

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: Clone + 'static>(a: A) -> Box<dyn FnMut(RNG) -> (A, RNG)>

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

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: 'static, F2: 'static>(
    s: F1,
    f: F2
) -> Box<dyn FnMut(RNG) -> (B, RNG)> where
    F1: FnMut(RNG) -> (A, RNG),
    F2: FnMut(A) -> B, 

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

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

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: 'static, GF: 'static, BF>(
    f: F,
    g: GF
) -> Box<dyn FnMut(RNG) -> (B, RNG)> where
    F: FnMut(RNG) -> (A, RNG),
    BF: FnMut(RNG) -> (B, RNG),
    GF: FnMut(A) -> BF, 

pub fn non_negative_less_than(n: u32) -> Box<dyn FnMut(RNG) -> (u32, RNG)>

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_i32(&self) -> (i32, Self)

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

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

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

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

fn next_u16(&self) -> (u16, 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)