deep-time 0.1.0-alpha.2

High-precision time types, time scale conversions, relativistic time, and a flexible date and duration parser
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230

//! Leap seconds table from the official IANA leap-seconds.list
//![](https://data.iana.org/time-zones/data/leap-seconds.list)
//! Updated through IERS Bulletin C as of April 2026.
//! Last leap second: 2017-01-01 (TAI-UTC = 37 s)
//! File expires: 28 December 2026

use crate::Dt;

pub struct LeapSecond {
    pub ntp_timestamp: i64,
    pub leap_seconds_after: i64,
    pub utc_sec: i64,
    pub tai_sec: i64,
}

pub const LEAP_SECS: &[LeapSecond] = &[
    LeapSecond {
        ntp_timestamp: 2272060800,
        leap_seconds_after: 10,
        utc_sec: -883656000,
        tai_sec: -883655991, // was -883655990
    }, // 1 Jan 1972 (start of modern UTC definition)
    LeapSecond {
        ntp_timestamp: 2287785600,
        leap_seconds_after: 11,
        utc_sec: -867931200,
        tai_sec: -867931190, // was -867931189
    }, // 1 Jul 1972
    LeapSecond {
        ntp_timestamp: 2303683200,
        leap_seconds_after: 12,
        utc_sec: -852033600,
        tai_sec: -852033589, // was -852033588
    }, // 1 Jan 1973
    LeapSecond {
        ntp_timestamp: 2335219200,
        leap_seconds_after: 13,
        utc_sec: -820497600,
        tai_sec: -820497588, // was -820497587
    }, // 1 Jan 1974
    LeapSecond {
        ntp_timestamp: 2366755200,
        leap_seconds_after: 14,
        utc_sec: -788961600,
        tai_sec: -788961587, // was -788961586
    }, // 1 Jan 1975
    LeapSecond {
        ntp_timestamp: 2398291200,
        leap_seconds_after: 15,
        utc_sec: -757425600,
        tai_sec: -757425586, // was -757425585
    }, // 1 Jan 1976
    LeapSecond {
        ntp_timestamp: 2429913600,
        leap_seconds_after: 16,
        utc_sec: -725803200,
        tai_sec: -725803185, // was -725803184
    }, // 1 Jan 1977
    LeapSecond {
        ntp_timestamp: 2461449600,
        leap_seconds_after: 17,
        utc_sec: -694267200,
        tai_sec: -694267184, // was -694267183
    }, // 1 Jan 1978
    LeapSecond {
        ntp_timestamp: 2492985600,
        leap_seconds_after: 18,
        utc_sec: -662731200,
        tai_sec: -662731183, // was -662731182
    }, // 1 Jan 1979
    LeapSecond {
        ntp_timestamp: 2524521600,
        leap_seconds_after: 19,
        utc_sec: -631195200,
        tai_sec: -631195182, // was -631195181
    }, // 1 Jan 1980
    LeapSecond {
        ntp_timestamp: 2571782400,
        leap_seconds_after: 20,
        utc_sec: -583934400,
        tai_sec: -583934381, // was -583934380
    }, // 1 Jul 1981
    LeapSecond {
        ntp_timestamp: 2603318400,
        leap_seconds_after: 21,
        utc_sec: -552398400,
        tai_sec: -552398380, // was -552398379
    }, // 1 Jul 1982
    LeapSecond {
        ntp_timestamp: 2634854400,
        leap_seconds_after: 22,
        utc_sec: -520862400,
        tai_sec: -520862379, // was -520862378
    }, // 1 Jul 1983
    LeapSecond {
        ntp_timestamp: 2698012800,
        leap_seconds_after: 23,
        utc_sec: -457704000,
        tai_sec: -457703978, // was -457703977
    }, // 1 Jul 1985
    LeapSecond {
        ntp_timestamp: 2776982400,
        leap_seconds_after: 24,
        utc_sec: -378734400,
        tai_sec: -378734377, // was -378734376
    }, // 1 Jan 1988
    LeapSecond {
        ntp_timestamp: 2840140800,
        leap_seconds_after: 25,
        utc_sec: -315576000,
        tai_sec: -315575976, // was -315575975
    }, // 1 Jan 1990
    LeapSecond {
        ntp_timestamp: 2871676800,
        leap_seconds_after: 26,
        utc_sec: -284040000,
        tai_sec: -284039975, // was -284039974
    }, // 1 Jan 1991
    LeapSecond {
        ntp_timestamp: 2918937600,
        leap_seconds_after: 27,
        utc_sec: -236779200,
        tai_sec: -236779174, // was -236779173
    }, // 1 Jul 1992
    LeapSecond {
        ntp_timestamp: 2950473600,
        leap_seconds_after: 28,
        utc_sec: -205243200,
        tai_sec: -205243173, // was -205243172
    }, // 1 Jul 1993
    LeapSecond {
        ntp_timestamp: 2982009600,
        leap_seconds_after: 29,
        utc_sec: -173707200,
        tai_sec: -173707172, // was -173707171
    }, // 1 Jul 1994
    LeapSecond {
        ntp_timestamp: 3029443200,
        leap_seconds_after: 30,
        utc_sec: -126273600,
        tai_sec: -126273571, // was -126273570
    }, // 1 Jan 1996
    LeapSecond {
        ntp_timestamp: 3076704000,
        leap_seconds_after: 31,
        utc_sec: -79012800,
        tai_sec: -79012770, // was -79012769
    }, // 1 Jul 1997
    LeapSecond {
        ntp_timestamp: 3124137600,
        leap_seconds_after: 32,
        utc_sec: -31579200,
        tai_sec: -31579169, // was -31579168
    }, // 1 Jan 1999
    LeapSecond {
        ntp_timestamp: 3345062400,
        leap_seconds_after: 33,
        utc_sec: 189345600,
        tai_sec: 189345632, // was 189345633
    }, // 1 Jan 2006
    LeapSecond {
        ntp_timestamp: 3439756800,
        leap_seconds_after: 34,
        utc_sec: 284040000,
        tai_sec: 284040033, // was 284040034
    }, // 1 Jan 2009
    LeapSecond {
        ntp_timestamp: 3550089600,
        leap_seconds_after: 35,
        utc_sec: 394372800,
        tai_sec: 394372834, // was 394372835
    }, // 1 Jul 2012
    LeapSecond {
        ntp_timestamp: 3644697600,
        leap_seconds_after: 36,
        utc_sec: 488980800,
        tai_sec: 488980835, // was 488980836
    }, // 1 Jul 2015
    LeapSecond {
        ntp_timestamp: 3692217600,
        leap_seconds_after: 37,
        utc_sec: 536500800,
        tai_sec: 536500836, // was 536500837
    }, // 1 Jan 2017
];

#[derive(Copy, Clone, Debug)]
pub struct LeapInfo {
    pub offset: i64,
    pub leaps_inserted: i64,
    pub is_leap_second: bool,
}

pub const fn get_leap_seconds(tp: &Dt, from_civil: bool) -> LeapInfo {
    let mut offset = 0i64;
    let mut leaps_inserted = 0i64;
    let mut i = 0usize;

    while i < LEAP_SECS.len() {
        let entry = &LEAP_SECS[i];

        let entry_sec = if from_civil {
            entry.utc_sec
        } else {
            entry.tai_sec
        };

        if tp.sec() == entry_sec {
            return LeapInfo {
                offset: entry.leap_seconds_after,
                leaps_inserted: i as i64 + 1,
                is_leap_second: true,
            };
        }

        if tp.sec() < entry_sec {
            break;
        }

        offset = entry.leap_seconds_after;
        leaps_inserted = i as i64 + 1;
        i += 1;
    }

    LeapInfo {
        offset,
        leaps_inserted,
        is_leap_second: false,
    }
}