karpal-schubert-types 0.5.0

Schubert intersection type system for the Industrial Algebra ecosystem
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use crate::schubert_type::SchubertType;

/// Associate a Schubert class with a Rust type.
///
/// Implementors declare which Schubert class in which Grassmannian
/// represents their type. This is the entry point for the Schubert
/// intersection type system: two types are compatible when their
/// Schubert classes intersect nontrivially.
pub trait SchubertTyped {
    /// The Schubert class associated with this type.
    fn schubert_type() -> SchubertType;
}

// Blanket impl for reference types — delegates to the inner type.
impl<T: SchubertTyped> SchubertTyped for &T {
    fn schubert_type() -> SchubertType {
        T::schubert_type()
    }
}