Struct Filter
#[must_use = "strategies do nothing unless used"]
pub struct Filter<S, F> { /* private fields */ }Strategy and ValueTree filter adaptor.
See Strategy::prop_filter().
Trait Implementations
impl<S: Clone, F> Clone for Filter<S, F>
fn clone(&self) -> Self
impl<S: Debug, F> Debug for Filter<S, F>
fn fmt(&self, f: &mut Formatter<'_>) -> Result
impl<S: Strategy, F: Fn(&S::Value) -> bool> Strategy for Filter<S, F>
type Tree = Filter<<S as Strategy>::Tree, F>;type Value = <S as Strategy>::Value;fn new_tree(&self, runner: &mut TestRunner) -> NewTree<Self>
impl<S: ValueTree, F: Fn(&S::Value) -> bool> ValueTree for Filter<S, F>
type Value = <S as ValueTree>::Value;fn current(&self) -> S::Valuefn simplify(&mut self) -> boolfn complicate(&mut self) -> bool
Auto Trait Implementations
impl<S, F> Freeze for Filter<S, F>
where
S: Freeze,
Arc<F>: Freeze,
impl<S, F> RefUnwindSafe for Filter<S, F>
where
S: RefUnwindSafe,
Arc<F>: RefUnwindSafe,
impl<S, F> Send for Filter<S, F>
where
S: Send,
Arc<F>: Send,
impl<S, F> Sync for Filter<S, F>
where
S: Sync,
Arc<F>: Sync,
impl<S, F> Unpin for Filter<S, F>
where
S: Unpin,
Arc<F>: Unpin,
impl<S, F> UnsafeUnpin for Filter<S, F>
where
S: UnsafeUnpin,
Arc<F>: UnsafeUnpin,
impl<S, F> UnwindSafe for Filter<S, F>
where
S: UnwindSafe,
Arc<F>: UnwindSafe,
Blanket Implementations
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for Filter<S, F>
where
ST: ?Sized,
DT: ?Sized,
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for Filter<S, F>
where
ST: ?Sized,
DT: ?Sized,
impl<T> Any for Filter<S, F>
where
T: 'static + ?Sized,
fn type_id(&self) -> TypeId
impl<T> Borrow<T> for Filter<S, F>
where
T: ?Sized,
fn borrow(&self) -> &T
impl<T> BorrowMut<T> for Filter<S, F>
where
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
impl<T> CloneToUninit for Filter<S, F>
where
T: Clone,
unsafe fn clone_to_uninit(&self, dest: *mut u8)
impl<T> From<T> for Filter<S, F>
fn from(t: T) -> TReturns the argument unchanged.
impl<T> Read<Exclusive, BecauseExclusive> for Filter<S, F>
where
T: ?Sized,
impl<T> ToOwned for Filter<S, F>
where
T: Clone,
type Owned = T;fn to_owned(&self) -> Tfn clone_into(&self, target: &mut T)
impl<T, U> Into<U> for Filter<S, F>
where
U: From<T>,
fn into(self) -> UCalls
U::from(self).That is, this conversion is whatever the implementation of
[From]<T> for Uchooses to do.
impl<T, U> TryFrom<U> for Filter<S, F>
where
U: Into<T>,
type Error = never;fn try_from(value: U) -> Result<T, never>
impl<T, U> TryInto<U> for Filter<S, F>
where
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error;fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
impl<V, T> VZip<V> for Filter<S, F>
where
V: MultiLane<T>,
fn vzip(self) -> V