1.0.0[][src]Trait core::ops::BitXor

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

The bitwise XOR operator ^.

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

Examples

An implementation of BitXor that lifts ^ to a wrapper around bool.

use std::ops::BitXor;

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

impl BitXor for Scalar {
    type Output = Self;

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

assert_eq!(Scalar(true) ^ Scalar(true), Scalar(false));
assert_eq!(Scalar(true) ^ Scalar(false), Scalar(true));
assert_eq!(Scalar(false) ^ Scalar(true), Scalar(true));
assert_eq!(Scalar(false) ^ Scalar(false), Scalar(false));Run

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

use std::ops::BitXor;

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

impl BitXor for BooleanVector {
    type Output = Self;

    fn bitxor(self, BooleanVector(rhs): Self) -> Self::Output {
        let BooleanVector(lhs) = self;
        assert_eq!(lhs.len(), rhs.len());
        BooleanVector(lhs.iter()
                         .zip(rhs.iter())
                         .map(|(x, y)| (*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![false, true, true, false]);
assert_eq!(bv1 ^ bv2, expected);Run

Associated Types

type Output

The resulting type after applying the ^ operator.

Loading content...

Required methods

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

Performs the ^ operation.

Loading content...

Implementors

impl BitXor<Wrapping<i128>> for Wrapping<i128>[src]

type Output = Wrapping<i128>

impl BitXor<Wrapping<i16>> for Wrapping<i16>[src]

type Output = Wrapping<i16>

impl BitXor<Wrapping<i32>> for Wrapping<i32>[src]

type Output = Wrapping<i32>

impl BitXor<Wrapping<i64>> for Wrapping<i64>[src]

type Output = Wrapping<i64>

impl BitXor<Wrapping<i8>> for Wrapping<i8>[src]

type Output = Wrapping<i8>

impl BitXor<Wrapping<isize>> for Wrapping<isize>[src]

type Output = Wrapping<isize>

impl BitXor<Wrapping<u128>> for Wrapping<u128>[src]

type Output = Wrapping<u128>

impl BitXor<Wrapping<u16>> for Wrapping<u16>[src]

type Output = Wrapping<u16>

impl BitXor<Wrapping<u32>> for Wrapping<u32>[src]

type Output = Wrapping<u32>

impl BitXor<Wrapping<u64>> for Wrapping<u64>[src]

type Output = Wrapping<u64>

impl BitXor<Wrapping<u8>> for Wrapping<u8>[src]

type Output = Wrapping<u8>

impl BitXor<Wrapping<usize>> for Wrapping<usize>[src]

type Output = Wrapping<usize>

impl BitXor<bool> for bool[src]

type Output = bool

impl BitXor<i128> for i128[src]

type Output = i128

impl BitXor<i16> for i16[src]

type Output = i16

impl BitXor<i32> for i32[src]

type Output = i32

impl BitXor<i64> for i64[src]

type Output = i64

impl BitXor<i8> for i8[src]

type Output = i8

impl BitXor<isize> for isize[src]

type Output = isize

impl BitXor<u128> for u128[src]

type Output = u128

impl BitXor<u16> for u16[src]

type Output = u16

impl BitXor<u32> for u32[src]

type Output = u32

impl BitXor<u64> for u64[src]

type Output = u64

impl BitXor<u8> for u8[src]

type Output = u8

impl BitXor<usize> for usize[src]

type Output = usize

impl<'_> BitXor<&'_ Wrapping<i128>> for Wrapping<i128>[src]

type Output = <Wrapping<i128> as BitXor<Wrapping<i128>>>::Output

impl<'_> BitXor<&'_ Wrapping<i16>> for Wrapping<i16>[src]

type Output = <Wrapping<i16> as BitXor<Wrapping<i16>>>::Output

impl<'_> BitXor<&'_ Wrapping<i32>> for Wrapping<i32>[src]

type Output = <Wrapping<i32> as BitXor<Wrapping<i32>>>::Output

impl<'_> BitXor<&'_ Wrapping<i64>> for Wrapping<i64>[src]

type Output = <Wrapping<i64> as BitXor<Wrapping<i64>>>::Output

impl<'_> BitXor<&'_ Wrapping<i8>> for Wrapping<i8>[src]

type Output = <Wrapping<i8> as BitXor<Wrapping<i8>>>::Output

impl<'_> BitXor<&'_ Wrapping<isize>> for Wrapping<isize>[src]

type Output = <Wrapping<isize> as BitXor<Wrapping<isize>>>::Output

impl<'_> BitXor<&'_ Wrapping<u128>> for Wrapping<u128>[src]

type Output = <Wrapping<u128> as BitXor<Wrapping<u128>>>::Output

impl<'_> BitXor<&'_ Wrapping<u16>> for Wrapping<u16>[src]

type Output = <Wrapping<u16> as BitXor<Wrapping<u16>>>::Output

impl<'_> BitXor<&'_ Wrapping<u32>> for Wrapping<u32>[src]

type Output = <Wrapping<u32> as BitXor<Wrapping<u32>>>::Output

impl<'_> BitXor<&'_ Wrapping<u64>> for Wrapping<u64>[src]

type Output = <Wrapping<u64> as BitXor<Wrapping<u64>>>::Output

impl<'_> BitXor<&'_ Wrapping<u8>> for Wrapping<u8>[src]

type Output = <Wrapping<u8> as BitXor<Wrapping<u8>>>::Output

impl<'_> BitXor<&'_ Wrapping<usize>> for Wrapping<usize>[src]

type Output = <Wrapping<usize> as BitXor<Wrapping<usize>>>::Output

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Output = <Wrapping<i128> as BitXor<Wrapping<i128>>>::Output

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

type Output = <Wrapping<i16> as BitXor<Wrapping<i16>>>::Output

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

type Output = <Wrapping<i32> as BitXor<Wrapping<i32>>>::Output

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

type Output = <Wrapping<i64> as BitXor<Wrapping<i64>>>::Output

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

type Output = <Wrapping<i8> as BitXor<Wrapping<i8>>>::Output

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

type Output = <Wrapping<isize> as BitXor<Wrapping<isize>>>::Output

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

type Output = <Wrapping<u128> as BitXor<Wrapping<u128>>>::Output

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

type Output = <Wrapping<u16> as BitXor<Wrapping<u16>>>::Output

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

type Output = <Wrapping<u32> as BitXor<Wrapping<u32>>>::Output

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

type Output = <Wrapping<u64> as BitXor<Wrapping<u64>>>::Output

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

type Output = <Wrapping<u8> as BitXor<Wrapping<u8>>>::Output

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

type Output = <Wrapping<usize> as BitXor<Wrapping<usize>>>::Output

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'a> BitXor<Wrapping<i128>> for &'a Wrapping<i128>[src]

type Output = <Wrapping<i128> as BitXor<Wrapping<i128>>>::Output

impl<'a> BitXor<Wrapping<i16>> for &'a Wrapping<i16>[src]

type Output = <Wrapping<i16> as BitXor<Wrapping<i16>>>::Output

impl<'a> BitXor<Wrapping<i32>> for &'a Wrapping<i32>[src]

type Output = <Wrapping<i32> as BitXor<Wrapping<i32>>>::Output

impl<'a> BitXor<Wrapping<i64>> for &'a Wrapping<i64>[src]

type Output = <Wrapping<i64> as BitXor<Wrapping<i64>>>::Output

impl<'a> BitXor<Wrapping<i8>> for &'a Wrapping<i8>[src]

type Output = <Wrapping<i8> as BitXor<Wrapping<i8>>>::Output

impl<'a> BitXor<Wrapping<isize>> for &'a Wrapping<isize>[src]

type Output = <Wrapping<isize> as BitXor<Wrapping<isize>>>::Output

impl<'a> BitXor<Wrapping<u128>> for &'a Wrapping<u128>[src]

type Output = <Wrapping<u128> as BitXor<Wrapping<u128>>>::Output

impl<'a> BitXor<Wrapping<u16>> for &'a Wrapping<u16>[src]

type Output = <Wrapping<u16> as BitXor<Wrapping<u16>>>::Output

impl<'a> BitXor<Wrapping<u32>> for &'a Wrapping<u32>[src]

type Output = <Wrapping<u32> as BitXor<Wrapping<u32>>>::Output

impl<'a> BitXor<Wrapping<u64>> for &'a Wrapping<u64>[src]

type Output = <Wrapping<u64> as BitXor<Wrapping<u64>>>::Output

impl<'a> BitXor<Wrapping<u8>> for &'a Wrapping<u8>[src]

type Output = <Wrapping<u8> as BitXor<Wrapping<u8>>>::Output

impl<'a> BitXor<Wrapping<usize>> for &'a Wrapping<usize>[src]

type Output = <Wrapping<usize> as BitXor<Wrapping<usize>>>::Output

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Loading content...