Trait Eval

pub trait Eval {
    type Result;
}

An s-expression that is well-formed lisp code

Required Associated Types

type Result

Implementations on Foreign Types

impl Eval for Z0

type Result = Z0

impl Eval for UTerm

type Result = UTerm

impl Eval for False

type Result = B0

impl Eval for True

type Result = B1

impl<H, L> Eval for UInt<H, L>

type Result = UInt<H, L>

impl<T: Eval> Eval for PhantomData<T>

type Result = <T as Eval>::Result

Implementors

impl Eval for Add

type Result = Add

impl Eval for Dec

type Result = Dec

impl Eval for Inc

type Result = Inc

impl Eval for Sub

type Result = Sub

impl Eval for All

type Result = All

impl Eval for Any

type Result = Any

impl Eval for BuildList

type Result = BuildList

impl Eval for Collate

type Result = Collate

impl Eval for Concat

type Result = Concat

impl Eval for Cons

type Result = Cons

impl Eval for Contains

type Result = Contains

impl Eval for DifferP

type Result = DifferP

impl Eval for EmptyP

type Result = EmptyP

impl Eval for Filter

type Result = Filter

impl Eval for Find

type Result = Find

impl Eval for FindPred

type Result = FindPred

impl Eval for FoldL

type Result = FoldL

impl Eval for FoldR

type Result = FoldR

impl Eval for Head

type Result = Head

impl Eval for Here

type Result = Here

impl Eval for Intersect

type Result = Intersect

impl Eval for Map

type Result = Map

impl Eval for MapRef

type Result = MapRef

impl Eval for Missing

type Result = Missing

impl Eval for Remove

type Result = Remove

impl Eval for Rev4

type Result = Rev4

impl Eval for Rev5

type Result = Rev5

impl Eval for SetInsert

type Result = SetInsert

impl Eval for SubsetP

type Result = SubsetP

impl Eval for SupersetP

type Result = SupersetP

impl Eval for Tail

type Result = Tail

impl Eval for Union

type Result = Union

impl Eval for Without

type Result = Without

impl Eval for And

type Result = And

impl Eval for Invert

type Result = Invert

impl Eval for No

type Result = No

impl Eval for Not

type Result = Not

impl Eval for Or

type Result = Or

impl Eval for Yes

type Result = Yes

impl Eval for Unwrap

type Result = Unwrap

impl Eval for UnwrapRc

type Result = UnwrapRc

impl Eval for WrapRc

type Result = WrapRc

impl Eval for Cond

type Result = Cond

impl Eval for If

type Result = If

impl Eval for Is

type Result = Is

impl Eval for IsNot

type Result = IsNot

impl Eval for Partial

type Result = Partial

impl Eval for Phantom

type Result = Phantom

impl Eval for tylisp::ops::Quote

type Result = Quote

impl Eval for Ret

type Result = Ret

impl Eval for HNil

type Result = HNil

impl<H, T> Eval for ConcatCont<HCons<H, T>>

type Result = ConcatCont<HCons<H, T>>

impl<H: Eval, T> Eval for HCons<H, T>

where H::Result: Call, <H::Result as Call>::Conv: CallImpl<H::Result, T>,

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

impl<In> Eval for RevCont<In>

type Result = RevCont<In>

impl<P> Eval for Inverted<P>

type Result = Inverted<P>

impl<Prefix> Eval for PartialImpl<Prefix>

type Result = PartialImpl<Prefix>

impl<T> Eval for There<T>

type Result = There<T>

impl<T> Eval for tylisp::Quote<T>

type Result = T

impl<X> Eval for Prepend<X>

type Result = Prepend<X>