Struct Cons 

pub struct Cons<Head, Tail>(/* private fields */);

A type-level list node: Head followed by the list Tail.

Trait Implementations

impl<Head: Clone, Tail: Clone> Clone for Cons<Head, Tail>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Head, Tail, Rhs> Concat<Rhs> for Cons<Head, Tail>

where Tail: Concat<Rhs> + TypeSet, Rhs: TypeSet,

type Output = Cons<Head, <Tail as Concat<Rhs>>::Output>

The joined list.

impl<Head: Copy, Tail: Copy> Copy for Cons<Head, Tail>

impl<Head: Debug, Tail: Debug> Debug for Cons<Head, Tail>

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

Formats the value using the given formatter.

impl<Head: Default, Tail: Default> Default for Cons<Head, Tail>

fn default() -> Self

Returns the “default value” for a type.

impl<Head: ExprSources, Tail: ExprSources> ExprSources for Cons<Head, Tail>

type Sources = (<Head as ExprSources>::Sources, <Tail as ExprSources>::Sources)

Type-level tree with one Src leaf per column read.

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

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

where Tail: ListContains<T, Witness>,

impl<Scope, Used, Cols, Head, Tail, Proof> MarkerAggValidFor<Cons<Head, Tail>, Proof> for Scoped<SelectCols<Cols>, Scope, Used>

where Cols: ScalarColumnsIn<Cons<Head, Tail>, Proof>,

impl<Scope, Used, Head, Tail> MarkerAggValidFor<Cons<Head, Tail>> for Scoped<SelectStar, Scope, Used>

impl<Scope, Used, Head, Tail> MarkerAggValidFor<Cons<Head, Tail>> for Scoped<SelectExpr, Scope, Used>

impl<Scope, Used, R, Head, Tail> MarkerAggValidFor<Cons<Head, Tail>> for Scoped<SelectAs<R>, Scope, Used>

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.

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.

impl<Head, Tail> TypeSet for Cons<Head, Tail>

where Tail: TypeSet,

impl<S, Head, Tail> ValidateTableSetForeignKeys<S> for Cons<Head, Tail>

where Head: SQLTableMeta, <Head as SQLTableMeta>::ForeignKeys: ForeignKeysInSchema<S>, Tail: ValidateTableSetForeignKeys<S>,