Skip to main content

SingleColGroupCheck

Trait SingleColGroupCheck 

Source
pub trait SingleColGroupCheck<Grouped, Proof> { }
Expand description

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

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§

Source§

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

Source§

impl<E, Grouped> SingleColGroupCheck<Grouped, AggSkip> for E
where E: HasAggStatus<Status = AllAgg>,