Trait 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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl SpecSub for f32

type Output = f32

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

impl SpecSub for f64

type Output = f64

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

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 SpecSub for real

type Output = real

impl<Rhs> SpecSub<Rhs> for int

where Rhs: Integer,

type Output = int

impl<Rhs> SpecSub<Rhs> for nat

where Rhs: Integer,

type Output = int