Trait sp_std::ops::BitAnd1.0.0[][src]

#[lang = "bitand"]pub trait BitAnd<Rhs = Self> {
    type Output;
#[must_use]    pub fn bitand(self, rhs: Rhs) -> Self::Output;
}
[]

The bitwise AND operator &.

Note that Rhs is Self by default, but this is not mandatory.

Examples

An implementation of BitAnd for a wrapper around bool.

use std::ops::BitAnd;

#[derive(Debug, PartialEq)]
struct Scalar(bool);

impl BitAnd for Scalar {
    type Output = Self;

    // rhs is the "right-hand side" of the expression `a & b`
    fn bitand(self, rhs: Self) -> Self::Output {
        Self(self.0 & rhs.0)
    }
}

assert_eq!(Scalar(true) & Scalar(true), Scalar(true));
assert_eq!(Scalar(true) & Scalar(false), Scalar(false));
assert_eq!(Scalar(false) & Scalar(true), Scalar(false));
assert_eq!(Scalar(false) & Scalar(false), Scalar(false));

An implementation of BitAnd for a wrapper around Vec<bool>.

use std::ops::BitAnd;

#[derive(Debug, PartialEq)]
struct BooleanVector(Vec<bool>);

impl BitAnd for BooleanVector {
    type Output = Self;

    fn bitand(self, Self(rhs): Self) -> Self::Output {
        let Self(lhs) = self;
        assert_eq!(lhs.len(), rhs.len());
        Self(
            lhs.iter()
                .zip(rhs.iter())
                .map(|(x, y)| *x & *y)
                .collect()
        )
    }
}

let bv1 = BooleanVector(vec![true, true, false, false]);
let bv2 = BooleanVector(vec![true, false, true, false]);
let expected = BooleanVector(vec![true, false, false, false]);
assert_eq!(bv1 & bv2, expected);

Associated Types

type Output[src][]

The resulting type after applying the & operator.

Required methods

#[must_use]pub fn bitand(self, rhs: Rhs) -> Self::Output[src][]

Performs the & operation.

Examples

assert_eq!(true & false, false);
assert_eq!(true & true, true);
assert_eq!(5u8 & 1u8, 1);
assert_eq!(5u8 & 2u8, 0);

Implementations on Foreign Types

impl<'_, '_, T, S> BitAnd<&'_ HashSet<T, S>> for &'_ HashSet<T, S> where
    T: Eq + Hash + Clone,
    S: BuildHasher + Default
[src][]

type Output = HashSet<T, S>

pub fn bitand(self, rhs: &HashSet<T, S>) -> HashSet<T, S>[src][]

Returns the intersection of self and rhs as a new HashSet<T, S>.

Examples

use std::collections::HashSet;

let a: HashSet<_> = vec![1, 2, 3].into_iter().collect();
let b: HashSet<_> = vec![2, 3, 4].into_iter().collect();

let set = &a & &b;

let mut i = 0;
let expected = [2, 3];
for x in &set {
    assert!(expected.contains(x));
    i += 1;
}
assert_eq!(i, expected.len());

impl<'_> BitAnd<&'_ i128> for i128[src][]

type Output = <i128 as BitAnd<i128>>::Output

impl<'_, '_> BitAnd<&'_ bool> for &'_ bool[src][]

type Output = <bool as BitAnd<bool>>::Output

impl BitAnd<u8> for u8[src][]

type Output = u8

impl<'_, '_> BitAnd<&'_ u128> for &'_ u128[src][]

type Output = <u128 as BitAnd<u128>>::Output

impl BitAnd<i128> for i128[src][]

type Output = i128

impl<'_, '_> BitAnd<&'_ u16> for &'_ u16[src][]

type Output = <u16 as BitAnd<u16>>::Output

impl<'a> BitAnd<u16> for &'a u16[src][]

type Output = <u16 as BitAnd<u16>>::Output

impl BitAnd<u128> for u128[src][]

type Output = u128

impl BitAnd<u64> for u64[src][]

type Output = u64

impl<'a> BitAnd<usize> for &'a usize[src][]

type Output = <usize as BitAnd<usize>>::Output

impl<'a> BitAnd<isize> for &'a isize[src][]

type Output = <isize as BitAnd<isize>>::Output

impl<'a> BitAnd<u64> for &'a u64[src][]

type Output = <u64 as BitAnd<u64>>::Output

impl<'_> BitAnd<&'_ isize> for isize[src][]

type Output = <isize as BitAnd<isize>>::Output

