#[lang = "shr"]
pub trait Shr<Rhs = Self> {
type Output;
#[must_use]
fn shr(self, rhs: Rhs) -> Self::Output;
}

The right shift operator `>>`

. Note that because this trait is implemented
for all integer types with multiple right-hand-side types, Rust's type
checker has special handling for `_ >> _`

, setting the result type for
integer operations to the type of the left-hand-side operand. This means
that though `a >> b`

and `a.shr(b)`

are one and the same from an evaluation
standpoint, they are different when it comes to type inference.

An implementation of `Shr`

that lifts the `>>`

operation on integers to a
wrapper around `usize`

.

use std::ops::Shr;
#[derive(PartialEq, Debug)]
struct Scalar(usize);
impl Shr<Scalar> for Scalar {
type Output = Self;
fn shr(self, Scalar(rhs): Self) -> Scalar {
let Scalar(lhs) = self;
Scalar(lhs >> rhs)
}
}
assert_eq!(Scalar(16) >> Scalar(2), Scalar(4));Run

An implementation of `Shr`

that spins a vector rightward by a given amount.

use std::ops::Shr;
#[derive(PartialEq, Debug)]
struct SpinVector<T: Clone> {
vec: Vec<T>,
}
impl<T: Clone> Shr<usize> for SpinVector<T> {
type Output = Self;
fn shr(self, rhs: usize) -> Self::Output {
let (a, b) = self.vec.split_at(self.vec.len() - rhs);
let mut spun_vector: Vec<T> = vec![];
spun_vector.extend_from_slice(b);
spun_vector.extend_from_slice(a);
SpinVector { vec: spun_vector }
}
}
assert_eq!(SpinVector { vec: vec![0, 1, 2, 3, 4] } >> 2,
SpinVector { vec: vec![3, 4, 0, 1, 2] });Run

The resulting type after applying the `>>`

operator.

Loading content...
```
#[must_use]
fn shr(self, rhs: Rhs) -> Self::Output
```

Performs the `>>`

operation.

Loading content...
`impl<'_> Shr<&'_ i128> for i8`

[src]

`impl<'_> Shr<&'_ i128> for u8`

[src]

`impl<'_> Shr<&'_ i16> for i16`

[src]

`impl<'_> Shr<&'_ i16> for i32`

[src]

`impl<'_> Shr<&'_ i16> for i64`

[src]

`impl<'_> Shr<&'_ i16> for i8`

[src]

`impl<'_> Shr<&'_ i16> for u16`

[src]

`impl<'_> Shr<&'_ i16> for u32`

[src]

`impl<'_> Shr<&'_ i16> for u64`

[src]

`impl<'_> Shr<&'_ i16> for u8`

[src]

`impl<'_> Shr<&'_ i32> for i16`

[src]

`impl<'_> Shr<&'_ i32> for i32`

[src]

`impl<'_> Shr<&'_ i32> for i64`

[src]

`impl<'_> Shr<&'_ i32> for i8`

[src]

`impl<'_> Shr<&'_ i32> for u16`

[src]

`impl<'_> Shr<&'_ i32> for u32`

[src]

`impl<'_> Shr<&'_ i32> for u64`

[src]

`impl<'_> Shr<&'_ i32> for u8`

[src]

`impl<'_> Shr<&'_ i64> for i16`

[src]

`impl<'_> Shr<&'_ i64> for i32`

[src]

`impl<'_> Shr<&'_ i64> for i64`

[src]

`impl<'_> Shr<&'_ i64> for i8`

[src]

`impl<'_> Shr<&'_ i64> for u16`

[src]

`impl<'_> Shr<&'_ i64> for u32`

[src]

`impl<'_> Shr<&'_ i64> for u64`

[src]

`impl<'_> Shr<&'_ i64> for u8`

[src]

`impl<'_> Shr<&'_ i8> for i128`

[src]

`impl<'_> Shr<&'_ i8> for i16`

[src]

`impl<'_> Shr<&'_ i8> for i32`

[src]

`impl<'_> Shr<&'_ i8> for i64`

