Trait vstd::prelude::SpecNeg

pub trait SpecNeg {
    type Output;

    // Required method
    fn spec_neg(self) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

fn spec_neg(self) -> Self::Output

Implementations on Foreign Types

impl SpecNeg for i8

type Output = int

fn spec_neg(self) -> <i8 as SpecNeg>::Output

impl SpecNeg for i16

type Output = int

fn spec_neg(self) -> <i16 as SpecNeg>::Output

impl SpecNeg for i32

type Output = int

fn spec_neg(self) -> <i32 as SpecNeg>::Output

impl SpecNeg for i64

type Output = int

fn spec_neg(self) -> <i64 as SpecNeg>::Output

impl SpecNeg for i128

type Output = int

fn spec_neg(self) -> <i128 as SpecNeg>::Output

impl SpecNeg for isize

type Output = int

fn spec_neg(self) -> <isize as SpecNeg>::Output

impl SpecNeg for u8

type Output = int

fn spec_neg(self) -> <u8 as SpecNeg>::Output

impl SpecNeg for u16

type Output = int

fn spec_neg(self) -> <u16 as SpecNeg>::Output

impl SpecNeg for u32

type Output = int

fn spec_neg(self) -> <u32 as SpecNeg>::Output

impl SpecNeg for u64

type Output = int

fn spec_neg(self) -> <u64 as SpecNeg>::Output

impl SpecNeg for u128

type Output = int

fn spec_neg(self) -> <u128 as SpecNeg>::Output

impl SpecNeg for usize

type Output = int

fn spec_neg(self) -> <usize as SpecNeg>::Output

Implementors

impl SpecNeg for int

type Output = int

impl SpecNeg for nat

type Output = int