impl<'_> BitAnd<&'_ u32> for u32[src][]

type Output = <u32 as BitAnd<u32>>::Output

impl<'_> BitAnd<&'_ i16> for i16[src][]

type Output = <i16 as BitAnd<i16>>::Output

impl<'a> BitAnd<u128> for &'a u128[src][]

type Output = <u128 as BitAnd<u128>>::Output

impl<'a> BitAnd<u32> for &'a u32[src][]

type Output = <u32 as BitAnd<u32>>::Output

impl<'a> BitAnd<u8> for &'a u8[src][]

type Output = <u8 as BitAnd<u8>>::Output

impl BitAnd<usize> for usize[src][]

type Output = usize

impl<'_> BitAnd<&'_ i64> for i64[src][]

type Output = <i64 as BitAnd<i64>>::Output

impl<'_, '_> BitAnd<&'_ u8> for &'_ u8[src][]

type Output = <u8 as BitAnd<u8>>::Output

impl<'a> BitAnd<i8> for &'a i8[src][]

type Output = <i8 as BitAnd<i8>>::Output

impl BitAnd<isize> for isize[src][]

type Output = isize

impl<'_, '_> BitAnd<&'_ isize> for &'_ isize[src][]

type Output = <isize as BitAnd<isize>>::Output

impl<'_, '_> BitAnd<&'_ i32> for &'_ i32[src][]

type Output = <i32 as BitAnd<i32>>::Output

impl<'a> BitAnd<i128> for &'a i128[src][]

type Output = <i128 as BitAnd<i128>>::Output

impl<'_, '_> BitAnd<&'_ i64> for &'_ i64[src][]

type Output = <i64 as BitAnd<i64>>::Output

impl<'_, '_> BitAnd<&'_ i16> for &'_ i16[src][]

type Output = <i16 as BitAnd<i16>>::Output

impl<'_> BitAnd<&'_ u8> for u8[src][]

type Output = <u8 as BitAnd<u8>>::Output

impl<'_, '_> BitAnd<&'_ u64> for &'_ u64[src][]

type Output = <u64 as BitAnd<u64>>::Output

impl<'a> BitAnd<i64> for &'a i64[src][]

type Output = <i64 as BitAnd<i64>>::Output

impl<'_> BitAnd<&'_ i32> for i32[src][]

type Output = <i32 as BitAnd<i32>>::Output

impl<'_> BitAnd<&'_ bool> for bool[src][]

type Output = <bool as BitAnd<bool>>::Output

impl<'_> BitAnd<&'_ u16> for u16[src][]

type Output = <u16 as BitAnd<u16>>::Output

impl BitAnd<u16> for u16[src][]

type Output = u16

impl<'_> BitAnd<&'_ usize> for usize[src][]

type Output = <usize as BitAnd<usize>>::Output

impl BitAnd<i32> for i32[src][]

type Output = i32

impl BitAnd<bool> for bool[src][]

type Output = bool

impl BitAnd<i64> for i64[src][]

type Output = i64

impl<'_, '_> BitAnd<&'_ i8> for &'_ i8[src][]

type Output = <i8 as BitAnd<i8>>::Output

impl<'a> BitAnd<bool> for &'a bool[src][]

type Output = <bool as BitAnd<bool>>::Output

impl BitAnd<i8> for i8[src][]

type Output = i8

impl<'_, '_> BitAnd<&'_ usize> for &'_ usize[src][]

type Output = <usize as BitAnd<usize>>::Output

impl BitAnd<i16> for i16[src][]

type Output = i16

impl<'_, '_> BitAnd<&'_ i128> for &'_ i128[src][]

type Output = <i128 as BitAnd<i128>>::Output

impl BitAnd<u32> for u32[src][]

type Output = u32

impl<'_, '_> BitAnd<&'_ u32> for &'_ u32[src][]

type Output = <u32 as BitAnd<u32>>::Output

impl<'a> BitAnd<i16> for &'a i16[src][]

type Output = <i16 as BitAnd<i16>>::Output

impl<'_> BitAnd<&'_ u64> for u64[src][]

type Output = <u64 as BitAnd<u64>>::Output

impl<'_> BitAnd<&'_ i8> for i8[src][]

type Output = <i8 as BitAnd<i8>>::Output

impl<'a> BitAnd<i32> for &'a i32[src][]

type Output = <i32 as BitAnd<i32>>::Output

impl<'_> BitAnd<&'_ u128> for u128[src][]

