Struct prop_check_rs::gen::Gens

pub struct Gens;

Implementations

impl Gens

pub fn unit<B>(value: B) -> Gen<B>where
    B: Clone + 'static,

pub fn unit_lazy<B, F>(f: F) -> Gen<B>where
    F: Fn() -> B + 'static,
    B: Clone + 'static,

pub fn some<B>(g: Gen<B>) -> Gen<Option<B>>where
    B: Clone + 'static,

pub fn option<B>(g: Gen<B>) -> Gen<Option<B>>where
    B: Debug + Clone + 'static,

pub fn either<T, E>(gt: Gen<T>, ge: Gen<E>) -> Gen<Result<T, E>>where
    T: Choose + Clone + 'static,
    E: Clone + 'static,

pub fn frequency<B>(values: impl IntoIterator<Item = (u32, Gen<B>)>) -> Gen<B>where
    B: Debug + Clone + 'static,

pub fn list_of_n<B>(n: usize, g: Gen<B>) -> Gen<Vec<B>>where
    B: Clone + 'static,

pub fn one<T: One>() -> Gen<T>

pub fn one_i64() -> Gen<i64>

pub fn one_u64() -> Gen<u64>

pub fn one_i32() -> Gen<i32>

pub fn one_u32() -> Gen<u32>

pub fn one_i16() -> Gen<i16>

pub fn one_u16() -> Gen<u16>

pub fn one_i8() -> Gen<i8>

pub fn one_u8() -> Gen<u8>

pub fn one_char() -> Gen<char>

pub fn one_bool() -> Gen<bool>

pub fn one_f64() -> Gen<f64>

pub fn one_f32() -> Gen<f32>

pub fn one_of<T: Choose + Clone + 'static>(
    values: impl IntoIterator<Item = Gen<T>>
) -> Gen<T>

pub fn choose<T: Choose>(min: T, max: T) -> Gen<T>

pub fn choose_char(min: char, max: char) -> Gen<char>

pub fn choose_i64(min: i64, max: i64) -> Gen<i64>

pub fn choose_u64(min: u64, max: u64) -> Gen<u64>

pub fn choose_i32(min: i32, max: i32) -> Gen<i32>

pub fn choose_u32(min: u32, max: u32) -> Gen<u32>

pub fn choose_i16(min: i16, max: i16) -> Gen<i16>

pub fn choose_u16(min: u16, max: u16) -> Gen<u16>

pub fn choose_i8(min: i8, max: i8) -> Gen<i8>

pub fn choose_u8(min: u8, max: u8) -> Gen<u8>

pub fn choose_f64(min: f64, max: f64) -> Gen<f64>

pub fn choose_f32(min: f32, max: f32) -> Gen<f32>

pub fn even<T: Choose + Num + Copy + 'static>(
    start: T,
    stop_exclusive: T
) -> Gen<T>

pub fn odd<T: Choose + Num + Copy + 'static>(
    start: T,
    stop_exclusive: T
) -> Gen<T>