Struct TypeSpec 

pub struct TypeSpec {
    pub name: String,
    pub grades: Vec<usize>,
    pub description: Option<String>,
    pub fields: Vec<FieldSpec>,
    pub alias_of: Option<String>,
    pub versor: Option<VersorSpec>,
    pub is_sparse: bool,
    pub inverse_sandwich_targets: Vec<String>,
}

A type definition in the specification.

Fields

name: String

Type name (e.g., “Rotor”, “Vector”).

grades: Vec<usize>

Grades contained in this type.

description: Option<String>

Documentation string.

fields: Vec<FieldSpec>

Fields in order (matching blade layout).

alias_of: Option<String>

If this type aliases another (same storage layout).

versor: Option<VersorSpec>

Versor information (if this type is a versor).

If present, this type can transform other elements via the sandwich product: X' = V * X * rev(V).

is_sparse: bool

Whether this type is sparse (uses only a subset of blades within its grades).

Sparse types have explicit blade mappings and don’t use all blades of their grades. For example, a Line in CGA uses only 6 of the 10 grade-3 blades.

inverse_sandwich_targets: Vec<String>

Types that can be transformed via inverse sandwich product.

This allows non-versor types (like Circle in CGA) to perform inverse sandwich transformations: X' = T * X * T⁻¹.

For versors, this is typically empty (uses auto-inferred targets). For blades like Circle, this explicitly lists valid targets.

Trait Implementations

impl Clone for TypeSpec

fn clone(&self) -> TypeSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeSpec

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

Formats the value using the given formatter.