pr4xis 0.6.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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

#[macro_use]
pub mod macros;
pub mod adjunction;
pub mod algebra;
pub mod applicative;
#[allow(clippy::module_inception)]
pub mod category;
pub mod comonad;
pub mod entity;
pub mod free;
pub mod functor;
pub mod galois;
pub mod invariants;
pub mod kleisli;
pub mod monad;
pub mod monoid;
pub mod monoidal;
pub mod morphism;
pub mod optics;
pub mod reader;
pub mod relationship;
pub mod semigroup;
pub mod state;
pub mod traced;
pub mod transformation;
pub mod transformer;
pub mod validate;
pub mod yoneda;

pub use adjunction::Adjunction;
pub use algebra::{Algebra, Coalgebra};
pub use applicative::Ap;
pub use category::Category;
pub use comonad::{Cofree, Focused};
pub use entity::Entity;
pub use free::Chain;
pub use functor::Functor;
pub use galois::GaloisConnection;
pub use invariants::{FullyConnected, NoDeadStates};
pub use kleisli::KleisliMorphism;
pub use monad::Writer;
pub use monoid::Monoid;
pub use monoidal::{Coproduct, Product};
pub use morphism::{Morphism, compose_all, direct_morphisms};
pub use optics::{Iso, Lens, Prism};
#[doc(hidden)]
pub use pr4xis_derive::Entity;
pub use reader::Reader;
pub use relationship::Relationship;
pub use semigroup::{NonEmpty, Semigroup};
pub use state::State;
pub use transformation::NaturalTransformation;
pub use transformer::TracedState;
pub use yoneda::{CoYoneda, Yoneda, YonedaProfile};