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

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

use crate::Cell;
use crate::CellComplex;
use deep_causality_haft::{HKT, NoConstraint, Satisfies};
use std::sync::Arc;

/// HKT witness for `CellComplex<C>` as a functor over field values.
pub struct CellComplexWitness<C: Cell>(std::marker::PhantomData<C>);

impl<C: Cell> HKT for CellComplexWitness<C> {
    type Constraint = NoConstraint;
    type Type<T>
        = CellField<C, T>
    where
        T: Satisfies<NoConstraint>;
}

/// A field over an arbitrary cell complex.
pub struct CellField<C: Cell, T> {
    pub complex: Arc<CellComplex<C>>,
    pub values: Vec<T>,
}