Trait cairo_vm::with_std::ops::Shr

1.0.0 · source ·

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

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

Expand description

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.

§Examples

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, Self(rhs): Self) -> Self::Output {
        let Self(lhs) = self;
        Self(lhs >> rhs)
    }
}

assert_eq!(Scalar(16) >> Scalar(2), Scalar(4));

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 {
        // Rotate the vector by `rhs` places.
        let (a, b) = self.vec.split_at(self.vec.len() - rhs);
        let mut spun_vector = vec![];
        spun_vector.extend_from_slice(b);
        spun_vector.extend_from_slice(a);
        Self { vec: spun_vector }
    }
}

assert_eq!(SpinVector { vec: vec![0, 1, 2, 3, 4] } >> 2,
           SpinVector { vec: vec![3, 4, 0, 1, 2] });

type Output = BigUint

source §

impl Shr<B0> for UTerm

Shifting right UTerm by a 0 bit: UTerm >> B0 = UTerm

§

type Output = UTerm

source §

impl Shr<B1> for UTerm

type Output

Required Methods§

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

§Examples

Implementors§

impl Shr for i8

type Output = i8

impl Shr for i16

type Output = i16

impl Shr for i32

type Output = i32

impl Shr for i64

type Output = i64

impl Shr for i128

type Output = i128

impl Shr for isize

type Output = isize

impl Shr for u8

type Output = u8

impl Shr for u16

type Output = u16

impl Shr for u32

type Output = u32

impl Shr for u64

type Output = u64

impl Shr for u128

type Output = u128

impl Shr for usize

type Output = usize

impl Shr for Limb

type Output = Limb

impl Shr<&i8> for &i8

type Output = <i8 as Shr>::Output

impl Shr<&i8> for &i16

type Output = <i16 as Shr<i8>>::Output

impl Shr<&i8> for &i32

type Output = <i32 as Shr<i8>>::Output

impl Shr<&i8> for &i64

type Output = <i64 as Shr<i8>>::Output

impl Shr<&i8> for &i128

type Output = <i128 as Shr<i8>>::Output

impl Shr<&i8> for &isize

type Output = <isize as Shr<i8>>::Output

impl Shr<&i8> for &u8

type Output = <u8 as Shr<i8>>::Output

impl Shr<&i8> for &u16

type Output = <u16 as Shr<i8>>::Output

impl Shr<&i8> for &u32

type Output = <u32 as Shr<i8>>::Output

impl Shr<&i8> for &u64

type Output = <u64 as Shr<i8>>::Output

impl Shr<&i8> for &u128

type Output = <u128 as Shr<i8>>::Output

impl Shr<&i8> for &usize

type Output = <usize as Shr<i8>>::Output

impl Shr<&i8> for &BigInt

type Output = BigInt

impl Shr<&i8> for &BigUint

type Output = BigUint

impl Shr<&i8> for i8

type Output = <i8 as Shr>::Output

impl Shr<&i8> for i16

type Output = <i16 as Shr<i8>>::Output

impl Shr<&i8> for i32

type Output = <i32 as Shr<i8>>::Output

impl Shr<&i8> for i64

type Output = <i64 as Shr<i8>>::Output

impl Shr<&i8> for i128

type Output = <i128 as Shr<i8>>::Output

impl Shr<&i8> for isize

type Output = <isize as Shr<i8>>::Output

impl Shr<&i8> for u8

type Output = <u8 as Shr<i8>>::Output

impl Shr<&i8> for u16

type Output = <u16 as Shr<i8>>::Output

impl Shr<&i8> for u32

type Output = <u32 as Shr<i8>>::Output

Trait cairo_vm::with_std::ops::Shr