pub(crate) enum ItemWithBounds<'db> {
TypeAliasId(TypeAliasId),
InternedOpaqueTyId(InternedOpaqueTyId<'db>),
}Variants§
TypeAliasId(TypeAliasId)
InternedOpaqueTyId(InternedOpaqueTyId<'db>)
Trait Implementations§
Source§impl<'db> From<InternedOpaqueTyId<'db>> for ItemWithBounds<'db>
impl<'db> From<InternedOpaqueTyId<'db>> for ItemWithBounds<'db>
Source§fn from(it: InternedOpaqueTyId<'db>) -> ItemWithBounds<'db>
fn from(it: InternedOpaqueTyId<'db>) -> ItemWithBounds<'db>
Converts to this type from the input type.
Source§impl<'db> From<TypeAliasId> for ItemWithBounds<'db>
impl<'db> From<TypeAliasId> for ItemWithBounds<'db>
Source§fn from(it: TypeAliasId) -> ItemWithBounds<'db>
fn from(it: TypeAliasId) -> ItemWithBounds<'db>
Converts to this type from the input type.
Source§impl<'db> FromIdWithDb for ItemWithBounds<'db>
impl<'db> FromIdWithDb for ItemWithBounds<'db>
Source§impl<'db> SalsaStructInDb for ItemWithBounds<'db>
impl<'db> SalsaStructInDb for ItemWithBounds<'db>
Source§const LEAF_TYPE_IDS: &'static [ConstTypeId]
const LEAF_TYPE_IDS: &'static [ConstTypeId]
The type IDs of all concrete (leaf) salsa struct types that this type can contain. Read more
type MemoIngredientMap = MemoIngredientIndices
Source§fn lookup_ingredient_index(__zalsa: &Zalsa) -> IngredientIndices
fn lookup_ingredient_index(__zalsa: &Zalsa) -> IngredientIndices
Lookup or create ingredient indices. Read more
Source§fn entries(zalsa: &Zalsa) -> impl Iterator<Item = DatabaseKeyIndex> + '_
fn entries(zalsa: &Zalsa) -> impl Iterator<Item = DatabaseKeyIndex> + '_
Returns the IDs of any instances of this struct in the database.
Source§fn cast(id: Id, type_id: TypeId) -> Option<Self>
fn cast(id: Id, type_id: TypeId) -> Option<Self>
Plumbing to support nested salsa supertypes. Read more
Source§unsafe fn memo_table(
zalsa: &Zalsa,
id: Id,
current_revision: Revision,
) -> MemoTableWithTypes<'_>
unsafe fn memo_table( zalsa: &Zalsa, id: Id, current_revision: Revision, ) -> MemoTableWithTypes<'_>
Return the memo table associated with
id. Read moreAuto Trait Implementations§
impl<'db> Freeze for ItemWithBounds<'db>
impl<'db> RefUnwindSafe for ItemWithBounds<'db>
impl<'db> Send for ItemWithBounds<'db>
impl<'db> Sync for ItemWithBounds<'db>
impl<'db> Unpin for ItemWithBounds<'db>
impl<'db> UnsafeUnpin for ItemWithBounds<'db>
impl<'db> UnwindSafe for ItemWithBounds<'db>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more