BetaCalendars.GridAlgebra.Civil

newtype Year

A supported positive Gregorian year.

Instances

• Eq Year
• Ord Year
• Show Year

year :: Int -> Maybe Year

Construct a supported Gregorian year.

yearValue :: Year -> Int

The numeric Gregorian year.

data Month

Gregorian month names in calendar order.

Constructors

• January
• February
• March
• April
• May
• June
• July
• August
• September
• October
• November
• December

Instances

• Eq Month
• Ord Month
• Show Month

allMonths :: Array Month

The twelve months in calendar order.

monthNumber :: Month -> Int

One-based month number.

monthFromNumber :: Int -> Maybe Month

Convert a one-based month number into its Gregorian month.

newtype DayOfMonth

A one-based day number that can be validated against a specific month.

Instances

• Eq DayOfMonth
• Ord DayOfMonth
• Show DayOfMonth

dayOfMonthValue :: DayOfMonth -> Int

The numeric day of month.

newtype CivilDate

A validated Gregorian civil date.

Instances

• Eq CivilDate
• Ord CivilDate
• Show CivilDate

civilDate :: Year -> Month -> Int -> Maybe CivilDate

Construct a valid date, returning Nothing for an impossible day.

dateYear :: CivilDate -> Year

The year component of a date.

dateMonth :: CivilDate -> Month

The month component of a date.

dateDay :: CivilDate -> DayOfMonth

The day component of a date.

isLeapYear :: Year -> Boolean

Gregorian leap-year rule, including century and 400-year exceptions.

daysInMonth :: Year -> Month -> Int

Number of days in a Gregorian month.

firstDateOfMonth :: Year -> Month -> CivilDate

The first day of a month.

lastDateOfMonth :: Year -> Month -> CivilDate

The last day of a month.

nextDate :: CivilDate -> Maybe CivilDate

Advance one civil day; returns Nothing after 9999-12-31.

previousDate :: CivilDate -> Maybe CivilDate

Move one civil day backward; returns Nothing before 0001-01-01.

weekdayOf :: CivilDate -> Weekday

Weekday of a civil date in the proleptic Gregorian calendar.