Trait tylisp::engine::FunCalc

pub trait FunCalc<Args>: Sized {
    type Result;
    fn calc(self, args: Args) -> Self::Result;
}

Associated Types

type Result

Required methods

fn calc(self, args: Args) -> Self::Result

Implementors

impl FunCalc<HCons<B0, HNil>> for Not where
    HCons<Ret, HCons<Quote<True>, HNil>>: Calc<HCons<(), HCons<True, HNil>>>, 

type Result = <HCons<Ret, HCons<Quote<True>, HNil>> as Calc<HCons<(), HCons<True, HNil>>>>::Result

fn calc(self, args: HCons<False, HNil>) -> Self::Result

impl FunCalc<HCons<B1, HNil>> for Not where
    HCons<Ret, HCons<Quote<False>, HNil>>: Calc<HCons<(), HCons<False, HNil>>>, 

type Result = <HCons<Ret, HCons<Quote<False>, HNil>> as Calc<HCons<(), HCons<False, HNil>>>>::Result

fn calc(self, args: HCons<True, HNil>) -> Self::Result

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>>>>>, 

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

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>>>>, 

type Result = <HCons<Filter, HCons<HCons<Partial, HCons<Contains, HCons<Quote<A>, HNil>>>, HCons<Quote<B>, HNil>>> as Calc<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<B, HNil>>>>>::Result

fn calc(self, args: HCons<PhantomData<A>, HCons<B, HNil>>) -> Self::Result

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>>>, 

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

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>>>, 

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

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>>>>>, 

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

impl<Args: List> FunCalc<Args> for BuildList where
    HCons<Ret, HCons<Quote<Args>, HNil>>: Calc<HCons<(), HCons<Args, HNil>>>, 

type Result = <HCons<Ret, HCons<Quote<Args>, HNil>> as Calc<HCons<(), HCons<Args, HNil>>>>::Result

fn calc(self, args: Args) -> Self::Result

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>>>>>, 

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

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>>>>>, 

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

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>>>>>, 

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

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>>>>>, 

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

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>>>, 

type Result = <HCons<Ret, HCons<Quote<HCons<H, T>>, HNil>> as Calc<HCons<(), HCons<HCons<H, T>, HNil>>>>::Result

fn calc(self, args: HCons<H, HCons<T, HNil>>) -> Self::Result

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>>>>, 

type Result = <HCons<Cons, HCons<Quote<H>, HCons<HCons<Concat, HCons<Quote<T>, HCons<Quote<Accum>, HNil>>>, HNil>>> as Calc<HCons<(), HCons<H, HCons<HCons<(), HCons<T, HCons<Accum, HNil>>>, HNil>>>>>::Result

fn calc(self, args: HCons<Accum, HNil>) -> Self::Result

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>>>>, 

type Result = <HCons<Rev5, HCons<Quote<In::Tail>, HCons<HCons<Cons, HCons<Quote<In::Head>, HCons<Quote<Out>, HNil>>>, HNil>>> as Calc<HCons<(), HCons<In::Tail, HCons<HCons<(), HCons<In::Head, HCons<Out, HNil>>>, HNil>>>>>::Result

fn calc(self, args: HCons<Out, HNil>) -> Self::Result

impl<L: List> FunCalc<HCons<L, HNil>> for EmptyP where
    HCons<Ret, HCons<Quote<L::IsEOL>, HNil>>: Calc<HCons<(), HCons<(), HNil>>>, 

type Result = <HCons<Ret, HCons<Quote<L::IsEOL>, HNil>> as Calc<HCons<(), HCons<(), HNil>>>>::Result

fn calc(self, args: HCons<L, HNil>) -> Self::Result

impl<L: List> FunCalc<HCons<L, HNil>> for Head where
    HCons<Ret, HCons<Quote<L::Head>, HNil>>: Calc<HCons<(), HCons<L::Head, HNil>>>, 

type Result = <HCons<Ret, HCons<Quote<L::Head>, HNil>> as Calc<HCons<(), HCons<L::Head, HNil>>>>::Result

fn calc(self, args: HCons<L, HNil>) -> Self::Result

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>>>>, 

type Result = <HCons<Rev4, HCons<Quote<L>, HCons<HNil, HNil>>> as Calc<HCons<(), HCons<L, HCons<HNil, HNil>>>>>::Result

fn calc(self, args: HCons<L, HNil>) -> Self::Result

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>>>>, 

