cairo_vm::with_std::ops

Trait BitAnd

1.0.0 · Source
pub trait BitAnd<Rhs = Self> {
    type Output;

    // Required method
    fn bitand(self, rhs: Rhs) -> Self::Output;
}
Expand description

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);

Required Associated Types§

1.0.0 · Source

type Output

The resulting type after applying the & operator.

Required Methods§

1.0.0 · Source

fn bitand(self, rhs: Rhs) -> Self::Output

Performs the & operation.

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

Implementors§

Source§

impl BitAnd for Primality

1.0.0 · Source§

impl BitAnd for bool

1.0.0 · Source§

impl BitAnd for i8

1.0.0 · Source§

impl BitAnd for i16

1.0.0 · Source§

impl BitAnd for i32

1.0.0 · Source§

impl BitAnd for i64

1.0.0 · Source§

impl BitAnd for i128

1.0.0 · Source§

impl BitAnd for isize

1.0.0 · Source§

impl BitAnd for u8

1.0.0 · Source§

impl BitAnd for u16

1.0.0 · Source§

impl BitAnd for u32

1.0.0 · Source§

impl BitAnd for u64

1.0.0 · Source§

impl BitAnd for u128

1.0.0 · Source§

impl BitAnd for usize

1.74.0 · Source§

impl BitAnd for Saturating<i8>

1.74.0 · Source§

impl BitAnd for Saturating<i16>

1.74.0 · Source§

impl BitAnd for Saturating<i32>

1.74.0 · Source§

impl BitAnd for Saturating<i64>

1.74.0 · Source§

impl BitAnd for Saturating<i128>

1.74.0 · Source§

impl BitAnd for Saturating<isize>

1.74.0 · Source§

impl BitAnd for Saturating<u8>

1.74.0 · Source§

impl BitAnd for Saturating<u16>

1.74.0 · Source§

impl BitAnd for Saturating<u32>

1.74.0 · Source§

impl BitAnd for Saturating<u64>

1.74.0 · Source§

impl BitAnd for Saturating<u128>

1.74.0 · Source§

impl BitAnd for Saturating<usize>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<i8>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<i16>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<i32>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<i64>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<i128>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<isize>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<u8>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<u16>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<u32>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<u64>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<u128>

1.0.0 · Source§

impl BitAnd for cairo_vm::with_std::num::Wrapping<usize>

1.75.0 · Source§

impl BitAnd for Ipv4Addr

1.75.0 · Source§

impl BitAnd for Ipv6Addr

Source§

impl BitAnd for Limb

Source§

impl BitAnd for BigInt

Source§

impl BitAnd for BigUint

Source§

impl BitAnd for udouble

Source§

impl BitAnd for FieldElement

Source§

impl BitAnd for Choice

Source§

impl BitAnd for B1

And with 1 ( 1 & 1 = 1)

1.0.0 · Source§

impl BitAnd<&bool> for &bool

1.0.0 · Source§

impl BitAnd<&bool> for bool

1.0.0 · Source§

impl BitAnd<&i8> for &i8

1.0.0 · Source§

impl BitAnd<&i8> for i8

1.0.0 · Source§

impl BitAnd<&i16> for &i16

1.0.0 · Source§

impl BitAnd<&i16> for i16

1.0.0 · Source§

impl BitAnd<&i32> for &i32

1.0.0 · Source§

impl BitAnd<&i32> for i32

1.0.0 · Source§

impl BitAnd<&i64> for &i64

1.0.0 · Source§

impl BitAnd<&i64> for i64

1.0.0 · Source§

impl BitAnd<&i128> for &i128

1.0.0 · Source§

impl BitAnd<&i128> for i128

1.0.0 · Source§

impl BitAnd<&isize> for &isize

1.0.0 · Source§

impl BitAnd<&isize> for isize

1.0.0 · Source§

impl BitAnd<&u8> for &u8

1.0.0 · Source§

impl BitAnd<&u8> for u8

1.0.0 · Source§

impl BitAnd<&u16> for &u16

1.0.0 · Source§

impl BitAnd<&u16> for u16

1.0.0 · Source§

impl BitAnd<&u32> for &u32

1.0.0 · Source§

impl BitAnd<&u32> for u32

1.0.0 · Source§

impl BitAnd<&u64> for &u64

1.0.0 · Source§

impl BitAnd<&u64> for u64

1.0.0 · Source§

impl BitAnd<&u128> for &u128

1.0.0 · Source§

impl BitAnd<&u128> for u128

1.0.0 · Source§

impl BitAnd<&usize> for &usize

1.0.0 · Source§

impl BitAnd<&usize> for usize

1.74.0 · Source§

impl BitAnd<&Saturating<i8>> for &Saturating<i8>

1.74.0 · Source§

impl BitAnd<&Saturating<i8>> for Saturating<i8>

