2012-10-16 7 views

Odpowiedz

8

Data.Time.Clock.POSIX ma posixSecondsToUTCTime (można przekonwertować inny typ numeryczny na oczekiwane wejście POSIXTime z realToFrac).

Data.Time.Calendar ma wiele rzeczy, które trzeba wyodrębnić dzień, miesiąc, etc z Day który tworzy część UTCTime, reszta pakietu ma inne użyteczne narzędzia.

2

time Zastosowanie biblioteki, które jest zainstalowane fabrycznie:

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

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

Biblioteka posiada szeroki zakres funkcji daty manipulacji (na przykład datę odejmowanie, coraz składniki, takie jak dziennej miesiącu itp). Jeśli chcesz wyodrębnić komponenty tylko w celu przekształcenia ich w ciąg, możesz użyć formatTime.

Powiązane problemy