Trait specs::join::BitAnd

pub trait BitAnd {
    type Value: BitSetLike;
    fn and(self) -> Self::Value;
}

BitAnd is a helper method to & bitsets together resulting in a tree.

Associated Types

type Value: BitSetLike

The combined bitsets.

Required Methods

fn and(self) -> Self::Value

Combines Self into a single BitSetLike through BitSetAnd.

Implementations on Foreign Types

impl<A> BitAnd for (A,) where
    A: BitSetLike, 

This needs to be special cased

type Value = A

fn and(self) -> Self::Value

impl<A, B> BitAnd for (A, B) where
    A: BitSetLike,
    B: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C> BitAnd for (A, B, C) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D> BitAnd for (A, B, C, D) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E> BitAnd for (A, B, C, D, E) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E, F> BitAnd for (A, B, C, D, E, F) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike,
    F: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E, F, G> BitAnd for (A, B, C, D, E, F, G) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike,
    F: BitSetLike,
    G: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E, F, G, H> BitAnd for (A, B, C, D, E, F, G, H) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike,
    F: BitSetLike,
    G: BitSetLike,
    H: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E, F, G, H, I> BitAnd for (A, B, C, D, E, F, G, H, I) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike,
    F: BitSetLike,
    G: BitSetLike,
    H: BitSetLike,
    I: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E, F, G, H, I, J> BitAnd for (A, B, C, D, E, F, G, H, I, J) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike,
    F: BitSetLike,
    G: BitSetLike,
    H: BitSetLike,
    I: BitSetLike,
    J: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E, F, G, H, I, J, K> BitAnd for (A, B, C, D, E, F, G, H, I, J, K) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike,
    F: BitSetLike,
    G: BitSetLike,
    H: BitSetLike,
    I: BitSetLike,
    J: BitSetLike,
    K: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E, F, G, H, I, J, K, L> BitAnd for (A, B, C, D, E, F, G, H, I, J, K, L) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike,
    F: BitSetLike,
    G: BitSetLike,
    H: BitSetLike,
    I: BitSetLike,
    J: BitSetLike,
    K: BitSetLike,
    L: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E, F, G, H, I, J, K, L, M> BitAnd for (A, B, C, D, E, F, G, H, I, J, K, L, M) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike,
    F: BitSetLike,
    G: BitSetLike,
    H: BitSetLike,
    I: BitSetLike,
    J: BitSetLike,
    K: BitSetLike,
    L: BitSetLike,
    M: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N> BitAnd for (A, B, C, D, E, F, G, H, I, J, K, L, M, N) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike,
    F: BitSetLike,
    G: BitSetLike,
    H: BitSetLike,
    I: BitSetLike,
    J: BitSetLike,
    K: BitSetLike,
    L: BitSetLike,
    M: BitSetLike,
    N: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O> BitAnd for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike,
    F: BitSetLike,
    G: BitSetLike,
    H: BitSetLike,
    I: BitSetLike,
    J: BitSetLike,
    K: BitSetLike,
    L: BitSetLike,
    M: BitSetLike,
    N: BitSetLike,
    O: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P> BitAnd for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P) where
    A: BitSetLike,
    B: BitSetLike,
    C: BitSetLike,
    D: BitSetLike,
    E: BitSetLike,
    F: BitSetLike,
    G: BitSetLike,
    H: BitSetLike,
    I: BitSetLike,
    J: BitSetLike,
    K: BitSetLike,
    L: BitSetLike,
    M: BitSetLike,
    N: BitSetLike,
    O: BitSetLike,
    P: BitSetLike, 

type Value = BitSetAnd<<Self::Left as BitAnd>::Value, <Self::Right as BitAnd>::Value>

fn and(self) -> Self::Value

Implementors