Trait vstd::prelude::SpecMul

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

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

Required Associated Types

type Output

Required Methods

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

Implementations on Foreign Types

impl<Rhs> SpecMul<Rhs> for i8

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <i8 as SpecMul<Rhs>>::Output

impl<Rhs> SpecMul<Rhs> for i16

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <i16 as SpecMul<Rhs>>::Output

impl<Rhs> SpecMul<Rhs> for i32

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <i32 as SpecMul<Rhs>>::Output

impl<Rhs> SpecMul<Rhs> for i64

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <i64 as SpecMul<Rhs>>::Output

impl<Rhs> SpecMul<Rhs> for i128

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <i128 as SpecMul<Rhs>>::Output

impl<Rhs> SpecMul<Rhs> for isize

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <isize as SpecMul<Rhs>>::Output

impl<Rhs> SpecMul<Rhs> for u8

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <u8 as SpecMul<Rhs>>::Output

impl<Rhs> SpecMul<Rhs> for u16

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <u16 as SpecMul<Rhs>>::Output

impl<Rhs> SpecMul<Rhs> for u32

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <u32 as SpecMul<Rhs>>::Output

impl<Rhs> SpecMul<Rhs> for u64

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <u64 as SpecMul<Rhs>>::Output

impl<Rhs> SpecMul<Rhs> for u128

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <u128 as SpecMul<Rhs>>::Output

impl<Rhs> SpecMul<Rhs> for usize

where Rhs: Integer,

type Output = int

fn spec_mul(self, _rhs: Rhs) -> <usize as SpecMul<Rhs>>::Output

Implementors

impl SpecMul for nat

type Output = nat

impl SpecMul<i8> for nat

type Output = int

impl SpecMul<i16> for nat

type Output = int

impl SpecMul<i32> for nat

type Output = int

impl SpecMul<i64> for nat

type Output = int

impl SpecMul<i128> for nat

type Output = int

impl SpecMul<isize> for nat

type Output = int

impl SpecMul<u8> for nat

type Output = int

impl SpecMul<u16> for nat

type Output = int

impl SpecMul<u32> for nat

type Output = int

impl SpecMul<u64> for nat

type Output = int

impl SpecMul<u128> for nat

type Output = int

impl SpecMul<usize> for nat

type Output = int

impl SpecMul<int> for nat

type Output = int

impl<Rhs> SpecMul<Rhs> for int

where Rhs: Integer,

type Output = int