Expand description
The number-domain contract: the pluggable numeric backend protocol.
The kernel defines the NumberDomain protocol, value and operation
contracts, and promotion rules; concrete number domains and arithmetic are
libs loaded against it, never kernel-fixed behavior.
Structs§
- Number
Binary Op - A literal-level binary operator keyed on both operand domains.
- Number
Reduction Op - A literal-level reduction over a homogeneous list of operands.
- Number
Unary Op - A literal-level unary operator keyed on its operand domain.
- Number
Value Ref - A runtime number value paired with its domain and optional literal form.
- Promotion
Rule - A literal-level conversion edge from one number domain to another.
- Promotion
Search Limits - Bounds on the promotion-path search between number domains.
- Value
Number Binary Op - A value-level binary operator keyed on both operand domains.
- Value
Number Reduction Op - A value-level reduction over a homogeneous list of operands.
- Value
Number Unary Op - A value-level unary operator keyed on its operand domain.
- Value
Promotion Rule - A value-level conversion edge from one number domain to another.
Traits§
- Number
Domain - Runtime protocol for a numeric semantic domain.
- Number
Value - Protocol for runtime objects that present themselves as numbers.