flowlog-build 0.3.1

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

//! Primitive types and the per-program type registry.
//!
//! - [`DataType`]: the closed set of 12 built-in runtime primitives
//!   (`int8`..`uint64`, `f32`/`f64`, `string`, `bool`).
//! - [`ConstType`]: literal constants (numbers, text).
//! - [`TypeRegistry`] / [`TypeId`]: per-program registry of every named
//!   type — primitives plus user-declared `.type` aliases and subtypes.
//!   The typechecker enforces compatibility through [`TypeId`];
//!   downstream stages read only the root [`DataType`].
//!
//! These types form the building blocks of FlowLog Datalog programs and
//! appear in atoms, expressions, and relation schemas.

mod const_type;
mod data_type;

pub use const_type::ConstType;
pub use data_type::{DataType, TypeRegistry};
pub(crate) use data_type::TypeId;