[][src]Enum path_iter::Either

pub enum Either<T, U> {
    Left(T),
    Right(U),
}

Used to lift iterator generators into a sum type.

This is used in partial application, e.g. And::papp(true) returns Either::Left(Idb).

Variants

Left(T)

The left iterator generator.

Right(U)

The right iterator generator.

Implementations

impl<T> Either<T, Empty>[src]

pub fn inner(self) -> T[src]

Gets the inner value.

impl<T> Either<Empty, T>[src]

pub fn inner_right(self) -> T[src]

Gets the inner right value.

Trait Implementations

impl<T: Clone, U: Clone> Clone for Either<T, U>[src]

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
[src]

type Item = (V1, V2)

The item type generated by the iterator.

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

The iterator type.

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

type Item = T

The item type generated by the iterator.

type IntoIter = Range<T>

The iterator type.

impl<T> HigherIntoIterator<Either<Range<T>, Empty>> for Id[src]

type Item = T

The item type generated by the iterator.

type IntoIter = Range<T>

The iterator type.

impl HigherIntoIterator<Either<Range<i64>, Empty>> for Add[src]

type Item = (i64, i64)

The item type generated by the iterator.

type IntoIter = AddRangeIter

The iterator type.

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

type Item = V

The item type generated by the iterator.

type IntoIter = I

The iterator type.

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>, 
[src]

type Item = W

The item type generated by the iterator.

type IntoIter = EitherIter<I1, I2>

The iterator type.

impl HigherIntoIterator<Either<bool, Empty>> for False1[src]

type Item = bool

The item type generated by the iterator.

type IntoIter = IntoIter<bool>

The iterator type.

impl HigherIntoIterator<Either<bool, Empty>> for True1[src]

type Item = bool

The item type generated by the iterator.

type IntoIter = IntoIter<bool>

The iterator type.

impl HigherIntoIterator<Either<bool, Empty>> for Idb[src]

type Item = bool

The item type generated by the iterator.

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

The iterator type.

impl HigherIntoIterator<Either<bool, Empty>> for Not[src]

type Item = bool

The item type generated by the iterator.

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

The iterator type.

impl HigherIntoIterator<Either<bool, Empty>> for And[src]

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

impl HigherIntoIterator<Either<bool, Empty>> for Or[src]

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

impl HigherIntoIterator<Either<bool, Empty>> for Eqb[src]

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

impl HigherIntoIterator<Either<bool, Empty>> for Xor[src]

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

impl HigherIntoIterator<Either<bool, Empty>> for Fstb[src]

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

impl HigherIntoIterator<Either<bool, Empty>> for Sndb[src]

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

impl HigherIntoIterator<Either<i64, Empty>> for Neg[src]

type Item = i64

The item type generated by the iterator.

type IntoIter = Range<i64>

The iterator type.

impl HigherIntoIterator<Either<i64, Empty>> for Id[src]

type Item = i64

The item type generated by the iterator.

type IntoIter = Range<i64>

The iterator type.

impl HigherIntoIterator<Either<i64, Empty>> for Add[src]

type Item = (i64, i64)

The item type generated by the iterator.

type IntoIter = AddRangeIter

The iterator type.

Auto Trait Implementations

impl<T, U> RefUnwindSafe for Either<T, U> where
    T: RefUnwindSafe,
    U: RefUnwindSafe

impl<T, U> Send for Either<T, U> where
    T: Send,
    U: Send

impl<T, U> Sync for Either<T, U> where
    T: Sync,
    U: Sync

impl<T, U> Unpin for Either<T, U> where
    T: Unpin,
    U: Unpin

impl<T, U> UnwindSafe for Either<T, U> where
    T: UnwindSafe,
    U: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<I> IntoIterator for I where
    I: Iterator
[src]

type Item = <I as Iterator>::Item

The type of the elements being iterated over.

type IntoIter = I

Which kind of iterator are we turning this into?

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.