Enum Number 

pub enum Number {
    Integer(BigInt),
    Rational(BigRational),
    Decimal(Decimal),
    Float64(Float64),
}

The recursive scalar number type.

Variants

Integer(BigInt)

Rational(BigRational)

Decimal(Decimal)

Float64(Float64)

Implementations

impl Number

pub fn integer<T: Into<BigInt>>(value: T) -> Number

pub fn decimal(value: Decimal) -> Number

pub fn rational(numer: BigInt, denom: BigInt) -> Result<Number, EngineError>

pub fn float(value: f64) -> Result<Number, EngineError>

pub fn is_zero(&self) -> bool

pub fn is_negative(&self) -> bool

pub fn is_float(&self) -> bool

pub fn kind_name(&self) -> &'static str

pub fn as_exact_rational(&self) -> Option<BigRational>

Convert to an exact rational, failing for Float64 (use Number::to_exact_rational to include floats via their exact bits).

pub fn to_exact_rational(&self) -> Option<BigRational>

Convert to an exact rational, including Float64 via bit decomposition.

pub fn to_f64(&self) -> Option<f64>

pub fn neg(&self) -> Number

pub fn abs(&self) -> Number

pub fn compare(&self, other: &Number) -> Result<Ordering, EngineError>

Exact comparison across all representations.

pub fn numeric_eq(&self, other: &Number) -> Result<bool, EngineError>

Numeric equality across representations (exact semantics).

pub fn add( &self, other: &Number, ctx: &NumericContext, limits: &Limits, ) -> Result<NumberResult, EngineError>

pub fn sub( &self, other: &Number, ctx: &NumericContext, limits: &Limits, ) -> Result<NumberResult, EngineError>

pub fn mul( &self, other: &Number, ctx: &NumericContext, limits: &Limits, ) -> Result<NumberResult, EngineError>

pub fn div( &self, other: &Number, ctx: &NumericContext, limits: &Limits, ) -> Result<NumberResult, EngineError>

pub fn pow( &self, exponent: &Number, ctx: &NumericContext, limits: &Limits, ) -> Result<NumberResult, EngineError>

Integer power. A non-integer exponent requires scientific mode.

pub fn rem( &self, other: &Number, ctx: &NumericContext, limits: &Limits, ) -> Result<NumberResult, EngineError>

Truncated remainder: sign follows the dividend (like Rust’s %).

pub fn modulo( &self, other: &Number, ctx: &NumericContext, limits: &Limits, ) -> Result<NumberResult, EngineError>

Euclidean modulo: result is non-negative for a positive modulus.

pub fn round_to_scale( &self, scale: i64, mode: RoundingMode, ) -> Result<Number, EngineError>

impl Number

pub fn parse_literal( source: &str, limits: &Limits, ) -> Result<Number, EngineError>

Parse a literal from expression text or a numeric shorthand string.

A literal containing . or an exponent becomes a Decimal; otherwise an Integer. Rationals and Float64 are only produced by explicit typed construction, never by guessing at text.

Trait Implementations

impl Clone for Number

fn clone(&self) -> Number

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Number

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Number

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Display for Number

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Number

impl PartialEq for Number

fn eq(&self, other: &Number) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Number

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Number