Max in typenum::type_operators - Rust
Description: A type operator that returns the maximum of `Self` and `Rhs`.
Keywords: rust, rustlang, rust-lang, Max

# Trait typenum::type_operators::Max

source ·

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

        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 Z0 where
U: Unsigned + NonZero,

§

#### type Output = Z0

source§

### impl<U> Max<PInt<U>> for Z0 where
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 UTerm where
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>