因为每个地方时区更改的确切日期不同,我想您必须编写自己的函数来检查这个。
我碰巧知道在欧洲夏天从三月的最后一个星期天开始,到十月的最后一个星期天结束。我在下面的函数中使用了这个,很容易换到其他位置。
import Data.Time.Calendar
import Data.Time.Calendar.WeekDate
import Data.Tuple.Select
-- | Uses only days, it does not take the exact hour into account at which summer time starts and ends.
isSummerTime :: Day -- ^ Date to check if summer time is active
-> Bool -- ^ Whether summer time is active
isSummerTime date = date > lastSundayMarch && date < lastSundayOctober
where
year = sel1 $ toGregorian date
-- Find last Sunday in March
aprilOne = fromGregorian year 4 1
-- 1 is Monday, ..., 7 is Sunday
aprilOneWeekDay = sel3 $ toWeekDate aprilOne
-- Use the day number to find Sunday of the previous week: the last Sunday in March
lastSundayMarch = addDays (-(toInteger aprilOneWeekDay)) aprilOne
-- Same for end of summer time in October
novemberOne = fromGregorian year 11 1
novemberOneWeekDay = sel3 $ toWeekDate novemberOne
lastSundayOctober = addDays (-(toInteger novemberOneWeekDay)) novemberOne
isSummerTime $ fromGregorian 2018 3 25 -- False
isSummerTime $ fromGregorian 2018 3 26 -- True
isSummerTime $ fromGregorian 2018 10 27 -- True
isSummerTime $ fromGregorian 2018 10 28 -- False