Trait typenum::type_operators::Pow

source · [−]
pub trait Pow<Exp> {
    type Output;

    fn powi(self, exp: Exp) -> Self::Output;
}
Expand description

A type operator that provides exponentiation by repeated squaring.

Example

use typenum::{Integer, Pow, N3, P3};

assert_eq!(<N3 as Pow<P3>>::Output::to_i32(), -27);

Required Associated Types

The result of the exponentiation.

Required Methods

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

Example
use typenum::{Pow, U3};

let a = 7u32.powi(U3::new());
let b = 7u32.pow(3);
assert_eq!(a, b);

let x = 3.0.powi(U3::new());
let y = 27.0;
assert_eq!(x, y);

Implementations on Foreign Types

Implementors

0^0 = 1

0^N = 0

1^N = 1

0^P = 0

N^0 = 1

P^0 = 1

(-1)^N = 1 if N is even

(-1)^N = -1 if N is odd

P(Ul)^P(Ur) = P(Ul^Ur)

N(Ul)^P(Ur) = P(Ul^Ur) if Ur is even

N(Ul)^P(Ur) = N(Ul^Ur) if Ur is odd

X^N