Trait ExistenceTarget 

pub trait ExistenceTarget<S, A, EA, FA, Sc: Score>
where
    EA: TrackedCollectionExtract<S, Item = A>,
    FA: UniFilter<S, A>,
{
    type Output;

    // Required method
    fn apply(
        self,
        mode: ExistenceMode,
        extractor_a: EA,
        filter_a: FA,
    ) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

fn apply( self, mode: ExistenceMode, extractor_a: EA, filter_a: FA, ) -> Self::Output

Implementations on Foreign Types

impl<S, A, B, EA, FA, EP, FP, K, KA, KB, Sc> ExistenceTarget<S, A, EA, FA, Sc> for (UniConstraintStream<S, B, EP, FP, Sc>, EqualJoiner<KA, KB, K>)

where S: Send + Sync + 'static, A: Clone + Send + Sync + 'static, B: Clone + Send + Sync + 'static, EA: TrackedCollectionExtract<S, Item = A>, FA: UniFilter<S, A>, EP: TrackedCollectionExtract<S, Item = B>, FP: UniFilter<S, B>, K: Eq + Hash + Clone + Send + Sync, KA: Fn(&A) -> K + Send + Sync, KB: Fn(&B) -> K + Send + Sync, Sc: Score + 'static,

type Output = ExistsConstraintStream<S, A, B, B, K, EA, EP, KA, KB, FA, FP, SelfFlatten, Sc>

fn apply( self, mode: ExistenceMode, extractor_a: EA, filter_a: FA, ) -> Self::Output

impl<S, A, P, B, EA, FA, EP, FP, K, KA, KB, Flatten, Sc> ExistenceTarget<S, A, EA, FA, Sc> for (FlattenedCollectionTarget<S, P, B, EP, FP, Flatten, Sc>, EqualJoiner<KA, KB, K>)

where S: Send + Sync + 'static, A: Clone + Send + Sync + 'static, P: Clone + Send + Sync + 'static, B: Clone + Send + Sync + 'static, EA: TrackedCollectionExtract<S, Item = A>, FA: UniFilter<S, A>, EP: TrackedCollectionExtract<S, Item = P>, FP: UniFilter<S, P>, K: Eq + Hash + Clone + Send + Sync, KA: Fn(&A) -> K + Send + Sync, KB: Fn(&B) -> K + Send + Sync, Flatten: FlattenExtract<P, Item = B> + Send + Sync, Sc: Score + 'static,

type Output = ExistsConstraintStream<S, A, P, B, K, EA, EP, KA, KB, FA, FP, Flatten, Sc>

fn apply( self, mode: ExistenceMode, extractor_a: EA, filter_a: FA, ) -> Self::Output

Implementors