Enum NumericDomain 

pub enum NumericDomain {
    Unsigned {
        bits: u32,
    },
    Signed {
        bits: u32,
    },
    Float {
        mantissa: u32,
        exponent: u32,
    },
}

The set of numbers a scalar port type can carry, described by the properties that decide whether one of them holds every value of another: how many bits the representation has, and how it spends them.

Bool is the one-bit unsigned domain, which is what the type system already says of it — it widens to U64 as 1 and 0. Non-scalar types (Str, Bytes, Json, the vectors, the register views, Ext, Handle) have no domain.

Variants

Unsigned

Non-negative integers in 0 ..= 2^bits - 1.

Fields

bits: u32

Width of the representation.

Signed

Two’s-complement integers, one of whose bits is the sign.

Fields

bits: u32

Width of the representation, sign bit included.

Float

An IEEE 754 binary float.

Fields

mantissa: u32

Significand bits, the implicit leading one included: the largest integer represented exactly is 2^mantissa.

exponent: u32

Exponent bits, which fix the magnitude range.

Implementations

impl NumericDomain

pub fn fits_in(self, other: Self) -> bool

Whether every value of this domain is a value of other — that is, whether a conversion into other is lossless.

Integers fit by counting the bits each spends on magnitude: an unsigned domain needs a signed one strictly wider, a signed domain never fits an unsigned one. An integer fits a float when its magnitude bits fit the float’s significand, which is why U64 → F64 does not: 64 magnitude bits do not fit 53, and the values above 2^53 round. A float fits a wider float when both its significand and its exponent do.

Trait Implementations

impl Clone for NumericDomain

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for NumericDomain

impl Debug for NumericDomain

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

Formats the value using the given formatter.

impl Eq for NumericDomain

impl PartialEq for NumericDomain

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for NumericDomain