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

use super::situation::Situation;
use std::fmt::Debug;

/// An action transforms one situation into another.
///
/// Actions are the morphisms in the praxis category.
/// They carry full context of WHAT is being attempted.
pub trait Action: Clone + Debug {
    /// The situation type this action operates on.
    type Sit: Situation;

    /// Human-readable description of this action.
    fn describe(&self) -> String;
}