Trait path_iter::HigherIntoIterator

pub trait HigherIntoIterator<T> {
    type Item;
    type IntoIter;
    fn hinto_iter(self, a: T) -> Self::IntoIter;
}

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.

Associated Types

type Item

The item type generated by the iterator.

type IntoIter

The iterator type.

Loading content...

Required methods

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

Construct iterator from an argument.

Loading content...

Implementations on Foreign Types

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, 

type Item = (V1, V2)

type IntoIter = ProductIter<I1, I2, PathEnd<T2, U2>, V1>

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

Loading content...

Implementors

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

type Item = (bool, bool)

type IntoIter = IntoIter<(bool, bool)>

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

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

type Item = (bool, bool)

type IntoIter = IntoIter<(bool, bool)>

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

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

type Item = bool

type IntoIter = IntoIter<bool>

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

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

type Item = (bool, bool)

type IntoIter = IntoIter<(bool, bool)>

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

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

type Item = bool

type IntoIter = <Option<bool> as IntoIterator>::IntoIter

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

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

type Item = bool

type IntoIter = <Option<bool> as IntoIterator>::IntoIter

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

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

type Item = (bool, bool)

type IntoIter = IntoIter<(bool, bool)>

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

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

type Item = (bool, bool)

type IntoIter = IntoIter<(bool, bool)>

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

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

type Item = bool

type IntoIter = IntoIter<bool>

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

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

type Item = (bool, bool)

type IntoIter = IntoIter<(bool, bool)>

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

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

type Item = (i64, i64)

type IntoIter = AddRangeIter

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

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

type Item = i64

type IntoIter = Range<i64>

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

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

type Item = i64

type IntoIter = Range<i64>

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

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

type Item = (i64, i64)

type IntoIter = AddRangeIter

fn hinto_iter(self, arg: Item<Range<i64>>) -> Self::IntoIter

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

type Item = T

type IntoIter = Range<T>

fn hinto_iter(self, arg: Item<Range<T>>) -> Self::IntoIter

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

type Item = T

type IntoIter = Range<T>

fn hinto_iter(self, arg: Item<Range<T>>) -> Self::IntoIter

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

type Item = V

type IntoIter = I

fn hinto_iter(self, _: Item<U>) -> Self::IntoIter

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>, 

type Item = W

type IntoIter = EitherIter<I1, I2>

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

Loading content...