Trait SynCalc

pub trait SynCalc<Args, Q> {
    type Result;

    // Required method
    fn syn_calc(self, quotes: Q) -> Self::Result;
}

Required 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 as Eval>::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 as Eval>::Result as IfCalcImpl<T, F, TQ, FQ>>::Result

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

type Result = PartialImpl<Prefix>

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