Struct ScopeHere 

pub struct ScopeHere;

Proof that an item is the first element of a type-level list.

The compiler infers these proof types; users never write them.

Trait Implementations

impl Clone for ScopeHere

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ScopeHere

impl Debug for ScopeHere

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

Formats the value using the given formatter.

impl Default for ScopeHere

fn default() -> Self

Returns the “default value” for a type.

impl<Head, Tail> ListContains<Head, ScopeHere> for Cons<Head, Tail>

impl<Tag, Head, Tail> ScopeContains<AliasKey<Tag>, ScopeHere> for Cons<Head, Tail>

where Head: ScopeEntry<Key = AliasKey<Tag>>,

type Nullable = <Head as ScopeEntry>::Nullable

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