deep_causality_topology 0.7.1

Topological data structures for the DeepCausality project
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

/*
 * SPDX-License-Identifier: MIT
 * Copyright (c) 2023 - 2026. The DeepCausality Authors and Contributors. All Rights Reserved.
 */

use crate::LatticeComplex;
use deep_causality_algebra::RealField;
use deep_causality_haft::{HKT, NoConstraint, Satisfies};
use std::sync::Arc;

/// HKT witness for `LatticeComplex<D, R>` as a functor over field values.
pub struct LatticeComplexWitness<const D: usize, R: RealField>(std::marker::PhantomData<R>);

impl<const D: usize, R: RealField> HKT for LatticeComplexWitness<D, R> {
    type Constraint = NoConstraint;
    type Type<T>
        = LatticeField<D, R, T>
    where
        T: Satisfies<NoConstraint>;
}

/// A field assignment over lattice cells.
/// Simplified implementation: map from cell indices (or linearized index) to value.
pub struct LatticeField<const D: usize, R: RealField, T> {
    pub lattice: Arc<LatticeComplex<D, R>>,
    pub values: Vec<T>, // Linearized values
}