Expand description
Shared substrate for scalar number domains: the number-value shape and
browse table (value_shape), the shared number-literal shape and class
(literal), and the scalar-domain spec, literal matcher, and op-loop
installer (scalar). The canonical number-domain symbol registry and
promotion-lattice documentation live in domains.
Re-exports§
pub use literal::NumberLiteralClass;pub use literal::NumberLiteralShape;pub use literal::class_surface_or_symbol;pub use literal::shape_surface_or_symbol;pub use scalar::DomainLiteralMatcher;pub use scalar::ScalarBinaryOp;pub use scalar::ScalarDomainSpec;pub use scalar::ScalarLiteralMatcher;pub use scalar::ScalarOps;pub use scalar::ScalarReductionOp;pub use scalar::ScalarUnaryOp;pub use scalar::install_scalar_ops;pub use scalar::number_domain_class_stub;pub use value_shape::DomainNumberValueShape;pub use value_shape::NumberDomainTableSpec;pub use value_shape::assert_value_shape_symbol;pub use value_shape::number_domain_table;pub use value_shape::value_shape_symbol;
Modules§
- domains
- Canonical symbols for the number-domain family.
- literal
- The shared number-literal shape and class.
- scalar
- Scalar-domain spec, literal matcher, and the shared op-loop installer.
- value_
shape - The domain number-value shape and the number-domain browse table.