Trait tylisp::engine::Calc

pub trait Calc<Quotes> {
    type Result;
    fn calc(q: Quotes) -> Self::Result;
}

An s-expression that can calculate a runtime value, given the provided Quotes.

Quotes should have the same structure as Self, but items

Associated Types

type Result

Required methods

fn calc(q: Quotes) -> Self::Result

Implementations on Foreign Types

impl<T, U> Calc<U> for PhantomData<T>

type Result = Self

fn calc(_: U) -> Self

impl<Q> Calc<Q> for True where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for False where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Z0 where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for UTerm where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q, H, L> Calc<Q> for UInt<H, L> where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

Implementors

impl<H: Calc<QH>, T, QH, QT> Calc<HCons<QH, QT>> for HCons<H, T> where
    H::Result: Call,
    <H::Result as Call>::Conv: CalcImpl<H::Result, T, QT>, 

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

fn calc(q: HCons<QH, QT>) -> Self::Result

impl<Q> Calc<Q> for Add where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Dec where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Inc where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Sub where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for All where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Any where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for BuildList where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Collate where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Concat where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Cons where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Contains where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for DifferP where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for EmptyP where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Filter where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Find where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for FindPred where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for FoldL where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for FoldR where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Head where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Intersect where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Map where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for MapRef where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Missing where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Remove where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Rev4 where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Rev5 where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for SetInsert where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for SubsetP where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for SupersetP where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Tail where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Union where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Without where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for And where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Invert where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for No where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Not where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Or where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Yes where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Unwrap where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for UnwrapRc where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for WrapRc where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Cond where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for If where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Is where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for IsNot where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Partial where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Phantom where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for tylisp::ops::Quote where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for Ret where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for HNil where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q, H, T> Calc<Q> for ConcatCont<HCons<H, T>> where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q, In> Calc<Q> for RevCont<In> where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q, P> Calc<Q> for Inverted<P> where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q, Prefix> Calc<Q> for PartialImpl<Prefix> where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Q, X> Calc<Q> for Prepend<X> where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl<Src: Into<Dest>, Dest> Calc<Src> for tylisp::Quote<Dest>

type Result = Dest

fn calc(t: Src) -> Dest