Trait vstd::prelude::SpecAdd

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

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

Required Associated Types

type Output

Required Methods

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

Implementations on Foreign Types

impl<Rhs> SpecAdd<Rhs> for i8

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <i8 as SpecAdd<Rhs>>::Output

impl<Rhs> SpecAdd<Rhs> for i16

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <i16 as SpecAdd<Rhs>>::Output

impl<Rhs> SpecAdd<Rhs> for i32

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <i32 as SpecAdd<Rhs>>::Output

impl<Rhs> SpecAdd<Rhs> for i64

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <i64 as SpecAdd<Rhs>>::Output

impl<Rhs> SpecAdd<Rhs> for i128

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <i128 as SpecAdd<Rhs>>::Output

impl<Rhs> SpecAdd<Rhs> for isize

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <isize as SpecAdd<Rhs>>::Output

impl<Rhs> SpecAdd<Rhs> for u8

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <u8 as SpecAdd<Rhs>>::Output

impl<Rhs> SpecAdd<Rhs> for u16

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <u16 as SpecAdd<Rhs>>::Output

impl<Rhs> SpecAdd<Rhs> for u32

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <u32 as SpecAdd<Rhs>>::Output

impl<Rhs> SpecAdd<Rhs> for u64

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <u64 as SpecAdd<Rhs>>::Output

impl<Rhs> SpecAdd<Rhs> for u128

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <u128 as SpecAdd<Rhs>>::Output

impl<Rhs> SpecAdd<Rhs> for usize

where Rhs: Integer,

type Output = int

fn spec_add(self, _rhs: Rhs) -> <usize as SpecAdd<Rhs>>::Output

Implementors

impl SpecAdd for nat

type Output = nat

impl SpecAdd<i8> for nat

type Output = int

impl SpecAdd<i16> for nat

type Output = int

impl SpecAdd<i32> for nat

type Output = int

impl SpecAdd<i64> for nat

type Output = int

impl SpecAdd<i128> for nat

type Output = int

impl SpecAdd<isize> for nat

type Output = int

impl SpecAdd<u8> for nat

type Output = int

impl SpecAdd<u16> for nat

type Output = int

impl SpecAdd<u32> for nat

type Output = int

impl SpecAdd<u64> for nat

type Output = int

impl SpecAdd<u128> for nat

type Output = int

impl SpecAdd<usize> for nat

type Output = int

impl SpecAdd<int> for nat

type Output = int

impl<Rhs> SpecAdd<Rhs> for int

where Rhs: Integer,

type Output = int