Trait datafrog::Leapers

pub trait Leapers<'leap, Tuple, Val> {
    fn for_each_count(&mut self, tuple: &Tuple, op: impl FnMut(usize, usize));
    fn propose(
        &mut self,
        tuple: &Tuple,
        min_index: usize,
        values: &mut Vec<&'leap Val>
    );
    fn intersect(
        &mut self,
        tuple: &Tuple,
        min_index: usize,
        values: &mut Vec<&'leap Val>
    );
}

Implemented for a tuple of leapers

Required Methods

fn for_each_count(&mut self, tuple: &Tuple, op: impl FnMut(usize, usize))

Internal method:

fn propose(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

Internal method:

fn intersect(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

Internal method:

Implementations on Foreign Types

impl<'leap, Tuple, Val, A, B> Leapers<'leap, Tuple, Val> for (A, B)where
    A: Leaper<'leap, Tuple, Val>,
    B: Leaper<'leap, Tuple, Val>,

fn for_each_count(&mut self, tuple: &Tuple, op: impl FnMut(usize, usize))

fn propose(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

fn intersect(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

impl<'leap, Tuple, Val, A, B, C> Leapers<'leap, Tuple, Val> for (A, B, C)where
    A: Leaper<'leap, Tuple, Val>,
    B: Leaper<'leap, Tuple, Val>,
    C: Leaper<'leap, Tuple, Val>,

fn for_each_count(&mut self, tuple: &Tuple, op: impl FnMut(usize, usize))

fn propose(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

fn intersect(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

impl<'leap, Tuple, Val, A, B, C, D> Leapers<'leap, Tuple, Val> for (A, B, C, D)where
    A: Leaper<'leap, Tuple, Val>,
    B: Leaper<'leap, Tuple, Val>,
    C: Leaper<'leap, Tuple, Val>,
    D: Leaper<'leap, Tuple, Val>,

fn for_each_count(&mut self, tuple: &Tuple, op: impl FnMut(usize, usize))

fn propose(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

fn intersect(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

impl<'leap, Tuple, Val, A, B, C, D, E> Leapers<'leap, Tuple, Val> for (A, B, C, D, E)where
    A: Leaper<'leap, Tuple, Val>,
    B: Leaper<'leap, Tuple, Val>,
    C: Leaper<'leap, Tuple, Val>,
    D: Leaper<'leap, Tuple, Val>,
    E: Leaper<'leap, Tuple, Val>,

fn for_each_count(&mut self, tuple: &Tuple, op: impl FnMut(usize, usize))

fn propose(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

fn intersect(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

impl<'leap, Tuple, Val, A, B, C, D, E, F> Leapers<'leap, Tuple, Val> for (A, B, C, D, E, F)where
    A: Leaper<'leap, Tuple, Val>,
    B: Leaper<'leap, Tuple, Val>,
    C: Leaper<'leap, Tuple, Val>,
    D: Leaper<'leap, Tuple, Val>,
    E: Leaper<'leap, Tuple, Val>,
    F: Leaper<'leap, Tuple, Val>,

fn for_each_count(&mut self, tuple: &Tuple, op: impl FnMut(usize, usize))

fn propose(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

fn intersect(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

impl<'leap, Tuple, Val, A, B, C, D, E, F, G> Leapers<'leap, Tuple, Val> for (A, B, C, D, E, F, G)where
    A: Leaper<'leap, Tuple, Val>,
    B: Leaper<'leap, Tuple, Val>,
    C: Leaper<'leap, Tuple, Val>,
    D: Leaper<'leap, Tuple, Val>,
    E: Leaper<'leap, Tuple, Val>,
    F: Leaper<'leap, Tuple, Val>,
    G: Leaper<'leap, Tuple, Val>,

fn for_each_count(&mut self, tuple: &Tuple, op: impl FnMut(usize, usize))

fn propose(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

fn intersect(
    &mut self,
    tuple: &Tuple,
    min_index: usize,
    values: &mut Vec<&'leap Val>
)

Implementors

impl<'leap, Key, Val, Tuple, Func> Leapers<'leap, Tuple, ()> for FilterAnti<'leap, Key, Val, Tuple, Func>where
    Key: Ord + 'leap,
    Val: Ord + 'leap,
    Tuple: Ord,
    Func: Fn(&Tuple) -> (Key, Val),

impl<'leap, Key, Val, Tuple, Func> Leapers<'leap, Tuple, ()> for FilterWith<'leap, Key, Val, Tuple, Func>where
    Key: Ord + 'leap,
    Val: Ord + 'leap,
    Tuple: Ord,
    Func: Fn(&Tuple) -> (Key, Val),

impl<'leap, Key, Val, Tuple, Func> Leapers<'leap, Tuple, Val> for ExtendWith<'leap, Key, Val, Tuple, Func>where
    Key: Ord + 'leap,
    Val: Ord + 'leap,
    Tuple: Ord,
    Func: Fn(&Tuple) -> Key,

impl<'leap, Tuple, Func> Leapers<'leap, Tuple, ()> for PrefixFilter<Tuple, Func>where
    Func: Fn(&Tuple) -> bool,