Enum tuber::Expr

pub enum Expr {
    Variable(Identifier),
    Symbol(Identifier),
    Apply {
        lhs: Box<Expr>,
        rhs: Box<Expr>,
    },
    Lambda {
        param: Identifier,
        body: Box<Expr>,
    },
}

Variants

Variable(Identifier)

変数

Symbol(Identifier)

シンボル

Apply

Fields

lhs: Box<Expr>

rhs: Box<Expr>

適用

Lambda

Fields

param: Identifier

body: Box<Expr>

ラムダ抽象

Implementations

impl Expr

pub fn substitute(&mut self, param: &Identifier, arg: &Expr)

指定した識別子を別の式で置き換えた新しい式を得る

ラムダ抽象の中で束縛されている束縛変数と自由変数の衝突を避けるため 束縛変数のリネームを行うことがある (α変換)

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Display for Expr

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

Formats the value using the given formatter.

impl Format for &Expr

fn format(&self, style: &DisplayStyle) -> String

impl Format for Expr

fn format(&self, style: &DisplayStyle) -> String

impl From<&str> for Expr

fn from(s: &str) -> Self

Converts to this type from the input type.

impl From<Func> for Expr

fn from(f: Func) -> Expr

Converts to this type from the input type.

impl From<String> for Expr

fn from(s: String) -> Self

Converts to this type from the input type.

impl PartialEq<Expr> for Expr

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Expr