Function validate

pub fn validate<G, K, V, Tr, F, P>(
    extensions: &VecCollection<G, (P, V), Tr::Diff>,
    arrangement: Arranged<G, Tr>,
    key_selector: F,
) -> VecCollection<G, (P, V), Tr::Diff>
where
    G: Scope<Timestamp = Tr::Time>,
    Tr: for<'a> TraceReader<KeyOwn = (K, V), Time: Hash, Diff: Semigroup<Tr::DiffGat<'a>> + Monoid + Multiply<Output = Tr::Diff> + ExchangeData> + Clone + 'static,
    K: Ord + Hash + Clone + Default + 'static,
    V: ExchangeData + Hash + Default,
    F: Fn(&P) -> K + Clone + 'static,
    P: ExchangeData,

Proposes extensions to a stream of prefixes.

This method takes a stream of prefixes and for each determines a key with key_selector and then proposes all pair af the prefix and values associated with the key in arrangement.