[src]

`impl<'_> Shr<&'_ i8> for i8`

[src]

`impl<'_> Shr<&'_ i8> for u128`

[src]

`impl<'_> Shr<&'_ i8> for u16`

[src]

`impl<'_> Shr<&'_ i8> for u32`

[src]

`impl<'_> Shr<&'_ i8> for u64`

[src]

`impl<'_> Shr<&'_ i8> for u8`

[src]

`impl<'_> Shr<&'_ u128> for i8`

[src]

`impl<'_> Shr<&'_ u128> for u8`

[src]

`impl<'_> Shr<&'_ u16> for i16`

[src]

`impl<'_> Shr<&'_ u16> for i32`

[src]

`impl<'_> Shr<&'_ u16> for i64`

[src]

`impl<'_> Shr<&'_ u16> for i8`

[src]

`impl<'_> Shr<&'_ u16> for u16`

[src]

`impl<'_> Shr<&'_ u16> for u32`

[src]

`impl<'_> Shr<&'_ u16> for u64`

[src]

`impl<'_> Shr<&'_ u16> for u8`

[src]

`impl<'_> Shr<&'_ u32> for i16`

[src]

`impl<'_> Shr<&'_ u32> for i32`

[src]

`impl<'_> Shr<&'_ u32> for i64`

[src]

`impl<'_> Shr<&'_ u32> for i8`

[src]

`impl<'_> Shr<&'_ u32> for u16`

[src]

`impl<'_> Shr<&'_ u32> for u32`

[src]

`impl<'_> Shr<&'_ u32> for u64`

[src]

`impl<'_> Shr<&'_ u32> for u8`

[src]

`impl<'_> Shr<&'_ u64> for i16`

[src]

`impl<'_> Shr<&'_ u64> for i32`

[src]

`impl<'_> Shr<&'_ u64> for i64`

[src]

`impl<'_> Shr<&'_ u64> for i8`

[src]

`impl<'_> Shr<&'_ u64> for u16`

[src]

`impl<'_> Shr<&'_ u64> for u32`

[src]

`impl<'_> Shr<&'_ u64> for u64`

[src]

`impl<'_> Shr<&'_ u64> for u8`

[src]

`impl<'_> Shr<&'_ u8> for i128`

[src]

`impl<'_> Shr<&'_ u8> for i16`

[src]

`impl<'_> Shr<&'_ u8> for i32`

[src]

`impl<'_> Shr<&'_ u8> for i64`

[src]

`impl<'_> Shr<&'_ u8> for i8`

[src]

`impl<'_> Shr<&'_ u8> for u128`

[src]

`impl<'_> Shr<&'_ u8> for u16`

[src]

`impl<'_> Shr<&'_ u8> for u32`

[src]

`impl<'_> Shr<&'_ u8> for u64`

[src]

`impl<'_> Shr<&'_ u8> for u8`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ usize`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ i128> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ usize`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ i16> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ usize`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ i32> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ usize`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ i64> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ usize`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ i8> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ isize> for &'_ usize`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ usize`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ u128> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ usize`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ u16> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ usize`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ u32> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ usize`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ u64> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ usize`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ u8> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ i128`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ i16`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ i32`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ i64`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ i8`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ isize`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ u128`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ u16`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ u32`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ u64`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ u8`

[src]

`impl<'_, '_> Shr<&'_ usize> for &'_ usize`

[src]

`impl<'a> Shr<i128> for &'a i8`

[src]

`impl<'a> Shr<i128> for &'a u8`

[src]

`impl<'a> Shr<i16> for &'a i16`

[src]

`impl<'a> Shr<i16> for &'a i32`

[src]

`impl<'a> Shr<i16> for &'a i64`

[src]

`impl<'a> Shr<i16> for &'a i8`

[src]

`impl<'a> Shr<i16> for &'a u16`

[src]

`impl<'a> Shr<i16> for &'a u32`

[src]

`impl<'a> Shr<i16> for &'a u64`

[src]

`impl<'a> Shr<i16> for &'a u8`

[src]

