pub struct WithMissing<A: Alignment, S: MaybeAbsent<A>, P> { /* private fields */ }Implementations§
Source§impl<A: Alignment, S: MaybeAbsent<A>, P> WithMissing<A, S, P>
impl<A: Alignment, S: MaybeAbsent<A>, P> WithMissing<A, S, P>
Trait Implementations§
Source§impl<A: Alignment, S: MaybeAbsent<A>, P: MissingPolicy<A, S>> ArgumentSource<A> for WithMissing<A, S, P>
impl<A: Alignment, S: MaybeAbsent<A>, P: MissingPolicy<A, S>> ArgumentSource<A> for WithMissing<A, S, P>
type Retention = <P as MissingPolicy<A, S>>::Retention
fn lookup<'a, 'prepared>(
prepared: &'prepared Self::Prepared<'a>,
address: &A::Address<'a>,
) -> Lookup<'prepared, QueryResult<<S::ValueDomain as ValueDomain>::Value<'a>>>where
Self: 'a,
fn resolve<'a>(
prepared: &Self::Prepared<'a>,
address: &A::Address<'a>,
label: &'static str,
) -> <Self::Retention as ElementEmission>::Step<QueryResult<<S::ValueDomain as ValueDomain>::Value<'a>>>where
Self: 'a,
Source§impl<A: Alignment, S: MaybeAbsent<A> + Clone, P: Clone> Clone for WithMissing<A, S, P>
impl<A: Alignment, S: MaybeAbsent<A> + Clone, P: Clone> Clone for WithMissing<A, S, P>
Source§impl<A: Alignment, S: MaybeAbsent<A>, P> Estimated for WithMissing<A, S, P>
impl<A: Alignment, S: MaybeAbsent<A>, P> Estimated for WithMissing<A, S, P>
Source§impl<A: Alignment, S: MaybeAbsent<A>, P: Explain> Explain for WithMissing<A, S, P>
impl<A: Alignment, S: MaybeAbsent<A>, P: Explain> Explain for WithMissing<A, S, P>
fn describe<'a>(&'a self, formatter: &mut ExplainFormatter<'a, '_>) -> Result
Source§impl<A: Alignment, S: MaybeAbsent<A>, P: PlanIdentity> PlanIdentity for WithMissing<A, S, P>
impl<A: Alignment, S: MaybeAbsent<A>, P: PlanIdentity> PlanIdentity for WithMissing<A, S, P>
fn identity_eq(&self, other: &Self) -> bool
fn identity_hash<H: Hasher>(&self, state: &mut H)
Source§impl<A: Alignment, S: MaybeAbsent<A>, P: PlanInputs> PlanInputs for WithMissing<A, S, P>
impl<A: Alignment, S: MaybeAbsent<A>, P: PlanInputs> PlanInputs for WithMissing<A, S, P>
Source§impl<A: Alignment, S: MaybeAbsent<A>, P: MissingPolicy<A, S>> Prepare for WithMissing<A, S, P>
impl<A: Alignment, S: MaybeAbsent<A>, P: MissingPolicy<A, S>> Prepare for WithMissing<A, S, P>
type Prepared<'a> = (<S as Prepare>::Prepared<'a>, <P as MissingPolicy<A, S>>::Prepared<'a>) where Self: 'a
fn prepare<'a>( &'a self, graphrecord: &'a GraphRecord, cache: &'a EvaluationCache<'a>, ) -> QueryResult<Self::Prepared<'a>>
Source§impl<A: Alignment, S: MaybeAbsent<A>, P> SourceDomain for WithMissing<A, S, P>
impl<A: Alignment, S: MaybeAbsent<A>, P> SourceDomain for WithMissing<A, S, P>
type ValueDomain = <S as SourceDomain>::ValueDomain
Auto Trait Implementations§
impl<A, S, P> Freeze for WithMissing<A, S, P>
impl<A, S, P> RefUnwindSafe for WithMissing<A, S, P>where
S: RefUnwindSafe,
P: RefUnwindSafe,
impl<A, S, P> Send for WithMissing<A, S, P>where
P: Send,
impl<A, S, P> Sync for WithMissing<A, S, P>where
P: Sync,
impl<A, S, P> Unpin for WithMissing<A, S, P>
impl<A, S, P> UnsafeUnpin for WithMissing<A, S, P>where
S: UnsafeUnpin,
P: UnsafeUnpin,
impl<A, S, P> UnwindSafe for WithMissing<A, S, P>where
S: UnwindSafe,
P: UnwindSafe,
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<S, T> ExpandTo<T> for S
impl<S, T> ExpandTo<T> for S
type ReturnOperand = <T as Apply<ExpandToOperation<S>>>::Output
fn expand_to(&self, template: &T) -> <S as ExpandTo<T>>::ReturnOperand
Source§impl<A, V, S> IntoArgument<A, V> for S
impl<A, V, S> IntoArgument<A, V> for S
fn into_argument(self) -> Argument<A, V, <S as ArgumentSource<A, V>>::Retention>
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