Struct tylisp::HCons [−][src]
pub struct HCons<H, T> { pub head: H, pub tail: T, }
Fields
head: H
tail: T
Trait Implementations
impl<H: Calc<QH>, T, QH, QT> Calc<HCons<QH, QT>> for HCons<H, T> where
H::Result: Call,
<H::Result as Call>::Conv: CalcImpl<H::Result, T, QT>,
[src]
impl<H: Calc<QH>, T, QH, QT> Calc<HCons<QH, QT>> for HCons<H, T> where
H::Result: Call,
<H::Result as Call>::Conv: CalcImpl<H::Result, T, QT>,
[src]impl<QH, QT, H, T> CalcList<HCons<QH, QT>> for HCons<H, T> where
H: Calc<QH>,
T: CalcList<QT>,
[src]
impl<QH, QT, H, T> CalcList<HCons<QH, QT>> for HCons<H, T> where
H: Calc<QH>,
T: CalcList<QT>,
[src]impl<H, T, Test, Step> CollatedBy<Test> for HCons<H, T> where
HCons<Test, HCons<Quote<H>, HNil>>: Eval<Result = Step>,
Step: CollateStep<Test, H, T>,
[src]
impl<H, T, Test, Step> CollatedBy<Test> for HCons<H, T> where
HCons<Test, HCons<Quote<H>, HNil>>: Eval<Result = Step>,
Step: CollateStep<Test, H, T>,
[src]impl<H: Eval, T> Eval for HCons<H, T> where
H::Result: Call,
<H::Result as Call>::Conv: CallImpl<H::Result, T>,
[src]
impl<H: Eval, T> Eval for HCons<H, T> where
H::Result: Call,
<H::Result as Call>::Conv: CallImpl<H::Result, T>,
[src]impl<A: List, B: List> FunCalc<HCons<A, HCons<B, HNil>>> for Concat where
HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<A>, HNil>>, HCons<Ret, HCons<Quote<ConcatCont<A>>, HNil>>>>, HCons<Quote<B>, HNil>>: Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<ConcatCont<A>, HNil>>>>, HCons<B, HNil>>>,
[src]
impl<A: List, B: List> FunCalc<HCons<A, HCons<B, HNil>>> for Concat where
HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<A>, HNil>>, HCons<Ret, HCons<Quote<ConcatCont<A>>, HNil>>>>, HCons<Quote<B>, HNil>>: Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<ConcatCont<A>, HNil>>>>, HCons<B, HNil>>>,
[src]type Result = <HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<A>, HNil>>, HCons<Ret, HCons<Quote<ConcatCont<A>>, HNil>>>>, HCons<Quote<B>, HNil>> as Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<ConcatCont<A>, HNil>>>>, HCons<B, HNil>>>>::Result
fn calc(self, args: HCons<A, HCons<B, HNil>>) -> Self::Result
[src]
impl<A: List, B: List> FunCalc<HCons<A, HCons<B, HNil>>> for Union where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<A>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HCons<HCons<Union, HCons<Quote<A::Tail>, HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<A::Head>, HCons<Quote<B>, HNil>>>, HNil>>>, HCons<HCons<Cons, HCons<Quote<A::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<B>, HNil>>, HCons<HCons<(), HCons<A::Tail, HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HNil>>>, HCons<HCons<(), HCons<A::Head, HCons<HCons<(), HCons<Rc<B>, HNil>>, HNil>>>, HCons<HCons<(), HCons<Rc<B>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>>,
[src]
impl<A: List, B: List> FunCalc<HCons<A, HCons<B, HNil>>> for Union where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<A>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HCons<HCons<Union, HCons<Quote<A::Tail>, HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<A::Head>, HCons<Quote<B>, HNil>>>, HNil>>>, HCons<HCons<Cons, HCons<Quote<A::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<B>, HNil>>, HCons<HCons<(), HCons<A::Tail, HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HNil>>>, HCons<HCons<(), HCons<A::Head, HCons<HCons<(), HCons<Rc<B>, HNil>>, HNil>>>, HCons<HCons<(), HCons<Rc<B>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>>,
[src]type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<A>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HCons<HCons<Union, HCons<Quote<A::Tail>, HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<A::Head>, HCons<Quote<B>, HNil>>>, HNil>>>, HCons<HCons<Cons, HCons<Quote<A::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>> as Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<B>, HNil>>, HCons<HCons<(), HCons<A::Tail, HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HNil>>>, HCons<HCons<(), HCons<A::Head, HCons<HCons<(), HCons<Rc<B>, HNil>>, HNil>>>, HCons<HCons<(), HCons<Rc<B>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>>>::Result
fn calc(self, args: HCons<A, HCons<B, HNil>>) -> Self::Result
[src]
impl<H, T, Accum> FunCalc<HCons<Accum, HNil>> for ConcatCont<HCons<H, T>> where
HCons<Cons, HCons<Quote<H>, HCons<HCons<Concat, HCons<Quote<T>, HCons<Quote<Accum>, HNil>>>, HNil>>>: Calc<HCons<(), HCons<H, HCons<HCons<(), HCons<T, HCons<Accum, HNil>>>, HNil>>>>,
[src]
impl<H, T, Accum> FunCalc<HCons<Accum, HNil>> for ConcatCont<HCons<H, T>> where
HCons<Cons, HCons<Quote<H>, HCons<HCons<Concat, HCons<Quote<T>, HCons<Quote<Accum>, HNil>>>, HNil>>>: Calc<HCons<(), HCons<H, HCons<HCons<(), HCons<T, HCons<Accum, HNil>>>, HNil>>>>,
[src]impl FunCalc<HCons<B0, HNil>> for Not where
HCons<Ret, HCons<Quote<True>, HNil>>: Calc<HCons<(), HCons<True, HNil>>>,
[src]
impl FunCalc<HCons<B0, HNil>> for Not where
HCons<Ret, HCons<Quote<True>, HNil>>: Calc<HCons<(), HCons<True, HNil>>>,
[src]impl FunCalc<HCons<B1, HNil>> for Not where
HCons<Ret, HCons<Quote<False>, HNil>>: Calc<HCons<(), HCons<False, HNil>>>,
[src]
impl FunCalc<HCons<B1, HNil>> for Not where
HCons<Ret, HCons<Quote<False>, HNil>>: Calc<HCons<(), HCons<False, HNil>>>,
[src]impl<'a, Func, L: List> FunCalc<HCons<Func, HCons<&'a L, HNil>>> for MapRef where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<Cons, HCons<HCons<Func, HCons<Quote<&'a L::Head>, HNil>>, HCons<HCons<MapRef, HCons<Func, HCons<Quote<&'a L::Tail>, HNil>>>, HNil>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<&'a L::Head, HNil>>, HCons<HCons<(), HCons<(), HCons<&'a L::Tail, HNil>>>, HNil>>>, HNil>>>>>,
[src]
impl<'a, Func, L: List> FunCalc<HCons<Func, HCons<&'a L, HNil>>> for MapRef where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<Cons, HCons<HCons<Func, HCons<Quote<&'a L::Head>, HNil>>, HCons<HCons<MapRef, HCons<Func, HCons<Quote<&'a L::Tail>, HNil>>>, HNil>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<&'a L::Head, HNil>>, HCons<HCons<(), HCons<(), HCons<&'a L::Tail, HNil>>>, HNil>>>, HNil>>>>>,
[src]type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<Cons, HCons<HCons<Func, HCons<Quote<&'a L::Head>, HNil>>, HCons<HCons<MapRef, HCons<Func, HCons<Quote<&'a L::Tail>, HNil>>>, HNil>>>, HNil>>>> as Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<&'a L::Head, HNil>>, HCons<HCons<(), HCons<(), HCons<&'a L::Tail, HNil>>>, HNil>>>, HNil>>>>>>::Result
fn calc(self, args: HCons<Func, HCons<&'a L, HNil>>) -> Self::Result
[src]
impl<Func, Acc, L: List> FunCalc<HCons<Func, HCons<Acc, HCons<L, HNil>>>> for FoldL where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<HCons<FoldL, HCons<Func, HCons<HCons<Func, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<Quote<L::Head>, HNil>>>, HCons<Quote<L::Tail>, HNil>>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<Acc>, HNil>>, HCons<HCons<(), HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<Rc<Acc>, HNil>>, HCons<L::Head, HNil>>>, HCons<L::Tail, HNil>>>>, HNil>>>>>,
[src]
impl<Func, Acc, L: List> FunCalc<HCons<Func, HCons<Acc, HCons<L, HNil>>>> for FoldL where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<HCons<FoldL, HCons<Func, HCons<HCons<Func, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<Quote<L::Head>, HNil>>>, HCons<Quote<L::Tail>, HNil>>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<Acc>, HNil>>, HCons<HCons<(), HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<Rc<Acc>, HNil>>, HCons<L::Head, HNil>>>, HCons<L::Tail, HNil>>>>, HNil>>>>>,
[src]type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<HCons<FoldL, HCons<Func, HCons<HCons<Func, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<Quote<L::Head>, HNil>>>, HCons<Quote<L::Tail>, HNil>>>>, HNil>>>> as Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<Acc>, HNil>>, HCons<HCons<(), HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<Rc<Acc>, HNil>>, HCons<L::Head, HNil>>>, HCons<L::Tail, HNil>>>>, HNil>>>>>>::Result
fn calc(self, args: HCons<Func, HCons<Acc, HCons<L, HNil>>>) -> Self::Result
[src]
impl<Func, L: List, Init> FunCalc<HCons<Func, HCons<L, HCons<Init, HNil>>>> for FoldR where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HCons<HCons<Func, HCons<Quote<L::Head>, HCons<HCons<FoldR, HCons<Func, HCons<Quote<L::Tail>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<Init>, HNil>>, HCons<HCons<(), HCons<L::Head, HCons<HCons<(), HCons<(), HCons<L::Tail, HCons<HCons<(), HCons<Rc<Init>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>>,
[src]
impl<Func, L: List, Init> FunCalc<HCons<Func, HCons<L, HCons<Init, HNil>>>> for FoldR where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HCons<HCons<Func, HCons<Quote<L::Head>, HCons<HCons<FoldR, HCons<Func, HCons<Quote<L::Tail>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<Init>, HNil>>, HCons<HCons<(), HCons<L::Head, HCons<HCons<(), HCons<(), HCons<L::Tail, HCons<HCons<(), HCons<Rc<Init>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>>,
[src]type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HCons<HCons<Func, HCons<Quote<L::Head>, HCons<HCons<FoldR, HCons<Func, HCons<Quote<L::Tail>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>> as Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<Init>, HNil>>, HCons<HCons<(), HCons<L::Head, HCons<HCons<(), HCons<(), HCons<L::Tail, HCons<HCons<(), HCons<Rc<Init>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>>>::Result
fn calc(self, args: HCons<Func, HCons<L, HCons<Init, HNil>>>) -> Self::Result
[src]
impl<Func, L: List> FunCalc<HCons<Func, HCons<L, HNil>>> for Map where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<Cons, HCons<HCons<Func, HCons<Quote<L::Head>, HNil>>, HCons<HCons<Map, HCons<Func, HCons<Quote<L::Tail>, HNil>>>, HNil>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<L::Head, HNil>>, HCons<HCons<(), HCons<(), HCons<L::Tail, HNil>>>, HNil>>>, HNil>>>>>,
[src]
impl<Func, L: List> FunCalc<HCons<Func, HCons<L, HNil>>> for Map where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<Cons, HCons<HCons<Func, HCons<Quote<L::Head>, HNil>>, HCons<HCons<Map, HCons<Func, HCons<Quote<L::Tail>, HNil>>>, HNil>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<L::Head, HNil>>, HCons<HCons<(), HCons<(), HCons<L::Tail, HNil>>>, HNil>>>, HNil>>>>>,
[src]type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<Cons, HCons<HCons<Func, HCons<Quote<L::Head>, HNil>>, HCons<HCons<Map, HCons<Func, HCons<Quote<L::Tail>, HNil>>>, HNil>>>, HNil>>>> as Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<L::Head, HNil>>, HCons<HCons<(), HCons<(), HCons<L::Tail, HNil>>>, HNil>>>, HNil>>>>>>::Result
fn calc(self, args: HCons<Func, HCons<L, HNil>>) -> Self::Result
[src]
impl<Func, L: List> FunCalc<HCons<Func, HCons<L, HNil>>> for Filter where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<HCons<If, HCons<HCons<Func, HCons<Quote<L::Head>, HNil>>, HCons<Quote<Prepend<L::Head>>, HCons<Ret, HNil>>>>, HCons<HCons<Filter, HCons<Func, HCons<Quote<L::Tail>, HNil>>>, HNil>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<HCons<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<Prepend<L::Head>, HCons<(), HNil>>>>, HCons<HCons<(), HCons<(), HCons<L::Tail, HNil>>>, HNil>>, HNil>>>>>,
[src]
impl<Func, L: List> FunCalc<HCons<Func, HCons<L, HNil>>> for Filter where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<HCons<If, HCons<HCons<Func, HCons<Quote<L::Head>, HNil>>, HCons<Quote<Prepend<L::Head>>, HCons<Ret, HNil>>>>, HCons<HCons<Filter, HCons<Func, HCons<Quote<L::Tail>, HNil>>>, HNil>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<HCons<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<Prepend<L::Head>, HCons<(), HNil>>>>, HCons<HCons<(), HCons<(), HCons<L::Tail, HNil>>>, HNil>>, HNil>>>>>,
[src]type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<HCons<If, HCons<HCons<Func, HCons<Quote<L::Head>, HNil>>, HCons<Quote<Prepend<L::Head>>, HCons<Ret, HNil>>>>, HCons<HCons<Filter, HCons<Func, HCons<Quote<L::Tail>, HNil>>>, HNil>>, HNil>>>> as Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<HCons<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<Prepend<L::Head>, HCons<(), HNil>>>>, HCons<HCons<(), HCons<(), HCons<L::Tail, HNil>>>, HNil>>, HNil>>>>>>::Result
fn calc(self, args: HCons<Func, HCons<L, HNil>>) -> Self::Result
[src]
impl<H, T> FunCalc<HCons<H, HCons<T, HNil>>> for Cons where
HCons<Ret, HCons<Quote<HCons<H, T>>, HNil>>: Calc<HCons<(), HCons<HCons<H, T>, HNil>>>,
[src]
impl<H, T> FunCalc<HCons<H, HCons<T, HNil>>> for Cons where
HCons<Ret, HCons<Quote<HCons<H, T>>, HNil>>: Calc<HCons<(), HCons<HCons<H, T>, HNil>>>,
[src]impl<L: Add<R>, R> FunCalc<HCons<L, HCons<R, HNil>>> for Add where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Calc<HCons<(), HCons<L::Output, HNil>>>,
[src]
impl<L: Add<R>, R> FunCalc<HCons<L, HCons<R, HNil>>> for Add where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Calc<HCons<(), HCons<L::Output, HNil>>>,
[src]impl<L: Sub<R>, R> FunCalc<HCons<L, HCons<R, HNil>>> for Sub where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Calc<HCons<(), HCons<L::Output, HNil>>>,
[src]
impl<L: Sub<R>, R> FunCalc<HCons<L, HCons<R, HNil>>> for Sub where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Calc<HCons<(), HCons<L::Output, HNil>>>,
[src]impl<L: List> FunCalc<HCons<L, HNil>> for EmptyP where
HCons<Ret, HCons<Quote<L::IsEOL>, HNil>>: Calc<HCons<(), HCons<(), HNil>>>,
[src]
impl<L: List> FunCalc<HCons<L, HNil>> for EmptyP where
HCons<Ret, HCons<Quote<L::IsEOL>, HNil>>: Calc<HCons<(), HCons<(), HNil>>>,
[src]impl<L: List> FunCalc<HCons<L, HNil>> for Tail where
HCons<Ret, HCons<Quote<L::Tail>, HNil>>: Calc<HCons<(), HCons<L::Tail, HNil>>>,
[src]
impl<L: List> FunCalc<HCons<L, HNil>> for Tail where
HCons<Ret, HCons<Quote<L::Tail>, HNil>>: Calc<HCons<(), HCons<L::Tail, HNil>>>,
[src]impl<L: List> FunCalc<HCons<L, HNil>> for Head where
HCons<Ret, HCons<Quote<L::Head>, HNil>>: Calc<HCons<(), HCons<L::Head, HNil>>>,
[src]
impl<L: List> FunCalc<HCons<L, HNil>> for Head where
HCons<Ret, HCons<Quote<L::Head>, HNil>>: Calc<HCons<(), HCons<L::Head, HNil>>>,
[src]impl<L: List> FunCalc<HCons<L, HNil>> for Rev4 where
HCons<Rev4, HCons<Quote<L>, HCons<HNil, HNil>>>: Calc<HCons<(), HCons<L, HCons<HNil, HNil>>>>,
[src]
impl<L: List> FunCalc<HCons<L, HNil>> for Rev4 where
HCons<Rev4, HCons<Quote<L>, HCons<HNil, HNil>>>: Calc<HCons<(), HCons<L, HCons<HNil, HNil>>>>,
[src]impl<L: List> FunCalc<HCons<L, HNil>> for Rev5 where
HCons<Rev5, HCons<Quote<L>, HCons<HNil, HNil>>>: Calc<HCons<(), HCons<L, HCons<HNil, HNil>>>>,
[src]
impl<L: List> FunCalc<HCons<L, HNil>> for Rev5 where
HCons<Rev5, HCons<Quote<L>, HCons<HNil, HNil>>>: Calc<HCons<(), HCons<L, HCons<HNil, HNil>>>>,
[src]impl<Needle, H, T> FunCalc<HCons<Needle, HCons<HCons<H, T>, HNil>>> for Find where
HCons<If, HCons<HCons<Is, HCons<Needle, HCons<Quote<H>, HNil>>>, HCons<Here, HCons<HCons<WrapMissing, HCons<HCons<Find, HCons<Needle, HCons<Quote<T>, HNil>>>, HNil>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HNil>>, HNil>>>>>,
[src]
impl<Needle, H, T> FunCalc<HCons<Needle, HCons<HCons<H, T>, HNil>>> for Find where
HCons<If, HCons<HCons<Is, HCons<Needle, HCons<Quote<H>, HNil>>>, HCons<Here, HCons<HCons<WrapMissing, HCons<HCons<Find, HCons<Needle, HCons<Quote<T>, HNil>>>, HNil>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HNil>>, HNil>>>>>,
[src]type Result = <HCons<If, HCons<HCons<Is, HCons<Needle, HCons<Quote<H>, HNil>>>, HCons<Here, HCons<HCons<WrapMissing, HCons<HCons<Find, HCons<Needle, HCons<Quote<T>, HNil>>>, HNil>>, HNil>>>> as Calc<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HNil>>, HNil>>>>>>::Result
fn calc(self, args: HCons<Needle, HCons<HCons<H, T>, HNil>>) -> Self::Result
[src]
impl<Needle> FunCalc<HCons<Needle, HCons<HNil, HNil>>> for Find where
HCons<Ret, HCons<Missing, HNil>>: Calc<HCons<(), HCons<(), HNil>>>,
[src]
impl<Needle> FunCalc<HCons<Needle, HCons<HNil, HNil>>> for Find where
HCons<Ret, HCons<Missing, HNil>>: Calc<HCons<(), HCons<(), HNil>>>,
[src]impl<L: List, Needle: LispId> FunCalc<HCons<Needle, HCons<L, HNil>>> for Without where
HCons<Filter, HCons<HCons<Partial, HCons<IsNot, HCons<Quote<Needle>, HNil>>>, HCons<Quote<L>, HNil>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<L, HNil>>>>,
[src]
impl<L: List, Needle: LispId> FunCalc<HCons<Needle, HCons<L, HNil>>> for Without where
HCons<Filter, HCons<HCons<Partial, HCons<IsNot, HCons<Quote<Needle>, HNil>>>, HCons<Quote<L>, HNil>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<L, HNil>>>>,
[src]impl<Old: List, New: List> FunCalc<HCons<Old, HCons<New, HNil>>> for Rev4 where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HCons<HCons<Rev4, HCons<Quote<Old::Tail>, HCons<HCons<Cons, HCons<Quote<Old::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HNil>>>, HNil>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<New>, HNil>>, HCons<HCons<(), HCons<Old::Tail, HCons<HCons<(), HCons<Old::Head, HCons<HCons<(), HCons<Rc<New>, HNil>>, HNil>>>, HNil>>>, HNil>>>>>,
[src]
impl<Old: List, New: List> FunCalc<HCons<Old, HCons<New, HNil>>> for Rev4 where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HCons<HCons<Rev4, HCons<Quote<Old::Tail>, HCons<HCons<Cons, HCons<Quote<Old::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HNil>>>, HNil>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<New>, HNil>>, HCons<HCons<(), HCons<Old::Tail, HCons<HCons<(), HCons<Old::Head, HCons<HCons<(), HCons<Rc<New>, HNil>>, HNil>>>, HNil>>>, HNil>>>>>,
[src]type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HCons<HCons<Rev4, HCons<Quote<Old::Tail>, HCons<HCons<Cons, HCons<Quote<Old::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HNil>>>, HNil>>>, HNil>>>> as Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<New>, HNil>>, HCons<HCons<(), HCons<Old::Tail, HCons<HCons<(), HCons<Old::Head, HCons<HCons<(), HCons<Rc<New>, HNil>>, HNil>>>, HNil>>>, HNil>>>>>>::Result
fn calc(self, args: HCons<Old, HCons<New, HNil>>) -> Self::Result
[src]
impl<Old: List, New: List> FunCalc<HCons<Old, HCons<New, HNil>>> for Rev5 where
HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<Ret, HCons<Quote<RevCont<Old>>, HNil>>>>, HCons<Quote<New>, HNil>>: Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<RevCont<Old>, HNil>>>>, HCons<New, HNil>>>,
[src]
impl<Old: List, New: List> FunCalc<HCons<Old, HCons<New, HNil>>> for Rev5 where
HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<Ret, HCons<Quote<RevCont<Old>>, HNil>>>>, HCons<Quote<New>, HNil>>: Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<RevCont<Old>, HNil>>>>, HCons<New, HNil>>>,
[src]type Result = <HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<Ret, HCons<Quote<RevCont<Old>>, HNil>>>>, HCons<Quote<New>, HNil>> as Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<RevCont<Old>, HNil>>>>, HCons<New, HNil>>>>::Result
fn calc(self, args: HCons<Old, HCons<New, HNil>>) -> Self::Result
[src]
impl<T> FunCalc<HCons<Option<T>, HNil>> for Unwrap where
HCons<Ret, HCons<Quote<T>, HNil>>: Calc<HCons<(), HCons<T, HNil>>>,
[src]
impl<T> FunCalc<HCons<Option<T>, HNil>> for Unwrap where
HCons<Ret, HCons<Quote<T>, HNil>>: Calc<HCons<(), HCons<T, HNil>>>,
[src]impl<In: List, Out> FunCalc<HCons<Out, HNil>> for RevCont<In> where
HCons<Rev5, HCons<Quote<In::Tail>, HCons<HCons<Cons, HCons<Quote<In::Head>, HCons<Quote<Out>, HNil>>>, HNil>>>: Calc<HCons<(), HCons<In::Tail, HCons<HCons<(), HCons<In::Head, HCons<Out, HNil>>>, HNil>>>>,
[src]
impl<In: List, Out> FunCalc<HCons<Out, HNil>> for RevCont<In> where
HCons<Rev5, HCons<Quote<In::Tail>, HCons<HCons<Cons, HCons<Quote<In::Head>, HCons<Quote<Out>, HNil>>>, HNil>>>: Calc<HCons<(), HCons<In::Tail, HCons<HCons<(), HCons<In::Head, HCons<Out, HNil>>>, HNil>>>>,
[src]impl<A, B> FunCalc<HCons<PhantomData<A>, HCons<B, HNil>>> for Intersect where
HCons<Filter, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<B, HNil>>>>,
[src]
impl<A, B> FunCalc<HCons<PhantomData<A>, HCons<B, HNil>>> for Intersect where
HCons<Filter, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<B, HNil>>>>,
[src]impl<A, B> FunCalc<HCons<PhantomData<A>, HCons<B, HNil>>> for Remove where
HCons<Head, HCons<HCons<Tail, HCons<HCons<Collate, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>>, HNil>>, HNil>>: Calc<HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<B, HNil>>>, HNil>>, HNil>>>,
[src]
impl<A, B> FunCalc<HCons<PhantomData<A>, HCons<B, HNil>>> for Remove where
HCons<Head, HCons<HCons<Tail, HCons<HCons<Collate, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>>, HNil>>, HNil>>: Calc<HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<B, HNil>>>, HNil>>, HNil>>>,
[src]type Result = <HCons<Head, HCons<HCons<Tail, HCons<HCons<Collate, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>>, HNil>>, HNil>> as Calc<HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<B, HNil>>>, HNil>>, HNil>>>>::Result
fn calc(self, args: HCons<PhantomData<A>, HCons<B, HNil>>) -> Self::Result
[src]
impl<T> FunCalc<HCons<Rc<T>, HNil>> for UnwrapRc where
HCons<Ret, HCons<Quote<T>, HNil>>: Calc<HCons<(), HCons<T, HNil>>>,
[src]
impl<T> FunCalc<HCons<Rc<T>, HNil>> for UnwrapRc where
HCons<Ret, HCons<Quote<T>, HNil>>: Calc<HCons<(), HCons<T, HNil>>>,
[src]impl<T> FunCalc<HCons<T, HNil>> for WrapRc where
HCons<Ret, HCons<Quote<Rc<T>>, HNil>>: Calc<HCons<(), HCons<Rc<T>, HNil>>>,
[src]
impl<T> FunCalc<HCons<T, HNil>> for WrapRc where
HCons<Ret, HCons<Quote<Rc<T>>, HNil>>: Calc<HCons<(), HCons<Rc<T>, HNil>>>,
[src]impl<X, Tail> FunCalc<HCons<Tail, HNil>> for Prepend<X> where
HCons<Cons, HCons<Quote<X>, HCons<Quote<Tail>, HNil>>>: Calc<HCons<(), HCons<X, HCons<Tail, HNil>>>>,
[src]
impl<X, Tail> FunCalc<HCons<Tail, HNil>> for Prepend<X> where
HCons<Cons, HCons<Quote<X>, HCons<Quote<Tail>, HNil>>>: Calc<HCons<(), HCons<X, HCons<Tail, HNil>>>>,
[src]impl<Test, L: CollatedBy<Test>> FunCalc<HCons<Test, HCons<L, HNil>>> for Collate where
HCons<BuildList, HCons<Quote<L::Passed>, HCons<Quote<L::Failed>, HNil>>>: Calc<HCons<(), HCons<L::Passed, HCons<L::Failed, HNil>>>>,
[src]
impl<Test, L: CollatedBy<Test>> FunCalc<HCons<Test, HCons<L, HNil>>> for Collate where
HCons<BuildList, HCons<Quote<L::Passed>, HCons<Quote<L::Failed>, HNil>>>: Calc<HCons<(), HCons<L::Passed, HCons<L::Failed, HNil>>>>,
[src]impl<X: LispId, L: List> FunCalc<HCons<X, HCons<L, HNil>>> for SetInsert where
HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<X>, HCons<Quote<L>, HNil>>>, HNil>>>, HCons<Quote<Prepend<X>>, HCons<Ret, HNil>>>>, HCons<Quote<L>, HNil>>: Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HNil>>>, HCons<Prepend<X>, HCons<(), HNil>>>>, HCons<L, HNil>>>,
[src]
impl<X: LispId, L: List> FunCalc<HCons<X, HCons<L, HNil>>> for SetInsert where
HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<X>, HCons<Quote<L>, HNil>>>, HNil>>>, HCons<Quote<Prepend<X>>, HCons<Ret, HNil>>>>, HCons<Quote<L>, HNil>>: Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HNil>>>, HCons<Prepend<X>, HCons<(), HNil>>>>, HCons<L, HNil>>>,
[src]type Result = <HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<X>, HCons<Quote<L>, HNil>>>, HNil>>>, HCons<Quote<Prepend<X>>, HCons<Ret, HNil>>>>, HCons<Quote<L>, HNil>> as Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HNil>>>, HCons<Prepend<X>, HCons<(), HNil>>>>, HCons<L, HNil>>>>::Result
fn calc(self, args: HCons<X, HCons<L, HNil>>) -> Self::Result
[src]
impl<A, B> FunCall<HCons<A, HCons<B, HNil>>> for SupersetP where
HCons<All, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>>: Eval,
[src]
impl<A, B> FunCall<HCons<A, HCons<B, HNil>>> for SupersetP where
HCons<All, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>>: Eval,
[src]impl<A, B> FunCall<HCons<A, HCons<B, HNil>>> for SubsetP where
HCons<SupersetP, HCons<Quote<B>, HCons<Quote<A>, HNil>>>: Eval,
[src]
impl<A, B> FunCall<HCons<A, HCons<B, HNil>>> for SubsetP where
HCons<SupersetP, HCons<Quote<B>, HCons<Quote<A>, HNil>>>: Eval,
[src]impl<A: List, B: List> FunCall<HCons<A, HCons<B, HNil>>> for Concat where
HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<A>, HNil>>, HCons<Ret, HCons<Quote<ConcatCont<A>>, HNil>>>>, HCons<Quote<B>, HNil>>: Eval,
[src]
impl<A: List, B: List> FunCall<HCons<A, HCons<B, HNil>>> for Concat where
HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<A>, HNil>>, HCons<Ret, HCons<Quote<ConcatCont<A>>, HNil>>>>, HCons<Quote<B>, HNil>>: Eval,
[src]impl<A: List, B: List> FunCall<HCons<A, HCons<B, HNil>>> for Union where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<A>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HCons<HCons<Union, HCons<Quote<A::Tail>, HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<A::Head>, HCons<Quote<B>, HNil>>>, HNil>>>, HCons<HCons<Cons, HCons<Quote<A::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>: Eval,
[src]
impl<A: List, B: List> FunCall<HCons<A, HCons<B, HNil>>> for Union where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<A>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HCons<HCons<Union, HCons<Quote<A::Tail>, HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<A::Head>, HCons<Quote<B>, HNil>>>, HNil>>>, HCons<HCons<Cons, HCons<Quote<A::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>: Eval,
[src]type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<A>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HCons<HCons<Union, HCons<Quote<A::Tail>, HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<A::Head>, HCons<Quote<B>, HNil>>>, HNil>>>, HCons<HCons<Cons, HCons<Quote<A::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<B>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>> as Eval>::Result
impl<H, T, Accum> FunCall<HCons<Accum, HNil>> for ConcatCont<HCons<H, T>> where
HCons<Cons, HCons<Quote<H>, HCons<HCons<Concat, HCons<Quote<T>, HCons<Quote<Accum>, HNil>>>, HNil>>>: Eval,
[src]
impl<H, T, Accum> FunCall<HCons<Accum, HNil>> for ConcatCont<HCons<H, T>> where
HCons<Cons, HCons<Quote<H>, HCons<HCons<Concat, HCons<Quote<T>, HCons<Quote<Accum>, HNil>>>, HNil>>>: Eval,
[src]impl<Arg> FunCall<HCons<Arg, HNil>> for Quote where
HCons<Ret, HCons<Quote<Quote<Arg>>, HNil>>: Eval,
[src]
impl<Arg> FunCall<HCons<Arg, HNil>> for Quote where
HCons<Ret, HCons<Quote<Quote<Arg>>, HNil>>: Eval,
[src]impl<'a, Func, L: List> FunCall<HCons<Func, HCons<&'a L, HNil>>> for MapRef where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<Cons, HCons<HCons<Func, HCons<Quote<&'a L::Head>, HNil>>, HCons<HCons<MapRef, HCons<Func, HCons<Quote<&'a L::Tail>, HNil>>>, HNil>>>, HNil>>>>: Eval,
[src]
impl<'a, Func, L: List> FunCall<HCons<Func, HCons<&'a L, HNil>>> for MapRef where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<Cons, HCons<HCons<Func, HCons<Quote<&'a L::Head>, HNil>>, HCons<HCons<MapRef, HCons<Func, HCons<Quote<&'a L::Tail>, HNil>>>, HNil>>>, HNil>>>>: Eval,
[src]impl<Func, Acc, L: List> FunCall<HCons<Func, HCons<Acc, HCons<L, HNil>>>> for FoldL where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<HCons<FoldL, HCons<Func, HCons<HCons<Func, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<Quote<L::Head>, HNil>>>, HCons<Quote<L::Tail>, HNil>>>>, HNil>>>>: Eval,
[src]
impl<Func, Acc, L: List> FunCall<HCons<Func, HCons<Acc, HCons<L, HNil>>>> for FoldL where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<HCons<FoldL, HCons<Func, HCons<HCons<Func, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<Quote<L::Head>, HNil>>>, HCons<Quote<L::Tail>, HNil>>>>, HNil>>>>: Eval,
[src]type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<HCons<FoldL, HCons<Func, HCons<HCons<Func, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Acc>>, HNil>>, HCons<Quote<L::Head>, HNil>>>, HCons<Quote<L::Tail>, HNil>>>>, HNil>>>> as Eval>::Result
impl<Func, L: List, Init> FunCall<HCons<Func, HCons<L, HCons<Init, HNil>>>> for FoldR where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HCons<HCons<Func, HCons<Quote<L::Head>, HCons<HCons<FoldR, HCons<Func, HCons<Quote<L::Tail>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>: Eval,
[src]
impl<Func, L: List, Init> FunCall<HCons<Func, HCons<L, HCons<Init, HNil>>>> for FoldR where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HCons<HCons<Func, HCons<Quote<L::Head>, HCons<HCons<FoldR, HCons<Func, HCons<Quote<L::Tail>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>>: Eval,
[src]type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HCons<HCons<Func, HCons<Quote<L::Head>, HCons<HCons<FoldR, HCons<Func, HCons<Quote<L::Tail>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<Init>>, HNil>>, HNil>>>>, HNil>>>, HNil>>>> as Eval>::Result
impl<Func, L: List> FunCall<HCons<Func, HCons<L, HNil>>> for Map where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<Cons, HCons<HCons<Func, HCons<Quote<L::Head>, HNil>>, HCons<HCons<Map, HCons<Func, HCons<Quote<L::Tail>, HNil>>>, HNil>>>, HNil>>>>: Eval,
[src]
impl<Func, L: List> FunCall<HCons<Func, HCons<L, HNil>>> for Map where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<Cons, HCons<HCons<Func, HCons<Quote<L::Head>, HNil>>, HCons<HCons<Map, HCons<Func, HCons<Quote<L::Tail>, HNil>>>, HNil>>>, HNil>>>>: Eval,
[src]impl<Func, L: List> FunCall<HCons<Func, HCons<L, HNil>>> for Filter where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<HCons<If, HCons<HCons<Func, HCons<Quote<L::Head>, HNil>>, HCons<Quote<Prepend<L::Head>>, HCons<Ret, HNil>>>>, HCons<HCons<Filter, HCons<Func, HCons<Quote<L::Tail>, HNil>>>, HNil>>, HNil>>>>: Eval,
[src]
impl<Func, L: List> FunCall<HCons<Func, HCons<L, HNil>>> for Filter where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<L>, HNil>>, HCons<HNil, HCons<HCons<HCons<If, HCons<HCons<Func, HCons<Quote<L::Head>, HNil>>, HCons<Quote<Prepend<L::Head>>, HCons<Ret, HNil>>>>, HCons<HCons<Filter, HCons<Func, HCons<Quote<L::Tail>, HNil>>>, HNil>>, HNil>>>>: Eval,
[src]impl<H, T> FunCall<HCons<H, HCons<T, HNil>>> for Cons where
HCons<Ret, HCons<Quote<HCons<H, T>>, HNil>>: Eval,
[src]
impl<H, T> FunCall<HCons<H, HCons<T, HNil>>> for Cons where
HCons<Ret, HCons<Quote<HCons<H, T>>, HNil>>: Eval,
[src]impl<H, T: List> FunCall<HCons<HCons<H, T>, HCons<HNil, HNil>>> for DifferP where
HCons<Ret, HCons<Quote<True>, HNil>>: Eval,
[src]
impl<H, T: List> FunCall<HCons<HCons<H, T>, HCons<HNil, HNil>>> for DifferP where
HCons<Ret, HCons<Quote<True>, HNil>>: Eval,
[src]impl<H1, T1: List, H2, T2: List> FunCall<HCons<HCons<H1, T1>, HCons<HCons<H2, T2>, HNil>>> for DifferP where
HCons<If, HCons<HCons<Is, HCons<Quote<H1>, HCons<Quote<H2>, HNil>>>, HCons<HCons<DifferP, HCons<Quote<T1>, HCons<Quote<T2>, HNil>>>, HCons<Quote<True>, HNil>>>>: Eval,
[src]
impl<H1, T1: List, H2, T2: List> FunCall<HCons<HCons<H1, T1>, HCons<HCons<H2, T2>, HNil>>> for DifferP where
HCons<If, HCons<HCons<Is, HCons<Quote<H1>, HCons<Quote<H2>, HNil>>>, HCons<HCons<DifferP, HCons<Quote<T1>, HCons<Quote<T2>, HNil>>>, HCons<Quote<True>, HNil>>>>: Eval,
[src]impl<H, T: List> FunCall<HCons<HNil, HCons<HCons<H, T>, HNil>>> for DifferP where
HCons<Ret, HCons<Quote<True>, HNil>>: Eval,
[src]
impl<H, T: List> FunCall<HCons<HNil, HCons<HCons<H, T>, HNil>>> for DifferP where
HCons<Ret, HCons<Quote<True>, HNil>>: Eval,
[src]impl FunCall<HCons<HNil, HCons<HNil, HNil>>> for DifferP where
HCons<Ret, HCons<Quote<False>, HNil>>: Eval,
[src]
impl FunCall<HCons<HNil, HCons<HNil, HNil>>> for DifferP where
HCons<Ret, HCons<Quote<False>, HNil>>: Eval,
[src]impl<Haystack, Item> FunCall<HCons<Haystack, HCons<Item, HNil>>> for Contains where
HCons<Any, HCons<HCons<Partial, HCons<Is, HCons<Quote<Item>, HNil>>>, HCons<Quote<Haystack>, HNil>>>: Eval,
[src]
impl<Haystack, Item> FunCall<HCons<Haystack, HCons<Item, HNil>>> for Contains where
HCons<Any, HCons<HCons<Partial, HCons<Is, HCons<Quote<Item>, HNil>>>, HCons<Quote<Haystack>, HNil>>>: Eval,
[src]impl<L: Add<R>, R> FunCall<HCons<L, HCons<R, HNil>>> for Add where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Eval,
[src]
impl<L: Add<R>, R> FunCall<HCons<L, HCons<R, HNil>>> for Add where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Eval,
[src]impl<L: Sub<R>, R> FunCall<HCons<L, HCons<R, HNil>>> for Sub where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Eval,
[src]
impl<L: Sub<R>, R> FunCall<HCons<L, HCons<R, HNil>>> for Sub where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Eval,
[src]impl<L, R> FunCall<HCons<L, HCons<R, HNil>>> for Is where
L: LispId,
R: LispId,
L::Id: IsEqual<R::Id>,
<L::Id as IsEqual<R::Id>>::Output: Default,
[src]
impl<L, R> FunCall<HCons<L, HCons<R, HNil>>> for Is where
L: LispId,
R: LispId,
L::Id: IsEqual<R::Id>,
<L::Id as IsEqual<R::Id>>::Output: Default,
[src]impl<L, R> FunCall<HCons<L, HCons<R, HNil>>> for IsNot where
HCons<Not, HCons<HCons<Is, HCons<Quote<L>, HCons<Quote<R>, HNil>>>, HNil>>: Eval,
[src]
impl<L, R> FunCall<HCons<L, HCons<R, HNil>>> for IsNot where
HCons<Not, HCons<HCons<Is, HCons<Quote<L>, HCons<Quote<R>, HNil>>>, HNil>>: Eval,
[src]impl<L: List> FunCall<HCons<L, HNil>> for EmptyP where
HCons<Ret, HCons<Quote<L::IsEOL>, HNil>>: Eval,
[src]
impl<L: List> FunCall<HCons<L, HNil>> for EmptyP where
HCons<Ret, HCons<Quote<L::IsEOL>, HNil>>: Eval,
[src]impl<L: List> FunCall<HCons<L, HNil>> for Tail where
HCons<Ret, HCons<Quote<L::Tail>, HNil>>: Eval,
[src]
impl<L: List> FunCall<HCons<L, HNil>> for Tail where
HCons<Ret, HCons<Quote<L::Tail>, HNil>>: Eval,
[src]impl<L: List> FunCall<HCons<L, HNil>> for Head where
HCons<Ret, HCons<Quote<L::Head>, HNil>>: Eval,
[src]
impl<L: List> FunCall<HCons<L, HNil>> for Head where
HCons<Ret, HCons<Quote<L::Head>, HNil>>: Eval,
[src]impl<L: List> FunCall<HCons<L, HNil>> for Rev4 where
HCons<Rev4, HCons<Quote<L>, HCons<HNil, HNil>>>: Eval,
[src]
impl<L: List> FunCall<HCons<L, HNil>> for Rev4 where
HCons<Rev4, HCons<Quote<L>, HCons<HNil, HNil>>>: Eval,
[src]impl<L: List> FunCall<HCons<L, HNil>> for Rev5 where
HCons<Rev5, HCons<Quote<L>, HCons<HNil, HNil>>>: Eval,
[src]
impl<L: List> FunCall<HCons<L, HNil>> for Rev5 where
HCons<Rev5, HCons<Quote<L>, HCons<HNil, HNil>>>: Eval,
[src]impl<L: Add<U1>> FunCall<HCons<L, HNil>> for Inc where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Eval,
[src]
impl<L: Add<U1>> FunCall<HCons<L, HNil>> for Inc where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Eval,
[src]impl<L: Sub<U1>> FunCall<HCons<L, HNil>> for Dec where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Eval,
[src]
impl<L: Sub<U1>> FunCall<HCons<L, HNil>> for Dec where
HCons<Ret, HCons<Quote<L::Output>, HNil>>: Eval,
[src]impl<Needle, H, T> FunCall<HCons<Needle, HCons<HCons<H, T>, HNil>>> for Find where
HCons<If, HCons<HCons<Is, HCons<Needle, HCons<Quote<H>, HNil>>>, HCons<Here, HCons<HCons<WrapMissing, HCons<HCons<Find, HCons<Needle, HCons<Quote<T>, HNil>>>, HNil>>, HNil>>>>: Eval,
[src]
impl<Needle, H, T> FunCall<HCons<Needle, HCons<HCons<H, T>, HNil>>> for Find where
HCons<If, HCons<HCons<Is, HCons<Needle, HCons<Quote<H>, HNil>>>, HCons<Here, HCons<HCons<WrapMissing, HCons<HCons<Find, HCons<Needle, HCons<Quote<T>, HNil>>>, HNil>>, HNil>>>>: Eval,
[src]impl<Needle> FunCall<HCons<Needle, HCons<HNil, HNil>>> for Find where
HCons<Ret, HCons<Missing, HNil>>: Eval,
[src]
impl<Needle> FunCall<HCons<Needle, HCons<HNil, HNil>>> for Find where
HCons<Ret, HCons<Missing, HNil>>: Eval,
[src]impl<L: List, Needle: LispId> FunCall<HCons<Needle, HCons<L, HNil>>> for Without where
HCons<Filter, HCons<HCons<Partial, HCons<IsNot, HCons<Quote<Needle>, HNil>>>, HCons<Quote<L>, HNil>>>: Eval,
[src]
impl<L: List, Needle: LispId> FunCall<HCons<Needle, HCons<L, HNil>>> for Without where
HCons<Filter, HCons<HCons<Partial, HCons<IsNot, HCons<Quote<Needle>, HNil>>>, HCons<Quote<L>, HNil>>>: Eval,
[src]impl<Old: List, New: List> FunCall<HCons<Old, HCons<New, HNil>>> for Rev4 where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HCons<HCons<Rev4, HCons<Quote<Old::Tail>, HCons<HCons<Cons, HCons<Quote<Old::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HNil>>>, HNil>>>, HNil>>>>: Eval,
[src]
impl<Old: List, New: List> FunCall<HCons<Old, HCons<New, HNil>>> for Rev4 where
HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HCons<HCons<Rev4, HCons<Quote<Old::Tail>, HCons<HCons<Cons, HCons<Quote<Old::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HNil>>>, HNil>>>, HNil>>>>: Eval,
[src]type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HCons<HCons<Rev4, HCons<Quote<Old::Tail>, HCons<HCons<Cons, HCons<Quote<Old::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HNil>>>, HNil>>>, HNil>>>> as Eval>::Result
impl<Old: List, New: List> FunCall<HCons<Old, HCons<New, HNil>>> for Rev5 where
HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<Ret, HCons<Quote<RevCont<Old>>, HNil>>>>, HCons<Quote<New>, HNil>>: Eval,
[src]
impl<Old: List, New: List> FunCall<HCons<Old, HCons<New, HNil>>> for Rev5 where
HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<Ret, HCons<Quote<RevCont<Old>>, HNil>>>>, HCons<Quote<New>, HNil>>: Eval,
[src]impl<T> FunCall<HCons<Option<T>, HNil>> for Unwrap where
HCons<Ret, HCons<Quote<T>, HNil>>: Eval,
[src]
impl<T> FunCall<HCons<Option<T>, HNil>> for Unwrap where
HCons<Ret, HCons<Quote<T>, HNil>>: Eval,
[src]impl<In: List, Out> FunCall<HCons<Out, HNil>> for RevCont<In> where
HCons<Rev5, HCons<Quote<In::Tail>, HCons<HCons<Cons, HCons<Quote<In::Head>, HCons<Quote<Out>, HNil>>>, HNil>>>: Eval,
[src]
impl<In: List, Out> FunCall<HCons<Out, HNil>> for RevCont<In> where
HCons<Rev5, HCons<Quote<In::Tail>, HCons<HCons<Cons, HCons<Quote<In::Head>, HCons<Quote<Out>, HNil>>>, HNil>>>: Eval,
[src]impl<A, B> FunCall<HCons<PhantomData<A>, HCons<B, HNil>>> for Intersect where
HCons<Filter, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>>: Eval,
[src]
impl<A, B> FunCall<HCons<PhantomData<A>, HCons<B, HNil>>> for Intersect where
HCons<Filter, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>>: Eval,
[src]impl<A, B> FunCall<HCons<PhantomData<A>, HCons<B, HNil>>> for Remove where
HCons<Head, HCons<HCons<Tail, HCons<HCons<Collate, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>>, HNil>>, HNil>>: Eval,
[src]
impl<A, B> FunCall<HCons<PhantomData<A>, HCons<B, HNil>>> for Remove where
HCons<Head, HCons<HCons<Tail, HCons<HCons<Collate, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>>, HNil>>, HNil>>: Eval,
[src]impl<Pred, H, T> FunCall<HCons<Pred, HCons<HCons<H, T>, HNil>>> for FindPred where
HCons<If, HCons<HCons<Quote<Pred>, HCons<Quote<H>, HNil>>, HCons<U0, HCons<HCons<WrapMissing, HCons<HCons<FindPred, HCons<Quote<Pred>, HCons<Quote<T>, HNil>>>, HNil>>, HNil>>>>: Eval,
[src]
impl<Pred, H, T> FunCall<HCons<Pred, HCons<HCons<H, T>, HNil>>> for FindPred where
HCons<If, HCons<HCons<Quote<Pred>, HCons<Quote<H>, HNil>>, HCons<U0, HCons<HCons<WrapMissing, HCons<HCons<FindPred, HCons<Quote<Pred>, HCons<Quote<T>, HNil>>>, HNil>>, HNil>>>>: Eval,
[src]impl<Pred> FunCall<HCons<Pred, HCons<HNil, HNil>>> for FindPred where
HCons<Ret, HCons<Missing, HNil>>: Eval,
[src]
impl<Pred> FunCall<HCons<Pred, HCons<HNil, HNil>>> for FindPred where
HCons<Ret, HCons<Missing, HNil>>: Eval,
[src]impl<Pred, Haystack> FunCall<HCons<Pred, HCons<Haystack, HNil>>> for Any where
HCons<Not, HCons<HCons<Is, HCons<Missing, HCons<HCons<FindPred, HCons<Quote<Pred>, HCons<Quote<Haystack>, HNil>>>, HNil>>>, HNil>>: Eval,
[src]
impl<Pred, Haystack> FunCall<HCons<Pred, HCons<Haystack, HNil>>> for Any where
HCons<Not, HCons<HCons<Is, HCons<Missing, HCons<HCons<FindPred, HCons<Quote<Pred>, HCons<Quote<Haystack>, HNil>>>, HNil>>>, HNil>>: Eval,
[src]impl<Pred, Haystack> FunCall<HCons<Pred, HCons<Haystack, HNil>>> for All where
HCons<Not, HCons<HCons<Any, HCons<HCons<Invert, HCons<Pred, HNil>>, HCons<Quote<Haystack>, HNil>>>, HNil>>: Eval,
[src]
impl<Pred, Haystack> FunCall<HCons<Pred, HCons<Haystack, HNil>>> for All where
HCons<Not, HCons<HCons<Any, HCons<HCons<Invert, HCons<Pred, HNil>>, HCons<Quote<Haystack>, HNil>>>, HNil>>: Eval,
[src]impl<Pred> FunCall<HCons<Pred, HNil>> for Invert where
HCons<Ret, HCons<Quote<Inverted<Pred>>, HNil>>: Eval,
[src]
impl<Pred> FunCall<HCons<Pred, HNil>> for Invert where
HCons<Ret, HCons<Quote<Inverted<Pred>>, HNil>>: Eval,
[src]impl<T> FunCall<HCons<Rc<T>, HNil>> for UnwrapRc where
HCons<Ret, HCons<Quote<T>, HNil>>: Eval,
[src]
impl<T> FunCall<HCons<Rc<T>, HNil>> for UnwrapRc where
HCons<Ret, HCons<Quote<T>, HNil>>: Eval,
[src]impl<X, Tail> FunCall<HCons<Tail, HNil>> for Prepend<X> where
HCons<Cons, HCons<Quote<X>, HCons<Quote<Tail>, HNil>>>: Eval,
[src]
impl<X, Tail> FunCall<HCons<Tail, HNil>> for Prepend<X> where
HCons<Cons, HCons<Quote<X>, HCons<Quote<Tail>, HNil>>>: Eval,
[src]impl<Test, L: CollatedBy<Test>> FunCall<HCons<Test, HCons<L, HNil>>> for Collate where
HCons<BuildList, HCons<Quote<L::Passed>, HCons<Quote<L::Failed>, HNil>>>: Eval,
[src]
impl<Test, L: CollatedBy<Test>> FunCall<HCons<Test, HCons<L, HNil>>> for Collate where
HCons<BuildList, HCons<Quote<L::Passed>, HCons<Quote<L::Failed>, HNil>>>: Eval,
[src]impl<X: LispId, L: List> FunCall<HCons<X, HCons<L, HNil>>> for SetInsert where
HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<X>, HCons<Quote<L>, HNil>>>, HNil>>>, HCons<Quote<Prepend<X>>, HCons<Ret, HNil>>>>, HCons<Quote<L>, HNil>>: Eval,
[src]
impl<X: LispId, L: List> FunCall<HCons<X, HCons<L, HNil>>> for SetInsert where
HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<X>, HCons<Quote<L>, HNil>>>, HNil>>>, HCons<Quote<Prepend<X>>, HCons<Ret, HNil>>>>, HCons<Quote<L>, HNil>>: Eval,
[src]impl<H, T, X: ?Sized> ListOfRefs<X> for HCons<H, T> where
T: ListOfRefs<X>,
H: AsRef<X>,
[src]
impl<H, T, X: ?Sized> ListOfRefs<X> for HCons<H, T> where
T: ListOfRefs<X>,
H: AsRef<X>,
[src]impl<H: Ord, T: Ord> Ord for HCons<H, T>
[src]
impl<H: Ord, T: Ord> Ord for HCons<H, T>
[src]impl<H: PartialOrd, T: PartialOrd> PartialOrd<HCons<H, T>> for HCons<H, T>
[src]
impl<H: PartialOrd, T: PartialOrd> PartialOrd<HCons<H, T>> for HCons<H, T>
[src]fn partial_cmp(&self, other: &HCons<H, T>) -> Option<Ordering>
[src]
fn partial_cmp(&self, other: &HCons<H, T>) -> Option<Ordering>
[src]This method returns an ordering between self
and other
values if one exists. Read more
#[must_use]fn lt(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]fn lt(&self, other: &Rhs) -> bool
1.0.0[src]This method tests less than (for self
and other
) and is used by the <
operator. Read more
#[must_use]fn le(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]fn le(&self, other: &Rhs) -> bool
1.0.0[src]This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
impl<Cond: Eval, T, F, CQ, TQ, FQ> SynCalc<HCons<Cond, HCons<T, HCons<F, HNil>>>, HCons<CQ, HCons<TQ, HCons<FQ, HNil>>>> for If where
Cond::Result: IfCalcImpl<T, F, TQ, FQ>,
[src]
impl<Cond: Eval, T, F, CQ, TQ, FQ> SynCalc<HCons<Cond, HCons<T, HCons<F, HNil>>>, HCons<CQ, HCons<TQ, HCons<FQ, HNil>>>> for If where
Cond::Result: IfCalcImpl<T, F, TQ, FQ>,
[src]impl<Test, Res, Else, QTest, QRes, QElse> SynCalc<HCons<HCons<Test, HCons<Res, HNil>>, Else>, HCons<HCons<QTest, HCons<QRes, HNil>>, QElse>> for Cond where
HCons<If, HCons<Test, HCons<Res, HCons<HCons<Cond, Else>, HNil>>>>: Calc<HCons<If, HCons<QTest, HCons<QRes, HCons<HCons<Cond, QElse>, HNil>>>>>,
[src]
impl<Test, Res, Else, QTest, QRes, QElse> SynCalc<HCons<HCons<Test, HCons<Res, HNil>>, Else>, HCons<HCons<QTest, HCons<QRes, HNil>>, QElse>> for Cond where
HCons<If, HCons<Test, HCons<Res, HCons<HCons<Cond, Else>, HNil>>>>: Calc<HCons<If, HCons<QTest, HCons<QRes, HCons<HCons<Cond, QElse>, HNil>>>>>,
[src]impl<Cond: Eval, T, F> SynCall<HCons<Cond, HCons<T, HCons<F, HNil>>>> for If where
Cond::Result: IfImpl<T, F>,
[src]
impl<Cond: Eval, T, F> SynCall<HCons<Cond, HCons<T, HCons<F, HNil>>>> for If where
Cond::Result: IfImpl<T, F>,
[src]impl<H, T> SynCall<HCons<H, T>> for And where
HCons<If, HCons<H, HCons<HCons<And, T>, HCons<Quote<False>, HNil>>>>: Eval,
[src]
impl<H, T> SynCall<HCons<H, T>> for And where
HCons<If, HCons<H, HCons<HCons<And, T>, HCons<Quote<False>, HNil>>>>: Eval,
[src]impl<H, T> SynCall<HCons<H, T>> for Or where
HCons<If, HCons<H, HCons<Quote<True>, HCons<HCons<Or, T>, HNil>>>>: Eval,
[src]
impl<H, T> SynCall<HCons<H, T>> for Or where
HCons<If, HCons<H, HCons<Quote<True>, HCons<HCons<Or, T>, HNil>>>>: Eval,
[src]impl<Test, Res, Else> SynCall<HCons<HCons<Test, HCons<Res, HNil>>, Else>> for Cond where
HCons<If, HCons<Test, HCons<Res, HCons<HCons<Cond, Else>, HNil>>>>: Eval,
[src]
impl<Test, Res, Else> SynCall<HCons<HCons<Test, HCons<Res, HNil>>, Else>> for Cond where
HCons<If, HCons<Test, HCons<Res, HCons<HCons<Cond, Else>, HNil>>>>: Eval,
[src]impl<H: Copy, T: Copy> Copy for HCons<H, T>
[src]
impl<H: Eq, T: Eq> Eq for HCons<H, T>
[src]
impl<H, T> StructuralEq for HCons<H, T>
[src]
impl<H, T> StructuralPartialEq for HCons<H, T>
[src]
Auto Trait Implementations
impl<H, T> RefUnwindSafe for HCons<H, T> where
H: RefUnwindSafe,
T: RefUnwindSafe,
H: RefUnwindSafe,
T: RefUnwindSafe,
impl<H, T> Send for HCons<H, T> where
H: Send,
T: Send,
H: Send,
T: Send,
impl<H, T> Sync for HCons<H, T> where
H: Sync,
T: Sync,
H: Sync,
T: Sync,
impl<H, T> Unpin for HCons<H, T> where
H: Unpin,
T: Unpin,
H: Unpin,
T: Unpin,
impl<H, T> UnwindSafe for HCons<H, T> where
H: UnwindSafe,
T: UnwindSafe,
H: UnwindSafe,
T: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> List for T where
T: List,
[src]
impl<T> List for T where
T: List,
[src]type Head = <T as List>::IHead
type Tail = <T as List>::ITail
type IsEOL = <T as List>::IIsEOL
pub const LEN: usize
[src]
pub fn split(Self) -> (<T as List>::Head, <T as List>::Tail)
[src]
pub fn head(&Self) -> &<T as List>::Head
[src]
pub fn tail(&Self) -> &<T as List>::Tail
[src]
fn into_iter_as<X>(self) -> Self::ListIter where
Self: ListOf<X>,
[src]
Self: ListOf<X>,
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more
impl<T> Everything for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Fail for T where
T: Eval<Result = B0>,
[src]
T: Eval<Result = B0>,
impl<T> Pass for T where
T: Eval<Result = B1>,
[src]
T: Eval<Result = B1>,