Trait vstd::prelude::SpecShl

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

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

Required Associated Types§

type Output

Required Methods§

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

Implementations on Foreign Types§

§

impl<Rhs> SpecShl<Rhs> for i8
where Rhs: Integer,

§

type Output = i8

§

fn spec_shl(self, _rhs: Rhs) -> <i8 as SpecShl<Rhs>>::Output

§

impl<Rhs> SpecShl<Rhs> for i16
where Rhs: Integer,

§

type Output = i16

§

fn spec_shl(self, _rhs: Rhs) -> <i16 as SpecShl<Rhs>>::Output

§

impl<Rhs> SpecShl<Rhs> for i32
where Rhs: Integer,

§

type Output = i32

§

fn spec_shl(self, _rhs: Rhs) -> <i32 as SpecShl<Rhs>>::Output

§

impl<Rhs> SpecShl<Rhs> for i64
where Rhs: Integer,

§

type Output = i64

§

fn spec_shl(self, _rhs: Rhs) -> <i64 as SpecShl<Rhs>>::Output

§

impl<Rhs> SpecShl<Rhs> for i128
where Rhs: Integer,

§

type Output = i128

§

fn spec_shl(self, _rhs: Rhs) -> <i128 as SpecShl<Rhs>>::Output

§

impl<Rhs> SpecShl<Rhs> for isize
where Rhs: Integer,

§

type Output = isize

§

fn spec_shl(self, _rhs: Rhs) -> <isize as SpecShl<Rhs>>::Output

§

impl<Rhs> SpecShl<Rhs> for u8
where Rhs: Integer,

§

type Output = u8

§

fn spec_shl(self, _rhs: Rhs) -> <u8 as SpecShl<Rhs>>::Output

§

impl<Rhs> SpecShl<Rhs> for u16
where Rhs: Integer,

§

type Output = u16

§

fn spec_shl(self, _rhs: Rhs) -> <u16 as SpecShl<Rhs>>::Output

§

impl<Rhs> SpecShl<Rhs> for u32
where Rhs: Integer,

§

type Output = u32

§

fn spec_shl(self, _rhs: Rhs) -> <u32 as SpecShl<Rhs>>::Output

§

impl<Rhs> SpecShl<Rhs> for u64
where Rhs: Integer,

§

type Output = u64

§

fn spec_shl(self, _rhs: Rhs) -> <u64 as SpecShl<Rhs>>::Output

§

impl<Rhs> SpecShl<Rhs> for u128
where Rhs: Integer,

§

type Output = u128

§

fn spec_shl(self, _rhs: Rhs) -> <u128 as SpecShl<Rhs>>::Output

§

impl<Rhs> SpecShl<Rhs> for usize
where Rhs: Integer,

§

type Output = usize

§

fn spec_shl(self, _rhs: Rhs) -> <usize as SpecShl<Rhs>>::Output

Implementors§