1.74.0 · Source§

impl BitAnd<&Saturating<i16>> for &Saturating<i16>

1.74.0 · Source§

impl BitAnd<&Saturating<i16>> for Saturating<i16>

1.74.0 · Source§

impl BitAnd<&Saturating<i32>> for &Saturating<i32>

1.74.0 · Source§

impl BitAnd<&Saturating<i32>> for Saturating<i32>

1.74.0 · Source§

impl BitAnd<&Saturating<i64>> for &Saturating<i64>

1.74.0 · Source§

impl BitAnd<&Saturating<i64>> for Saturating<i64>

1.74.0 · Source§

impl BitAnd<&Saturating<i128>> for &Saturating<i128>

1.74.0 · Source§

impl BitAnd<&Saturating<i128>> for Saturating<i128>

1.74.0 · Source§

impl BitAnd<&Saturating<isize>> for &Saturating<isize>

1.74.0 · Source§

impl BitAnd<&Saturating<isize>> for Saturating<isize>

1.74.0 · Source§

impl BitAnd<&Saturating<u8>> for &Saturating<u8>

1.74.0 · Source§

impl BitAnd<&Saturating<u8>> for Saturating<u8>

1.74.0 · Source§

impl BitAnd<&Saturating<u16>> for &Saturating<u16>

1.74.0 · Source§

impl BitAnd<&Saturating<u16>> for Saturating<u16>

1.74.0 · Source§

impl BitAnd<&Saturating<u32>> for &Saturating<u32>

1.74.0 · Source§

impl BitAnd<&Saturating<u32>> for Saturating<u32>

1.74.0 · Source§

impl BitAnd<&Saturating<u64>> for &Saturating<u64>

1.74.0 · Source§

impl BitAnd<&Saturating<u64>> for Saturating<u64>

1.74.0 · Source§

impl BitAnd<&Saturating<u128>> for &Saturating<u128>

1.74.0 · Source§

impl BitAnd<&Saturating<u128>> for Saturating<u128>

1.74.0 · Source§

impl BitAnd<&Saturating<usize>> for &Saturating<usize>

1.74.0 · Source§

impl BitAnd<&Saturating<usize>> for Saturating<usize>

1.14.0 · Source§

impl BitAnd<&Wrapping<i8>> for &cairo_vm::with_std::num::Wrapping<i8>

1.14.0 · Source§

impl BitAnd<&Wrapping<i8>> for cairo_vm::with_std::num::Wrapping<i8>

1.14.0 · Source§

impl BitAnd<&Wrapping<i16>> for &cairo_vm::with_std::num::Wrapping<i16>

1.14.0 · Source§

impl BitAnd<&Wrapping<i16>> for cairo_vm::with_std::num::Wrapping<i16>

1.14.0 · Source§

impl BitAnd<&Wrapping<i32>> for &cairo_vm::with_std::num::Wrapping<i32>

1.14.0 · Source§

impl BitAnd<&Wrapping<i32>> for cairo_vm::with_std::num::Wrapping<i32>

1.14.0 · Source§

impl BitAnd<&Wrapping<i64>> for &cairo_vm::with_std::num::Wrapping<i64>

1.14.0 · Source§

impl BitAnd<&Wrapping<i64>> for cairo_vm::with_std::num::Wrapping<i64>

1.14.0 · Source§

impl BitAnd<&Wrapping<i128>> for &cairo_vm::with_std::num::Wrapping<i128>

1.14.0 · Source§

impl BitAnd<&Wrapping<i128>> for cairo_vm::with_std::num::Wrapping<i128>

1.14.0 · Source§

impl BitAnd<&Wrapping<isize>> for &cairo_vm::with_std::num::Wrapping<isize>

1.14.0 · Source§

impl BitAnd<&Wrapping<isize>> for cairo_vm::with_std::num::Wrapping<isize>

1.14.0 · Source§

impl BitAnd<&Wrapping<u8>> for &cairo_vm::with_std::num::Wrapping<u8>

1.14.0 · Source§

impl BitAnd<&Wrapping<u8>> for cairo_vm::with_std::num::Wrapping<u8>

1.14.0 · Source§

impl BitAnd<&Wrapping<u16>> for &cairo_vm::with_std::num::Wrapping<u16>

1.14.0 · Source§

impl BitAnd<&Wrapping<u16>> for cairo_vm::with_std::num::Wrapping<u16>

1.14.0 · Source§

impl BitAnd<&Wrapping<u32>> for &cairo_vm::with_std::num::Wrapping<u32>

1.14.0 · Source§

impl BitAnd<&Wrapping<u32>> for cairo_vm::with_std::num::Wrapping<u32>

1.14.0 · Source§

impl BitAnd<&Wrapping<u64>> for &cairo_vm::with_std::num::Wrapping<u64>

