Struct voile::syntax::surf::Param

pub struct Param {
    pub plicit: Plicit,
    pub names: Vec<Ident>,
    pub ty: Expr,
}

Surface syntax tree node: Parameter.

It's a part of a pi-type or a sigma-type (if we have those syntax element).

Fields

plicit: Plicit

names: Vec<Ident>

This field can be empty -- which indicates the parameter to be anonymous. Many names means there are many params with same type.

ty: Expr

Parameter type.

Trait Implementations

impl Eq for Param

fn assert_receiver_is_total_eq(&self)

impl Clone for Param

fn clone(&self) -> Param

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<Param> for Param

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

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

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

This method tests for !=.

impl Debug for Param

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

Formats the value using the given formatter.