Struct ScopeThere 

pub struct ScopeThere<Prev>(/* private fields */);

Proof that an item is further down a type-level list, at the position Prev proves for the tail.

Trait Implementations

impl<Prev> Clone for ScopeThere<Prev>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Prev> Copy for ScopeThere<Prev>

impl<Prev> Debug for ScopeThere<Prev>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Prev> Default for ScopeThere<Prev>

fn default() -> Self

Returns the “default value” for a type.

impl<Head, Tail, T, Witness> ListContains<T, ScopeThere<Witness>> for Cons<Head, Tail>

where Tail: ListContains<T, Witness>,

impl<Tag, Head, Tail, Witness> ScopeContains<AliasKey<Tag>, ScopeThere<Witness>> for Cons<Head, Tail>

where Tail: ScopeContains<AliasKey<Tag>, Witness>,

type Nullable = <Tail as ScopeContains<AliasKey<Tag>, Witness>>::Nullable

Null when the found source is on the nullable side of an outer join.