Skip to main content

uni_locy/
lib.rs

1pub mod calibration;
2pub mod compiler;
3pub mod config;
4pub mod dependency_dnf;
5pub mod errors;
6pub mod neural;
7pub mod result;
8pub mod semiring;
9pub mod top_k_proofs;
10pub mod types;
11
12pub use calibration::{
13    BetaCalibration, BetaFitter, CalibrationError, CalibrationMethodKind, Calibrator,
14    CalibratorFitter, CredalCalibrator, DirichletCalibrator, DirichletFitter,
15    EnsembleVarianceCalibrator, IdentityCalibrator, IsotonicFitter, IsotonicRegression,
16    MulticlassCalibrator, MulticlassCalibratorFitter, PlattFitter, PlattScaling, TemperatureFitter,
17    TemperatureScaling, accuracy, auc, brier_score, debiased_ece, expected_calibration_error,
18    log_loss,
19};
20pub use compiler::compile;
21pub use compiler::compile_with_config;
22pub use compiler::compile_with_external_rules;
23pub use compiler::compile_with_external_rules_and_config;
24pub use compiler::compile_with_modules;
25pub use compiler::compile_with_oracle;
26pub use compiler::errors::LocyCompileError;
27pub use compiler::modules::ModuleContext;
28pub use compiler::{MonotonicityOracle, default_monotonicity_oracle};
29pub use config::{ClassifierRegistry, ConfigError, LocyConfig};
30pub use dependency_dnf::{BaseRv, BaseRvSet, DependencyDnf};
31pub use errors::LocyError;
32pub use neural::{
33    CalibratedClassifier, CandleLinearClassifier, ClassifierError, ClassifierResult, ClassifyInput,
34    FeatureValue, MockClassifier, ModelInvocationCache, NeuralClassifier, NeuralProvenanceRecord,
35    NeuralProvenanceStore,
36};
37pub use result::{
38    AbductionResult, CalibrationResult, CommandResult, ConfidenceBand, ConfidenceSource,
39    DerivationNode, DerivedEdge, DerivedFactSet, FactRow, LocyResult, LocyStats, Modification,
40    NeuralProvenance, ValidatedModification, ValidationResult,
41};
42pub use semiring::merge_top_k_dispatch_owned as merge_top_k_runtime;
43pub use semiring::{
44    AddMultProb, LocySemiring, MaxMinProb, ResolvedSemiringConfig, SemiringDispatch, SemiringError,
45};
46pub use top_k_proofs::{NeuralCallId, Proof, PruneNotice, TopKProofs, TopKTag};
47pub use types::{
48    CompiledCalibrate, CompiledCommand, CompiledInputBinding, CompiledModel, CompiledProgram,
49    CompiledValidate, ModelInvocation, RuntimeWarning, RuntimeWarningCode, SemiringKind,
50};