type Output = <u128 as BitAnd<u128>>::Output

Implementors

impl BitAnd<Wrapping<i8>> for Wrapping<i8>[src][+]

impl BitAnd<Wrapping<i16>> for Wrapping<i16>[src][+]

impl BitAnd<Wrapping<i32>> for Wrapping<i32>[src][+]

impl BitAnd<Wrapping<i64>> for Wrapping<i64>[src][+]

impl BitAnd<Wrapping<i128>> for Wrapping<i128>[src][+]

impl BitAnd<Wrapping<isize>> for Wrapping<isize>[src][+]

impl BitAnd<Wrapping<u8>> for Wrapping<u8>[src][+]

impl BitAnd<Wrapping<u16>> for Wrapping<u16>[src][+]

impl BitAnd<Wrapping<u32>> for Wrapping<u32>[src][+]

impl BitAnd<Wrapping<u64>> for Wrapping<u64>[src][+]

impl BitAnd<Wrapping<u128>> for Wrapping<u128>[src][+]

impl BitAnd<Wrapping<usize>> for Wrapping<usize>[src][+]

impl<'_> BitAnd<&'_ Wrapping<i8>> for Wrapping<i8>1.14.0[src][+]

impl<'_> BitAnd<&'_ Wrapping<i16>> for Wrapping<i16>1.14.0[src][+]

impl<'_> BitAnd<&'_ Wrapping<i32>> for Wrapping<i32>1.14.0[src][+]

impl<'_> BitAnd<&'_ Wrapping<i64>> for Wrapping<i64>1.14.0[src][+]

impl<'_> BitAnd<&'_ Wrapping<i128>> for Wrapping<i128>1.14.0[src][+]

impl<'_> BitAnd<&'_ Wrapping<isize>> for Wrapping<isize>1.14.0[src][+]

impl<'_> BitAnd<&'_ Wrapping<u8>> for Wrapping<u8>1.14.0[src][+]

impl<'_> BitAnd<&'_ Wrapping<u16>> for Wrapping<u16>1.14.0[src][+]

impl<'_> BitAnd<&'_ Wrapping<u32>> for Wrapping<u32>1.14.0[src][+]

impl<'_> BitAnd<&'_ Wrapping<u64>> for Wrapping<u64>1.14.0[src][+]

impl<'_> BitAnd<&'_ Wrapping<u128>> for Wrapping<u128>1.14.0[src][+]

impl<'_> BitAnd<&'_ Wrapping<usize>> for Wrapping<usize>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<i8>> for &'_ Wrapping<i8>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<i16>> for &'_ Wrapping<i16>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<i32>> for &'_ Wrapping<i32>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<i64>> for &'_ Wrapping<i64>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<i128>> for &'_ Wrapping<i128>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<isize>> for &'_ Wrapping<isize>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<u8>> for &'_ Wrapping<u8>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<u16>> for &'_ Wrapping<u16>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<u32>> for &'_ Wrapping<u32>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<u64>> for &'_ Wrapping<u64>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<u128>> for &'_ Wrapping<u128>1.14.0[src][+]

impl<'_, '_> BitAnd<&'_ Wrapping<usize>> for &'_ Wrapping<usize>1.14.0[src][+]

impl<'_, '_, T> BitAnd<&'_ BTreeSet<T>> for &'_ BTreeSet<T> where
    T: Ord + Clone
[src][+]

type Output = BTreeSet<T>

pub fn bitand(self, rhs: &BTreeSet<T>) -> BTreeSet<T>[src][]

Returns the intersection of self and rhs as a new BTreeSet<T>.

Examples

use std::collections::BTreeSet;

let a: BTreeSet<_> = vec![1, 2, 3].into_iter().collect();
let b: BTreeSet<_> = vec![2, 3, 4].into_iter().collect();

let result = &a & &b;
let result_vec: Vec<_> = result.into_iter().collect();
assert_eq!(result_vec, [2, 3]);

impl<'a> BitAnd<Wrapping<i8>> for &'a Wrapping<i8>1.14.0[src][+]

impl<'a> BitAnd<Wrapping<i16>> for &'a Wrapping<i16>1.14.0[src][+]

impl<'a> BitAnd<Wrapping<i32>> for &'a Wrapping<i32>1.14.0[src][+]

impl<'a> BitAnd<Wrapping<i64>> for &'a Wrapping<i64>1.14.0[src][+]

impl<'a> BitAnd<Wrapping<i128>> for &'a Wrapping<i128>1.14.0[src][+]

