Trait vstd::prelude::SpecSub

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

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

Required Associated Types

type Output

Required Methods

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

Implementations on Foreign Types

impl<Rhs> SpecSub<Rhs> for i8

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <i8 as SpecSub<Rhs>>::Output

impl<Rhs> SpecSub<Rhs> for i16

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <i16 as SpecSub<Rhs>>::Output

impl<Rhs> SpecSub<Rhs> for i32

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <i32 as SpecSub<Rhs>>::Output

impl<Rhs> SpecSub<Rhs> for i64

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <i64 as SpecSub<Rhs>>::Output

impl<Rhs> SpecSub<Rhs> for i128

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <i128 as SpecSub<Rhs>>::Output

impl<Rhs> SpecSub<Rhs> for isize

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <isize as SpecSub<Rhs>>::Output

impl<Rhs> SpecSub<Rhs> for u8

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <u8 as SpecSub<Rhs>>::Output

impl<Rhs> SpecSub<Rhs> for u16

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <u16 as SpecSub<Rhs>>::Output

impl<Rhs> SpecSub<Rhs> for u32

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <u32 as SpecSub<Rhs>>::Output

impl<Rhs> SpecSub<Rhs> for u64

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <u64 as SpecSub<Rhs>>::Output

impl<Rhs> SpecSub<Rhs> for u128

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <u128 as SpecSub<Rhs>>::Output

impl<Rhs> SpecSub<Rhs> for usize

where Rhs: Integer,

type Output = int

fn spec_sub(self, _rhs: Rhs) -> <usize as SpecSub<Rhs>>::Output

Implementors

impl<Rhs> SpecSub<Rhs> for int

where Rhs: Integer,

type Output = int

impl<Rhs> SpecSub<Rhs> for nat

where Rhs: Integer,

type Output = int