[−][src]Struct type_freak::list::LInsertAtFunctor

pub struct LInsertAtFunctor<Item, Target, Index> where
    Index: Counter,  { /* fields omitted */ }

A Functor that inserts Item at Target to a TList.

Trait Implementations

impl<List, Item, Target, Index> Functor<List> for LInsertAtFunctor<Item, Target, Index> where
    Index: Counter,
    List: LInsertAtOp<Item, Target, Index>, [src]

type Output = LInsertAtOpOutput<List, Item, Target, Index>

Auto Trait Implementations

impl<Item, Target, Index> Sync for LInsertAtFunctor<Item, Target, Index> where
    Index: Sync,
    Item: Sync,
    Target: Sync, 

impl<Item, Target, Index> Send for LInsertAtFunctor<Item, Target, Index> where
    Index: Send,
    Item: Send,
    Target: Send, 

impl<Item, Target, Index> Unpin for LInsertAtFunctor<Item, Target, Index> where
    Index: Unpin,
    Item: Unpin,
    Target: Unpin, 

impl<Item, Target, Index> UnwindSafe for LInsertAtFunctor<Item, Target, Index> where
    Index: UnwindSafe,
    Item: UnwindSafe,
    Target: UnwindSafe, 

impl<Item, Target, Index> RefUnwindSafe for LInsertAtFunctor<Item, Target, Index> where
    Index: RefUnwindSafe,
    Item: RefUnwindSafe,
    Target: RefUnwindSafe, 

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