Struct ezno_checker::types::functions::SynthesisedParameter

pub struct SynthesisedParameter {
    pub name: String,
    pub ty: TypeId,
    pub position: SpanWithSource,
    pub missing_value: Option<TypeId>,
}

Optionality is indicated by what vector it is in SynthesisedParameters

Fields

name: String

ty: TypeId

This is the generic parameter type, not the restriction

position: SpanWithSource

missing_value: Option<TypeId>

For optional parameters this is TypeId::UNDEFINED_TYPE else some type

Trait Implementations

impl Clone for SynthesisedParameter

fn clone(&self) -> SynthesisedParameter

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SynthesisedParameter

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

Formats the value using the given formatter.