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

pub fn inner(self) -> T

Gets the inner value.

impl<T> Either<Empty, T>

pub fn inner_right(self) -> T

Gets the inner right value.

Trait Implementations

impl<T: Clone, U: Clone> Clone for Either<T, U>

fn clone(&self) -> Either<T, U>

Returns a duplicate of the value.

const fn clone_from(&mut self, source: &Self)

Performs copy-assignment from 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,

type Item = (V1, V2)

The item type generated by the iterator.

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

The iterator type.

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

Construct iterator from an argument.

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

type Item = T

The item type generated by the iterator.

type IntoIter = Range<T>

The iterator type.

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

Construct iterator from an argument.

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

where T: Sub<Output = T> + From<u8>,

type Item = T

The item type generated by the iterator.

type IntoIter = Range<T>

The iterator type.

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

Construct iterator from an argument.

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

type Item = (i64, i64)

The item type generated by the iterator.

type IntoIter = AddRangeIter

The iterator type.

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

Construct iterator from an argument.

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

type Item = i64

The item type generated by the iterator.

type IntoIter = SquareRangeIter

The iterator type.

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

Construct iterator from an argument.

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

The item type generated by the iterator.

type IntoIter = I

The iterator type.

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

Construct iterator from an argument.

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

The item type generated by the iterator.

type IntoIter = EitherIter<I1, I2>

The iterator type.

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

Construct iterator from an argument.

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

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

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

Construct iterator from an argument.

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

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

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

Construct iterator from an argument.

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

type Item = bool

The item type generated by the iterator.

type IntoIter = IntoIter<bool>

The iterator type.

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

Construct iterator from an argument.

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

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

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

Construct iterator from an argument.

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

type Item = bool

The item type generated by the iterator.

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

The iterator type.

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

Construct iterator from an argument.

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

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

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

Construct iterator from an argument.

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

type Item = bool

The item type generated by the iterator.

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

The iterator type.

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

Construct iterator from an argument.

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

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

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

Construct iterator from an argument.

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

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

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

Construct iterator from an argument.

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

type Item = bool

The item type generated by the iterator.

type IntoIter = IntoIter<bool>

The iterator type.

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

Construct iterator from an argument.

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

type Item = (bool, bool)

The item type generated by the iterator.

type IntoIter = IntoIter<(bool, bool)>

The iterator type.

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

Construct iterator from an argument.

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

type Item = (i64, i64)

The item type generated by the iterator.

type IntoIter = AddRangeIter

The iterator type.

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

Construct iterator from an argument.

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

type Item = i64

The item type generated by the iterator.

type IntoIter = Range<i64>

The iterator type.

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

Construct iterator from an argument.

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

type Item = i64

The item type generated by the iterator.

type IntoIter = Range<i64>

The iterator type.

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

Construct iterator from an argument.

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

type Item = i64

The item type generated by the iterator.

type IntoIter = Range<i64>

The iterator type.

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

Construct iterator from an argument.