Trait vstd::prelude::SpecEuclideanDiv

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

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

Required Associated Types

type Output

Required Methods

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

Implementations on Foreign Types

impl SpecEuclideanDiv for i8

type Output = int

fn spec_euclidean_div(self, _rhs: i8) -> <i8 as SpecEuclideanDiv>::Output

impl SpecEuclideanDiv for i16

type Output = int

fn spec_euclidean_div(self, _rhs: i16) -> <i16 as SpecEuclideanDiv>::Output

impl SpecEuclideanDiv for i32

type Output = int

fn spec_euclidean_div(self, _rhs: i32) -> <i32 as SpecEuclideanDiv>::Output

impl SpecEuclideanDiv for i64

type Output = int

fn spec_euclidean_div(self, _rhs: i64) -> <i64 as SpecEuclideanDiv>::Output

impl SpecEuclideanDiv for i128

type Output = int

fn spec_euclidean_div(self, _rhs: i128) -> <i128 as SpecEuclideanDiv>::Output

impl SpecEuclideanDiv for isize

type Output = int

fn spec_euclidean_div(self, _rhs: isize) -> <isize as SpecEuclideanDiv>::Output

impl SpecEuclideanDiv for u8

type Output = u8

fn spec_euclidean_div(self, _rhs: u8) -> <u8 as SpecEuclideanDiv>::Output

impl SpecEuclideanDiv for u16

type Output = u16

fn spec_euclidean_div(self, _rhs: u16) -> <u16 as SpecEuclideanDiv>::Output

impl SpecEuclideanDiv for u32

type Output = u32

fn spec_euclidean_div(self, _rhs: u32) -> <u32 as SpecEuclideanDiv>::Output

impl SpecEuclideanDiv for u64

type Output = u64

fn spec_euclidean_div(self, _rhs: u64) -> <u64 as SpecEuclideanDiv>::Output

impl SpecEuclideanDiv for u128

type Output = u128

fn spec_euclidean_div(self, _rhs: u128) -> <u128 as SpecEuclideanDiv>::Output

impl SpecEuclideanDiv for usize

type Output = usize

fn spec_euclidean_div(self, _rhs: usize) -> <usize as SpecEuclideanDiv>::Output

Implementors

impl SpecEuclideanDiv for int

type Output = int

impl SpecEuclideanDiv for nat

type Output = nat