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

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

A type operator that returns the maximum of Self and Rhs.

Required Associated Types§

source

type Output

The type of the maximum of Self and Rhs

Required Methods§

source

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

Method returning the maximum

Implementors§

source§

impl Max<B0> for B0

§

type Output = B0

source§

impl Max<B0> for B1

§

type Output = B1

source§

impl Max<B1> for B0

§

type Output = B1

source§

impl Max<B1> for B1

§

type Output = B1

source§

impl Max<Z0> for Z0

§

type Output = Z0

source§

impl<U> Max<NInt<U>> for Z0where U: Unsigned + NonZero,

§

type Output = Z0

source§

impl<U> Max<PInt<U>> for Z0where U: Unsigned + NonZero,

§

type Output = PInt<U>

source§

impl<U> Max<Z0> for NInt<U>where U: Unsigned + NonZero,

§

type Output = Z0

source§

impl<U> Max<Z0> for PInt<U>where U: Unsigned + NonZero,

§

type Output = PInt<U>

source§

impl<U> Max<U> for UTermwhere U: Unsigned,

§

type Output = U

source§

impl<U, B, Ur> Max<Ur> for UInt<U, B>where U: Unsigned, B: Bit, Ur: Unsigned, UInt<U, B>: Cmp<Ur> + PrivateMax<Ur, Compare<UInt<U, B>, Ur>>,

§

type Output = <UInt<U, B> as PrivateMax<Ur, <UInt<U, B> as Cmp<Ur>>::Output>>::Output

source§

impl<Ul, Ur> Max<NInt<Ur>> for NInt<Ul>where Ul: Unsigned + NonZero + Min<Ur>, Ur: Unsigned + NonZero, Minimum<Ul, Ur>: Unsigned + NonZero,

§

type Output = NInt<<Ul as Min<Ur>>::Output>

source§

impl<Ul, Ur> Max<NInt<Ur>> for PInt<Ul>where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero,

§

type Output = PInt<Ul>

source§

impl<Ul, Ur> Max<PInt<Ur>> for NInt<Ul>where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero,

§

type Output = PInt<Ur>

source§

impl<Ul, Ur> Max<PInt<Ur>> for PInt<Ul>where Ul: Unsigned + NonZero + Max<Ur>, Ur: Unsigned + NonZero, Maximum<Ul, Ur>: Unsigned + NonZero,

§

type Output = PInt<<Ul as Max<Ur>>::Output>