tokitai-operator 0.1.0

//! Domain kind: `Boolean`, `Integer`, `Field`, etc.
//!
//! `DomainKind` is the abstract classification of a domain. The
//! planner reads it to decide which `LoweringRule` set applies.
//! `Domain::kind()` returns the kind; `AlgebraicStructure` is the
//! finer-grained structure (ring, field, etc.) that the p-adic
//! and finite-field domains carry.
//!
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum DomainKind {
    Boolean,
    Integer,
    Rational,
    Real,
    Complex,
    FiniteField,
    Padic,
    Tropical,
    Custom(String),
}

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum AlgebraicStructure {
    Set,
    Monoid,
    Group,
    Ring,
    Field,
    Semiring,
    Module,
    VectorSpace,
    Lattice,
    Category,
    Site,
    Custom(String),
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub enum Exactness {
    Exact,
    Approximate,
    Mixed,
}