impl<'a> BitAnd<Wrapping<isize>> for &'a Wrapping<isize>1.14.0[src][+]

impl<'a> BitAnd<Wrapping<u8>> for &'a Wrapping<u8>1.14.0[src][+]

impl<'a> BitAnd<Wrapping<u16>> for &'a Wrapping<u16>1.14.0[src][+]

impl<'a> BitAnd<Wrapping<u32>> for &'a Wrapping<u32>1.14.0[src][+]

impl<'a> BitAnd<Wrapping<u64>> for &'a Wrapping<u64>1.14.0[src][+]

impl<'a> BitAnd<Wrapping<u128>> for &'a Wrapping<u128>1.14.0[src][+]

impl<'a> BitAnd<Wrapping<usize>> for &'a Wrapping<usize>1.14.0[src][+]

impl<O, V, Rhs> BitAnd<Rhs> for BitArray<O, V> where
    O: BitOrder,
    V: BitView,
    BitSlice<O, V::Store>: BitAndAssign<Rhs>, 

impl<R> BitAnd<R> for BitMask<R> where
    R: BitRegister

impl<O, T, Rhs> BitAnd<Rhs> for BitBox<O, T> where
    O: BitOrder,
    T: BitStore,
    BitSlice<O, T>: BitAndAssign<Rhs>, 

impl<O, T, Rhs> BitAnd<Rhs> for BitVec<O, T> where
    O: BitOrder,
    T: BitStore,
    BitSlice<O, T>: BitAndAssign<Rhs>, 

impl BitAnd<WithdrawReasons> for WithdrawReasons

impl<T, S> BitAnd<&'_ HashSet<T, S>> for &HashSet<T, S> where
    T: Eq + Hash + Clone,
    S: BuildHasher + Default

impl<T, S1, S2> BitAnd<&'_ IndexSet<T, S2>> for &IndexSet<T, S1> where
    T: Eq + Hash + Clone,
    S1: BuildHasher + Default,
    S2: BuildHasher

impl<'a, 'b, T, S> BitAnd<&'b LinkedHashSet<T, S>> for &'a LinkedHashSet<T, S> where
    T: Eq + Hash + Clone,
    S: BuildHasher + Default

impl BitAnd<PollOpt> for PollOpt

impl<T: Into<Ready>> BitAnd<T> for Ready

impl BitAnd<UnixReady> for UnixReady

impl BitAnd<BigInt> for BigInt

impl<'a> BitAnd<BigInt> for &'a BigInt

impl<'a, 'b> BitAnd<&'b BigInt> for &'a BigInt

impl<'a> BitAnd<&'a BigInt> for BigInt

impl BitAnd<BigUint> for BigUint

impl<'a> BitAnd<BigUint> for &'a BigUint

impl<'a, 'b> BitAnd<&'b BigUint> for &'a BigUint

impl<'a> BitAnd<&'a BigUint> for BigUint

impl BitAnd<U128> for U128

impl BitAnd<U256> for U256

impl BitAnd<U512> for U512

impl<'l, 'r> BitAnd<&'r H128> for &'l H128

impl BitAnd<H128> for H128

impl<'l, 'r> BitAnd<&'r H160> for &'l H160

impl BitAnd<H160> for H160

impl<'l, 'r> BitAnd<&'r H256> for &'l H256

impl BitAnd<H256> for H256

impl<'l, 'r> BitAnd<&'r H512> for &'l H512

impl BitAnd<H512> for H512

impl BitAnd<Protection> for Protection

impl<Frac> BitAnd<FixedU8<Frac>> for FixedU8<Frac>

impl<'a, Frac> BitAnd<FixedU8<Frac>> for &'a FixedU8<Frac>

impl<'a, Frac> BitAnd<&'a FixedU8<Frac>> for FixedU8<Frac>

impl<'a, 'b, Frac> BitAnd<&'a FixedU8<Frac>> for &'b FixedU8<Frac>

impl<Frac> BitAnd<FixedU16<Frac>> for FixedU16<Frac>

impl<'a, Frac> BitAnd<FixedU16<Frac>> for &'a FixedU16<Frac>

impl<'a, Frac> BitAnd<&'a FixedU16<Frac>> for FixedU16<Frac>

impl<'a, 'b, Frac> BitAnd<&'a FixedU16<Frac>> for &'b FixedU16<Frac>

impl<Frac> BitAnd<FixedU32<Frac>> for FixedU32<Frac>

