uni-locy 1.1.0

Locy compiler: validates and stratifies Locy programs
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
pub mod compiler;
pub mod config;
pub mod errors;
pub mod result;
pub mod types;

pub use compiler::compile;
pub use compiler::compile_with_external_rules;
pub use compiler::compile_with_modules;
pub use compiler::errors::LocyCompileError;
pub use compiler::modules::ModuleContext;
pub use config::LocyConfig;
pub use errors::LocyError;
pub use result::{
    AbductionResult, CommandResult, DerivationNode, DerivedEdge, DerivedFactSet, FactRow,
    LocyResult, LocyStats, Modification, ValidatedModification,
};
pub use types::{CompiledCommand, CompiledProgram, RuntimeWarning, RuntimeWarningCode};