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

pub trait Eval {
    type Result;
}
Expand description

An s-expression that is well-formed lisp code

Associated Types

type Result[src]

Implementations on Foreign Types

impl<T: Eval> Eval for PhantomData<T>[src]

type Result = T::Result

impl Eval for True[src]

type Result = Self

impl Eval for False[src]

type Result = Self

impl Eval for Z0[src]

type Result = Self

impl Eval for UTerm[src]

type Result = Self

impl<H, L> Eval for UInt<H, L>[src]

type Result = Self

Implementors

impl Eval for Add[src]

type Result = Self

impl Eval for Dec[src]

type Result = Self

impl Eval for Inc[src]

type Result = Self

impl Eval for Sub[src]

type Result = Self

impl Eval for All[src]

type Result = Self

impl Eval for Any[src]

type Result = Self

impl Eval for BuildList[src]

type Result = Self

impl Eval for Collate[src]

type Result = Self

impl Eval for Concat[src]

type Result = Self

impl Eval for Cons[src]

type Result = Self

impl Eval for Contains[src]

type Result = Self

impl Eval for DifferP[src]

type Result = Self

impl Eval for EmptyP[src]

type Result = Self

impl Eval for Filter[src]

type Result = Self

impl Eval for Find[src]

type Result = Self

impl Eval for FindPred[src]

type Result = Self

impl Eval for FoldL[src]

type Result = Self

impl Eval for FoldR[src]

type Result = Self

impl Eval for Head[src]

type Result = Self

impl Eval for Here[src]

type Result = Self

impl Eval for Intersect[src]

type Result = Self

impl Eval for Map[src]

type Result = Self

impl Eval for MapRef[src]

type Result = Self

impl Eval for Missing[src]

type Result = Self

impl Eval for Remove[src]

type Result = Self

impl Eval for Rev4[src]

type Result = Self

impl Eval for Rev5[src]

type Result = Self

impl Eval for SetInsert[src]

type Result = Self

impl Eval for SubsetP[src]

type Result = Self

impl Eval for SupersetP[src]

type Result = Self

impl Eval for Tail[src]

type Result = Self

impl Eval for Union[src]

type Result = Self

impl Eval for Without[src]

type Result = Self

impl Eval for And[src]

type Result = Self

impl Eval for Invert[src]

type Result = Self

impl Eval for No[src]

type Result = Self

impl Eval for Not[src]

type Result = Self

impl Eval for Or[src]

type Result = Self

impl Eval for Yes[src]

type Result = Self

impl Eval for Unwrap[src]

type Result = Self

impl Eval for UnwrapRc[src]

type Result = Self

impl Eval for WrapRc[src]

type Result = Self

impl Eval for Cond[src]

type Result = Self

impl Eval for If[src]

type Result = Self

impl Eval for Is[src]

type Result = Self

impl Eval for IsNot[src]

type Result = Self

impl Eval for Partial[src]

type Result = Self

impl Eval for Phantom[src]

type Result = Self

impl Eval for tylisp::ops::Quote[src]

type Result = Self

impl Eval for Ret[src]

type Result = Self

impl Eval for HNil[src]

type Result = Self

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

type Result = Self

impl<H: Eval, T> Eval for HCons<H, T> where
    H::Result: Call,
    <H::Result as Call>::Conv: CallImpl<H::Result, T>, [src]

type Result = <<H::Result as Call>::Conv as CallImpl<H::Result, T>>::Result

impl<In> Eval for RevCont<In>[src]

type Result = Self

impl<P> Eval for Inverted<P>[src]

type Result = Self

impl<Prefix> Eval for PartialImpl<Prefix>[src]

type Result = Self

impl<T> Eval for There<T>[src]

type Result = Self

impl<T> Eval for tylisp::Quote<T>[src]

type Result = T

impl<X> Eval for Prepend<X>[src]

type Result = Self