1.14.0 · Source§

impl BitAnd<&Wrapping<u64>> for cairo_vm::with_std::num::Wrapping<u64>

1.14.0 · Source§

impl BitAnd<&Wrapping<u128>> for &cairo_vm::with_std::num::Wrapping<u128>

1.14.0 · Source§

impl BitAnd<&Wrapping<u128>> for cairo_vm::with_std::num::Wrapping<u128>

1.14.0 · Source§

impl BitAnd<&Wrapping<usize>> for &cairo_vm::with_std::num::Wrapping<usize>

1.14.0 · Source§

impl BitAnd<&Wrapping<usize>> for cairo_vm::with_std::num::Wrapping<usize>

1.75.0 · Source§

impl BitAnd<&Ipv4Addr> for &Ipv4Addr

1.75.0 · Source§

impl BitAnd<&Ipv4Addr> for Ipv4Addr

1.75.0 · Source§

impl BitAnd<&Ipv6Addr> for &Ipv6Addr

1.75.0 · Source§

impl BitAnd<&Ipv6Addr> for Ipv6Addr

Source§

impl BitAnd<&BigInt> for &BigInt

Source§

impl BitAnd<&BigInt> for BigInt

Source§

impl BitAnd<&BigUint> for &BigUint

Source§

impl BitAnd<&BigUint> for BigUint

1.75.0 · Source§

impl BitAnd<Ipv4Addr> for &Ipv4Addr

1.75.0 · Source§

impl BitAnd<Ipv6Addr> for &Ipv6Addr

Source§

impl BitAnd<BigInt> for &BigInt

Source§

impl BitAnd<BigUint> for &BigUint

Source§

impl BitAnd<B0> for B1

And with 1 ( 1 & 0 = 0)

1.0.0 · Source§

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

1.0.0 · Source§

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

1.0.0 · Source§

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

1.0.0 · Source§

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

1.0.0 · Source§

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

1.0.0 · Source§

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

1.0.0 · Source§

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

1.0.0 · Source§

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

1.0.0 · Source§

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

1.0.0 · Source§

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

1.0.0 · Source§

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

1.0.0 · Source§

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

1.0.0 · Source§

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

1.74.0 · Source§

impl<'a> BitAnd<Saturating<i8>> for &'a Saturating<i8>

1.74.0 · Source§

impl<'a> BitAnd<Saturating<i16>> for &'a Saturating<i16>

1.74.0 · Source§

impl<'a> BitAnd<Saturating<i32>> for &'a Saturating<i32>

1.74.0 · Source§

impl<'a> BitAnd<Saturating<i64>> for &'a Saturating<i64>

1.74.0 · Source§

impl<'a> BitAnd<Saturating<i128>> for &'a Saturating<i128>

1.74.0 · Source§

impl<'a> BitAnd<Saturating<isize>> for &'a Saturating<isize>

1.74.0 · Source§

impl<'a> BitAnd<Saturating<u8>> for &'a Saturating<u8>

1.74.0 · Source§

impl<'a> BitAnd<Saturating<u16>> for &'a Saturating<u16>

1.74.0 · Source§

impl<'a> BitAnd<Saturating<u32>> for &'a Saturating<u32>

1.74.0 · Source§

impl<'a> BitAnd<Saturating<u64>> for &'a Saturating<u64>

1.74.0 · Source§

impl<'a> BitAnd<Saturating<u128>> for &'a Saturating<u128>

1.74.0 · Source§

impl<'a> BitAnd<Saturating<usize>> for &'a Saturating<usize>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<i8>> for &'a cairo_vm::with_std::num::Wrapping<i8>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<i16>> for &'a cairo_vm::with_std::num::Wrapping<i16>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<i32>> for &'a cairo_vm::with_std::num::Wrapping<i32>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<i64>> for &'a cairo_vm::with_std::num::Wrapping<i64>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<i128>> for &'a cairo_vm::with_std::num::Wrapping<i128>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<isize>> for &'a cairo_vm::with_std::num::Wrapping<isize>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<u8>> for &'a cairo_vm::with_std::num::Wrapping<u8>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<u16>> for &'a cairo_vm::with_std::num::Wrapping<u16>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<u32>> for &'a cairo_vm::with_std::num::Wrapping<u32>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<u64>> for &'a cairo_vm::with_std::num::Wrapping<u64>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<u128>> for &'a cairo_vm::with_std::num::Wrapping<u128>

1.14.0 · Source§

impl<'a> BitAnd<Wrapping<usize>> for &'a cairo_vm::with_std::num::Wrapping<usize>

Source§

impl<'lhs, 'rhs, T, const N: usize> BitAnd<&'rhs Simd<T, N>> for &'lhs Simd<T, N>
where T: SimdElement, Simd<T, N>: BitAnd<Output = Simd<T, N>>, LaneCount<N>: SupportedLaneCount,

