Struct Param 

pub struct Param {
    pub name: String,
    pub ty: Type,
    pub default: Option<DefaultValue>,
    pub optional: bool,
    pub rest: bool,
}

Fields

name: String

ty: Type

default: Option<DefaultValue>

optional: bool

Whether a caller may omit the argument. Signatures the typechecker builds from source set it for ? and for defaulted parameters alike, but a host declaration may give only default, so readers ask Param::is_omittable, which covers both.

rest: bool

Callee sees T[]; call-site collects trailing args into a fresh array.

Implementations

impl Param

pub fn is_omittable(&self) -> bool

Whether a caller may leave the argument out: declared ?, or defaulted.

impl Param

pub fn new(name: impl Into<String>, ty: Type) -> Self

pub fn with_default( name: impl Into<String>, ty: Type, default: DefaultValue, ) -> Self

pub fn optional(name: impl Into<String>, ty: Type) -> Self

The caller may omit this parameter, supplying undefined.

pub fn rest(name: impl Into<String>, ty: Type) -> Self

ty is the array type T[]. Must be last; cannot have a default.

pub fn anon(ty: Type) -> Self

Empty name signals “positional” to the diagnostic lifter.

Trait Implementations

impl Clone for Param

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Param

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Param

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Param

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Param

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Param