Struct ItemBinder

pub struct ItemBinder<ItemId, T> {
    pub item_id: ItemId,
    val: T,
}

A value of type T bound by the generic parameters of item item. Used when dealing with multiple items at a time, to ensure we don’t mix up generics.

To get the value, use under_binder_of or subst_for.

Fields

item_id: ItemId

val: T

Implementations

impl<ItemId, T> ItemBinder<ItemId, T>

where ItemId: Debug + Copy + PartialEq,

pub fn new(item_id: ItemId, val: T) -> Self

pub fn as_ref(&self) -> ItemBinder<ItemId, &T>

pub fn map_bound<U>(self, f: impl FnOnce(T) -> U) -> ItemBinder<ItemId, U>

fn assert_item_id(&self, item_id: ItemId)

pub fn under_binder_of(self, item_id: ItemId) -> T

Assert that the value is bound for item item_id, and returns it. This is used when we plan to store the returned value inside that item.

pub fn substitute<OtherItem: Debug + Copy + PartialEq>( self, args: ItemBinder<OtherItem, &GenericArgs>, ) -> ItemBinder<OtherItem, T>

where ItemId: Into<AnyTransId>, T: TyVisitable,

Given generic args for item_id, assert that the value is bound for item_id and substitute it with the provided generic arguments. Because the arguments are bound in the context of another item, so it the resulting substituted value.

impl<T> ItemBinder<CurrentItem, T>

pub fn under_current_binder(self) -> T

Trait Implementations

impl<ItemId: Clone, T: Clone> Clone for ItemBinder<ItemId, T>

fn clone(&self) -> ItemBinder<ItemId, T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<ItemId: Debug, T: Debug> Debug for ItemBinder<ItemId, T>

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

Formats the value using the given formatter.

impl<ItemId: Copy, T: Copy> Copy for ItemBinder<ItemId, T>