Trait typenum::type_operators::Max

pub trait Max<Rhs = Self> {
    type Output;
    fn max(self, rhs: Rhs) -> Self::Output;
}

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

Associated Types

type Output

The type of the maximum of Self and Rhs

Required Methods

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

Method returning the maximum

Implementors

impl Max<B0> for B0

type Output = B0

fn max(self, _: B0) -> B0

impl Max<B0> for B1

type Output = B1

fn max(self, _: B0) -> B1

impl Max<B1> for B0

type Output = B1

fn max(self, rhs: B1) -> B1

impl Max<B1> for B1

type Output = B1

fn max(self, _: B1) -> B1

impl Max<Z0> for Z0

type Output = Z0

fn max(self, _: Z0) -> Self::Output

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

type Output = Z0

fn max(self, _: NInt<U>) -> Self::Output

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

type Output = PInt<U>

fn max(self, rhs: PInt<U>) -> Self::Output

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

type Output = PInt<U>

fn max(self, _: Z0) -> Self::Output

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

type Output = Z0

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

impl<U> Max<U> for UTerm where     U: Unsigned,

type Output = U

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

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 = PrivateMaxOut<UInt<U, B>, Ur, Compare<UInt<U, B>, Ur>>

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

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<Minimum<Ul, Ur>>

fn max(self, rhs: NInt<Ur>) -> Self::Output

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

type Output = PInt<Ul>

fn max(self, _: NInt<Ur>) -> Self::Output

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

type Output = PInt<Ur>

fn max(self, rhs: PInt<Ur>) -> Self::Output

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<Maximum<Ul, Ur>>

fn max(self, rhs: PInt<Ur>) -> Self::Output