#[lang = "rem"] pub trait Rem<RHS = Self> { type Output = Self; fn rem(self, rhs: RHS) -> Self::Output; }
The remainder operator %
.
Note that RHS
is Self
by default, but this is not mandatory.
This example implements Rem
on a SplitSlice
object. After Rem
is implemented, one can use the %
operator to find out what the remaining elements of the slice would be after splitting it into equal slices of a given length.
use std::ops::Rem; #[derive(PartialEq, Debug)] struct SplitSlice<'a, T: 'a> { slice: &'a [T], } impl<'a, T> Rem<usize> for SplitSlice<'a, T> { type Output = SplitSlice<'a, T>; fn rem(self, modulus: usize) -> Self { let len = self.slice.len(); let rem = len % modulus; let start = len - rem; SplitSlice {slice: &self.slice[start..]} } } // If we were to divide &[0, 1, 2, 3, 4, 5, 6, 7] into slices of size 3, // the remainder would be &[6, 7]. assert_eq!(SplitSlice { slice: &[0, 1, 2, 3, 4, 5, 6, 7] } % 3, SplitSlice { slice: &[6, 7] });
type Output = Self
The resulting type after applying the %
operator.
impl<'a, 'b> Rem<&'a Wrapping<u64>> for &'b Wrapping<u64> type Output = <Wrapping<u64> as Rem<Wrapping<u64>>>::Output;
impl<'a, 'b> Rem<&'a u64> for &'b u64 type Output = <u64 as Rem<u64>>::Output;
impl<'a> Rem<&'a Wrapping<usize>> for Wrapping<usize> type Output = <Wrapping<usize> as Rem<Wrapping<usize>>>::Output;
impl<'a> Rem<i128> for &'a i128 type Output = <i128 as Rem<i128>>::Output;
impl<'a> Rem<&'a Wrapping<i128>> for Wrapping<i128> type Output = <Wrapping<i128> as Rem<Wrapping<i128>>>::Output;
impl<'a, 'b> Rem<&'a i16> for &'b i16 type Output = <i16 as Rem<i16>>::Output;
impl<'a> Rem<&'a u128> for u128 type Output = <u128 as Rem<u128>>::Output;
impl<'a> Rem<&'a i128> for i128 type Output = <i128 as Rem<i128>>::Output;
impl<'a> Rem<&'a i32> for i32 type Output = <i32 as Rem<i32>>::Output;
impl Rem<u128> for u128 type Output = u128;
impl<'a> Rem<&'a Wrapping<u32>> for Wrapping<u32> type Output = <Wrapping<u32> as Rem<Wrapping<u32>>>::Output;
impl<'a> Rem<&'a Wrapping<i64>> for Wrapping<i64> type Output = <Wrapping<i64> as Rem<Wrapping<i64>>>::Output;
impl<'a> Rem<u32> for &'a u32 type Output = <u32 as Rem<u32>>::Output;
impl Rem<u32> for u32 type Output = u32;
impl<'a> Rem<Wrapping<i128>> for &'a Wrapping<i128> type Output = <Wrapping<i128> as Rem<Wrapping<i128>>>::Output;
impl<'a, 'b> Rem<&'a Wrapping<i64>> for &'b Wrapping<i64> type Output = <Wrapping<i64> as Rem<Wrapping<i64>>>::Output;
impl<'a, 'b> Rem<&'a isize> for &'b isize type Output = <isize as Rem<isize>>::Output;
impl<'a> Rem<u16> for &'a u16 type Output = <u16 as Rem<u16>>::Output;
impl Rem<Wrapping<u8>> for Wrapping<u8> type Output = Wrapping<u8>;
impl<'a> Rem<Wrapping<usize>> for &'a Wrapping<usize> type Output = <Wrapping<usize> as Rem<Wrapping<usize>>>::Output;
impl<'a> Rem<f32> for &'a f32 type Output = <f32 as Rem<f32>>::Output;
impl Rem<Wrapping<u32>> for Wrapping<u32> type Output = Wrapping<u32>;
impl<'a, 'b> Rem<&'a u128> for &'b u128 type Output = <u128 as Rem<u128>>::Output;
impl Rem<Wrapping<u64>> for Wrapping<u64> type Output = Wrapping<u64>;
impl<'a> Rem<&'a Wrapping<u16>> for Wrapping<u16> type Output = <Wrapping<u16> as Rem<Wrapping<u16>>>::Output;
impl Rem<Wrapping<u128>> for Wrapping<u128> type Output = Wrapping<u128>;
impl Rem<Wrapping<usize>> for Wrapping<usize> type Output = Wrapping<usize>;
impl<'a> Rem<Wrapping<u128>> for &'a Wrapping<u128> type Output = <Wrapping<u128> as Rem<Wrapping<u128>>>::Output;
impl Rem<u16> for u16 type Output = u16;
impl Rem<Wrapping<i16>> for Wrapping<i16> type Output = Wrapping<i16>;
impl<'a, 'b> Rem<&'a Wrapping<u8>> for &'b Wrapping<u8> type Output = <Wrapping<u8> as Rem<Wrapping<u8>>>::Output;
impl<'a> Rem<&'a usize> for usize type Output = <usize as Rem<usize>>::Output;
impl<'a, 'b> Rem<&'a u8> for &'b u8 type Output = <u8 as Rem<u8>>::Output;
impl<'a> Rem<u8> for &'a u8 type Output = <u8 as Rem<u8>>::Output;
impl Rem<u64> for u64 type Output = u64;
impl Rem<i128> for i128 type Output = i128;
impl<'a, 'b> Rem<&'a Wrapping<i128>> for &'b Wrapping<i128> type Output = <Wrapping<i128> as Rem<Wrapping<i128>>>::Output;
impl<'a> Rem<Wrapping<i64>> for &'a Wrapping<i64> type Output = <Wrapping<i64> as Rem<Wrapping<i64>>>::Output;
impl<'a, 'b> Rem<&'a i128> for &'b i128 type Output = <i128 as Rem<i128>>::Output;
impl<'a> Rem<i64> for &'a i64 type Output = <i64 as Rem<i64>>::Output;
impl<'a> Rem<Wrapping<u64>> for &'a Wrapping<u64> type Output = <Wrapping<u64> as Rem<Wrapping<u64>>>::Output;
impl<'a> Rem<&'a u64> for u64 type Output = <u64 as Rem<u64>>::Output;
impl<'a, 'b> Rem<&'a Wrapping<u16>> for &'b Wrapping<u16> type Output = <Wrapping<u16> as Rem<Wrapping<u16>>>::Output;
impl Rem<Wrapping<i8>> for Wrapping<i8> type Output = Wrapping<i8>;
impl<'a> Rem<isize> for &'a isize type Output = <isize as Rem<isize>>::Output;
impl Rem<f32> for f32 type Output = f32;
impl<'a> Rem<i16> for &'a i16 type Output = <i16 as Rem<i16>>::Output;
impl<'a> Rem<u128> for &'a u128 type Output = <u128 as Rem<u128>>::Output;
impl Rem<u8> for u8 type Output = u8;
impl<'a> Rem<f64> for &'a f64 type Output = <f64 as Rem<f64>>::Output;
impl<'a> Rem<Wrapping<isize>> for &'a Wrapping<isize> type Output = <Wrapping<isize> as Rem<Wrapping<isize>>>::Output;
impl<'a> Rem<Wrapping<u16>> for &'a Wrapping<u16> type Output = <Wrapping<u16> as Rem<Wrapping<u16>>>::Output;
impl Rem<Wrapping<i32>> for Wrapping<i32> type Output = Wrapping<i32>;
impl Rem<i32> for i32 type Output = i32;
impl<'a, 'b> Rem<&'a i64> for &'b i64 type Output = <i64 as Rem<i64>>::Output;
impl Rem<Wrapping<i64>> for Wrapping<i64> type Output = Wrapping<i64>;
impl<'a> Rem<&'a i16> for i16 type Output = <i16 as Rem<i16>>::Output;
impl<'a, 'b> Rem<&'a Wrapping<u32>> for &'b Wrapping<u32> type Output = <Wrapping<u32> as Rem<Wrapping<u32>>>::Output;
impl Rem<Wrapping<i128>> for Wrapping<i128> type Output = Wrapping<i128>;
impl<'a> Rem<&'a i8> for i8 type Output = <i8 as Rem<i8>>::Output;
impl<'a> Rem<&'a u8> for u8 type Output = <u8 as Rem<u8>>::Output;
impl<'a> Rem<&'a Wrapping<isize>> for Wrapping<isize> type Output = <Wrapping<isize> as Rem<Wrapping<isize>>>::Output;
impl<'a, 'b> Rem<&'a usize> for &'b usize type Output = <usize as Rem<usize>>::Output;
impl Rem<Wrapping<isize>> for Wrapping<isize> type Output = Wrapping<isize>;
impl<'a, 'b> Rem<&'a Wrapping<i8>> for &'b Wrapping<i8> type Output = <Wrapping<i8> as Rem<Wrapping<i8>>>::Output;
impl<'a> Rem<&'a f32> for f32 type Output = <f32 as Rem<f32>>::Output;
impl<'a, 'b> Rem<&'a u32> for &'b u32 type Output = <u32 as Rem<u32>>::Output;
impl<'a, 'b> Rem<&'a u16> for &'b u16 type Output = <u16 as Rem<u16>>::Output;
impl<'a, 'b> Rem<&'a Wrapping<isize>> for &'b Wrapping<isize> type Output = <Wrapping<isize> as Rem<Wrapping<isize>>>::Output;
impl Rem<i8> for i8 type Output = i8;
impl Rem<isize> for isize type Output = isize;
impl<'a> Rem<i32> for &'a i32 type Output = <i32 as Rem<i32>>::Output;
impl<'a> Rem<&'a Wrapping<u128>> for Wrapping<u128> type Output = <Wrapping<u128> as Rem<Wrapping<u128>>>::Output;
impl<'a, 'b> Rem<&'a Wrapping<u128>> for &'b Wrapping<u128> type Output = <Wrapping<u128> as Rem<Wrapping<u128>>>::Output;
impl<'a> Rem<usize> for &'a usize type Output = <usize as Rem<usize>>::Output;
impl<'a, 'b> Rem<&'a f64> for &'b f64 type Output = <f64 as Rem<f64>>::Output;
impl<'a> Rem<Wrapping<i16>> for &'a Wrapping<i16> type Output = <Wrapping<i16> as Rem<Wrapping<i16>>>::Output;
impl Rem<usize> for usize type Output = usize;
impl Rem<Wrapping<u16>> for Wrapping<u16> type Output = Wrapping<u16>;
impl<'a> Rem<&'a i64> for i64 type Output = <i64 as Rem<i64>>::Output;
impl<'a> Rem<&'a Wrapping<i8>> for Wrapping<i8> type Output = <Wrapping<i8> as Rem<Wrapping<i8>>>::Output;
impl<'a> Rem<Wrapping<u8>> for &'a Wrapping<u8> type Output = <Wrapping<u8> as Rem<Wrapping<u8>>>::Output;
impl<'a> Rem<&'a u16> for u16 type Output = <u16 as Rem<u16>>::Output;
impl<'a> Rem<&'a isize> for isize type Output = <isize as Rem<isize>>::Output;
impl<'a> Rem<Wrapping<i32>> for &'a Wrapping<i32> type Output = <Wrapping<i32> as Rem<Wrapping<i32>>>::Output;
impl<'a> Rem<i8> for &'a i8 type Output = <i8 as Rem<i8>>::Output;
impl<'a, 'b> Rem<&'a i32> for &'b i32 type Output = <i32 as Rem<i32>>::Output;
impl<'a> Rem<u64> for &'a u64 type Output = <u64 as Rem<u64>>::Output;
impl<'a> Rem<&'a Wrapping<i32>> for Wrapping<i32> type Output = <Wrapping<i32> as Rem<Wrapping<i32>>>::Output;
impl<'a> Rem<&'a Wrapping<u64>> for Wrapping<u64> type Output = <Wrapping<u64> as Rem<Wrapping<u64>>>::Output;
impl<'a> Rem<&'a Wrapping<i16>> for Wrapping<i16> type Output = <Wrapping<i16> as Rem<Wrapping<i16>>>::Output;
impl Rem<i16> for i16 type Output = i16;
impl<'a> Rem<&'a f64> for f64 type Output = <f64 as Rem<f64>>::Output;
impl<'a, 'b> Rem<&'a Wrapping<i16>> for &'b Wrapping<i16> type Output = <Wrapping<i16> as Rem<Wrapping<i16>>>::Output;
impl<'a> Rem<&'a u32> for u32 type Output = <u32 as Rem<u32>>::Output;
impl<'a> Rem<&'a Wrapping<u8>> for Wrapping<u8> type Output = <Wrapping<u8> as Rem<Wrapping<u8>>>::Output;
impl<'a, 'b> Rem<&'a Wrapping<usize>> for &'b Wrapping<usize> type Output = <Wrapping<usize> as Rem<Wrapping<usize>>>::Output;
impl<'a, 'b> Rem<&'a i8> for &'b i8 type Output = <i8 as Rem<i8>>::Output;
impl Rem<f64> for f64 type Output = f64;
impl<'a> Rem<Wrapping<i8>> for &'a Wrapping<i8> type Output = <Wrapping<i8> as Rem<Wrapping<i8>>>::Output;
impl<'a, 'b> Rem<&'a Wrapping<i32>> for &'b Wrapping<i32> type Output = <Wrapping<i32> as Rem<Wrapping<i32>>>::Output;
impl<'a, 'b> Rem<&'a f32> for &'b f32 type Output = <f32 as Rem<f32>>::Output;
impl<'a> Rem<Wrapping<u32>> for &'a Wrapping<u32> type Output = <Wrapping<u32> as Rem<Wrapping<u32>>>::Output;
impl Rem<i64> for i64 type Output = i64;
© 2010 The Rust Project Developers
Licensed under the Apache License, Version 2.0 or the MIT license, at your option.
https://doc.rust-lang.org/std/ops/trait.Rem.html