Skip to main content

cel_core/checker/
mod.rs

1//! CEL Type Checker
2//!
3//! This module provides type checking for CEL (Common Expression Language) expressions,
4//! producing `CheckedExpr` with `type_map` and `reference_map` for downstream processing.
5//!
6//! The checker is designed to be independent - it takes raw data (variables, functions,
7//! container) rather than a type environment struct. This makes it reusable as a building
8//! block for higher-level APIs like `cel-core::Env`.
9
10mod checker;
11mod errors;
12mod overload;
13mod scope;
14mod standard_library;
15
16pub use checker::{check, check_with_proto_types, CheckResult, Checker, ReferenceInfo};
17pub use errors::{CheckError, CheckErrorKind};
18pub use standard_library::STANDARD_LIBRARY;