Trait snarkvm_circuit::Pow

source ·

pub trait Pow<RHS> {
    type Output;

    fn pow(self, rhs: RHS) -> Self::Output;
}

Expand description

Binary operator for raising a value to a power.

Required Associated Types§

source

type Output

The result after applying the operator.

Required Methods§

source

fn pow(self, rhs: RHS) -> Self::Output

Returns self to the power rhs.

Examples

use num_traits::Pow;
assert_eq!(Pow::pow(10u32, 2u32), 100);

Trait Implementations§

§

impl<E> Metrics<dyn Pow<Field<E>, Output = Field<E>> + 'static> for Field<E>where
E: Environment,

§

type Case = (CircuitType<Field<E>>, CircuitType<Field<E>>)

§

fn count(
case: &<Field<E> as Metrics<dyn Pow<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

§

impl<E> OutputMode<dyn Pow<Field<E>, Output = Field<E>> + 'static> for Field<E>where
E: Environment,

§

type Case = (CircuitType<Field<E>>, CircuitType<Field<E>>)

§

fn output_mode(
case: &<Field<E> as OutputMode<dyn Pow<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode

Returns the mode of the output.

Implementations on Foreign Types§

source §

fn pow(self, other: Field<E>) -> <Field<E> as Pow<Field<E>>>::Output

Returns the power of self to the power of other.

§

type Output = Field<E>

§

impl<E> Pow<&Field<E>> for Field<E>where
E: Environment,

§

fn pow(self, other: &Field<E>) -> <Field<E> as Pow<&Field<E>>>::Output

Returns the power of self to the power of other.

§

type Output = Field<E>

§

impl<E> Pow<&Scalar<E>> for Scalar<E>where
E: Environment,

§

fn pow(self, other: &Scalar<E>) -> <Scalar<E> as Pow<&Scalar<E>>>::Output

Returns the power of self to the power of other.

§

type Output = Scalar<E>

§

impl<E> Pow<Scalar<E>> for Scalar<E>where
E: Environment,

§

fn pow(self, other: Scalar<E>) -> <Scalar<E> as Pow<Scalar<E>>>::Output

Returns the power of self to the power of other.

§

type Output = Scalar<E>

§

impl<E, I, M> Pow<Integer<E, M>> for Integer<E, I>where
    E: Environment,
    I: IntegerType,
    M: Magnitude,

§

fn pow(
self,
other: Integer<E, M>
) -> <Integer<E, I> as Pow<Integer<E, M>>>::Output

Returns the power of self to the power of other.

§

type Output = Integer<E, I>

§

impl<E, I, M> Pow<&Integer<E, M>> for Integer<E, I>where
    E: Environment,
    I: IntegerType,
    M: Magnitude,

§

fn pow(
self,
other: &Integer<E, M>
) -> <Integer<E, I> as Pow<&Integer<E, M>>>::Output

Returns the power of self to the power of other.

§

type Output = Integer<E, I>

Implementors§

§

impl<E> Pow<&Field<E>> for &snarkvm_circuit::Field<E>where
E: Environment,

§

type Output = Field<E>

§

impl<E> Pow<&Field<E>> for snarkvm_circuit::Field<E>where
E: Environment,

§

type Output = Field<E>

§

impl<E> Pow<Field<E>> for &snarkvm_circuit::Field<E>where
E: Environment,

§

type Output = Field<E>

§

impl<E> Pow<Field<E>> for snarkvm_circuit::Field<E>where
E: Environment,

§

type Output = Field<E>

§

impl<E, I, M> Pow<&Integer<E, M>> for snarkvm_circuit::integers::Integer<E, I>where
    E: Environment,
    I: IntegerType,
    M: Magnitude,

§

type Output = Integer<E, I>

§

impl<E, I, M> Pow<Integer<E, M>> for snarkvm_circuit::integers::Integer<E, I>where
    E: Environment,
    I: IntegerType,
    M: Magnitude,

§

Trait snarkvm_circuit::Pow

Required Associated Types§

type Output

Required Methods§

fn pow(self, rhs: RHS) -> Self::Output

Trait Implementations§

impl<E> Metrics<dyn Pow<Field<E>, Output = Field<E>> + 'static> for Field<E>where E: Environment,

type Case = (CircuitType<Field<E>>, CircuitType<Field<E>>)

fn count( case: &<Field<E> as Metrics<dyn Pow<Field<E>, Output = Field<E>> + 'static>>::Case) -> Count

impl<E> OutputMode<dyn Pow<Field<E>, Output = Field<E>> + 'static> for Field<E>where E: Environment,

type Case = (CircuitType<Field<E>>, CircuitType<Field<E>>)

fn output_mode( case: &<Field<E> as OutputMode<dyn Pow<Field<E>, Output = Field<E>> + 'static>>::Case) -> Mode

Implementations on Foreign Types§

impl<'b> Pow<&'b u16> for BigUint

type Output = BigUint

fn pow(self, exp: &u16) -> BigUint

impl<'b> Pow<&'b u16> for BigInt

type Output = BigInt

fn pow(self, rhs: &u16) -> BigInt

impl<'a, 'b> Pow<&'b usize> for &'a BigInt

type Output = BigInt

fn pow(self, rhs: &usize) -> BigInt

impl<'a> Pow<u32> for &'a BigInt

type Output = BigInt

fn pow(self, rhs: u32) -> BigInt

impl<'a> Pow<u128> for &'a BigUint

type Output = BigUint

fn pow(self, exp: u128) -> BigUint

impl<'b> Pow<&'b u64> for BigUint

type Output = BigUint

fn pow(self, exp: &u64) -> BigUint

impl<'a> Pow<usize> for &'a BigInt

type Output = BigInt

fn pow(self, rhs: usize) -> BigInt

impl Pow<u64> for BigUint

type Output = BigUint

fn pow(self, exp: u64) -> BigUint

impl<'a> Pow<u32> for &'a BigUint

type Output = BigUint

fn pow(self, exp: u32) -> BigUint

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

type Output = BigUint

fn pow(self, exp: BigUint) -> BigUint

impl<'a> Pow<u16> for &'a BigInt

type Output = BigInt

fn pow(self, rhs: u16) -> BigInt

impl<'a> Pow<u8> for &'a BigInt

type Output = BigInt

fn pow(self, rhs: u8) -> BigInt

impl<'b> Pow<&'b BigUint> for BigInt

type Output = BigInt

fn pow(self, rhs: &BigUint) -> BigInt

impl<'a> Pow<u64> for &'a BigUint

type Output = BigUint

fn pow(self, exp: u64) -> BigUint

impl<'b> Pow<&'b BigUint> for BigUint

type Output = BigUint

fn pow(self, exp: &BigUint) -> BigUint

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

type Output = BigUint

fn pow(self, exp: &BigUint) -> BigUint

impl<'a, 'b> Pow<&'b u128> for &'a BigUint

type Output = BigUint

fn pow(self, exp: &u128) -> BigUint

impl<'a> Pow<u128> for &'a BigInt

type Output = BigInt

fn pow(self, rhs: u128) -> BigInt

impl<'a, 'b> Pow<&'b u16> for &'a BigInt

type Output = BigInt

fn pow(self, rhs: &u16) -> BigInt

impl<'a, 'b> Pow<&'b u8> for &'a BigInt

type Output = BigInt

fn pow(self, rhs: &u8) -> BigInt

impl<'a, 'b> Pow<&'b u8> for &'a BigUint

type Output = BigUint

fn pow(self, exp: &u8) -> BigUint

impl Pow<usize> for BigUint

type Output = BigUint

fn pow(self, exp: usize) -> BigUint

impl<'b> Pow<&'b u128> for BigUint

impl<E> Metrics<dyn Pow<Field<E>, Output = Field<E>> + 'static> for Field<E>where
E: Environment,

fn count(
case: &<Field<E> as Metrics<dyn Pow<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Count

impl<E> OutputMode<dyn Pow<Field<E>, Output = Field<E>> + 'static> for Field<E>where
E: Environment,

fn output_mode(
case: &<Field<E> as OutputMode<dyn Pow<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode