Trait tylisp::engine::FunCalc [−][src]
Associated Types
Required methods
Implementors
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<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<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<Args: List> FunCalc<Args> for BuildList where
HCons<Ret, HCons<Quote<Args>, HNil>>: Calc<HCons<(), HCons<Args, HNil>>>,
[src]
impl<Args: List> FunCalc<Args> for BuildList where
HCons<Ret, HCons<Quote<Args>, HNil>>: Calc<HCons<(), HCons<Args, 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]
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> 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<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, 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<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<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<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<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 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<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, 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<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<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<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<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<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<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, 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<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]