`impl<'a> Shr<i32> for &'a i16`

[src]

`impl<'a> Shr<i32> for &'a i32`

[src]

`impl<'a> Shr<i32> for &'a i64`

[src]

`impl<'a> Shr<i32> for &'a i8`

[src]

`impl<'a> Shr<i32> for &'a u16`

[src]

`impl<'a> Shr<i32> for &'a u32`

[src]

`impl<'a> Shr<i32> for &'a u64`

[src]

`impl<'a> Shr<i32> for &'a u8`

[src]

`impl<'a> Shr<i64> for &'a i16`

[src]

`impl<'a> Shr<i64> for &'a i32`

[src]

`impl<'a> Shr<i64> for &'a i64`

[src]

`impl<'a> Shr<i64> for &'a i8`

[src]

`impl<'a> Shr<i64> for &'a u16`

[src]

`impl<'a> Shr<i64> for &'a u32`

[src]

`impl<'a> Shr<i64> for &'a u64`

[src]

`impl<'a> Shr<i64> for &'a u8`

[src]

`impl<'a> Shr<i8> for &'a i128`

[src]

`impl<'a> Shr<i8> for &'a i16`

[src]

`impl<'a> Shr<i8> for &'a i32`

[src]

`impl<'a> Shr<i8> for &'a i64`

[src]

`impl<'a> Shr<i8> for &'a i8`

[src]

`impl<'a> Shr<i8> for &'a u128`

[src]

`impl<'a> Shr<i8> for &'a u16`

[src]

`impl<'a> Shr<i8> for &'a u32`

[src]

`impl<'a> Shr<i8> for &'a u64`

[src]

`impl<'a> Shr<i8> for &'a u8`

[src]

`impl<'a> Shr<u128> for &'a i8`

[src]

`impl<'a> Shr<u128> for &'a u8`

[src]

`impl<'a> Shr<u16> for &'a i16`

[src]

`impl<'a> Shr<u16> for &'a i32`

[src]

`impl<'a> Shr<u16> for &'a i64`

[src]

`impl<'a> Shr<u16> for &'a i8`

[src]

`impl<'a> Shr<u16> for &'a u16`

[src]

`impl<'a> Shr<u16> for &'a u32`

[src]

`impl<'a> Shr<u16> for &'a u64`

[src]

`impl<'a> Shr<u16> for &'a u8`

[src]

`impl<'a> Shr<u32> for &'a i16`

[src]

`impl<'a> Shr<u32> for &'a i32`

[src]

`impl<'a> Shr<u32> for &'a i64`

[src]

`impl<'a> Shr<u32> for &'a i8`

[src]

`impl<'a> Shr<u32> for &'a u16`

[src]

`impl<'a> Shr<u32> for &'a u32`

[src]

`impl<'a> Shr<u32> for &'a u64`

[src]

`impl<'a> Shr<u32> for &'a u8`

[src]

`impl<'a> Shr<u64> for &'a i16`

[src]

`impl<'a> Shr<u64> for &'a i32`

[src]

`impl<'a> Shr<u64> for &'a i64`

[src]

`impl<'a> Shr<u64> for &'a i8`

[src]

`impl<'a> Shr<u64> for &'a u16`

[src]

`impl<'a> Shr<u64> for &'a u32`

[src]

`impl<'a> Shr<u64> for &'a u64`

[src]

`impl<'a> Shr<u64> for &'a u8`

[src]

`impl<'a> Shr<u8> for &'a i128`

[src]

`impl<'a> Shr<u8> for &'a i16`

[src]

`impl<'a> Shr<u8> for &'a i32`

[src]

`impl<'a> Shr<u8> for &'a i64`

[src]

`impl<'a> Shr<u8> for &'a i8`

[src]

`impl<'a> Shr<u8> for &'a u128`

[src]

`impl<'a> Shr<u8> for &'a u16`

[src]

`impl<'a> Shr<u8> for &'a u32`

[src]

`impl<'a> Shr<u8> for &'a u64`

[src]

`impl<'a> Shr<u8> for &'a u8`

[src]

Loading content...