EffectData

Enum EffectData 

Source
pub enum EffectData {
    Bool(bool),
    Float(f64),
    Int(i64),
    Numerical(NumericValue),
    String(String),
    Vector(Vec<EffectData>),
    MultiVector(CausalMultiVector<f64>),
    Tensor(CausalTensor<f64>),
    PointCloud(PointCloud<f64, f64>),
    SimplicialComplex(SimplicialComplex<f64>),
    Manifold(Manifold<f64, f64>),
    Custom(Arc<dyn Any + Send + Sync>),
}
Expand description

EffectData represents a unified type for heterogeneous causal graphs.

It follows the “Atomic + Escape Hatch” pattern:

  • Atomic Variants: Common types like Bool, Float, Int, Vector.
  • Algebraic Variants: MultiVector and Tensor (fixed to f64 backing for simplicity).
  • Escape Hatch: Custom variant for any other complex type, using type erasure via Arc.

Variants§

§

Bool(bool)

Boolean value (e.g., activation status).

§

Float(f64)

Floating-point value (standard numeric data).

§

Int(i64)

Integer value (counts, discrete states).

§

Numerical(NumericValue)

A generic NumericalValue (u8..u128, i8..i128, f32, f64).

§

String(String)

String value (labels, identifiers).

§

Vector(Vec<EffectData>)

A vector of EffectData, enabling recursive heterogeneous collections.

§

MultiVector(CausalMultiVector<f64>)

A generic MultiVector (Geometric Algebra), fixed to f64.

§

Tensor(CausalTensor<f64>)

A generic CausalTensor, fixed to f64.

§

PointCloud(PointCloud<f64, f64>)

A PointCloud (0-Complex), fixed to f64.

§

SimplicialComplex(SimplicialComplex<f64>)

A SimplicialComplex (Higher-order structure).

§

Manifold(Manifold<f64, f64>)

A Manifold (Valid SimplicialComplex), fixed to f64.

§

Custom(Arc<dyn Any + Send + Sync>)

An escape hatch for storing any other type that implements Any + Send + Sync. Note: This uses Arc to support cheap cloning of the reference.

Implementations§

Source§

impl EffectData

Source

pub fn from_custom<T: Any + Send + Sync + 'static>(val: T) -> Self

Creates a Custom variant from any compatible type.

Source§

impl EffectData

Source

pub fn as_custom<T: Any + 'static>(&self) -> Option<&T>

Attempts to downcast the Custom variant to a concrete reference T. Returns None if the variant is not Custom or if the type doesn’t match.

Trait Implementations§

Source§

impl Clone for EffectData

Source§

fn clone(&self) -> EffectData

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for EffectData

Source§

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

Formats the value using the given formatter. Read more
Source§

impl From<&str> for EffectData

Source§

fn from(val: &str) -> Self

Converts to this type from the input type.
Source§

impl From<BackendTensor<f64, CpuBackend>> for EffectData

Source§

fn from(val: CausalTensor<f64>) -> Self

Converts to this type from the input type.
Source§

impl From<CausalMultiVector<f64>> for EffectData

Source§

fn from(val: CausalMultiVector<f64>) -> Self

Converts to this type from the input type.
Source§

impl From<Manifold<f64, f64>> for EffectData

Source§

fn from(val: Manifold<f64, f64>) -> Self

Converts to this type from the input type.
Source§

impl From<NumericValue> for EffectData

Source§

fn from(val: NumericValue) -> Self

Converts to this type from the input type.
Source§

impl From<PointCloud<f64, f64>> for EffectData

Source§

fn from(val: PointCloud<f64, f64>) -> Self

Converts to this type from the input type.
Source§

impl From<SimplicialComplex<f64>> for EffectData

Source§

fn from(val: SimplicialComplex<f64>) -> Self

Converts to this type from the input type.
Source§

impl From<String> for EffectData

Source§

fn from(val: String) -> Self

Converts to this type from the input type.
Source§

impl From<Vec<EffectData>> for EffectData

Source§

fn from(val: Vec<EffectData>) -> Self

Converts to this type from the input type.
Source§

impl From<bool> for EffectData

Source§

fn from(val: bool) -> Self

Converts to this type from the input type.
Source§

impl From<f64> for EffectData

Source§

fn from(val: f64) -> Self

Converts to this type from the input type.
Source§

impl From<i64> for EffectData

Source§

fn from(val: i64) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> Satisfies<NoConstraint> for T