Trait hacspec_lib::prelude::Rem
1.0.0 · source · [−]Expand description
The remainder operator %.
Note that Rhs is Self by default, but this is not mandatory.
Examples
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 = Self;
fn rem(self, modulus: usize) -> Self::Output {
let len = self.slice.len();
let rem = len % modulus;
let start = len - rem;
Self {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] });Required Associated Types
Required Methods
Implementors
const: unstable · sourceimpl Rem<f32> for f32
impl Rem<f32> for f32
The remainder from the division of two floats.
The remainder has the same sign as the dividend and is computed as:
x - (x / y).trunc() * y.
Examples
let x: f32 = 50.50;
let y: f32 = 8.125;
let remainder = x - (x / y).trunc() * y;
// The answer to both operations is 1.75
assert_eq!(x % y, remainder);const: unstable · sourceimpl Rem<f64> for f64
impl Rem<f64> for f64
The remainder from the division of two floats.
The remainder has the same sign as the dividend and is computed as:
x - (x / y).trunc() * y.
Examples
let x: f32 = 50.50;
let y: f32 = 8.125;
let remainder = x - (x / y).trunc() * y;
// The answer to both operations is 1.75
assert_eq!(x % y, remainder);const: unstable · sourceimpl Rem<i8> for i8
impl Rem<i8> for i8
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0 or if self / other results in overflow.
const: unstable · sourceimpl Rem<i16> for i16
impl Rem<i16> for i16
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0 or if self / other results in overflow.
const: unstable · sourceimpl Rem<i32> for i32
impl Rem<i32> for i32
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0 or if self / other results in overflow.
const: unstable · sourceimpl Rem<i64> for i64
impl Rem<i64> for i64
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0 or if self / other results in overflow.
const: unstable · sourceimpl Rem<i128> for i128
impl Rem<i128> for i128
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0 or if self / other results in overflow.
const: unstable · sourceimpl Rem<isize> for isize
impl Rem<isize> for isize
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0 or if self / other results in overflow.
const: unstable · sourceimpl Rem<u8> for u8
impl Rem<u8> for u8
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0.
const: unstable · sourceimpl Rem<u16> for u16
impl Rem<u16> for u16
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0.
const: unstable · sourceimpl Rem<u32> for u32
impl Rem<u32> for u32
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0.
const: unstable · sourceimpl Rem<u64> for u64
impl Rem<u64> for u64
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0.
const: unstable · sourceimpl Rem<u128> for u128
impl Rem<u128> for u128
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0.
const: unstable · sourceimpl Rem<usize> for usize
impl Rem<usize> for usize
This operation satisfies n % d == n - (n / d) * d. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0.