Trait SingleColGroupCheck 

pub trait SingleColGroupCheck<Grouped, Proof> { }

GROUP BY check for one selected column: aggregates pass, scalars must be grouped.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<E, Grouped, W> SingleColGroupCheck<Grouped, ScalarCheck<W>> for E

where E: HasAggStatus<Status = AllScalar> + GroupByIdentity, Grouped: ListContains<E::Identity, W>,

impl<E, Grouped> SingleColGroupCheck<Grouped, AggSkip> for E

where E: HasAggStatus<Status = AllAgg>,

impl<E, T> SingleColGroupCheck<PkGroup<T>, PkDependent> for E

where E: HasAggStatus<Status = AllScalar> + GroupByIdentity, E::Identity: ColumnOf<T>,