Source§

type Output = Simd<T, N>

Source§

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

Source§

impl<O> BitAnd for I16<O>
where O: ByteOrder,

Source§

impl<O> BitAnd for I32<O>
where O: ByteOrder,

Source§

impl<O> BitAnd for I64<O>
where O: ByteOrder,

Source§

impl<O> BitAnd for I128<O>
where O: ByteOrder,

Source§

impl<O> BitAnd for U16<O>
where O: ByteOrder,

Source§

impl<O> BitAnd for U32<O>
where O: ByteOrder,

Source§

impl<O> BitAnd for U64<O>
where O: ByteOrder,

Source§

impl<O> BitAnd for U128<O>
where O: ByteOrder,

Source§

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

Source§

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

And with 0 ( 0 & B = 0)

1.0.0 · Source§

impl<T, A> BitAnd<&BTreeSet<T, A>> for &BTreeSet<T, A>
where T: Ord + Clone, A: Allocator + Clone,

Source§

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

Source§

type Output = BitBox<T, O>

Source§

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

Source§

type Output = BitVec<T, O>

1.0.0 · Source§

impl<T, S> BitAnd<&HashSet<T, S>> for &cairo_vm::with_std::collections::HashSet<T, S>
where T: Eq + Hash + Clone, S: BuildHasher + Default,

Source§

type Output = HashSet<T, S>

Source§

impl<T, S, A> BitAnd<&HashSet<T, S, A>> for &hashbrown::set::HashSet<T, S, A>
where T: Eq + Hash + Clone, S: BuildHasher + Default, A: Allocator + Default,

Source§

type Output = HashSet<T, S, A>

Source§

impl<T, const N: usize> BitAnd for Mask<T, N>

Source§

type Output = Mask<T, N>

Source§

impl<T, const N: usize> BitAnd<&Simd<T, N>> for Simd<T, N>
where T: SimdElement, Simd<T, N>: BitAnd<Output = Simd<T, N>>, LaneCount<N>: SupportedLaneCount,

Source§

type Output = Simd<T, N>

Source§

impl<T, const N: usize> BitAnd<bool> for Mask<T, N>

Source§

type Output = Mask<T, N>

Source§

impl<T, const N: usize> BitAnd<Mask<T, N>> for bool

Source§

type Output = Mask<T, N>

Source§

impl<T, const N: usize> BitAnd<Simd<T, N>> for &Simd<T, N>
where T: SimdElement, Simd<T, N>: BitAnd<Output = Simd<T, N>>, LaneCount<N>: SupportedLaneCount,

Source§

type Output = Simd<T, N>

Source§

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

Anding unsigned integers. We use our PrivateAnd operator and then Trim the output.

Source§

type Output = <<UInt<Ul, Bl> as PrivateAnd<Ur>>::Output as Trim>::Output

Source§

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

0 & X = 0

Source§

impl<const LIMBS: usize> BitAnd for Uint<LIMBS>

Source§

type Output = Uint<LIMBS>

Source§

impl<const LIMBS: usize> BitAnd for crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>

Source§

impl<const LIMBS: usize> BitAnd<&Uint<LIMBS>> for &Uint<LIMBS>

Source§

type Output = Uint<LIMBS>

Source§

impl<const LIMBS: usize> BitAnd<&Uint<LIMBS>> for Uint<LIMBS>

Source§

type Output = Uint<LIMBS>

Source§

impl<const LIMBS: usize> BitAnd<&Wrapping<Uint<LIMBS>>> for &crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>

Source§

impl<const LIMBS: usize> BitAnd<&Wrapping<Uint<LIMBS>>> for crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>

Source§

impl<const LIMBS: usize> BitAnd<Uint<LIMBS>> for &Uint<LIMBS>

Source§

type Output = Uint<LIMBS>

Source§

impl<const LIMBS: usize> BitAnd<Wrapping<Uint<LIMBS>>> for &crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>

Source§

impl<const N: usize> BitAnd for Simd<i8, N>

Source§

impl<const N: usize> BitAnd for Simd<i16, N>

Source§

impl<const N: usize> BitAnd for Simd<i32, N>

Source§

impl<const N: usize> BitAnd for Simd<i64, N>

Source§

impl<const N: usize> BitAnd for Simd<isize, N>

Source§

impl<const N: usize> BitAnd for Simd<u8, N>

Source§

impl<const N: usize> BitAnd for Simd<u16, N>

Source§

impl<const N: usize> BitAnd for Simd<u32, N>

Source§

impl<const N: usize> BitAnd for Simd<u64, N>

Source§

impl<const N: usize> BitAnd for Simd<usize, N>

Source§

impl<const NUM_LIMBS: usize> BitAnd for UnsignedInteger<NUM_LIMBS>

Impl BitAnd