Function validate

pub fn validate<G, K, V, Tr, F, P>(
    extensions: &Collection<G, (P, V), Tr::Diff>,
    arrangement: Arranged<G, Tr>,
    key_selector: F,
) -> Collection<G, (P, V), Tr::Diff>
where
    G: Scope<Timestamp = Tr::Time>,
    Tr: TraceReader + Clone + 'static,
    for<'a> Tr::Key<'a>: IntoOwned<'a, Owned = (K, V)>,
    for<'a> Tr::Diff: Semigroup<Tr::DiffGat<'a>> + Monoid + Multiply<Output = Tr::Diff> + ExchangeData,
    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.