Enum hindley_milner::Syntax

pub enum Syntax {
    Lambda {
        v: String,
        body: Box<Syntax>,
    },
    Identifier {
        name: String,
    },
    Apply {
        func: Box<Syntax>,
        arg: Box<Syntax>,
    },
    Let {
        v: String,
        defn: Box<Syntax>,
        body: Box<Syntax>,
    },
    Letrec {
        v: String,
        defn: Box<Syntax>,
        body: Box<Syntax>,
    },
}

Variants

Lambda

Fields of Lambda

v: String
body: Box<Syntax>

Identifier

Fields of Identifier

name: String

Apply

Fields of Apply

func: Box<Syntax>
arg: Box<Syntax>

Let

Fields of Let

v: String
defn: Box<Syntax>
body: Box<Syntax>

Letrec

Fields of Letrec

v: String
defn: Box<Syntax>
body: Box<Syntax>

Trait Implementations

impl Debug for Syntax

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

Formats the value using the given formatter.

impl PartialEq for Syntax

fn eq(&self, __arg_0: &Syntax) -> bool

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

fn ne(&self, __arg_0: &Syntax) -> bool

This method tests for !=.

impl Eq for Syntax

impl Clone for Syntax

fn clone(&self) -> Syntax

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Display for Syntax

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

Formats the value using the given formatter.