Package-level declarations
Types
A date in the Hijri (Islamic lunar) calendar. month is 1 (Muharram) .. 12 (Dhu al-Hijjah). Construction checks the month and that day is 1..30; toLocalDate also checks the day against the month length of variant.
DayInfoProvider that labels each day with its Hijri date: the month name on the first day of a month, the day number otherwise. DayInfo.payload is the HijriDate, DayInfo.tags is ["hijri"] and DayInfo.priority is DayInfoPriority.SECONDARY, so a holiday provider combined with + wins the label.
Labels used by HijriDayInfoProvider: monthNames holds the 12 month names from Muharram, shown on the first day of each month; digits holds the ten digits 0..9 used for the other days' numbers.
Rule set used to convert between Gregorian and Hijri dates.