Trait HigherIntoIterator

Source
pub trait HigherIntoIterator<T> {
    type Item;
    type IntoIter;

    // Required method
    fn hinto_iter(self, a: T) -> Self::IntoIter;
}
Expand description

Implemented by iterator generators.

A function, e.g. And is a iterator generator with respect to the output, e.g. [And] true. This iterates over inputs that makes And return true.

Required Associated Types§

Source

type Item

The item type generated by the iterator.

Source

type IntoIter

The iterator type.

Required Methods§

Source

fn hinto_iter(self, a: T) -> Self::IntoIter

Construct iterator from an argument.

Implementations on Foreign Types§

Source§

impl<T1, T2, U1, U2, V1, V2, I1, I2> HigherIntoIterator<Either<(U1, U2), Empty>> for (T1, T2)
where T1: HigherIntoIterator<Item<U1>, Item = V1, IntoIter = I1>, T2: Clone + HigherIntoIterator<Item<U2>, Item = V2, IntoIter = I2>, I1: Iterator<Item = V1>, U2: Clone,

Source§

type Item = (V1, V2)

Source§

type IntoIter = ProductIter<I1, I2, V1, V2>

Source§

fn hinto_iter(self, arg: Item<(U1, U2)>) -> Self::IntoIter

Implementors§

Source§

impl HigherIntoIterator<Either<bool, Empty>> for And

Source§

impl HigherIntoIterator<Either<bool, Empty>> for Eqb

Source§

impl HigherIntoIterator<Either<bool, Empty>> for False1

Source§

impl HigherIntoIterator<Either<bool, Empty>> for Fstb

Source§

impl HigherIntoIterator<Either<bool, Empty>> for Idb

Source§

impl HigherIntoIterator<Either<bool, Empty>> for Imply

Source§

impl HigherIntoIterator<Either<bool, Empty>> for Not

Source§

impl HigherIntoIterator<Either<bool, Empty>> for Or

Source§

impl HigherIntoIterator<Either<bool, Empty>> for Sndb

Source§

impl HigherIntoIterator<Either<bool, Empty>> for True1

Source§

impl HigherIntoIterator<Either<bool, Empty>> for Xor

Source§

impl HigherIntoIterator<Either<i64, Empty>> for Add

Source§

impl HigherIntoIterator<Either<i64, Empty>> for Id

Source§

impl HigherIntoIterator<Either<i64, Empty>> for Neg

Source§

impl HigherIntoIterator<Either<i64, Empty>> for Square

Source§

impl HigherIntoIterator<Either<Range<i64>, Empty>> for Add

Source§

impl HigherIntoIterator<Either<Range<i64>, Empty>> for Square

Source§

impl<T> HigherIntoIterator<Either<Range<T>, Empty>> for Id

Source§

impl<T> HigherIntoIterator<Either<Range<T>, Empty>> for Neg
where T: Sub<Output = T> + From<u8>,

Source§

impl<T, U, V, I> HigherIntoIterator<Either<U, Empty>> for Item<T>
where Item<T>: IntoIterator<Item = V, IntoIter = I>, I: Iterator<Item = V>,

Source§

impl<T, U, V, W, I1, I2> HigherIntoIterator<Either<V, Empty>> for Either<T, U>
where T: HigherIntoIterator<Item<V>, Item = W, IntoIter = I1>, U: HigherIntoIterator<Item<V>, Item = W, IntoIter = I2>, I1: Iterator<Item = W>, I2: Iterator<Item = W>,