[−][src]Struct type_freak::numeric::MaxComposeFunctor
A Functor type that gets maximum of inputs.
Trait Implementations
impl<Lhs, Rhs> Functor<(Lhs, Rhs)> for MaxComposeFunctor where
Rhs: IsGreater<Lhs> + IfElsePredicate<Gr<Rhs, Lhs>, Lhs>,
Gr<Rhs, Lhs>: Boolean,
[src]
Rhs: IsGreater<Lhs> + IfElsePredicate<Gr<Rhs, Lhs>, Lhs>,
Gr<Rhs, Lhs>: Boolean,
type Output = IfElsePredicateOutput<Rhs, Gr<Rhs, Lhs>, Lhs>
Auto Trait Implementations
impl Send for MaxComposeFunctor
impl Unpin for MaxComposeFunctor
impl Sync for MaxComposeFunctor
impl UnwindSafe for MaxComposeFunctor
impl RefUnwindSafe for MaxComposeFunctor
Blanket Implementations
impl<Cond, Output> If<Cond> for Output
[src]
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]
Lhs: IsLess<Rhs>,
Output: IfPredicate<<Lhs as IsLess<Rhs>>::Output>,
<Lhs as IsLess<Rhs>>::Output: Boolean,
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]
Lhs: IsLess<Rhs>,
Output: IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>,
<Lhs as IsLess<Rhs>>::Output: Boolean,
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]
Lhs: IsLessOrEqual<Rhs>,
Output: IfPredicate<<Lhs as IsLessOrEqual<Rhs>>::Output>,
<Lhs as IsLessOrEqual<Rhs>>::Output: Boolean,
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]
Lhs: IsLess<Rhs>,
Output: IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>,
<Lhs as IsLess<Rhs>>::Output: Boolean,
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]
Lhs: IsGreater<Rhs>,
Output: IfPredicate<<Lhs as IsGreater<Rhs>>::Output>,
<Lhs as IsGreater<Rhs>>::Output: Boolean,
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]
Lhs: IsLess<Rhs>,
Output: IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>,
<Lhs as IsLess<Rhs>>::Output: Boolean,
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]
Lhs: IsGreaterOrEqual<Rhs>,
Output: IfPredicate<<Lhs as IsGreaterOrEqual<Rhs>>::Output>,
<Lhs as IsGreaterOrEqual<Rhs>>::Output: Boolean,
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]
Lhs: IsLess<Rhs>,
Output: IfElsePredicate<<Lhs as IsLess<Rhs>>::Output, Else>,
<Lhs as IsLess<Rhs>>::Output: Boolean,
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]
Lhs: IsEqual<Rhs>,
Output: IfPredicate<<Lhs as IsEqual<Rhs>>::Output>,
<Lhs as IsEqual<Rhs>>::Output: Boolean,
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]
Lhs: IsEqual<Rhs>,
Output: IfElsePredicate<<Lhs as IsEqual<Rhs>>::Output, Else>,
<Lhs as IsEqual<Rhs>>::Output: Boolean,
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]
Value: NonZero,
type Output = Output
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for T
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Same<T> for T
[src]
type Output = T
Should always be Self