pr4xis 0.5.0

Prove your domain is correct — ontology-driven rule enforcement with category theory, logical composition, and runtime state machines
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
mod action;
#[allow(clippy::module_inception)]
mod engine;
mod precondition;
mod situation;
mod trace;

pub use action::Action;
pub use engine::{Engine, EngineError};
pub use precondition::{Precondition, PreconditionResult};
pub use situation::Situation;
pub use trace::{Trace, TraceEntry};

#[cfg(test)]
mod tests;