Je veux produire l'heure locale et la date sous forme de chaîne, tels que, par exemple:Comment produire une chaîne datetime locale dans Haskell?
"2009-09-28-00-44-36.896200000000"
Je veux produire l'heure locale et la date sous forme de chaîne, tels que, par exemple:Comment produire une chaîne datetime locale dans Haskell?
"2009-09-28-00-44-36.896200000000"
À moins que je me manque ce que votre vraiment après ce que vous voulez est:
import Data.Time
getCurrentTime
lorsqu'il est exécuté dans GHCi, vous obtenez:
2009-09-28 01:18:27.229165 UTC
ou, pour temps locale (comme vous l'avez indiqué, et je viens pris):
getZonedTime
pour obtenir:
2009-09-27 20:22:06.715505 CDT
import System.Time
main = do ct <- getClockTime
print ct
ou
import Data.Time
main = do zt <- getZonedTime
print zt
Alors que getCurrentTime et getZonedTime faire revenir l'heure actuelle et l'heure locale, respectivement, ceux-ci peuvent ne pas être quoi l iszt attend. Il veut une chaîne qui représente l'heure actuelle, alors que les deux getCurrentTime et getZonedTime retours IO UTCTime et IO ZonedTime respectivement
Cela pourrait faire ce que liszt recherche:
import Data.Time
currentTime = fmap show getCurrentTime
zonedTime = fmap show getZonedTime
Salutations
Pourquoi pas 'main = print = << getClockTime'? – Mikhail