Trait AppearsOnTable 

pub trait AppearsOnTable<QS>: Expression
where
    QS: ?Sized,
{ }

Indicates that all elements of an expression are valid given a from clause.

This is used to ensure that users.filter(posts::id.eq(1)) fails to compile. This constraint is only used in places where the nullability of a SQL type doesn’t matter (everything except select and returning). For places where nullability is important, SelectableExpression is used instead.

Implementations on Foreign Types

impl<'a, T, QS> AppearsOnTable<QS> for &'a T

where T: AppearsOnTable<QS> + ?Sized, &'a T: Expression,

impl<T0, QS> AppearsOnTable<QS> for (T0,)

where T0: AppearsOnTable<QS>, (T0,): Expression,

impl<T0, T1, QS> AppearsOnTable<QS> for (T0, T1)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, (T0, T1): Expression,

impl<T0, T1, T2, QS> AppearsOnTable<QS> for (T0, T1, T2)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, (T0, T1, T2): Expression,

impl<T0, T1, T2, T3, QS> AppearsOnTable<QS> for (T0, T1, T2, T3)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, (T0, T1, T2, T3): Expression,

impl<T0, T1, T2, T3, T4, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, (T0, T1, T2, T3, T4): Expression,

impl<T0, T1, T2, T3, T4, T5, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4, T5)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, T5: AppearsOnTable<QS>, (T0, T1, T2, T3, T4, T5): Expression,

impl<T0, T1, T2, T3, T4, T5, T6, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4, T5, T6)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, T5: AppearsOnTable<QS>, T6: AppearsOnTable<QS>, (T0, T1, T2, T3, T4, T5, T6): Expression,

impl<T0, T1, T2, T3, T4, T5, T6, T7, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4, T5, T6, T7)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, T5: AppearsOnTable<QS>, T6: AppearsOnTable<QS>, T7: AppearsOnTable<QS>, (T0, T1, T2, T3, T4, T5, T6, T7): Expression,

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4, T5, T6, T7, T8)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, T5: AppearsOnTable<QS>, T6: AppearsOnTable<QS>, T7: AppearsOnTable<QS>, T8: AppearsOnTable<QS>, (T0, T1, T2, T3, T4, T5, T6, T7, T8): Expression,

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, T5: AppearsOnTable<QS>, T6: AppearsOnTable<QS>, T7: AppearsOnTable<QS>, T8: AppearsOnTable<QS>, T9: AppearsOnTable<QS>, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9): Expression,

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, T5: AppearsOnTable<QS>, T6: AppearsOnTable<QS>, T7: AppearsOnTable<QS>, T8: AppearsOnTable<QS>, T9: AppearsOnTable<QS>, T10: AppearsOnTable<QS>, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10): Expression,

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, T5: AppearsOnTable<QS>, T6: AppearsOnTable<QS>, T7: AppearsOnTable<QS>, T8: AppearsOnTable<QS>, T9: AppearsOnTable<QS>, T10: AppearsOnTable<QS>, T11: AppearsOnTable<QS>, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11): Expression,

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, T5: AppearsOnTable<QS>, T6: AppearsOnTable<QS>, T7: AppearsOnTable<QS>, T8: AppearsOnTable<QS>, T9: AppearsOnTable<QS>, T10: AppearsOnTable<QS>, T11: AppearsOnTable<QS>, T12: AppearsOnTable<QS>, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12): Expression,

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, T5: AppearsOnTable<QS>, T6: AppearsOnTable<QS>, T7: AppearsOnTable<QS>, T8: AppearsOnTable<QS>, T9: AppearsOnTable<QS>, T10: AppearsOnTable<QS>, T11: AppearsOnTable<QS>, T12: AppearsOnTable<QS>, T13: AppearsOnTable<QS>, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13): Expression,

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, T5: AppearsOnTable<QS>, T6: AppearsOnTable<QS>, T7: AppearsOnTable<QS>, T8: AppearsOnTable<QS>, T9: AppearsOnTable<QS>, T10: AppearsOnTable<QS>, T11: AppearsOnTable<QS>, T12: AppearsOnTable<QS>, T13: AppearsOnTable<QS>, T14: AppearsOnTable<QS>, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14): Expression,

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, QS> AppearsOnTable<QS> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)

where T0: AppearsOnTable<QS>, T1: AppearsOnTable<QS>, T2: AppearsOnTable<QS>, T3: AppearsOnTable<QS>, T4: AppearsOnTable<QS>, T5: AppearsOnTable<QS>, T6: AppearsOnTable<QS>, T7: AppearsOnTable<QS>, T8: AppearsOnTable<QS>, T9: AppearsOnTable<QS>, T10: AppearsOnTable<QS>, T11: AppearsOnTable<QS>, T12: AppearsOnTable<QS>, T13: AppearsOnTable<QS>, T14: AppearsOnTable<QS>, T15: AppearsOnTable<QS>, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15): Expression,

impl<T, QS> AppearsOnTable<QS> for Box<T>

where T: AppearsOnTable<QS> + ?Sized, Box<T>: Expression,

Implementors

impl<L, R, QS> AppearsOnTable<QS> for Concat<L, R>

where Concat<L, R>: Expression, L: AppearsOnTable<QS>, R: AppearsOnTable<QS>,

impl<QS> AppearsOnTable<QS> for now

where now: Expression,

impl<QS> AppearsOnTable<QS> for today

where today: Expression,

impl<QS, Query, Value> AppearsOnTable<QS> for UncheckedBind<Query, Value>

where UncheckedBind<Query, Value>: Expression,

impl<QS, S, C> AppearsOnTable<QS> for AliasedField<S, C>

where S: AliasSource, QS: AppearsInFromClause<Alias<S>, Count = Once>, C: Column<Table = <S as AliasSource>::Target>,

impl<QS, ST, T> AppearsOnTable<QS> for SqlLiteral<ST, T>

where SqlLiteral<ST, T>: Expression,

impl<ST, I, QS> AppearsOnTable<QS> for Many<ST, I>

where Many<ST, I>: Expression, I: AsExpression<ST>, ST: SingleValue, <I as AsExpression<ST>>::Expression: SelectableExpression<QS>,

impl<T, QS> AppearsOnTable<QS> for Exists<T>

where Exists<T>: Expression, Subselect<T, Bool>: AppearsOnTable<QS>,

impl<T, U, QS> AppearsOnTable<QS> for In<T, U>

where In<T, U>: Expression, T: AppearsOnTable<QS>, U: AppearsOnTable<QS>,

impl<T, U, QS> AppearsOnTable<QS> for NotIn<T, U>

where NotIn<T, U>: Expression, T: AppearsOnTable<QS>, U: AppearsOnTable<QS>,