Haskell Language
Data e ora
Ricerca…
Sintassi
addDays :: Integer -> Day -> Day
diffDays :: Day -> Day -> Integer
fromGregorian :: Integer -> Int -> Int -> Day
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
Osservazioni
Il modulo Data.Time
from time
supporta il recupero e la manipolazione dei valori di data e ora:
Trovare la data di oggi
La data e l'ora correnti possono essere trovate con getCurrentTime
:
import Data.Time
print =<< getCurrentTime
-- 2016-08-02 12:05:08.937169 UTC
In alternativa, solo la data viene restituita da fromGregorian
:
fromGregorian 1984 11 17 -- yields a Day
Aggiunta, sottrazione e confronto dei giorni
Dato un Day
, possiamo eseguire semplici operazioni aritmetiche e confronti, come aggiungere:
import Data.Time
addDays 1 (fromGregorian 2000 1 1)
-- 2000-01-02
addDays 1 (fromGregorian 2000 12 31)
-- 2001-01-01
Sottrarre:
addDays (-1) (fromGregorian 2000 1 1)
-- 1999-12-31
addDays (-1) (fromGregorian 0 1 1)
-- -0001-12-31
-- wat
e anche trovare la differenza:
diffDays (fromGregorian 2000 12 31) (fromGregorian 2000 1 1)
365
nota che l'ordine conta:
diffDays (fromGregorian 2000 1 1) (fromGregorian 2000 12 31)
-365
Modified text is an extract of the original Stack Overflow Documentation
Autorizzato sotto CC BY-SA 3.0
Non affiliato con Stack Overflow