1.4 KiB
1.4 KiB
Rust-chrono
Date and time handling for Rust.
// find out if the doomsday rule is correct!
use chrono::{Weekday, DateZ, date};
use std::iter::range_inclusive;
for y in range_inclusive(date::MINZ.year(), date::MAXZ.year()) {
// even months
let d4 = DateZ::from_ymd(y, 4, 4);
let d6 = DateZ::from_ymd(y, 6, 6);
let d8 = DateZ::from_ymd(y, 8, 8);
let d10 = DateZ::from_ymd(y, 10, 10);
let d12 = DateZ::from_ymd(y, 12, 12);
// nine to five, seven-eleven
let d59 = DateZ::from_ymd(y, 5, 9);
let d95 = DateZ::from_ymd(y, 9, 5);
let d711 = DateZ::from_ymd(y, 7, 11);
let d117 = DateZ::from_ymd(y, 11, 7);
// "March 0"
let d30 = DateZ::from_ymd(y, 3, 1).pred();
let weekday = d30.weekday();
let other_dates = [d4, d6, d8, d10, d12, d59, d95, d711, d117];
assert!(other_dates.iter().all(|d| d.weekday() == weekday));
}
Design Goals
- 1-to-1 correspondence with ISO 8601.
- Timezone-aware by default.
- Space efficient.
- Moderate lookup table size, should not exceed a few KBs.
- Avoid divisions as much as possible.