Trait diesel::expression::ValidGrouping

pub trait ValidGrouping<GroupByClause> {
    type IsAggregate;
}

Is this expression valid for a given group by clause?

Implementations of this trait must ensure that aggregate expressions are not mixed with non-aggregate expressions.

For generic types, you can determine if your sub-expressions can appear together using the MixedAggregates trait.

GroupByClause will be a tuple containing the set of expressions appearing in the GROUP BY portion of the query. If there is no GROUP BY, it will be ().

This trait can be derived

Required Associated Types

type IsAggregate

Is this expression aggregate?

This type should always be one of the structs in the is_aggregate module. See the documentation of those structs for more details.

Implementations on Foreign Types

impl<T: ValidGrouping<GB> + ?Sized, GB> ValidGrouping<GB> for Box<T>

type IsAggregate = <T as ValidGrouping<GB>>::IsAggregate

impl<'a, T: ValidGrouping<GB> + ?Sized, GB> ValidGrouping<GB> for &'a T

type IsAggregate = <T as ValidGrouping<GB>>::IsAggregate

impl<T0, __GroupByClause> ValidGrouping<__GroupByClause> for (T0,)where
    T0: ValidGrouping<__GroupByClause>,

type IsAggregate = <T0 as ValidGrouping<__GroupByClause>>::IsAggregate

impl<T0, T1, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1)where
    T0: ValidGrouping<__GroupByClause>,
    (T1,): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1,) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1,) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, T5, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4, T5)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4, T5): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4, T5) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4, T5) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, T5, T6, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4, T5, T6)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4, T5, T6): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4, T5, T6) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4, T5, T6) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, T5, T6, T7, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4, T5, T6, T7)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4, T5, T6, T7): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4, T5, T6, T7, T8)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4, T5, T6, T7, T8): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4, T5, T6, T7, T8, T9): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, __GroupByClause> ValidGrouping<__GroupByClause> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)where
    T0: ValidGrouping<__GroupByClause>,
    (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15): ValidGrouping<__GroupByClause>,
    T0::IsAggregate: MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15) as ValidGrouping<__GroupByClause>>::IsAggregate>,

type IsAggregate = <<T0 as ValidGrouping<__GroupByClause>>::IsAggregate as MixedAggregates<<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15) as ValidGrouping<__GroupByClause>>::IsAggregate>>::Output

Implementors

impl<'a, QS, ST, DB, GB, IsAggregate> ValidGrouping<GB> for dyn BoxableExpression<QS, DB, GB, IsAggregate, SqlType = ST> + 'a

type IsAggregate = IsAggregate

impl<Query, Value, GB> ValidGrouping<GB> for UncheckedBind<Query, Value>

type IsAggregate = Never

impl<S, C1, C2> ValidGrouping<AliasedField<S, C1>> for AliasedField<S, C2>where
    S: AliasSource,
    C1: Column<Table = S::Target>,
    C2: Column<Table = S::Target>,
    C2: ValidGrouping<C1, IsAggregate = Yes>,

type IsAggregate = Yes

impl<S, C> ValidGrouping<()> for AliasedField<S, C>where
    S: AliasSource,
    C: Column<Table = S::Target>,

type IsAggregate = No

impl<ST, T, GB> ValidGrouping<GB> for SqlLiteral<ST, T>

type IsAggregate = Never

impl<__GroupByClause> ValidGrouping<__GroupByClause> for now

type IsAggregate = Never

impl<__GroupByClause> ValidGrouping<__GroupByClause> for today

type IsAggregate = Never