Date and Time
Finding Today’s Date
Section titled “Finding Today’s Date”Current date and time can be found with getCurrentTime:
import Data.Time
print =<< getCurrentTime-- 2016-08-02 12:05:08.937169 UTCAlternatively, just the date is returned by fromGregorian:
fromGregorian 1984 11 17 -- yields a DayAdding, Subtracting and Comparing Days
Section titled “Adding, Subtracting and Comparing Days”Given a Day, we can perform simple arithmetic and comparisons, such as adding:
import Data.Time
addDays 1 (fromGregorian 2000 1 1)-- 2000-01-02addDays 1 (fromGregorian 2000 12 31)-- 2001-01-01Subtract:
addDays (-1) (fromGregorian 2000 1 1)-- 1999-12-31
addDays (-1) (fromGregorian 0 1 1)-- -0001-12-31-- watand even find the difference:
diffDays (fromGregorian 2000 12 31) (fromGregorian 2000 1 1)365note that the order matters:
diffDays (fromGregorian 2000 1 1) (fromGregorian 2000 12 31)-365Syntax
Section titled “Syntax” convert from proleptic Gregorian calendar. First argument is year, second month number (1-12), third day (1-31). Invalid values will be clipped to the correct range, month first, then day.Remarks
Section titled “Remarks”The Data.Time module from time package provides support for retrieving & manipulating date & time values: