Struct litto::lang::tinylang::types::NativeProcedure

pub struct NativeProcedure { /* fields omitted */ }

A native function.

Methods

impl NativeProcedure

pub fn new(
    name: &'static str,
    func: impl Fn(&<TinyLang as Interpreter>::Env, &[<TinyLang as Interpreter>::Expr]) -> Result<<TinyLang as Interpreter>::Value, <TinyLang as Interpreter>::Error> + 'static
) -> Self

Create a NativeProcedure.

pub fn register(self, env: &<TinyLang as Interpreter>::Env)

Register the function to an environment.

Trait Implementations

impl AbstractValue<TinyLang> for NativeProcedure

fn apply(
    &self,
    env: &<TinyLang as Interpreter>::Env,
    args: &[<TinyLang as Interpreter>::Expr]
) -> Result<<TinyLang as Interpreter>::Value, <TinyLang as Interpreter>::Error>

Call a function.

impl Debug for NativeProcedure

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Display for NativeProcedure

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<R, A, B, C, D, E> From<(&'static str, fn(&A, &B, &C, &D, &E) -> R)> for NativeProcedure where
    R: AbstractValue<TinyLang>,
    A: AbstractValue<TinyLang>,
    B: AbstractValue<TinyLang>,
    C: AbstractValue<TinyLang>,
    D: AbstractValue<TinyLang>,
    E: AbstractValue<TinyLang>, 

fn from(
    value: (&'static str, fn(_: &A, _: &B, _: &C, _: &D, _: &E) -> R)
) -> Self

Performs the conversion.

impl<R, A, B, C, D, E> From<(&'static str, fn(&A, &B, &C, &D, &E) -> Result<R, <TinyLang as Interpreter>::Error>)> for NativeProcedure where
    R: AbstractValue<TinyLang>,
    A: AbstractValue<TinyLang>,
    B: AbstractValue<TinyLang>,
    C: AbstractValue<TinyLang>,
    D: AbstractValue<TinyLang>,
    E: AbstractValue<TinyLang>, 

fn from(
    value: (&'static str, fn(_: &A, _: &B, _: &C, _: &D, _: &E) -> Result<R, <TinyLang as Interpreter>::Error>)
) -> Self

Performs the conversion.

impl<R, A, B, C, D> From<(&'static str, fn(&A, &B, &C, &D) -> R)> for NativeProcedure where
    R: AbstractValue<TinyLang>,
    A: AbstractValue<TinyLang>,
    B: AbstractValue<TinyLang>,
    C: AbstractValue<TinyLang>,
    D: AbstractValue<TinyLang>, 

fn from(value: (&'static str, fn(_: &A, _: &B, _: &C, _: &D) -> R)) -> Self

Performs the conversion.

impl<R, A, B, C, D> From<(&'static str, fn(&A, &B, &C, &D) -> Result<R, <TinyLang as Interpreter>::Error>)> for NativeProcedure where
    R: AbstractValue<TinyLang>,
    A: AbstractValue<TinyLang>,
    B: AbstractValue<TinyLang>,
    C: AbstractValue<TinyLang>,
    D: AbstractValue<TinyLang>, 

fn from(
    value: (&'static str, fn(_: &A, _: &B, _: &C, _: &D) -> Result<R, <TinyLang as Interpreter>::Error>)
) -> Self

Performs the conversion.

impl<R, A, B, C> From<(&'static str, fn(&A, &B, &C) -> R)> for NativeProcedure where
    R: AbstractValue<TinyLang>,
    A: AbstractValue<TinyLang>,
    B: AbstractValue<TinyLang>,
    C: AbstractValue<TinyLang>, 

fn from(value: (&'static str, fn(_: &A, _: &B, _: &C) -> R)) -> Self

Performs the conversion.

impl<R, A, B, C> From<(&'static str, fn(&A, &B, &C) -> Result<R, <TinyLang as Interpreter>::Error>)> for NativeProcedure where
    R: AbstractValue<TinyLang>,
    A: AbstractValue<TinyLang>,
    B: AbstractValue<TinyLang>,
    C: AbstractValue<TinyLang>, 

fn from(
    value: (&'static str, fn(_: &A, _: &B, _: &C) -> Result<R, <TinyLang as Interpreter>::Error>)
) -> Self

Performs the conversion.

impl<R, A, B> From<(&'static str, fn(&A, &B) -> R)> for NativeProcedure where
    R: AbstractValue<TinyLang>,
    A: AbstractValue<TinyLang>,
    B: AbstractValue<TinyLang>, 

fn from(value: (&'static str, fn(_: &A, _: &B) -> R)) -> Self

Performs the conversion.

impl<R, A, B> From<(&'static str, fn(&A, &B) -> Result<R, <TinyLang as Interpreter>::Error>)> for NativeProcedure where
    R: AbstractValue<TinyLang>,
    A: AbstractValue<TinyLang>,
    B: AbstractValue<TinyLang>, 

fn from(
    value: (&'static str, fn(_: &A, _: &B) -> Result<R, <TinyLang as Interpreter>::Error>)
) -> Self

Performs the conversion.

impl<R, A> From<(&'static str, fn(&A) -> R)> for NativeProcedure where
    R: AbstractValue<TinyLang>,
    A: AbstractValue<TinyLang>, 

fn from(value: (&'static str, fn(_: &A) -> R)) -> Self

Performs the conversion.

impl<R, A> From<(&'static str, fn(&A) -> Result<R, <TinyLang as Interpreter>::Error>)> for NativeProcedure where
    R: AbstractValue<TinyLang>,
    A: AbstractValue<TinyLang>, 

fn from(
    value: (&'static str, fn(_: &A) -> Result<R, <TinyLang as Interpreter>::Error>)
) -> Self

Performs the conversion.

impl Trace for NativeProcedure

fn trace(&self, tracer: &mut Tracer)

Define how to visit values referred by this value.

fn is_type_tracked() -> bool

Whether this type should be tracked by the collector.

fn as_any(&self) -> Option<&dyn Any>

Provide downcast support.