Struct FileEdbSource 

pub struct FileEdbSource { /* private fields */ }

An EDB source that reads facts from a directory of .mgr and .mg files.

• .mgr files are SimpleRow data files (fast loading).
• .mg files are Mangle programs (compiled + executed to extract facts).

Implementations

impl FileEdbSource

pub fn new(name: impl Into<String>, dir: impl Into<PathBuf>) -> Self

Trait Implementations

impl EdbSource for FileEdbSource

fn name(&self) -> &str

A human-readable name for this source.

fn relations(&self) -> Result<Vec<RelationInfo>>

Returns metadata about the relations this source provides.

fn scan(&self, relation: &str) -> Result<Vec<Vec<Value>>>

Returns all tuples for the given relation.

fn fingerprint(&self) -> Result<Option<Fingerprint>>

Returns a fingerprint for staleness detection. None means “always recompute” (no caching possible).