type Result = <HCons<Rev5, HCons<Quote<L>, HCons<HNil, HNil>>> as Calc<HCons<(), HCons<L, HCons<HNil, HNil>>>>>::Result

fn calc(self, args: HCons<L, HNil>) -> Self::Result

impl<L: List> FunCalc<HCons<L, HNil>> for Tail where
    HCons<Ret, HCons<Quote<L::Tail>, HNil>>: Calc<HCons<(), HCons<L::Tail, HNil>>>, 

type Result = <HCons<Ret, HCons<Quote<L::Tail>, HNil>> as Calc<HCons<(), HCons<L::Tail, HNil>>>>::Result

fn calc(self, args: HCons<L, HNil>) -> Self::Result

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>>>>, 

type Result = <HCons<Filter, HCons<HCons<Partial, HCons<IsNot, HCons<Quote<Needle>, HNil>>>, HCons<Quote<L>, HNil>>> as Calc<HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HCons<L, HNil>>>>>::Result

fn calc(self, args: HCons<Needle, HCons<L, HNil>>) -> Self::Result

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>>>, 

type Result = <HCons<Ret, HCons<Quote<L::Output>, HNil>> as Calc<HCons<(), HCons<L::Output, HNil>>>>::Result

fn calc(self, args: HCons<L, HCons<R, HNil>>) -> Self::Result

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>>>, 

type Result = <HCons<Ret, HCons<Quote<L::Output>, HNil>> as Calc<HCons<(), HCons<L::Output, HNil>>>>::Result

fn calc(self, args: HCons<L, HCons<R, HNil>>) -> Self::Result

impl<Needle> FunCalc<HCons<Needle, HCons<HNil, HNil>>> for Find where
    HCons<Ret, HCons<Missing, HNil>>: Calc<HCons<(), HCons<(), HNil>>>, 

type Result = <HCons<Ret, HCons<Missing, HNil>> as Calc<HCons<(), HCons<(), HNil>>>>::Result

fn calc(self, args: HCons<Needle, HCons<HNil, HNil>>) -> Self::Result

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>>>>>, 

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

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>>>>>, 

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

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>>>, 

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

impl<T> FunCalc<HCons<Option<T>, HNil>> for Unwrap where
    HCons<Ret, HCons<Quote<T>, HNil>>: Calc<HCons<(), HCons<T, HNil>>>, 

type Result = <HCons<Ret, HCons<Quote<T>, HNil>> as Calc<HCons<(), HCons<T, HNil>>>>::Result

fn calc(self, args: HCons<Option<T>, HNil>) -> Self::Result

impl<T> FunCalc<HCons<Rc<T>, HNil>> for UnwrapRc where
    HCons<Ret, HCons<Quote<T>, HNil>>: Calc<HCons<(), HCons<T, HNil>>>, 

type Result = <HCons<Ret, HCons<Quote<T>, HNil>> as Calc<HCons<(), HCons<T, HNil>>>>::Result

fn calc(self, args: HCons<Rc<T>, HNil>) -> Self::Result

impl<T> FunCalc<HCons<T, HNil>> for WrapRc where
    HCons<Ret, HCons<Quote<Rc<T>>, HNil>>: Calc<HCons<(), HCons<Rc<T>, HNil>>>, 

type Result = <HCons<Ret, HCons<Quote<Rc<T>>, HNil>> as Calc<HCons<(), HCons<Rc<T>, HNil>>>>::Result

fn calc(self, args: HCons<T, HNil>) -> Self::Result

impl<T> FunCalc<T> for Is where
    Is: FunCall<T>,
    <Is as FunCall<T>>::Result: Default, 

type Result = <Is as FunCall<T>>::Result

fn calc(self, _: T) -> Self::Result

impl<T, U> FunCalc<HCons<T, U>> for Ret

type Result = T

fn calc(self, _: HCons<T, U>) -> T

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>>>>, 

type Result = <HCons<BuildList, HCons<Quote<L::Passed>, HCons<Quote<L::Failed>, HNil>>> as Calc<HCons<(), HCons<L::Passed, HCons<L::Failed, HNil>>>>>::Result

fn calc(self, args: HCons<Test, HCons<L, HNil>>) -> Self::Result

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>>>>, 

type Result = <HCons<Cons, HCons<Quote<X>, HCons<Quote<Tail>, HNil>>> as Calc<HCons<(), HCons<X, HCons<Tail, HNil>>>>>::Result

fn calc(self, args: HCons<Tail, HNil>) -> Self::Result

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>>>, 

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