Struct FnDecl 

pub struct FnDecl {
    pub type_name: Option<String>,
    pub name: String,
    pub params: Vec<Param>,
    pub ret_ty: Option<TypeExpr>,
    pub effect: Option<Effect>,
    pub body: Block,
    pub span: Span,
}

a fn declaration. type_name is Some for a fn Type.method definition (the receiver type’s name) and None for a free function. ret_ty is the -> T return type, omitted for void. effect is the is pure/io/ alloc/panic annotation, omitted when Phase 3 should infer it.

Fields

type_name: Option<String>

the receiver type’s name for a fn Type.method definition, else None.

name: String

the function (or method) name.

params: Vec<Param>

the parameter list, in order; for a method, the first may be self.

ret_ty: Option<TypeExpr>

the -> T return type, or None for void.

effect: Option<Effect>

the is pure/io/alloc/panic annotation, or None to infer.

body: Block

the function body; an empty { } body is a Block with no statements.

span: Span

fn keyword to closing }.

Trait Implementations

impl Clone for FnDecl

fn clone(&self) -> FnDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FnDecl

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

Formats the value using the given formatter.

impl PartialEq for FnDecl

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for FnDecl