AuditableGraphGenerator

Type Alias AuditableGraphGenerator 

Source
pub type AuditableGraphGenerator<T> = <<GraphGeneratableEffectSystem as Effect3>::HktWitness as HKT>::Type<T>;
Expand description

Type alias for auditable graph generator computations.

This is the primary type used throughout the HKT generative system. It represents a computation that produces a value of type T while automatically tracking errors and maintaining a complete audit log.

§Example

use deep_causality::types::generative_types::effect_system::*;

fn my_operation() -> AuditableGraphGenerator<MyState> {
    GraphGeneratableEffectSafe {
        value: Some(my_state),
        error: None,
        logs: ModificationLog::new(),
    }
}