Trait PrivatePow 

pub trait PrivatePow<Y, N> {
    type Output;

    // Required method
    fn private_pow(self, _: Y, _: N) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

fn private_pow(self, _: Y, _: N) -> Self::Output

Implementors

impl<Y: Unsigned, U: Unsigned, B: Bit, X> PrivatePow<Y, UInt<UInt<U, B>, B0>> for X

where X: Mul + Unsigned, Square<X>: PrivatePow<Y, UInt<U, B>>,

N is even

type Output = <<X as Mul>::Output as PrivatePow<Y, UInt<U, B>>>::Output

impl<Y: Unsigned, U: Unsigned, B: Bit, X> PrivatePow<Y, UInt<UInt<U, B>, B1>> for X

where X: Mul + Mul<Y> + Unsigned, Square<X>: PrivatePow<Prod<X, Y>, UInt<U, B>>,

N is odd

type Output = <<X as Mul>::Output as PrivatePow<<X as Mul<Y>>::Output, UInt<U, B>>>::Output

impl<Y: Unsigned, X> PrivatePow<Y, UInt<UTerm, B1>> for X

where X: Mul<Y> + Unsigned,

type Output = <X as Mul<Y>>::Output

impl<Y: Unsigned, X: Unsigned> PrivatePow<Y, UTerm> for X

type Output = Y