Struct ParamDecl 

pub struct ParamDecl<P: Phase = Raw> {
    pub name: Spanned<DeclName>,
    pub type_ann: TypeExpr<P>,
    pub value: Option<Expr<P>>,
}

Fields

name: Spanned<DeclName>

type_ann: TypeExpr<P>

value: Option<Expr<P>>

The default value expression. None for required params (no default).

Trait Implementations

impl<P: Clone + Phase> Clone for ParamDecl<P>

fn clone(&self) -> ParamDecl<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug + Phase> Debug for ParamDecl<P>

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

Formats the value using the given formatter.

impl FormatEquivalent for ParamDecl

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

Returns true if self and other are equivalent up to formatting.

impl From<ParamDecl> for ParamDecl<Desugared>

fn from(p: ParamDecl<Raw>) -> Self

Converts to this type from the input type.