Struct voile::syntax::core::ast::Closure

pub struct Closure {
    pub body: Box<Val>,
}

A closure with parameter type explicitly specified.

Fields

body: Box<Val>

Methods

impl Closure

pub fn new(body: Val) -> Self

pub fn instantiate(self, arg: Val) -> Val

pub fn instantiate_cloned(&self, arg: Val) -> Val

Trait Implementations

impl LiftEx for Closure

fn lift(self, levels: u32) -> Self

Lift the level of self.

fn calc_level(&self) -> Option<Level>

Internal API, for code sharing only.

fn level(&self) -> Level

Calculate the level of self, like a normal value will have level 0, a type expression will have level 1 (or higher).

impl Eq for Closure

fn assert_receiver_is_total_eq(&self)

impl PartialEq<Closure> for Closure

fn eq(&self, other: &Closure) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Closure) -> bool

This method tests for !=.

impl Clone for Closure

fn clone(&self) -> Closure

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Closure

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

Formats the value using the given formatter.

impl Display for Closure

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

Formats the value using the given formatter.