Struct PureClosureParam 

pub struct PureClosureParam {
    pub pattern: PurePattern,
    pub ty: Option<PureType>,
}

Closure parameter with optional type annotation.

Unlike function parameters (PureParam), closure parameters:

• Use patterns (destructuring, wildcards, etc.) not just names
• Type annotations are optional (often inferred)

Examples

• |x| → PureClosureParam { pattern: Ident("x"), ty: None }
• |x: Foo| → PureClosureParam { pattern: Ident("x"), ty: Some(Path("Foo")) }
• |(a, b): (Foo, Bar)| → PureClosureParam { pattern: Tuple(..), ty: Some(Tuple(..)) }

Fields

pattern: PurePattern

The parameter pattern.

ty: Option<PureType>

Optional type annotation.

Implementations

impl PureClosureParam

pub fn untyped(pattern: PurePattern) -> Self

Create an untyped closure parameter (type will be inferred).

pub fn typed(pattern: PurePattern, ty: PureType) -> Self

Create a typed closure parameter.

Trait Implementations

impl Clone for PureClosureParam

fn clone(&self) -> PureClosureParam

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PureClosureParam

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

Formats the value using the given formatter.

impl Eq for PureClosureParam

impl PartialEq for PureClosureParam

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PureClosureParam