[−][src]Struct type_freak::numeric::AddOneFunctor

pub struct AddOneFunctor;

A Functor that increases input typenum integer by one.

Trait Implementations

impl<Value> Functor<Value> for AddOneFunctor where
    Value: Add<B1>, [src]

type Output = Add1<Value>

Auto Trait Implementations

Blanket Implementations

impl<Cond, Output> If<Cond> for Output[src]

type Output = <FirstOfFunctor as Functor<(Output, Cond)>>::Output

impl<Same, Output> IfSame<Same, Same> for Output[src]

type Output = Output

impl<Output> IfPredicate<B1> for Output[src]

type Output = Output

impl<Output> IfNotPredicate<B0> for Output[src]

type Output = Output

impl<TrueOutput, FalseOutput> IfElsePredicate<B1, FalseOutput> for TrueOutput[src]

type Output = TrueOutput

impl<TrueOutput, FalseOutput> IfElsePredicate<B0, FalseOutput> for TrueOutput[src]

type Output = FalseOutput

impl<Lhs, Rhs, Output> IfLess<Lhs, Rhs> for Output where
    Lhs: IsLess<Rhs>,
    Output: IfPredicate<<Lhs as IsLess<Rhs>>::Output>,
    <Lhs as IsLess<Rhs>>::Output: Boolean, [src]

type Output = <Output as IfPredicate<<Lhs as IsLess<Rhs>>::Output>>::Output

impl<Lhs, Rhs, Output, Else> IfElseLess<Lhs, Rhs, Else> for Output where
    Lhs: IsLess<Rhs>,
    Output: IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>,
    <Lhs as IsLess<Rhs>>::Output: Boolean, [src]

type Output = <Output as IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>>::Output

impl<Lhs, Rhs, Output> IfLessOrEqual<Lhs, Rhs> for Output where
    Lhs: IsLessOrEqual<Rhs>,
    Output: IfPredicate<<Lhs as IsLessOrEqual<Rhs>>::Output>,
    <Lhs as IsLessOrEqual<Rhs>>::Output: Boolean, [src]

type Output = <Output as IfPredicate<<Lhs as IsLessOrEqual<Rhs>>::Output>>::Output

impl<Lhs, Rhs, Output, Else> IfElseLessOrEqual<Lhs, Rhs, Else> for Output where
    Lhs: IsLess<Rhs>,
    Output: IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>,
    <Lhs as IsLess<Rhs>>::Output: Boolean, [src]

type Output = <Output as IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>>::Output

impl<Lhs, Rhs, Output> IfGreater<Lhs, Rhs> for Output where
    Lhs: IsGreater<Rhs>,
    Output: IfPredicate<<Lhs as IsGreater<Rhs>>::Output>,
    <Lhs as IsGreater<Rhs>>::Output: Boolean, [src]

type Output = <Output as IfPredicate<<Lhs as IsGreater<Rhs>>::Output>>::Output

impl<Lhs, Rhs, Output, Else> IfElseGreater<Lhs, Rhs, Else> for Output where
    Lhs: IsLess<Rhs>,
    Output: IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>,
    <Lhs as IsLess<Rhs>>::Output: Boolean, [src]

type Output = <Output as IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>>::Output

impl<Lhs, Rhs, Output> IfGreaterOrEqual<Lhs, Rhs> for Output where
    Lhs: IsGreaterOrEqual<Rhs>,
    Output: IfPredicate<<Lhs as IsGreaterOrEqual<Rhs>>::Output>,
    <Lhs as IsGreaterOrEqual<Rhs>>::Output: Boolean, [src]

type Output = <Output as IfPredicate<<Lhs as IsGreaterOrEqual<Rhs>>::Output>>::Output

impl<Lhs, Rhs, Output, Else> IfElseGreaterOrEqual<Lhs, Rhs, Else> for Output where
    Lhs: IsLess<Rhs>,
    Output: IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>,
    <Lhs as IsLess<Rhs>>::Output: Boolean, [src]

type Output = <Output as IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>>::Output

impl<Lhs, Rhs, Output> IfEqual<Lhs, Rhs> for Output where
    Lhs: IsEqual<Rhs>,
    Output: IfPredicate<<Lhs as IsEqual<Rhs>>::Output>,
    <Lhs as IsEqual<Rhs>>::Output: Boolean, [src]

type Output = <Output as IfPredicate<<Lhs as IsEqual<Rhs>>::Output>>::Output

impl<Lhs, Rhs, Output, Else> IfElseEqual<Lhs, Rhs, Else> for Output where
    Lhs: IsEqual<Rhs>,
    Output: IfElsePredicate<<Lhs as IsEqual<Rhs>>::Output, Else>,
    <Lhs as IsEqual<Rhs>>::Output: Boolean, [src]

type Output = <Output as IfElsePredicate<<Lhs as IsEqual<Rhs>>::Output, Else>>::Output

impl<Output> IfZero<B0> for Output[src]

type Output = Output

impl<Output> IfZero<Z0> for Output[src]

type Output = Output

impl<Output> IfZero<UTerm> for Output[src]

type Output = Output

impl<Value, Output> IfNonZero<Value> for Output where
    Value: NonZero, [src]

type Output = Output

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> From<T> for T[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Same<T> for T[src]

type Output = T

Should always be Self