Struct GraphGeneratableEffectSystem 

pub struct GraphGeneratableEffectSystem;

The effect system witness that fixes error and log types.

This struct implements Effect3 to provide a complete HKT effect system with ModelValidationError as the error type and ModificationLog as the log type.

Trait Implementations

impl Effect3 for GraphGeneratableEffectSystem

type Fixed1 = ModelValidationError

The fixed type for the first parameter of the HKT3 type. In many effect systems, this represents the Error type (e.g., String, MyErrorStruct).

type Fixed2 = ModificationLog

The fixed type for the second parameter of the HKT3 type. This often represents a Warning or Log type (e.g., String, Vec<String>).

type HktWitness = GraphGeneratableEffectWitness<<GraphGeneratableEffectSystem as Effect3>::Fixed1, <GraphGeneratableEffectSystem as Effect3>::Fixed2>

The concrete witness type that implements HKT3 with the two fixed types (Fixed1, Fixed2). This witness type MUST also implement HKT to be compatible with Functor and Monad traits. It acts as a token to refer to the partially applied type constructor.