Trait Max

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

    // Required method
    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 for B0

type Output = B0

impl Max for B1

type Output = B1

impl Max for Z0

type Output = Z0

impl Max<B0> for B1

type Output = B1

impl Max<B1> for B0

type Output = B1

impl<U> Max<NInt<U>> for Z0

where U: Unsigned + NonZero,

type Output = Z0

impl<U> Max<PInt<U>> for Z0

where 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 UTerm

where 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>