pub trait ReadOnlyFactStore<'a> {
// Required methods
fn contains(&'a self, fact: &Atom<'_>) -> Result<bool>;
fn get(
&'a self,
query: &Atom<'_>,
cb: impl FnMut(&'a Atom<'a>) -> Result<()>,
) -> Result<()>;
fn list_predicates(&'a self, cb: impl FnMut(&'a PredicateSym<'_>));
fn estimate_fact_count(&self) -> u32;
}Expand description
Lifetime ’a is used for data held by this store.
Required Methods§
fn contains(&'a self, fact: &Atom<'_>) -> Result<bool>
fn get( &'a self, query: &Atom<'_>, cb: impl FnMut(&'a Atom<'a>) -> Result<()>, ) -> Result<()>
fn list_predicates(&'a self, cb: impl FnMut(&'a PredicateSym<'_>))
fn estimate_fact_count(&self) -> u32
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.