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

use std::fmt::Debug;
use std::hash::Hash;

/// An entity is a thing that exists in an ontology — an object in the category.
///
/// Entities must be finite and enumerable. Every entity can list all possible
/// values of its type, enabling exhaustive validation of ontology properties.
pub trait Entity: Sized + Clone + Eq + Hash + Debug {
    /// All possible entities of this type.
    fn variants() -> Vec<Self>;
}