Data.Thyme.Calendar.WeekDate

Calendar year.

Week of the year.

Meaning of values depends on context; see wdWeek, swWeek, mwWeek.

Day of the week.

0

Sunday

for

SundayWeek

1…6

Monday

…

Saturday

7

Sunday

for

WeekDate

,

MondayWeek

, and

WeekdayOfMonth

ISO 8601 Week Date.

Note that week 01 is defined as the week with the first Thursday, thus wdYear may differ from the Gregorian year between December 29th and January 3rd.

Convert between a Day and an ISO 8601 WeekDate.

> YearMonthDay 2016 1 1 ^. from gregorian . weekDate
WeekDate {wdYear = 2015, wdWeek = 53, wdDay = 5}

Convert a WeekDate to a Day, or Nothing for invalid WeekDate.

Shows a Day using the yyyy-Www-d ISO 8601 Week Date format.

> showWeekDate (gregorian # YearMonthDay 2006 11 15)
"2006-W46-3"

Week-based calendar date with the first Sunday of the year as the first day of week 01. This corresponds to %U and %w of strftime(3).

The final week of a given year and week 00 of the next both refer to the same week.

Conversion between Day and SundayWeek.

> YearMonthDay 2016 1 3 ^. from gregorian . sundayWeek
SundayWeek {swYear = 2016, swWeek = 1, swDay = 0}

Convert a SundayWeek to a Day, or Nothing for invalid SundayWeek.

Week-based calendar date with the first Monday of the year as the first day of week 01. This corresponds to %W and %u of strftime(3).

The final week of a given year and week 00 of the next both refer to the same week.

Conversion between Day and MondayWeek.

> YearMonthDay 2016 1 3 ^. from gregorian . mondayWeek
MondayWeek {mwYear = 2016, mwWeek = 0, mwDay = 7}

Convert a MondayWeek to a Day, or Nothing for invalid MondayWeek.

Converts an ISO week date to a Day. Does not validate the input.

fromWeekDate y w d = weekDate # WeekDate y w d

Converts an ISO week date to a Day. Returns Nothing for invalid input.

fromWeekDateValid y w d = weekDateValid (WeekDate y w d)

Converts a Day to an ISO week date.

toWeekDate (view weekDate -> WeekDate y w d) = (y, w, d)