uor-foundation 0.3.0

UOR Foundation — typed Rust traits for the complete ontology. Import and implement.
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

// @generated by uor-crate from uor-ontology — do not edit manually

//! `monoidal/` namespace — Sequential composition of computations via monoidal product A ⊗ B..
//!
//! Space: Kernel

use crate::HostTypes;

/// A ⊗ B: the sequential composition of two computations. Output of A feeds input of B.
pub trait MonoidalProduct<H: HostTypes> {
    /// Associated type for `ComputationDatum`.
    type ComputationDatum: crate::user::morphism::ComputationDatum<H>;
    /// The left operand in the monoidal product A ⊗ B.
    fn left_operand(&self) -> &Self::ComputationDatum;
    /// The right operand in the monoidal product A ⊗ B.
    fn right_operand(&self) -> &Self::ComputationDatum;
    /// Associated type for `Datum`.
    type Datum: crate::kernel::schema::Datum<H>;
    /// The result datum of the composed computation A ⊗ B.
    fn composed_result(&self) -> &Self::Datum;
    /// σ(A⊗B) relationship: saturation of the sequential composition.
    fn saturation_value(&self) -> H::Decimal;
}

/// The identity computation I: passes input through unchanged. I ⊗ A ≅ A ≅ A ⊗ I.
pub trait MonoidalUnit<H: HostTypes> {
    /// Associated type for `Certificate`.
    type Certificate: crate::bridge::cert::Certificate<H>;
    /// Certificate witnessing I ⊗ A ≅ A ≅ A ⊗ I.
    fn unit_witness_ref(&self) -> &Self::Certificate;
}

/// The witness that (A⊗B)⊗C ≅ A⊗(B⊗C). The associativity isomorphism.
pub trait MonoidalAssociator<H: HostTypes> {
    /// Associated type for `MonoidalProduct`.
    type MonoidalProduct: MonoidalProduct<H>;
    /// The left-grouped product (A⊗B)⊗C.
    fn associator_left(&self) -> &Self::MonoidalProduct;
    /// The right-grouped product A⊗(B⊗C).
    fn associator_right(&self) -> &Self::MonoidalProduct;
    /// Associated type for `Certificate`.
    type Certificate: crate::bridge::cert::Certificate<H>;
    /// Certificate witnessing the associativity isomorphism (A⊗B)⊗C ≅ A⊗(B⊗C).
    fn associator_witness_ref(&self) -> &Self::Certificate;
}