Trait SynCall

pub trait SynCall<Args>: Call<Conv = Syntax> {
    type Result;
}

A function that takes raw syntax as an argument

NB: Unlike traditional Lisp macros, this returns a Value, not more syntax

Required Associated Types

type Result

Implementors

impl SynCall<HNil> for And

where HCons<Ret, HCons<Quote<True>, HNil>>: Eval,

type Result = <HCons<Ret, HCons<Quote<B1>, HNil>> as Eval>::Result

impl SynCall<HNil> for Or

where HCons<Ret, HCons<Quote<False>, HNil>>: Eval,

type Result = <HCons<Ret, HCons<Quote<B0>, HNil>> as Eval>::Result

impl SynCall<HNil> for Cond

where HCons<Ret, HCons<CondNoMatch, HNil>>: Eval,

type Result = <HCons<Ret, HCons<CondNoMatch, HNil>> as Eval>::Result

impl<Arg: Eval> SynCall<HCons<Arg, HNil>> for Phantom

type Result = PhantomData<<Arg as Eval>::Result>

impl<Cond: Eval, T, F> SynCall<HCons<Cond, HCons<T, HCons<F, HNil>>>> for If

where Cond::Result: IfImpl<T, F>,

type Result = <<Cond as Eval>::Result as IfImpl<T, F>>::Result

impl<H, T> SynCall<HCons<H, T>> for And

where HCons<If, HCons<H, HCons<HCons<And, T>, HCons<Quote<False>, HNil>>>>: Eval,

type Result = <HCons<If, HCons<H, HCons<HCons<And, T>, HCons<Quote<B0>, HNil>>>> as Eval>::Result

impl<H, T> SynCall<HCons<H, T>> for Or

where HCons<If, HCons<H, HCons<Quote<True>, HCons<HCons<Or, T>, HNil>>>>: Eval,

type Result = <HCons<If, HCons<H, HCons<Quote<B1>, HCons<HCons<Or, T>, HNil>>>> as Eval>::Result

impl<Prefix> SynCall<Prefix> for Partial

where HCons<Ret, HCons<Quote<PartialImpl<Prefix>>, HNil>>: Eval,

type Result = <HCons<Ret, HCons<Quote<PartialImpl<Prefix>>, HNil>> as Eval>::Result

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,

type Result = <HCons<If, HCons<Test, HCons<Res, HCons<HCons<Cond, Else>, HNil>>>> as Eval>::Result