pub struct UT1;Expand description
Universal Time 1 — Earth-rotation time axis.
Continuous in SI seconds, but UT1 ↔ TT requires a TimeContext
because the mapping depends on the compiled ΔT model (and, in future
phases, observed-ΔT data).
§Accuracy and modeling limitations
UT1 conversions are backed by a piecewise ΔT model:
- Historical (pre-1973): polynomial approximations (Stephenson & Houlden 1986; Meeus Astronomical Algorithms). Accuracy varies from ±15 s (1620–1973) to ±hundreds of seconds (pre-948).
- Modern (1973 – horizon): USNO monthly determinations with linear
interpolation. For the currently compiled bundle fetched 2026-04-18,
the default monthly-ΔT path differs from the bundled daily
IERS-derived path by less than 10 ms over the observed overlap
through 2026-04-16, and by less than 0.2 s over the compiled
short-range prediction overlap through 2027-04-24. See
DELTA_T_PREDICTION_HORIZON_MJDfor the hard stop.
This model is suitable for archival astronomy and telescope scheduling,
but not for precision geodesy, VLBI, or pulsar timing, which
require daily IERS EOP (DUT1) solutions. Use
crate::TimeContext::with_builtin_eop when you want the most accurate
bundled UT1 route.
Trait Implementations§
Source§impl ConversionTarget<TAI> for UT1
impl ConversionTarget<TAI> for UT1
Source§impl ConversionTarget<TCB> for UT1
impl ConversionTarget<TCB> for UT1
Source§impl ConversionTarget<TCG> for UT1
impl ConversionTarget<TCG> for UT1
Source§impl ConversionTarget<TDB> for UT1
impl ConversionTarget<TDB> for UT1
Source§impl ConversionTarget<TT> for UT1
impl ConversionTarget<TT> for UT1
Source§impl ConversionTarget<UT1> for TAI
impl ConversionTarget<UT1> for TAI
Source§impl ConversionTarget<UT1> for TCB
impl ConversionTarget<UT1> for TCB
Source§impl ConversionTarget<UT1> for TCG
impl ConversionTarget<UT1> for TCG
Source§impl ConversionTarget<UT1> for TDB
impl ConversionTarget<UT1> for TDB
Source§impl ConversionTarget<UT1> for TT
impl ConversionTarget<UT1> for TT
Source§impl ConversionTarget<UT1> for UTC
impl ConversionTarget<UT1> for UTC
Source§impl ConversionTarget<UTC> for UT1
impl ConversionTarget<UTC> for UT1
Source§impl Ord for UT1
impl Ord for UT1
Source§impl PartialOrd for UT1
impl PartialOrd for UT1
impl ContinuousScale for UT1
impl CoordinateScale for UT1
impl Copy for UT1
impl Eq for UT1
impl StructuralPartialEq for UT1
Auto Trait Implementations§
impl Freeze for UT1
impl RefUnwindSafe for UT1
impl Send for UT1
impl Sync for UT1
impl Unpin for UT1
impl UnsafeUnpin for UT1
impl UnwindSafe for UT1
Blanket Implementations§
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<S1, S2> ContextConversionTarget<S1> for S2
impl<S1, S2> ContextConversionTarget<S1> for S2
type Output = Time<S2>
fn convert_with( src: Time<S1>, ctx: &TimeContext, ) -> Result<<S2 as ContextConversionTarget<S1>>::Output, ConversionError>
Source§impl<S1, S2> ConversionTarget<S1> for S2
impl<S1, S2> ConversionTarget<S1> for S2
type Output = Time<S2>
fn try_convert( src: Time<S1>, ) -> Result<<S2 as ConversionTarget<S1>>::Output, ConversionError>
Source§impl<S1, S2> InfallibleConversionTarget<S1> for S2
impl<S1, S2> InfallibleConversionTarget<S1> for S2
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.