[−][src]Struct un_algebra::tests::config::prop::bits::SampledBitSetStrategy
Generates bit sets with a particular number of bits set.
Specifically, this strategy is given both a size range and a bit range. To produce a new value, it selects a size, then uniformly selects that many bits from within the bit range.
Shrinking happens as with BitSetStrategy
.
Methods
impl<T> SampledBitSetStrategy<T> where
T: BitSetLike,
[src]
T: BitSetLike,
pub fn new(
size: impl Into<SizeRange>,
bits: impl Into<SizeRange>
) -> SampledBitSetStrategy<T>
[src]
size: impl Into<SizeRange>,
bits: impl Into<SizeRange>
) -> SampledBitSetStrategy<T>
Create a strategy which generates values where bits within the bounds
given by bits
may be set. The number of bits that are set is chosen
to be in the range given by size
.
Due to the generics, the functions in the typed submodules are usually preferable to calling this directly.
Panics
Panics if size
includes a value that is greater than the number of
bits in bits
.
Trait Implementations
impl<T> Debug for SampledBitSetStrategy<T> where
T: BitSetLike + Debug,
[src]
T: BitSetLike + Debug,
impl<T> Strategy for SampledBitSetStrategy<T> where
T: BitSetLike,
[src]
T: BitSetLike,
type Tree = BitSetValueTree<T>
The value tree generated by this Strategy
.
type Value = T
The type of value used by functions under test generated by this Strategy. Read more
fn new_tree(
&self,
runner: &mut TestRunner
) -> Result<<SampledBitSetStrategy<T> as Strategy>::Tree, Reason>
[src]
&self,
runner: &mut TestRunner
) -> Result<<SampledBitSetStrategy<T> as Strategy>::Tree, Reason>
fn prop_map<O, F>(self, fun: F) -> Map<Self, F> where
F: Fn(Self::Value) -> O,
O: Debug,
[src]
F: Fn(Self::Value) -> O,
O: Debug,
fn prop_map_into<O>(self) -> MapInto<Self, O> where
O: Debug,
Self::Value: Into<O>,
[src]
O: Debug,
Self::Value: Into<O>,
fn prop_perturb<O, F>(self, fun: F) -> Perturb<Self, F> where
F: Fn(Self::Value, TestRng) -> O,
O: Debug,
[src]
F: Fn(Self::Value, TestRng) -> O,
O: Debug,
fn prop_flat_map<S, F>(self, fun: F) -> Flatten<Map<Self, F>> where
F: Fn(Self::Value) -> S,
S: Strategy,
[src]
F: Fn(Self::Value) -> S,
S: Strategy,
fn prop_ind_flat_map<S, F>(self, fun: F) -> IndFlatten<Map<Self, F>> where
F: Fn(Self::Value) -> S,
S: Strategy,
[src]
F: Fn(Self::Value) -> S,
S: Strategy,
fn prop_ind_flat_map2<S, F>(self, fun: F) -> IndFlattenMap<Self, F> where
F: Fn(Self::Value) -> S,
S: Strategy,
[src]
F: Fn(Self::Value) -> S,
S: Strategy,
fn prop_filter<R, F>(self, whence: R, fun: F) -> Filter<Self, F> where
F: Fn(&Self::Value) -> bool,
R: Into<Reason>,
[src]
F: Fn(&Self::Value) -> bool,
R: Into<Reason>,
fn prop_filter_map<F, O>(
self,
whence: impl Into<Reason>,
fun: F
) -> FilterMap<Self, F> where
F: Fn(Self::Value) -> Option<O>,
O: Debug,
[src]
self,
whence: impl Into<Reason>,
fun: F
) -> FilterMap<Self, F> where
F: Fn(Self::Value) -> Option<O>,
O: Debug,
fn prop_union(self, other: Self) -> Union<Self>
[src]
fn prop_recursive<R, F>(
self,
depth: u32,
desired_size: u32,
expected_branch_size: u32,
recurse: F
) -> Recursive<Self::Value, F> where
F: Fn(BoxedStrategy<Self::Value>) -> R,
R: 'static + Strategy<Value = Self::Value>,
Self: 'static,
[src]
self,
depth: u32,
desired_size: u32,
expected_branch_size: u32,
recurse: F
) -> Recursive<Self::Value, F> where
F: Fn(BoxedStrategy<Self::Value>) -> R,
R: 'static + Strategy<Value = Self::Value>,
Self: 'static,
fn prop_shuffle(self) -> Shuffle<Self> where
Self::Value: Shuffleable,
[src]
Self::Value: Shuffleable,
fn boxed(self) -> BoxedStrategy<Self::Value> where
Self: 'static,
[src]
Self: 'static,
fn sboxed(self) -> SBoxedStrategy<Self::Value> where
Self: Send + Sync + 'static,
[src]
Self: Send + Sync + 'static,
fn no_shrink(self) -> NoShrink<Self>
[src]
impl<T> Clone for SampledBitSetStrategy<T> where
T: BitSetLike + Clone,
[src]
T: BitSetLike + Clone,
fn clone(&self) -> SampledBitSetStrategy<T>
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Auto Trait Implementations
impl<T> Send for SampledBitSetStrategy<T> where
T: Send,
T: Send,
impl<T> Sync for SampledBitSetStrategy<T> where
T: Sync,
T: Sync,
impl<T> Unpin for SampledBitSetStrategy<T> where
T: Unpin,
T: Unpin,
impl<T> UnwindSafe for SampledBitSetStrategy<T> where
T: UnwindSafe,
T: UnwindSafe,
impl<T> RefUnwindSafe for SampledBitSetStrategy<T> where
T: RefUnwindSafe,
T: RefUnwindSafe,
Blanket Implementations
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = !
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,