CalendarDate

CalendarDate :: # (opaque)

A validated day description retaining its calendar. Resolution is one civil day.

from_gregorian : GregorianDate -> CalendarDate

Preserve an already validated date and its calendar without revalidation.

from_julian : JulianDate -> CalendarDate

from_fields : Calendar, Fields -> Try(CalendarDate, [OutOfRange, InvalidMonth, InvalidDay, ..])

from_civil_day : Calendar, CivilDay -> Try(CalendarDate, [OutOfRange, ..])

to_civil_day : CalendarDate -> CivilDay

calendar : CalendarDate -> Calendar

to_fields : CalendarDate -> Fields

in_calendar : CalendarDate, Calendar -> Try(CalendarDate, [OutOfRange, ..])

same_day : CalendarDate, CalendarDate -> Bool

Equal day extent on the shared civil axis, independent of description.

is_eq : CalendarDate, CalendarDate -> Bool

Description equality retains calendar identity; use same_day for extents.

to_hash : CalendarDate, Hasher -> Hasher

to_inspect : CalendarDate -> Str

Fields : { year : I64, month : U8, day : U8 }