pub enum EvalClass {
Static,
ContextRequired,
Distribution,
}Expand description
Spec §10.7.0 partitioning.
Used by the IR planner’s compile-time V4 best-effort fire:
if every clause in a comprehension reports
EvalClass::Static, the planner can pre-evaluate them
with ctx = None and run V4 early; otherwise V4 fires at
strategy-invocation time only.
Variants§
Static
Statically evaluable with no kernel / param context.
evaluate(None) returns a fully-populated
EvaluatedSource.
ContextRequired
Requires a kernel context to resolve interpolation
references or workload-param lookups.
evaluate(None) returns EvalError::NeedsContext.
Distribution
Continuous measure / distribution. evaluate(None)
succeeds but emits an empty values vector; the
IndexFn is Continuous. The enclosing sampling
Order(_, strategy, Some(n)) materializes draws.
Trait Implementations§
impl Copy for EvalClass
impl Eq for EvalClass
impl StructuralPartialEq for EvalClass
Auto Trait Implementations§
impl Freeze for EvalClass
impl RefUnwindSafe for EvalClass
impl Send for EvalClass
impl Sync for EvalClass
impl Unpin for EvalClass
impl UnsafeUnpin for EvalClass
impl UnwindSafe for EvalClass
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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