Haskell Language
Date et l'heure

Syntaxe

• addDays :: Integer -> Jour -> Jour

• diffDays :: Jour -> Jour -> Entier

• fromGregorian :: Integer -> Int -> Int -> Jour

   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.
  

• getCurrentTime :: IO UTCTime

Remarques

Trouver la date du jour

La date et l'heure actuelles peuvent être trouvées avec getCurrentTime :

import Data.Time

print =<< getCurrentTime
-- 2016-08-02 12:05:08.937169 UTC

Alternativement, juste la date est retournée par fromGregorian :

fromGregorian 1984 11 17  -- yields a Day

Ajout, soustraction et comparaison de jours

Étant donné un Day , nous pouvons effectuer des calculs et des comparaisons simples, tels que l'ajout:

import Data.Time

addDays 1 (fromGregorian 2000 1 1)
-- 2000-01-02
addDays 1 (fromGregorian 2000 12 31)
-- 2001-01-01

Soustraire:

addDays (-1) (fromGregorian 2000 1 1)
-- 1999-12-31

addDays (-1) (fromGregorian 0 1 1)
-- -0001-12-31
-- wat

et même trouver la différence:

diffDays (fromGregorian 2000 12 31) (fromGregorian 2000 1 1)
365

notez que l'ordre compte:

diffDays (fromGregorian 2000 1 1) (fromGregorian 2000 12 31)
-365