[−][src]Struct proptest::strategy::CheckStrategySanityOptions
Options passed to check_strategy_sanity()
.
Fields
strict_complicate_after_simplify: bool
If true (the default), require that complicate()
return true
at
least once after any call to simplify()
which itself returns once.
This property is not required by contract, but many strategies are designed in a way that this is expected to hold.
Trait Implementations
impl Debug for CheckStrategySanityOptions
[src]
impl Debug for CheckStrategySanityOptions
impl Copy for CheckStrategySanityOptions
[src]
impl Copy for CheckStrategySanityOptions
impl Clone for CheckStrategySanityOptions
[src]
impl Clone for CheckStrategySanityOptions
fn clone(&self) -> CheckStrategySanityOptions
[src]
fn clone(&self) -> CheckStrategySanityOptions
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0
[src]Performs copy-assignment from source
. Read more
impl Default for CheckStrategySanityOptions
[src]
impl Default for CheckStrategySanityOptions
Auto Trait Implementations
impl Send for CheckStrategySanityOptions
impl Send for CheckStrategySanityOptions
impl Sync for CheckStrategySanityOptions
impl Sync for CheckStrategySanityOptions
Blanket Implementations
impl<T, U> TryFrom for T where
T: From<U>,
[src]
impl<T, U> TryFrom for T where
T: From<U>,
type Error = !
🔬 This is a nightly-only experimental API. (
try_from
)The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
impl<T> From for T
[src]
impl<T> From for T
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
🔬 This is a nightly-only experimental API. (
try_from
)The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
impl<T, U> Into for T where
U: From<T>,
[src]
impl<T, U> Into for T where
U: From<T>,
impl<T> Borrow for T where
T: ?Sized,
[src]
impl<T> Borrow for T where
T: ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
impl<T> BorrowMut for T where
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
fn borrow_mut(&mut self) -> &mut T
impl<T> Any for T where
T: 'static + ?Sized,
[src]
impl<T> Any for T where
T: 'static + ?Sized,
fn get_type_id(&self) -> TypeId
[src]
fn get_type_id(&self) -> TypeId
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,