Struct StructuralFeatures 

pub struct StructuralFeatures {
    pub terminal: bool,
    pub products: bool,
    pub initial: bool,
    pub coproducts: bool,
    pub exponentials: bool,
    pub tensor: Option<TensorSpec>,
    pub linear_hom: bool,
    pub diagonal: DiagonalSpec,
    pub terminal_morphism: TerminalSpec,
    pub symmetry: bool,
}

Structural features present in a category.

These determine what type constructors and structural rules will be present in the derived type system.

Fields

terminal: bool

Terminal object (unit type, 1)

products: bool

Binary products (pair types, A × B)

initial: bool

Initial object (empty type, 0)

coproducts: bool

Binary coproducts (sum types, A + B)

exponentials: bool

Exponentials (function types, A → B) - cartesian

tensor: Option<TensorSpec>

Tensor product specification (A ⊗ B)

linear_hom: bool

Linear hom / internal hom (A ⊸ B)

diagonal: DiagonalSpec

Diagonal morphism availability (contraction)

terminal_morphism: TerminalSpec

Terminal morphism availability (weakening)

symmetry: bool

Symmetry/braiding (exchange rule)

Trait Implementations

impl Clone for StructuralFeatures

fn clone(&self) -> StructuralFeatures

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StructuralFeatures

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

Formats the value using the given formatter.

impl Default for StructuralFeatures

fn default() -> StructuralFeatures

Returns the “default value” for a type.

impl PartialEq for StructuralFeatures

fn eq(&self, other: &StructuralFeatures) -> 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.

impl Eq for StructuralFeatures

impl StructuralPartialEq for StructuralFeatures