Struct FunctionSignature 

pub struct FunctionSignature {

    pub positional_params: Vec<Effect>,
    pub rest_param: Option<Effect>,
    pub return_type: Type,
    pub return_value_kind: ValueKind,
    pub return_value_reason: Option<ValueReason>,
    pub callee_effect: Effect,
    pub hook_kind: Option<HookKind>,
    pub no_alias: bool,
    pub mutable_only_if_operands_are_mutable: bool,
    pub impure: bool,
    pub known_incompatible: Option<String>,
    pub canonical_name: Option<String>,
    pub aliasing: Option<AliasingSignatureConfig>,
}

Call signature of a function, used for type and effect inference. Ported from TS FunctionSignature.

Fields

positional_params: Vec<Effect>

rest_param: Option<Effect>

return_type: Type

return_value_kind: ValueKind

return_value_reason: Option<ValueReason>

callee_effect: Effect

hook_kind: Option<HookKind>

no_alias: bool

mutable_only_if_operands_are_mutable: bool

impure: bool

known_incompatible: Option<String>

canonical_name: Option<String>

aliasing: Option<AliasingSignatureConfig>

Aliasing signature in config form. Full parsing into AliasingSignature with Place values is deferred until the aliasing effects system is ported.

Trait Implementations

impl Clone for FunctionSignature

fn clone(&self) -> FunctionSignature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionSignature

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

Formats the value using the given formatter.