ReadOnlyFactStore

Trait ReadOnlyFactStore 

Source
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§

Source

fn contains(&'a self, fact: &Atom<'_>) -> Result<bool>

Source

fn get( &'a self, query: &Atom<'_>, cb: impl FnMut(&'a Atom<'a>) -> Result<()>, ) -> Result<()>

Source

fn list_predicates(&'a self, cb: impl FnMut(&'a PredicateSym<'_>))

Source

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.

Implementors§