Trait rustc_query_system::query::caches::QueryCache

pub trait QueryCache: QueryStorage + Sized {
    type Key: Hash + Eq + Clone + Debug;

    fn lookup<R, OnHit>(&self, key: &Self::Key, on_hit: OnHit) -> Result<R, ()>
    where
        OnHit: FnOnce(&Self::Stored, DepNodeIndex) -> R;
    fn complete(
        &self,
        key: Self::Key,
        value: Self::Value,
        index: DepNodeIndex
    ) -> Self::Stored;
    fn iter(&self, f: &mut dyn FnMut(&Self::Key, &Self::Value, DepNodeIndex));
}

Required Associated Types

type Key: Hash + Eq + Clone + Debug

Required Methods

fn lookup<R, OnHit>(&self, key: &Self::Key, on_hit: OnHit) -> Result<R, ()>where
    OnHit: FnOnce(&Self::Stored, DepNodeIndex) -> R,

Checks if the query is already computed and in the cache. It returns the shard index and a lock guard to the shard, which will be used if the query is not in the cache and we need to compute it.

fn complete(
    &self,
    key: Self::Key,
    value: Self::Value,
    index: DepNodeIndex
) -> Self::Stored

fn iter(&self, f: &mut dyn FnMut(&Self::Key, &Self::Value, DepNodeIndex))

Implementors

impl<'tcx, K, V> QueryCache for ArenaCache<'tcx, K, V>where
    K: Eq + Hash + Clone + Debug,
    V: Debug + 'tcx,

type Key = K

impl<'tcx, K, V> QueryCache for VecArenaCache<'tcx, K, V>where
    K: Eq + Idx + Clone + Debug,
    V: Debug + 'tcx,

type Key = K

impl<K, V> QueryCache for DefaultCache<K, V>where
    K: Eq + Hash + Clone + Debug,
    V: Clone + Debug,

type Key = K

impl<K, V> QueryCache for VecCache<K, V>where
    K: Eq + Idx + Clone + Debug,
    V: Clone + Debug,

type Key = K