pr4xis 0.23.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
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

#[macro_use]
pub mod macros;
mod domain;
pub mod interpretation;
pub mod meta;
mod property;
pub mod provenance;
pub mod reasoning;
pub mod registry;
pub mod staging;
pub mod validate;

pub use crate::logic::Axiom;
pub use domain::Ontology;
pub use meta::{
    Citation, ConceptName, Definition, Grade, Label, LanguageCode, Lexical, ModulePath, Morphism,
    MorphismKind, OntologyName, Provenance, SynkolationLevel, Vocabulary, Year,
};
pub use property::{Quality, QualityKind};
#[cfg(not(target_arch = "wasm32"))]
pub use registry::{
    ADJUNCTION_CONSTRUCTORS, ADJUNCTIONS, AXIOM_CONSTRUCTORS, AXIOMS, FUNCTOR_CONSTRUCTORS,
    FUNCTORS, NATURAL_TRANSFORMATION_CONSTRUCTORS, NATURAL_TRANSFORMATIONS, VOCABULARIES,
};
pub use registry::{
    BoxedAxiom, axiom_by_name, axiom_constructors, boxed_axiom, connection_constructors,
    describe_adjunctions, describe_all_arrows, describe_axioms, describe_functors,
    describe_knowledge_base, describe_natural_transformations,
};
pub use staging::Staging;

#[cfg(test)]
mod tests;