Trait IntMul

pub trait IntMul<B: Int>: Int {
    type Output: Int;
}

Integer multiplication. Used as Mul<X, Y> or <X as IntMul<Y>>::Output.

Required Associated Types

type Output: Int

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.

Implementors

impl IntMul<Term> for Term

type Output = Term

impl IntMul<Term> for Undefined

type Output = Undefined

impl IntMul<Undefined> for Term

type Output = Undefined

impl IntMul<Undefined> for Undefined

type Output = Undefined

impl<M, N: Int> IntMul<Minus<N>> for Minus<M>

where <M as IntMul<Zero<Minus<N>>>>::Output: IntSub<Minus<N>>, M: IntMul<Zero<Minus<N>>> + Int,

type Output = <<M as IntMul<Zero<Minus<N>>>>::Output as IntSub<Minus<N>>>::Output

impl<M, N: Int> IntMul<Minus<N>> for Plus<M>

where <M as IntMul<Zero<Minus<N>>>>::Output: IntAdd<Minus<N>>, M: IntMul<Zero<Minus<N>>> + Int,

type Output = <<M as IntMul<Zero<Minus<N>>>>::Output as IntAdd<Minus<N>>>::Output

impl<M, N: Int> IntMul<Minus<N>> for Zero<M>

where M: IntMul<Zero<Minus<N>>> + Int,

type Output = <M as IntMul<Zero<Minus<N>>>>::Output

impl<M, N: Int> IntMul<Plus<N>> for Minus<M>

where <M as IntMul<Zero<Plus<N>>>>::Output: IntSub<Plus<N>>, M: IntMul<Zero<Plus<N>>> + Int,

type Output = <<M as IntMul<Zero<Plus<N>>>>::Output as IntSub<Plus<N>>>::Output

impl<M, N: Int> IntMul<Plus<N>> for Plus<M>

where <M as IntMul<Zero<Plus<N>>>>::Output: IntAdd<Plus<N>>, M: IntMul<Zero<Plus<N>>> + Int,

type Output = <<M as IntMul<Zero<Plus<N>>>>::Output as IntAdd<Plus<N>>>::Output

impl<M, N: Int> IntMul<Plus<N>> for Zero<M>

where M: IntMul<Zero<Plus<M>>> + Int,

type Output = <M as IntMul<Zero<Plus<M>>>>::Output

impl<M, N: Int> IntMul<Zero<N>> for Minus<M>

where <M as IntMul<Zero<Zero<N>>>>::Output: IntSub<Zero<N>>, M: IntMul<Zero<Zero<N>>> + Int,

type Output = <<M as IntMul<Zero<Zero<N>>>>::Output as IntSub<Zero<N>>>::Output

impl<M, N: Int> IntMul<Zero<N>> for Plus<M>

where <M as IntMul<Zero<Zero<N>>>>::Output: IntAdd<Zero<N>>, M: IntMul<Zero<Zero<N>>> + Int,

type Output = <<M as IntMul<Zero<Zero<N>>>>::Output as IntAdd<Zero<N>>>::Output

impl<M, N: Int> IntMul<Zero<N>> for Zero<M>

where M: IntMul<Zero<Zero<N>>> + Int,

type Output = <M as IntMul<Zero<Zero<N>>>>::Output

impl<N: Int> IntMul<Minus<N>> for Term

type Output = Term

impl<N: Int> IntMul<Minus<N>> for Undefined

type Output = Undefined

impl<N: Int> IntMul<Plus<N>> for Term

type Output = Term

impl<N: Int> IntMul<Plus<N>> for Undefined

type Output = Undefined

impl<N: Int> IntMul<Term> for Minus<N>

type Output = Term

impl<N: Int> IntMul<Term> for Plus<N>

type Output = Term

impl<N: Int> IntMul<Term> for Zero<N>

type Output = Term

impl<N: Int> IntMul<Undefined> for Minus<N>

type Output = Undefined

impl<N: Int> IntMul<Undefined> for Plus<N>

type Output = Undefined

impl<N: Int> IntMul<Undefined> for Zero<N>

type Output = Undefined

impl<N: Int> IntMul<Zero<N>> for Term

type Output = Term

impl<N: Int> IntMul<Zero<N>> for Undefined

type Output = Undefined