Trait tylisp::engine::SynCalc

pub trait SynCalc<Args, Q> {
    type Result;
    fn syn_calc(self, quotes: Q) -> Self::Result;
}

Associated Types

type Result

Required methods

fn syn_calc(self, quotes: Q) -> Self::Result

Implementors

impl<Arg: Eval, QArg> SynCalc<HCons<Arg, HNil>, QArg> for Phantom

type Result = PhantomData<Arg::Result>

fn syn_calc(self, _: QArg) -> Self::Result

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

type Result = <Cond::Result as IfCalcImpl<T, F, TQ, FQ>>::Result

fn syn_calc(self, _: HCons<CQ, HCons<TQ, HCons<FQ, HNil>>>) -> Self::Result

impl<Prefix, QPrefix> SynCalc<Prefix, QPrefix> for Partial

type Result = PartialImpl<Prefix>

fn syn_calc(self, _: QPrefix) -> Self::Result

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

type Result = <HCons<If, HCons<Test, HCons<Res, HCons<HCons<Cond, Else>, HNil>>>> as Calc<HCons<If, HCons<QTest, HCons<QRes, HCons<HCons<Cond, QElse>, HNil>>>>>>::Result

fn syn_calc(
    self,
    _: HCons<HCons<QTest, HCons<QRes, HNil>>, QElse>
) -> Self::Result