Enum Def 

pub enum Def {
    Anchor {
        name: String,
        params: Vec<Param>,
        body: Expr,
        where_defs: Vec<Def>,
        span: Span,
    },
    Local {
        name: String,
        body: Expr,
        where_defs: Vec<Def>,
        span: Span,
    },
}

A definition — top-level, where-block, or let-block.

Variants

Anchor

name p1 p2 = body — an anchor with parameters.

Fields

name: String

Definition name.

params: Vec<Param>

Formal parameters.

body: Expr

Right-hand side.

where_defs: Vec<Def>

Optional where-block definitions.

span: Span

Span of the whole definition.

Local

name = body — a local binding (no params).

Fields

name: String

Definition name.

body: Expr

Right-hand side.

where_defs: Vec<Def>

Optional where-block definitions.

span: Span

Span of the whole definition.

Implementations

impl Def

pub fn name(&self) -> &str

Returns the identifier name of this definition.

pub fn body(&self) -> &Expr

Returns the body expression of this definition.

pub fn params(&self) -> &[Param]

Returns the parameters of this definition (empty for Local).

pub fn where_defs(&self) -> &[Def]

Returns the where-block definitions of this definition.

Trait Implementations

impl Clone for Def

fn clone(&self) -> Def

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Def

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

Formats the value using the given formatter.

impl PartialEq for Def

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Def