Trait SingleColGroupCheck 

pub trait SingleColGroupCheck<Grouped, Proof> { }

Per-element check: either skip (Agg) or verify (Scalar).

Implementors

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

where E: HasAggStatus<Status = AllAgg>,

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

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