Module scalar 

Scalar-domain spec, literal matcher, and the shared op-loop installer.

Each scalar number domain crate repeats the same load() registration loop (binary/unary/reduction ops, each in both literal and value form). This is the shared installer: a domain crate describes its ops as data (ScalarOps) and calls install_scalar_ops.

Structs

DomainLiteralMatcher

A matcher accepting Expr::Number literals in exactly one domain.

ScalarBinaryOp

One binary op in both literal and value form.

ScalarDomainSpec

Static identity of a scalar number domain (data only).

ScalarOps

The full op set for one scalar domain.

ScalarReductionOp

One reduction op in both literal and value form.

ScalarUnaryOp

One unary op in both literal and value form.

Traits

ScalarLiteralMatcher

Tests whether an expression is a literal in some scalar domain.

Functions

install_scalar_ops

Register every op in ops (literal and value form) against linker.

number_domain_class_stub

The ObjectCompat::class stub every number-domain object returns: the registered core/NumberDomain class, or a fresh stub for it. This body was byte-identical across all ~12 numeric-domain crates before OVERLAP6.09; each domain’s fn class now delegates here.