Enum EffectValue 

pub enum EffectValue<T> {
    None,
    Value(T),
    ContextualLink(ContextoidId, ContextoidId),
    RelayTo(usize, Box<PropagatingEffect<T>>),
    Map(HashMap<IdentificationValue, Box<PropagatingEffect<T>>>),
}

Represents the payload of a propagating effect.

This enum encapsulates various types of effect data that can be propagated through the causal effect system. It is generic over type T to allow flexibility in the value type.

Variants

None

Represents the absence of a signal or evidence.

Value(T)

Represents a value of type T

ContextualLink(ContextoidId, ContextoidId)

A link to a complex, structured result in a Contextoid. As an output, this can be interpreted by a reasoning engine as a command to fetch data.

RelayTo(usize, Box<PropagatingEffect<T>>)

A dispatch command that directs the reasoning engine to dynamically jump to a specific causaloid within the graph. The usize is the target causaloid’s index, and the Box<PropagatingEffect> is the effect to be passed as input to that target causaloid. This enables adaptive reasoning.

Map(HashMap<IdentificationValue, Box<PropagatingEffect<T>>>)

A collection of named values, allowing for complex, structured data passing.

Implementations

impl<T> EffectValue<T>

pub fn is_none(&self) -> bool

pub fn is_value(&self) -> bool

pub fn is_contextual_link(&self) -> bool

pub fn is_relay_to(&self) -> bool

pub fn is_map(&self) -> bool

pub fn as_value(&self) -> Option<&T>

pub fn into_value(self) -> Option<T>

Trait Implementations

impl<T: Clone> Clone for EffectValue<T>

fn clone(&self) -> EffectValue<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for EffectValue<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T> Default for EffectValue<T>

fn default() -> EffectValue<T>

Returns the “default value” for a type.

impl<T: Display> Display for EffectValue<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T> From<T> for EffectValue<T>

fn from(value: T) -> Self

Converts to this type from the input type.

impl<T: PartialEq> PartialEq for EffectValue<T>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.