Trait voile::syntax::core::RedEx

pub trait RedEx<T: Sized = Val>: Sized {
    fn reduce_with_dbi(self, arg: Val, dbi: DBI) -> T;
    fn reduce_with_dbi_borrow(self, arg: &Val, dbi: DBI) -> T;
}

Reducible expressions.

Required methods

fn reduce_with_dbi(self, arg: Val, dbi: DBI) -> T

This is primarily a private implementation-related API. Use at your own risk.

fn reduce_with_dbi_borrow(self, arg: &Val, dbi: DBI) -> T

When the argument is not likely to be used, prefer this over reduce_with_dbi.

Loading content...

Implementors

impl RedEx<Closure> for Closure

fn reduce_with_dbi(self, arg: Val, dbi: DBI) -> Self

fn reduce_with_dbi_borrow(self, arg: &Val, dbi: DBI) -> Self

impl RedEx<Val> for Neutral

fn reduce_with_dbi(self, arg: Val, dbi: DBI) -> Val

fn reduce_with_dbi_borrow(self, arg: &Val, dbi: DBI) -> Val

impl RedEx<Val> for Val

fn reduce_with_dbi(self, arg: Val, dbi: DBI) -> Val

fn reduce_with_dbi_borrow(self, arg: &Val, dbi: DBI) -> Val

Loading content...