Struct FunctionSignatureBuilder

Source

pub struct FunctionSignatureBuilder {
    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 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>,
}

Expand description

Builder for non-hook function signatures.

Fields§

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

FunctionSignatureBuilder

Struct FunctionSignatureBuilder Copy item path

Fields§

Trait Implementations§

impl Default for FunctionSignatureBuilder

fn default() -> Self

Auto Trait Implementations§

impl Freeze for FunctionSignatureBuilder

impl RefUnwindSafe for FunctionSignatureBuilder

impl Send for FunctionSignatureBuilder

impl Sync for FunctionSignatureBuilder

impl Unpin for FunctionSignatureBuilder

impl UnsafeUnpin for FunctionSignatureBuilder

impl UnwindSafe for FunctionSignatureBuilder

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct FunctionSignatureBuilder

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,