pub struct GraphGeneratableEffect<T, E, L> {
pub value: Option<T>,
pub error: Option<E>,
pub logs: L,
}Expand description
The core effect type for the HKT generative system.
This struct wraps computation results in a monadic context that tracks:
- The result value (or
Noneif an error occurred) - Any error that prevented computation
- A complete audit log of all operations
§Type Parameters
T: The wrapped value typeE: The error type (fixed toModelValidationErrorin practice)L: The log type (fixed toModificationLogin practice)
§Design
The value field is Option<T> rather than T to allow representing
error states without requiring T: Default. When an error occurs during
a monadic operation, the value becomes None and the error is captured.
Fields§
§value: Option<T>The computation result, or None if an error occurred
error: Option<E>Any error that occurred during computation
logs: LComplete audit trail of all operations
Trait Implementations§
Auto Trait Implementations§
impl<T, E, L> Freeze for GraphGeneratableEffect<T, E, L>
impl<T, E, L> RefUnwindSafe for GraphGeneratableEffect<T, E, L>
impl<T, E, L> Send for GraphGeneratableEffect<T, E, L>
impl<T, E, L> Sync for GraphGeneratableEffect<T, E, L>
impl<T, E, L> Unpin for GraphGeneratableEffect<T, E, L>
impl<T, E, L> UnwindSafe for GraphGeneratableEffect<T, E, L>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more