[−][src]Struct type_freak::list::LNil
Represents the end of list.
Trait Implementations
impl<Func> Functor<LNil> for FMapFunctor<Func>
[src]
impl Functor<LNil> for ApplicativeFunctor<LNil>
[src]
impl<RHead, RTail> Functor<LNil> for ApplicativeFunctor<LCons<RHead, RTail>> where
RTail: TList,
[src]
RTail: TList,
impl KVList for LNil
[src]
impl<List> KVRemoveManyOp<LNil, LNil> for List where
List: KVList,
[src]
List: KVList,
type Output = List
impl<Func> LMapOp<Func> for LNil
[src]
impl<Init, Func> LFoldOp<Init, Func> for LNil
[src]
type Output = Init
impl<Func> LFilterOp<Func> for LNil
[src]
impl<State, Func> LScanOp<State, Func> for LNil
[src]
impl<List> LIndexOfManyOp<LNil, LNil> for List where
List: TList,
[src]
List: TList,
impl<Item> LAppendOp<Item> for LNil
[src]
impl EmptyTList for LNil
[src]
impl LLengthOp for LNil
[src]
impl LSetEqualOp<LNil, LNil> for LNil
[src]
impl<Rhs> LConcatOp<Rhs> for LNil where
Rhs: TList,
[src]
Rhs: TList,
type Output = Rhs
impl LToUsizeVec for LNil
[src]
fn to_usize_vec() -> Vec<usize>
[src]
fn append_usize_vec(_values: &mut Vec<usize>)
[src]
impl<List> LRemoveManyOp<LNil, LNil> for List where
List: TList,
[src]
List: TList,
type Output = List
impl<Head, Tail> LZipOp<LNil> for LCons<Head, Tail> where
Tail: TList,
[src]
Tail: TList,
impl<Head, Tail> LZipOp<LCons<Head, Tail>> for LNil where
Tail: TList,
[src]
Tail: TList,
impl LZipOp<LNil> for LNil
[src]
impl LUnzipOp for LNil
[src]
type FormerOutput = LNil
type LatterOutput = LNil
impl TList for LNil
[src]
Auto Trait Implementations
impl Sync for LNil
impl Send for LNil
impl Unpin for LNil
impl UnwindSafe for LNil
impl RefUnwindSafe for LNil
Blanket Implementations
impl<List> KVRemoveManyOp<LNil, LNil> for List where
List: KVList,
[src]
List: KVList,
type Output = List
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<List> KVRemoveManyOp<LNil, LNil> for List where
List: KVList,
[src]
List: KVList,
type Output = List
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