pub struct Shells;Expand description
Concentric L-infinity shells from a chosen origin.
Trait Implementations§
Source§impl Strategy for Shells
impl Strategy for Shells
Source§fn name(&self) -> StrategyName
fn name(&self) -> StrategyName
The strategy’s name. Mirrors
StrategyName.Source§fn accepts_input(&self, idx: Option<&IndexFn>) -> bool
fn accepts_input(&self, idx: Option<&IndexFn>) -> bool
V4 input-shape check (spec §3.6).
None represents an
input with no closed-form index function; only Lex
accepts that. Concrete IndexFn variants are accepted
per the per-strategy rules in spec §3.6’s table.Source§fn has_closed_form_for(&self, idx: &IndexFn) -> bool
fn has_closed_form_for(&self, idx: &IndexFn) -> bool
R2 push-down eligibility (spec §10.2 R2).
true if
this strategy has a closed-form indexed lookup over the
given input. If false, apply uses the strategy’s
fallback reorder over the materialized tuples.Source§fn apply(&self, input: &EvaluatedInput, truncation: Option<u64>) -> Vec<Tuple>
fn apply(&self, input: &EvaluatedInput, truncation: Option<u64>) -> Vec<Tuple>
Apply this strategy to the given input. Read more
Source§fn apply_seeded(
&self,
input: &EvaluatedInput,
truncation: Option<u64>,
seed: Option<u64>,
) -> Vec<Tuple>
fn apply_seeded( &self, input: &EvaluatedInput, truncation: Option<u64>, seed: Option<u64>, ) -> Vec<Tuple>
apply under an authored seed
(comprehension_forms.md §3.6): a seeded strategy (Shuffle,
Lhs) derives its state from seed and the input’s
structural identity, and from its fixed default when seed
is None. Every other strategy ignores the seed.Auto Trait Implementations§
impl Freeze for Shells
impl RefUnwindSafe for Shells
impl Send for Shells
impl Sync for Shells
impl Unpin for Shells
impl UnsafeUnpin for Shells
impl UnwindSafe for Shells
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more