我有年、月、日、小时和分钟值(所有这些都是类型Int
) - 我怎样才能将它们转换为UTCTime
or UniversalTime
?
需要导入以下内容:
import Control.Lens
import Data.Thyme.Clock
import Data.Thyme.Calendar
进而:
makeUtcTime :: Year -> Month -> DayOfMonth -> Int -> UTCTime
makeUtcTime y m d x = UTCTime ((YearMonthDay y m d)^.from gregorian) (toEnum x) ^. from utcTime
在 ghci 内:
:t makeUtcTime 2020 1 1 9143892431
makeUtcTime 2020 1 1 9143892431 :: UTCTime
(也许有更简单的方法,但这还不错)
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)