Type Alias PolyFnSig

pub type PolyFnSig = Binder<FnSig>;

Aliased Type

struct PolyFnSig {
    pub value: FnSig,
    pub bound_vars: Vec<BoundVariableKind>,
}

Fields

value: FnSig

bound_vars: Vec<BoundVariableKind>

Implementations

impl PolyFnSig

pub fn fn_ptr_abi(self) -> Result<FnAbi, Error>

Compute a FnAbi suitable for indirect calls, i.e. to fn pointers.

NB: this doesn’t handle virtual calls - those should use Instance::fn_abi instead, where the instance is an InstanceKind::Virtual.

impl<T> Binder<T>

pub fn bind_with_vars(value: T, bound_vars: Vec<BoundVariableKind>) -> Self

Create a new binder with the given bound vars.

pub fn dummy(value: T) -> Self

Create a new binder with no bounded variable.

pub fn skip_binder(self) -> T

pub fn map_bound_ref<F, U>(&self, f: F) -> Binder<U>

where F: FnOnce(&T) -> U,

pub fn map_bound<F, U>(self, f: F) -> Binder<U>

where F: FnOnce(T) -> U,

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 56 bytes

Trait Implementations

impl<T: Clone> Clone for Binder<T>

fn clone(&self) -> Binder<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Binder<T>

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

Formats the value using the given formatter.

impl<T: PartialEq> PartialEq for Binder<T>

fn eq(&self, other: &Binder<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T> Serialize for Binder<T>

where T: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<T: Visitable> Visitable for Binder<T>

fn super_visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

fn visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

impl<T: Eq> Eq for Binder<T>

impl<T> StructuralPartialEq for Binder<T>