Trait malachite_base::tuples::exhaustive::ExhaustiveDependentPairsYsGenerator

pub trait ExhaustiveDependentPairsYsGenerator<X: Clone, Y, J: Iterator<Item = Y>> {
    // Required method
    fn get_ys(&self, x: &X) -> J;
}

A trait used by dependent-pairs structs.

Given a reference to an x, produces an iterator of ys.

See LexDependentPairs and ExhaustiveDependentPairs.

Required Methods

fn get_ys(&self, x: &X) -> J

Implementors