我想以字符串形式生成本地时间和日期,例如:
"2009-09-28-00-44-36.896200000000"
Run Code Online (Sandbox Code Playgroud)
Sha*_*aun 10
除非我想念你真正想要的东西,否则你想要的是:
import Data.Time
getCurrentTime
Run Code Online (Sandbox Code Playgroud)
在GHCi中运行时,您会得到:
2009-09-28 01:18:27.229165 UTC
Run Code Online (Sandbox Code Playgroud)
或者,在当地时间(如你所说,我刚刚抓到):
getZonedTime
Run Code Online (Sandbox Code Playgroud)
要得到:
2009-09-27 20:22:06.715505 CDT
Run Code Online (Sandbox Code Playgroud)
虽然getCurrentTime和getZonedTime分别返回当前时间和本地时间,但这些可能不是liszt所期望的.他想表示当前时间的字符串,同时兼具getCurrentTime和getZonedTime返回IO UTCTime和IO ZonedTime分别
这可以做liszt正在寻找的:
import Data.Time
currentTime = fmap show getCurrentTime
zonedTime = fmap show getZonedTime
Run Code Online (Sandbox Code Playgroud)
干杯
| 归档时间: |
|
| 查看次数: |
3832 次 |
| 最近记录: |