Trait PrivateAnd 

pub trait PrivateAnd<Rhs = Self> {
    type Output;

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

Does the real anding for UInts; And just calls this and then Trim.

Required Associated Types

type Output

Required Methods

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

Implementors

impl<B: Bit, U: Unsigned> PrivateAnd<UTerm> for UInt<U, B>

X & UTerm = UTerm

type Output = UTerm

impl<U: Unsigned> PrivateAnd<U> for UTerm

UTerm & X = UTerm

type Output = UTerm

impl<Ul, Ur: Unsigned> PrivateAnd<UInt<Ur, B0>> for UInt<Ul, B0>

where Ul: PrivateAnd<Ur> + Unsigned,

UInt<Ul, B0> & UInt<Ur, B0> = UInt<Ul & Ur, B0>

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

impl<Ul, Ur: Unsigned> PrivateAnd<UInt<Ur, B0>> for UInt<Ul, B1>

where Ul: PrivateAnd<Ur> + Unsigned,

UInt<Ul, B1> & UInt<Ur, B0> = UInt<Ul & Ur, B0>

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

impl<Ul, Ur: Unsigned> PrivateAnd<UInt<Ur, B1>> for UInt<Ul, B0>

where Ul: PrivateAnd<Ur> + Unsigned,

UInt<Ul, B0> & UInt<Ur, B1> = UInt<Ul & Ur, B0>

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

impl<Ul, Ur: Unsigned> PrivateAnd<UInt<Ur, B1>> for UInt<Ul, B1>

where Ul: PrivateAnd<Ur> + Unsigned,

UInt<Ul, B1> & UInt<Ur, B1> = UInt<Ul & Ur, B1>

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