Trait vstd::prelude::SpecShr

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

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

Required Associated Types

type Output

Required Methods

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

Implementations on Foreign Types

impl<Rhs> SpecShr<Rhs> for i8

where Rhs: Integer,

type Output = i8

fn spec_shr(self, _rhs: Rhs) -> <i8 as SpecShr<Rhs>>::Output

impl<Rhs> SpecShr<Rhs> for i16

where Rhs: Integer,

type Output = i16

fn spec_shr(self, _rhs: Rhs) -> <i16 as SpecShr<Rhs>>::Output

impl<Rhs> SpecShr<Rhs> for i32

where Rhs: Integer,

type Output = i32

fn spec_shr(self, _rhs: Rhs) -> <i32 as SpecShr<Rhs>>::Output

impl<Rhs> SpecShr<Rhs> for i64

where Rhs: Integer,

type Output = i64

fn spec_shr(self, _rhs: Rhs) -> <i64 as SpecShr<Rhs>>::Output

impl<Rhs> SpecShr<Rhs> for i128

where Rhs: Integer,

type Output = i128

fn spec_shr(self, _rhs: Rhs) -> <i128 as SpecShr<Rhs>>::Output

impl<Rhs> SpecShr<Rhs> for isize

where Rhs: Integer,

type Output = isize

fn spec_shr(self, _rhs: Rhs) -> <isize as SpecShr<Rhs>>::Output

impl<Rhs> SpecShr<Rhs> for u8

where Rhs: Integer,

type Output = u8

fn spec_shr(self, _rhs: Rhs) -> <u8 as SpecShr<Rhs>>::Output

impl<Rhs> SpecShr<Rhs> for u16

where Rhs: Integer,

type Output = u16

fn spec_shr(self, _rhs: Rhs) -> <u16 as SpecShr<Rhs>>::Output

impl<Rhs> SpecShr<Rhs> for u32

where Rhs: Integer,

type Output = u32

fn spec_shr(self, _rhs: Rhs) -> <u32 as SpecShr<Rhs>>::Output

impl<Rhs> SpecShr<Rhs> for u64

where Rhs: Integer,

type Output = u64

fn spec_shr(self, _rhs: Rhs) -> <u64 as SpecShr<Rhs>>::Output

impl<Rhs> SpecShr<Rhs> for u128

where Rhs: Integer,

type Output = u128

fn spec_shr(self, _rhs: Rhs) -> <u128 as SpecShr<Rhs>>::Output

impl<Rhs> SpecShr<Rhs> for usize

where Rhs: Integer,

type Output = usize

fn spec_shr(self, _rhs: Rhs) -> <usize as SpecShr<Rhs>>::Output

Implementors