prop_check_rs::prop

Function for_all_sgen

Source 
pub fn for_all_sgen<A, F, FF>(sgen: SGen<A>, test: FF) -> Prop
where
    F: FnMut(A) -> bool + 'static,
    FF: FnMut() -> F + 'static,
    A: Clone + Debug + 'static,
Expand description

Returns a Prop that executes a function to evaluate properties using SGen.
SGenを利用してプロパティを評価するため関数を実行するPropを返す。

§Arguments

  • sgen - The SGen.
  • test - The function to evaluate the properties.

§Returns

  • Prop - The new Prop.