2012-10-16 8 views

risposta

8

Data.Time.Clock.POSIX ha posixSecondsToUTCTime (è possibile convertire un altro tipo numerico all'ingresso previsto POSIXTime con realToFrac).

Data.Time.Calendar ha un sacco di cose che dovete estrarre giorno, mese, ecc dal Day che forma una parte del UTCTime, il resto del pacchetto ha altri programmi di utilità utili.

2

Usa time biblioteca che viene installato di default:

import Data.Time.Clock.POSIX 
import Data.Time.Format 
import System.Locale 

main = print $ formatTime defaultTimeLocale "%c" $ posixSecondsToUTCTime 10 

La biblioteca ha un'ampia gamma di funzioni di manipolazione di data (ad esempio la data sottrazione, ottenendo componenti come giorno-mese, ecc). Se si desidera estrarre componenti solo per convertirli in stringa, è possibile utilizzare formatTime.

Problemi correlati