Struct NativeProcedure 

pub struct NativeProcedure { /* private fields */ }

A native function.

Implementations

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> From<(&'static str, fn(&A) -> R)> for NativeProcedure

where R: AbstractValue<TinyLang>, A: AbstractValue<TinyLang>,

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

Converts to this type from the input type.

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

Converts to this type from the input type.

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

Converts to this type from the input type.

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

Converts to this type from the input type.

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

Converts to this type from the input type.

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

Converts to this type from the input type.

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

Converts to this type from the input type.

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

Converts to this type from the input type.

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

Converts to this type from the input type.

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

Converts to this type from the input type.

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.