impl<'a, Frac> BitAnd<FixedU32<Frac>> for &'a FixedU32<Frac>

impl<'a, Frac> BitAnd<&'a FixedU32<Frac>> for FixedU32<Frac>

impl<'a, 'b, Frac> BitAnd<&'a FixedU32<Frac>> for &'b FixedU32<Frac>

impl<Frac> BitAnd<FixedU64<Frac>> for FixedU64<Frac>

impl<'a, Frac> BitAnd<FixedU64<Frac>> for &'a FixedU64<Frac>

impl<'a, Frac> BitAnd<&'a FixedU64<Frac>> for FixedU64<Frac>

impl<'a, 'b, Frac> BitAnd<&'a FixedU64<Frac>> for &'b FixedU64<Frac>

impl<Frac> BitAnd<FixedU128<Frac>> for FixedU128<Frac>

impl<'a, Frac> BitAnd<FixedU128<Frac>> for &'a FixedU128<Frac>

impl<'a, Frac> BitAnd<&'a FixedU128<Frac>> for FixedU128<Frac>

impl<'a, 'b, Frac> BitAnd<&'a FixedU128<Frac>> for &'b FixedU128<Frac>

impl<Frac> BitAnd<FixedI8<Frac>> for FixedI8<Frac>

impl<'a, Frac> BitAnd<FixedI8<Frac>> for &'a FixedI8<Frac>

impl<'a, Frac> BitAnd<&'a FixedI8<Frac>> for FixedI8<Frac>

impl<'a, 'b, Frac> BitAnd<&'a FixedI8<Frac>> for &'b FixedI8<Frac>

impl<Frac> BitAnd<FixedI16<Frac>> for FixedI16<Frac>

impl<'a, Frac> BitAnd<FixedI16<Frac>> for &'a FixedI16<Frac>

impl<'a, Frac> BitAnd<&'a FixedI16<Frac>> for FixedI16<Frac>

impl<'a, 'b, Frac> BitAnd<&'a FixedI16<Frac>> for &'b FixedI16<Frac>

impl<Frac> BitAnd<FixedI32<Frac>> for FixedI32<Frac>

impl<'a, Frac> BitAnd<FixedI32<Frac>> for &'a FixedI32<Frac>

impl<'a, Frac> BitAnd<&'a FixedI32<Frac>> for FixedI32<Frac>

impl<'a, 'b, Frac> BitAnd<&'a FixedI32<Frac>> for &'b FixedI32<Frac>

impl<Frac> BitAnd<FixedI64<Frac>> for FixedI64<Frac>

impl<'a, Frac> BitAnd<FixedI64<Frac>> for &'a FixedI64<Frac>

impl<'a, Frac> BitAnd<&'a FixedI64<Frac>> for FixedI64<Frac>

impl<'a, 'b, Frac> BitAnd<&'a FixedI64<Frac>> for &'b FixedI64<Frac>

impl<Frac> BitAnd<FixedI128<Frac>> for FixedI128<Frac>

impl<'a, Frac> BitAnd<FixedI128<Frac>> for &'a FixedI128<Frac>

impl<'a, Frac> BitAnd<&'a FixedI128<Frac>> for FixedI128<Frac>

impl<'a, 'b, Frac> BitAnd<&'a FixedI128<Frac>> for &'b FixedI128<Frac>

impl<F> BitAnd<Wrapping<F>> for Wrapping<F> where
    F: BitAnd<F, Output = F>, 

impl<'a, F> BitAnd<Wrapping<F>> for &'a Wrapping<F> where
    &'a F: BitAnd<F, Output = F>, 

impl<'a, F> BitAnd<&'a Wrapping<F>> for Wrapping<F> where
    F: BitAnd<&'a F, Output = F>, 

impl<'a, 'b, F> BitAnd<&'a Wrapping<F>> for &'b Wrapping<F> where
    &'b F: BitAnd<&'a F, Output = F>, 

impl BitAnd<Choice> for Choice

impl<Rhs: Bit> BitAnd<Rhs> for B0

impl BitAnd<B0> for B1

impl BitAnd<B1> for B1

impl<Ur: Unsigned> BitAnd<Ur> for UTerm

impl<Ul: Unsigned, Bl: Bit, Ur: Unsigned> BitAnd<Ur> for UInt<Ul, Bl> where
    UInt<Ul, Bl>: PrivateAnd<Ur>,
    PrivateAndOut<UInt<Ul, Bl>, Ur>: Trim,