Struct TypedParam 

pub struct TypedParam {
    pub is_self: bool,
    pub name: String,
    pub ty: QalaType,
    pub default: Option<TypedExpr>,
    pub span: Span,
}

one typed parameter of a function or method. mirror of ast::Param. for the self first parameter of a method the type is the receiver’s type (resolved by the type checker via the TypedFnDecl::type_name).

Fields

is_self: bool

true if this is the self first parameter of a method.

name: String

the parameter name ("self" when is_self).

ty: QalaType

the resolved parameter type. for self, the receiver type (QalaType::Named of the enclosing method’s type_name).

default: Option<TypedExpr>

the = expr default value, type-checked against ty, or None.

span: Span

the parameter’s source span (name to default, or name to type).

Trait Implementations

impl Clone for TypedParam

fn clone(&self) -> TypedParam

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypedParam

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

Formats the value using the given formatter.

impl PartialEq for TypedParam

fn eq(&self, other: &TypedParam) -> 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 TypedParam