Rebase.Data.Time.Calendar.WeekDate · rebase-1.21.2

typetype Year = Integer

#

Year of Common Era (when positive).

datadata DayOfWeek

#

Monday Tuesday Wednesday Thursday Friday Saturday Sunday

Instances11Enum, Eq, Data, Ord, Read, Show, …

Enum DayOfWeekDefined in time-1.12.2 · Data.Time.Calendar.Week
"Circular", so for example [Tuesday ..] gives an endless sequence. Also: fromEnum gives [1 .. 7] for [Monday .. Sunday], and toEnum performs mod 7 to give a cycle of days.
Eq DayOfWeekDefined in time-1.12.2 · Data.Time.Calendar.Week
Data DayOfWeekDefined in time-1.12.2 · Data.Time.Calendar.Week
Ord DayOfWeekDefined in time-1.12.2 · Data.Time.Calendar.Week
Read DayOfWeekDefined in time-1.12.2 · Data.Time.Calendar.Week
Show DayOfWeekDefined in time-1.12.2 · Data.Time.Calendar.Week
Ix DayOfWeekDefined in time-1.12.2 · Data.Time.Calendar.Week
NFData DayOfWeekDefined in time-1.12.2 · Data.Time.Calendar.Week
Hashable DayOfWeekDefined in time-compat-1.9.8 · Data.Time.Orphans · orphan
FormatTime DayOfWeekDefined in time-1.12.2 · Data.Time.Format.Format.Instances · orphan
Lift DayOfWeekDefined in time-compat-1.9.8 · Data.Time.Orphans · orphan

valuedayOfWeek :: Day -> DayOfWeek

#

patternpattern YearWeekDay :: Year -> WeekOfYear -> DayOfWeek -> Day

#

Bidirectional abstract constructor for ISO 8601 Week Date format. Invalid week values will be clipped to the correct range.

typetype WeekOfYear = Int

#

Week of year, by various reckonings, generally in range 0-53 depending on reckoning.

valuefromWeekDateValid :: Year -> WeekOfYear -> Int -> Maybe Day

#

Convert from ISO 8601 Week Date format. First argument is year, second week number (1-52 or 53), third day of week (1 for Monday to 7 for Sunday). Invalid week and day values will return Nothing.

datadata FirstWeekType

#

Constructors

FirstWholeWeek
first week is the first whole week of the year
FirstMostWeek
first week is the first week with four days in the year

Instances2Eq, Lift

Eq FirstWeekTypeDefined in time-1.12.2 · Data.Time.Calendar.WeekDate
Lift FirstWeekTypeDefined in time-compat-1.9.8 · Data.Time.Orphans · orphan

valuefromWeekCalendar

:: FirstWeekType
how to reckon the first week of the year
-> DayOfWeek
the first day of each week
-> Year
-> WeekOfYear
-> DayOfWeek
-> Day

#

Convert from the given kind of "week calendar". Invalid week and day values will be clipped to the correct range.

valuefromWeekCalendarValid

:: FirstWeekType
how to reckon the first week of the year
-> DayOfWeek
the first day of each week
-> Year
-> WeekOfYear
-> DayOfWeek
-> Maybe Day

#

Convert from the given kind of "week calendar". Invalid week and day values will return Nothing.

valuefromWeekDate :: Year -> WeekOfYear -> Int -> Day

#

Convert from ISO 8601 Week Date format. First argument is year, second week number (1-52 or 53), third day of week (1 for Monday to 7 for Sunday). Invalid week and day values will be clipped to the correct range.

valueshowWeekDate :: Day -> String

#

Show in ISO 8601 Week Date format as yyyy-Www-d (e.g. "2006-W46-3").

valuetoWeekCalendar

:: FirstWeekType
how to reckon the first week of the year
-> DayOfWeek
the first day of each week
-> Day
-> (Year, WeekOfYear, DayOfWeek)

#

Convert to the given kind of "week calendar". Note that the year number matches the weeks, and so is not always the same as the Gregorian year number.

valuetoWeekDate :: Day -> (Year, WeekOfYear, Int)

#

Convert to ISO 8601 Week Date format. First element of result is year, second week number (1-53), third day of week (1 for Monday to 7 for Sunday). Note that "Week" years are not quite the same as Gregorian years, as the first day of the year is always a Monday. The first week of a year is the first week to contain at least four days in the corresponding Gregorian year.