Trait Calc

pub trait Calc<Quotes> {
    type Result;

    // Required method
    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

Required Associated Types

type Result

Required Methods

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<Q> Calc<Q> for Z0

where Self: Default,

type Result = Z0

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for UTerm

where Self: Default,

type Result = UTerm

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for False

where Self: Default,

type Result = B0

fn calc(_: Q) -> Self

impl<Q> Calc<Q> for True

where Self: Default,

type Result = B1

fn calc(_: Q) -> Self

impl<Q, H, L> Calc<Q> for UInt<H, L>

where Self: Default,

type Result = UInt<H, L>

fn calc(_: Q) -> Self

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

type Result = PhantomData<T>

fn calc(_: U) -> 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 as Calc<QH>>::Result as Call>::Conv as CalcImpl<<H as Calc<QH>>::Result, T, QT>>::Result

impl<Q> Calc<Q> for Add

where Self: Default,

type Result = Add

impl<Q> Calc<Q> for Dec

where Self: Default,

type Result = Dec

impl<Q> Calc<Q> for Inc

where Self: Default,

type Result = Inc

impl<Q> Calc<Q> for Sub

where Self: Default,

type Result = Sub

impl<Q> Calc<Q> for All

where Self: Default,

type Result = All

impl<Q> Calc<Q> for Any

where Self: Default,

type Result = Any

impl<Q> Calc<Q> for BuildList

where Self: Default,

type Result = BuildList

impl<Q> Calc<Q> for Collate

where Self: Default,

type Result = Collate

impl<Q> Calc<Q> for Concat

where Self: Default,

type Result = Concat

impl<Q> Calc<Q> for Cons

where Self: Default,

type Result = Cons

impl<Q> Calc<Q> for Contains

where Self: Default,

type Result = Contains

impl<Q> Calc<Q> for DifferP

where Self: Default,

type Result = DifferP

impl<Q> Calc<Q> for EmptyP

where Self: Default,

type Result = EmptyP

impl<Q> Calc<Q> for Filter

where Self: Default,

type Result = Filter

impl<Q> Calc<Q> for Find

where Self: Default,

type Result = Find

impl<Q> Calc<Q> for FindPred

where Self: Default,

type Result = FindPred

impl<Q> Calc<Q> for FoldL

where Self: Default,

type Result = FoldL

impl<Q> Calc<Q> for FoldR

where Self: Default,

type Result = FoldR

impl<Q> Calc<Q> for Head

where Self: Default,

type Result = Head

impl<Q> Calc<Q> for Intersect

where Self: Default,

type Result = Intersect

impl<Q> Calc<Q> for Map

where Self: Default,

type Result = Map

impl<Q> Calc<Q> for MapRef

where Self: Default,

type Result = MapRef

impl<Q> Calc<Q> for Missing

where Self: Default,

type Result = Missing

impl<Q> Calc<Q> for Remove

where Self: Default,

type Result = Remove

impl<Q> Calc<Q> for Rev4

where Self: Default,

type Result = Rev4

impl<Q> Calc<Q> for Rev5

where Self: Default,

type Result = Rev5

impl<Q> Calc<Q> for SetInsert

where Self: Default,

type Result = SetInsert

impl<Q> Calc<Q> for SubsetP

where Self: Default,

type Result = SubsetP

impl<Q> Calc<Q> for SupersetP

where Self: Default,

type Result = SupersetP

impl<Q> Calc<Q> for Tail

where Self: Default,

type Result = Tail

impl<Q> Calc<Q> for Union

where Self: Default,

type Result = Union

impl<Q> Calc<Q> for Without

where Self: Default,

type Result = Without

impl<Q> Calc<Q> for And

where Self: Default,

type Result = And

impl<Q> Calc<Q> for Invert

where Self: Default,

type Result = Invert

impl<Q> Calc<Q> for No

where Self: Default,

type Result = No

impl<Q> Calc<Q> for Not

where Self: Default,

type Result = Not

impl<Q> Calc<Q> for Or

where Self: Default,

type Result = Or

impl<Q> Calc<Q> for Yes

where Self: Default,

type Result = Yes

impl<Q> Calc<Q> for Unwrap

where Self: Default,

type Result = Unwrap

impl<Q> Calc<Q> for UnwrapRc

where Self: Default,

type Result = UnwrapRc

impl<Q> Calc<Q> for WrapRc

where Self: Default,

type Result = WrapRc

impl<Q> Calc<Q> for Cond

where Self: Default,

type Result = Cond

impl<Q> Calc<Q> for If

where Self: Default,

type Result = If

impl<Q> Calc<Q> for Is

where Self: Default,

type Result = Is

impl<Q> Calc<Q> for IsNot

where Self: Default,

type Result = IsNot

impl<Q> Calc<Q> for Partial

where Self: Default,

type Result = Partial

impl<Q> Calc<Q> for Phantom

where Self: Default,

type Result = Phantom

impl<Q> Calc<Q> for tylisp::ops::Quote

where Self: Default,

type Result = Quote

impl<Q> Calc<Q> for Ret

where Self: Default,

type Result = Ret

impl<Q> Calc<Q> for HNil

where Self: Default,

type Result = HNil

impl<Q, H, T> Calc<Q> for ConcatCont<HCons<H, T>>

where Self: Default,

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

impl<Q, In> Calc<Q> for RevCont<In>

where Self: Default,

type Result = RevCont<In>

impl<Q, P> Calc<Q> for Inverted<P>

where Self: Default,

type Result = Inverted<P>

impl<Q, Prefix> Calc<Q> for PartialImpl<Prefix>

where Self: Default,

type Result = PartialImpl<Prefix>

impl<Q, X> Calc<Q> for Prepend<X>

where Self: Default,

type Result = Prepend<X>

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

type Result = Dest