Modulethyme-0.4.1Haskell2010

Data.Thyme.Calendar.WeekDate

Various Week Date formats

6 types
19 values

Packagethyme-0.4.1
Exports25
LanguageHaskell2010
LicenceBSD-3-Clause
SourceWeekDate.hs

typetype Year = Int

Calendar year.

typetype WeekOfYear = Int

Week of the year.

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

typetype DayOfWeek = Int

Day of the week.

0

Sunday

for

SundayWeek

1…6

Monday

…

Saturday

7

Sunday

for

WeekDate

MondayWeek

, and

WeekdayOfMonth

ISO 8601 Week Date

7 declarations

datadata WeekDate

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.

Constructors

WeekDate
- wdYear :: !Year
- wdWeek :: !WeekOfYear
  Numbered 01 to 53. Days before week 01 are considered to belong to the previous year.
- wdDay :: !DayOfWeek
  1 = Monday … 7 = Sunday.

Instances19Bounded, Eq, Data, Ord, Show, Generic, …

Bounded WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
Eq WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Data WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Ord WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Show WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Generic WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
NFData WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Random WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
Arbitrary WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
CoArbitrary WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
Hashable WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Unbox WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
FormatTime WeekDateDefined in thyme-0.4.1 · Data.Thyme.Format
ParseTime WeekDateDefined in thyme-0.4.1 · Data.Thyme.Format
MVector MVector WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Vector Vector WeekDateDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
type Rep WeekDate = D1 ('MetaData "WeekDate" "Data.Thyme.Calendar.Internal" "thyme-0.4.1-Hondpx62VKYKZpcBdXvlb4" 'False) (C1 ('MetaCons "WeekDate" 'PrefixI 'True) (S1 ('MetaSel ('Just "wdYear") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Year) :*: (S1 ('MetaSel ('Just "wdWeek") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 WeekOfYear) :*: S1 ('MetaSel ('Just "wdDay") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 DayOfWeek))))Defined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
data MVector s WeekDate
- MV_WeekDate (MVector s Int)
Defined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
data Vector WeekDate
- V_WeekDate (Vector Int)
Defined in thyme-0.4.1 · Data.Thyme.Calendar.Internal

value_wdYear :: Lens' WeekDate Year

value_wdWeek :: Lens' WeekDate WeekOfYear

value_wdDay :: Lens' WeekDate DayOfWeek

valueweekDate :: Iso' Day WeekDate

Convert between a Day and an ISO 8601 WeekDate.

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

valueweekDateValid :: WeekDate -> Maybe Day

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

valueshowWeekDate :: Day -> String

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

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

Weeks starting Sunday

6 declarations

datadata SundayWeek

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.

Constructors

SundayWeek
- swYear :: !Year
  Coincides with that of gregorian.
- swWeek :: !WeekOfYear
  Weeks numbered from 00 to 53, starting with the first Sunday of the year as the first day of week 01.
- swDay :: !DayOfWeek
  0 = Sunday.

Instances19Bounded, Eq, Data, Ord, Show, Generic, …

Bounded SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
Eq SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Data SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Ord SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Show SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Generic SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
NFData SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Random SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
Arbitrary SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
CoArbitrary SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
Hashable SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Unbox SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
FormatTime SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Format
ParseTime SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Format
MVector MVector SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Vector Vector SundayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
type Rep SundayWeek = D1 ('MetaData "SundayWeek" "Data.Thyme.Calendar.Internal" "thyme-0.4.1-Hondpx62VKYKZpcBdXvlb4" 'False) (C1 ('MetaCons "SundayWeek" 'PrefixI 'True) (S1 ('MetaSel ('Just "swYear") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Year) :*: (S1 ('MetaSel ('Just "swWeek") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 WeekOfYear) :*: S1 ('MetaSel ('Just "swDay") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 DayOfWeek))))Defined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
data MVector s SundayWeek
- MV_SundayWeek (MVector s Int)
Defined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
data Vector SundayWeek
- V_SundayWeek (Vector Int)
Defined in thyme-0.4.1 · Data.Thyme.Calendar.Internal

value_swYear :: Lens' SundayWeek Year

value_swWeek :: Lens' SundayWeek WeekOfYear

value_swDay :: Lens' SundayWeek DayOfWeek

valuesundayWeek :: Iso' Day SundayWeek

Conversion between Day and SundayWeek.

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

valuesundayWeekValid :: SundayWeek -> Maybe Day

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

Weeks starting Monday

9 declarations

datadata MondayWeek

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.

Constructors

MondayWeek
- mwYear :: !Year
  Coincides with that of gregorian.
- mwWeek :: !WeekOfYear
  Weeks numbered from 00 to 53, starting with the first Monday of the year as the first day of week 01.
- mwDay :: !DayOfWeek
  7 = Sunday.

Instances19Bounded, Eq, Data, Ord, Show, Generic, …

Bounded MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
Eq MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Data MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Ord MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Show MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Generic MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
NFData MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Random MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
Arbitrary MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
CoArbitrary MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.WeekDate · orphan
Hashable MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Unbox MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
FormatTime MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Format
ParseTime MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Format
MVector MVector MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
Vector Vector MondayWeekDefined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
type Rep MondayWeek = D1 ('MetaData "MondayWeek" "Data.Thyme.Calendar.Internal" "thyme-0.4.1-Hondpx62VKYKZpcBdXvlb4" 'False) (C1 ('MetaCons "MondayWeek" 'PrefixI 'True) (S1 ('MetaSel ('Just "mwYear") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Year) :*: (S1 ('MetaSel ('Just "mwWeek") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 WeekOfYear) :*: S1 ('MetaSel ('Just "mwDay") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 DayOfWeek))))Defined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
data MVector s MondayWeek
- MV_MondayWeek (MVector s Int)
Defined in thyme-0.4.1 · Data.Thyme.Calendar.Internal
data Vector MondayWeek
- V_MondayWeek (Vector Int)
Defined in thyme-0.4.1 · Data.Thyme.Calendar.Internal

value_mwYear :: Lens' MondayWeek Year

value_mwWeek :: Lens' MondayWeek WeekOfYear

value_mwDay :: Lens' MondayWeek DayOfWeek

valuemondayWeek :: Iso' Day MondayWeek

Conversion between Day and MondayWeek.

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

valuemondayWeekValid :: MondayWeek -> Maybe Day

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

valuefromWeekDate :: Year -> WeekOfYear -> DayOfWeek -> Day

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

fromWeekDate y w d = weekDate # WeekDate y w d

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

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

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

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

Converts a Day to an ISO week date.

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

Orphan instances

12 instances