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
28
29
30
31
32
33
34
35
36
37
38
39

//! Logic components for FlowLog Datalog programs.
//!
//! This module exposes the core logic layer used by the parser and planner:
//! - [`rule`][]: rules (head + body)
//! - [`head`]: rule heads and head arguments
//! - [`predicate`]: predicates appearing in rule bodies
//! - [`atom`][]: atoms (relation + arguments)
//! - [`arithmetic`]: arithmetic expressions and factors
//! - [`comparison`]: comparison expressions and operators
//! - [`aggregation`]: aggregation operators and wrappers

mod aggregation;
mod arithmetic;
mod atom;
mod comparison;
mod fn_call;
mod head;
mod loop_block;
mod predicate;
mod rule;

// Re-exports for a flat intra-crate path; the outer parser/mod.rs
// re-re-exports the externally-needed ones at `parser::*`.
//
// Externally-visible: widened to `pub` so parser/mod.rs can re-export them.
pub use aggregation::AggregationOperator;
pub use arithmetic::ArithmeticOperator;
pub use comparison::ComparisonOperator;
pub use rule::FlowLogRule;

// Intra-crate only.
pub(crate) use aggregation::Aggregation;
pub(crate) use arithmetic::{Arithmetic, Factor};
pub(crate) use atom::{Atom, AtomArg};
pub(crate) use comparison::ComparisonExpr;
pub(crate) use fn_call::FnCall;
pub(crate) use head::{Head, HeadArg};
pub(crate) use loop_block::{IterativeDirective, LoopBlock, LoopCondition, LoopConnective};
pub(crate) use predicate::Predicate;