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.

Required 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

impl Max<B0> for B1

type Output = B1

impl Max<B1> for B0

type Output = B1

impl Max<B1> for B1

type Output = B1

impl Max<Z0> for Z0

type Output = Z0

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

type Output = Z0

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

type Output = PInt<U>

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

type Output = Z0

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

type Output = PInt<U>

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

type Output = U

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

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>

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

type Output = PInt<Ul>

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

type Output = PInt<Ur>

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>