flowlog-build 0.2.2

Build-time FlowLog compiler for library mode.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

//! FlowLog Catalog Library
//!
//! This crate provides per-rule metadata and utilities used by the planner.
//! It builds compact signatures for atoms/arguments, detects core
//! atoms, records local filters, and exposes helpers to reason about variable
//! occurrence and comparisons.

mod arithmetic;
mod atom;
mod compare;
mod error;
mod filter;
mod fn_call;
mod predicate;
mod rule;

// External API — used by integration tests.
pub use error::{CatalogError, UnsafePredicateKind};
pub use rule::Catalog;

// Intra-crate shortcuts.
pub(crate) use arithmetic::{ArithmeticPos, FactorPos};
pub(crate) use atom::{AtomArgumentSignature, AtomSignature};
pub(crate) use compare::ComparisonExprPos;
pub(crate) use filter::Filters;
pub(crate) use fn_call::FnCallPredicatePos;
pub(crate) use predicate::{JoinPredicates, KvPredicates};