Trait typenum::type_operators::Min

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

    // Required method
    fn min(self, rhs: Rhs) -> Self::Output;
}
Expand description

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

Required Associated Types§

source

type Output

The type of the minimum of Self and Rhs

Required Methods§

source

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

Method returning the minimum

Implementors§

source§

impl Min for B0

§

type Output = B0

source§

impl Min for B1

§

type Output = B1

source§

impl Min for Z0

§

type Output = Z0

source§

impl Min<B0> for B1

§

type Output = B0

source§

impl Min<B1> for B0

§

type Output = B0

source§

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

§

type Output = NInt<U>

source§

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

§

type Output = Z0

source§

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

§

type Output = NInt<U>

source§

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

§

type Output = Z0

source§

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

source§

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

source§

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>

source§

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

§

type Output = NInt<Ur>

source§

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

§

type Output = NInt<Ul>

source§

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>