Trait salsa::debug::DebugQueryTable

pub trait DebugQueryTable {
    type Key;

    fn is_constant(&self, key: Self::Key) -> bool;
    fn keys<C>(&self) -> C
    where
        C: FromIterator<Self::Key>;
}

Required Associated Types

type Key

Required Methods

fn is_constant(&self, key: Self::Key) -> bool

True if salsa thinks that the value for key is a constant, meaning that it can never change, no matter what values the inputs take on from this point.

fn keys<C>(&self) -> Cwhere
    C: FromIterator<Self::Key>,

Get the (current) set of the keys in the query table.

Implementors

impl<DB, Q> DebugQueryTable for QueryTable<'_, DB, Q>where
    DB: Database,
    Q: Query<DB>,

type Key = <Q as Query<DB>>::Key