Enum chalk_solve::logging_db::RecordedItemId

pub enum RecordedItemId<I: Interner> {
    Adt(AdtId<I>),
    Trait(TraitId<I>),
    Impl(ImplId<I>),
    OpaqueTy(OpaqueTyId<I>),
    FnDef(FnDefId<I>),
    Coroutine(CoroutineId<I>),
}

Variants

Adt(AdtId<I>)

Trait(TraitId<I>)

Impl(ImplId<I>)

OpaqueTy(OpaqueTyId<I>)

FnDef(FnDefId<I>)

Coroutine(CoroutineId<I>)

Trait Implementations

impl<I: Clone + Interner> Clone for RecordedItemId<I>

fn clone(&self) -> RecordedItemId<I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<I: Debug + Interner> Debug for RecordedItemId<I>

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

Formats the value using the given formatter.

impl<I: Interner> From<AdtId<I>> for RecordedItemId<I>

fn from(v: AdtId<I>) -> Self

Converts to this type from the input type.

impl<I: Interner> From<CoroutineId<I>> for RecordedItemId<I>

fn from(v: CoroutineId<I>) -> Self

Converts to this type from the input type.

impl<I: Interner> From<FnDefId<I>> for RecordedItemId<I>

fn from(v: FnDefId<I>) -> Self

Converts to this type from the input type.

impl<I: Interner> From<ImplId<I>> for RecordedItemId<I>

fn from(v: ImplId<I>) -> Self

Converts to this type from the input type.

impl<I: Interner> From<OpaqueTyId<I>> for RecordedItemId<I>

fn from(v: OpaqueTyId<I>) -> Self

Converts to this type from the input type.

impl<I: Interner> From<TraitId<I>> for RecordedItemId<I>

fn from(v: TraitId<I>) -> Self

Converts to this type from the input type.

impl<I: Hash + Interner> Hash for RecordedItemId<I>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<I: PartialEq + Interner> PartialEq for RecordedItemId<I>

fn eq(&self, other: &RecordedItemId<I>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<I: Copy + Interner> Copy for RecordedItemId<I>

impl<I: Eq + Interner> Eq for RecordedItemId<I>

impl<I: Interner> StructuralPartialEq for RecordedItemId<I>