Trait tylisp::engine::Call[−][src]

pub trait Call {
    type Conv;
}

Expand description

A callable lisp value.

When the evaluator process a list, the head of that list should evaluate to something that implements Call. The Conv associated type describes the calling convention that should be used for this callsite, and it controls the rest of processing, including whether or not the rest of the arguments are evaluated at all.

Associated Types

`type Conv`[src]

Which calling convention is expected?

Should be one of the types in the cc module.

Implementors

`impl Call for Add`[src]

`type Conv = Func`

`impl Call for Dec`[src]

`type Conv = Func`

`impl Call for Inc`[src]

`type Conv = Func`

`impl Call for Sub`[src]

`type Conv = Func`

`impl Call for All`[src]

`type Conv = Func`

`impl Call for Any`[src]

`type Conv = Func`

`impl Call for BuildList`[src]

`type Conv = Func`

`impl Call for Collate`[src]

`type Conv = Func`

`impl Call for Concat`[src]

`type Conv = Func`

`impl Call for Cons`[src]

`type Conv = Func`

`impl Call for Contains`[src]

`type Conv = Func`

`impl Call for DifferP`[src]

`type Conv = Func`

`impl Call for EmptyP`[src]

`type Conv = Func`

`impl Call for Filter`[src]

`type Conv = Func`

`impl Call for Find`[src]

`type Conv = Func`

`impl Call for FindPred`[src]

`type Conv = Func`

`impl Call for FoldL`[src]

`type Conv = Func`

`impl Call for FoldR`[src]

`type Conv = Func`

`impl Call for Head`[src]

`type Conv = Func`

`impl Call for Intersect`[src]

`type Conv = Func`

`impl Call for Map`[src]

`type Conv = Func`

`impl Call for MapRef`[src]

`type Conv = Func`

`impl Call for Remove`[src]

`type Conv = Func`

`impl Call for Rev4`[src]

`type Conv = Func`

`impl Call for Rev5`[src]

`type Conv = Func`

`impl Call for SetInsert`[src]

`type Conv = Func`

`impl Call for SubsetP`[src]

`type Conv = Func`

`impl Call for SupersetP`[src]

`type Conv = Func`

`impl Call for Tail`[src]

`type Conv = Func`

`impl Call for Union`[src]

`type Conv = Func`

`impl Call for Without`[src]

`type Conv = Func`

`impl Call for And`[src]

`type Conv = Syntax`

`impl Call for Invert`[src]

`type Conv = Func`

`impl Call for No`[src]

`type Conv = Func`

`impl Call for Not`[src]

`type Conv = Func`

`impl Call for Or`[src]

`type Conv = Syntax`

`impl Call for Yes`[src]

`type Conv = Func`

`impl Call for Unwrap`[src]

`type Conv = Func`

`impl Call for UnwrapRc`[src]

`type Conv = Func`

`impl Call for WrapRc`[src]

`type Conv = Func`

`impl Call for Cond`[src]

`type Conv = Syntax`

`impl Call for If`[src]

`type Conv = Syntax`

`impl Call for Is`[src]

`type Conv = Func`

`impl Call for IsNot`[src]

`type Conv = Func`

`impl Call for Partial`[src]

`type Conv = Syntax`

`impl Call for Phantom`[src]

`type Conv = Syntax`

`impl Call for Quote`[src]

`type Conv = Func`

`impl Call for Ret`[src]

`type Conv = Func`

`impl<H, T> Call for ConcatCont<HCons<H, T>>`[src]

`type Conv = Func`

`impl<In> Call for RevCont<In>`[src]

`type Conv = Func`

`impl<P> Call for Inverted<P>`[src]

`type Conv = Func`

`impl<Prefix> Call for PartialImpl<Prefix>`[src]

`type Conv = Func`

`impl<X> Call for Prepend<X>`[src]

`type Conv = Func`