Trait MulByScalar 

pub trait MulByScalar<Rhs, Out = Self>: Sized {
    // Required method
    fn mul_by_scalar<const CHECK: bool>(&self, rhs: Rhs) -> Option<Out>;
}

Required Methods

fn mul_by_scalar<const CHECK: bool>(&self, rhs: Rhs) -> Option<Out>

Multiplies the current element by a scalar from the right (usually - a coefficient to obtain a linear combination). Returns None if the multiplication would overflow.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl MulByScalar<&i8> for i8

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i8) -> Option<Self>

impl MulByScalar<&i16> for i16

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i16) -> Option<Self>

impl MulByScalar<&i32> for i32

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i32) -> Option<Self>

impl MulByScalar<&i64> for i64

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i64) -> Option<Self>

impl MulByScalar<&i64> for i128

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i64) -> Option<i128>

impl MulByScalar<&i64, i128> for i32

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i64) -> Option<i128>

impl MulByScalar<&i64, i128> for i64

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i64) -> Option<i128>

impl MulByScalar<&i128> for i128

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i128) -> Option<Self>

impl MulByScalar<&BoxedMontyField> for BoxedMontyField

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &Self) -> Option<Self>

impl<Mod: ConstMontyParams<LIMBS>, const LIMBS: usize> MulByScalar<&ConstMontyField<Mod, LIMBS>> for ConstMontyField<Mod, LIMBS>

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &Self) -> Option<Self>

impl<const LIMBS: usize> MulByScalar<&MontyField<LIMBS>> for MontyField<LIMBS>

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &Self) -> Option<Self>

impl<const LIMBS: usize, const LIMBS2: usize> MulByScalar<&i8, Int<LIMBS2>> for Int<LIMBS>

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i8) -> Option<Int<LIMBS2>>

impl<const LIMBS: usize, const LIMBS2: usize> MulByScalar<&i16, Int<LIMBS2>> for Int<LIMBS>

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i16) -> Option<Int<LIMBS2>>

impl<const LIMBS: usize, const LIMBS2: usize> MulByScalar<&i32, Int<LIMBS2>> for Int<LIMBS>

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i32) -> Option<Int<LIMBS2>>

impl<const LIMBS: usize, const LIMBS2: usize> MulByScalar<&i64, Int<LIMBS2>> for Int<LIMBS>

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i64) -> Option<Int<LIMBS2>>

impl<const LIMBS: usize, const LIMBS2: usize> MulByScalar<&i128, Int<LIMBS2>> for Int<LIMBS>

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &i128) -> Option<Int<LIMBS2>>

impl<const LIMBS: usize, const LIMBS2: usize> MulByScalar<&Int<LIMBS2>> for Int<LIMBS>

fn mul_by_scalar<const CHECK: bool>(&self, rhs: &Int<LIMBS2>) -> Option<Self>

Implementors

impl<T> MulByScalar<&Boolean> for T

where T: Clone + ConstZero + From<Boolean>,