Trait typenum::type_operators::Min

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

    fn min(self, rhs: Rhs) -> Self::Output;
}

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

Required Associated Types

type Output

The type of the minimum of Self and Rhs

Required Methods

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

Method returning the minimum

Implementors

impl Min<B0> for B0

type Output = B0

impl Min<B0> for B1

type Output = B0

impl Min<B1> for B0

type Output = B0

impl Min<B1> for B1

type Output = B1

impl Min<Z0> for Z0

type Output = Z0

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

type Output = NInt<U>

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

type Output = Z0

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

type Output = NInt<U>

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

type Output = Z0

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

type Output = UTerm

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

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

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

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

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

type Output = NInt<Ur>

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

type Output = NInt<Ul>

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

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