Struct DecimalLiteral
pub struct DecimalLiteral { /* private fields */ }Description
An exact signed decimal coefficient times a power of ten.
Inputs use the decimal token grammar, optionally signed, and at most 256 bytes.
Exponents and their normalization must fit i64; no floating conversion occurs.
Implementations§
§impl DecimalLiteral
impl DecimalLiteral
pub fn parse(text: &str) -> Result<DecimalLiteral, AstConstructionError>
pub fn parse(text: &str) -> Result<DecimalLiteral, AstConstructionError>
Check and normalize one exact decimal spelling.
§Errors
Rejects malformed decimal syntax, tokens over 256 bytes, and exponent overflow.
pub fn from_f64(value: f64) -> Result<DecimalLiteral, AstConstructionError>
pub fn from_f64(value: f64) -> Result<DecimalLiteral, AstConstructionError>
Project a finite native binary64 value through its shortest scientific decimal.
§Errors
Rejects non-finite input. Representable subnormals are retained.
pub fn to_f64(&self) -> Result<f64, AstConstructionError>
pub fn to_f64(&self) -> Result<f64, AstConstructionError>
Project this exact decimal into the real scalar domain once.
§Errors
Rejects non-finite overflow and nonzero underflow to binary64 zero.
pub fn to_i64(&self) -> Result<i64, AstConstructionError>
pub fn to_i64(&self) -> Result<i64, AstConstructionError>
Read an integral decimal exactly within the signed 64-bit domain.
§Errors
Rejects fractional values and signed integer overflow without rounding.
pub fn coefficient(&self) -> &str
pub fn coefficient(&self) -> &str
Unsigned digits, with no leading or trailing zeros except the unique zero 0.
pub const fn exponent10(&self) -> i64
pub const fn exponent10(&self) -> i64
Exact decimal power multiplying the coefficient.
pub fn is_zero(&self) -> bool
pub fn is_zero(&self) -> bool
Whether the exact value is zero, independently of binary64 range.
pub const fn is_negative(&self) -> bool
pub const fn is_negative(&self) -> bool
Whether the exact value is negative; canonical zero has no negative sign.
pub fn canonical_text(&self) -> String
pub fn canonical_text(&self) -> String
Canonical exact text, without expansion of enormous decimal exponents.
Trait Implementations§
§impl Clone for DecimalLiteral
impl Clone for DecimalLiteral
§impl Debug for DecimalLiteral
impl Debug for DecimalLiteral
§impl Hash for DecimalLiteral
impl Hash for DecimalLiteral
§fn hash<__H>(&self, state: &mut __H)where
__H: Hasher,
fn hash<__H>(&self, state: &mut __H)where
__H: Hasher,
§impl PartialEq for DecimalLiteral
impl PartialEq for DecimalLiteral
§fn eq(&self, other: &DecimalLiteral) -> bool
fn eq(&self, other: &DecimalLiteral) -> bool
self and other values to be equal, and is used by ==.impl Eq for DecimalLiteral
impl StructuralPartialEq for DecimalLiteral
Auto Trait Implementations§
impl Freeze for DecimalLiteral
impl RefUnwindSafe for DecimalLiteral
impl Send for DecimalLiteral
impl Sync for DecimalLiteral
impl Unpin for DecimalLiteral
impl UnsafeUnpin for DecimalLiteral
impl UnwindSafe for DecimalLiteral
Blanket Implementations§
Source§impl<T> Any for Twhere
T: 'static + ?Sized,
impl<T> Any for Twhere
T: 'static + ?Sized,
§impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
§fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>
fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>
§impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere
Dst: ApproxFrom<Src, Scheme>,
Scheme: ApproxScheme,
impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere
Dst: ApproxFrom<Src, Scheme>,
Scheme: ApproxScheme,
§type Err = <Dst as ApproxFrom<Src, Scheme>>::Err
type Err = <Dst as ApproxFrom<Src, Scheme>>::Err
§fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>
fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>
Source§impl<T> Borrow<T> for Twhere
T: ?Sized,
impl<T> Borrow<T> for Twhere
T: ?Sized,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T, Dst> ConvAsUtil<Dst> for T
impl<T, Dst> ConvAsUtil<Dst> for T
§fn approx(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
fn approx(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
§impl<T> ConvUtil for T
impl<T> ConvUtil for T
§fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
§fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst, Scheme>,
Scheme: ApproxScheme,
fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst, Scheme>,
Scheme: ApproxScheme,
§fn into_as<Dst>(self) -> Dstwhere
Self: Sized + Into<Dst>,
fn into_as<Dst>(self) -> Dstwhere
Self: Sized + Into<Dst>,
§fn try_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + TryInto<Dst>,
fn try_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + TryInto<Dst>,
§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> Twhere
Self: Distribution<T>,
§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Source§impl<T> From<T> for T
impl<T> From<T> for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T, U> Into<U> for Twhere
U: From<T>,
impl<T, U> Into<U> for Twhere
U: From<T>,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where
F: FnOnce(&Self) -> bool,
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where
F: FnOnce(&Self) -> bool,
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> Same for T
impl<T> Same for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.