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