如何从UTCTime中提取特定时间组件？

Question

如果我有这个代码:

let time = read "2013-02-03 17:00:07.687" :: UTCTime

如何从中提取分钟和秒组件UTCTime？

Answer 1

A UTCTime有两个组成部分:一天和一天DiffTime.您可以DiffTime使用utctDayTime或通过模式匹配.从那里,您可以将其转换为TimeOfDay使用timeToTimeOfDay.然后,您可以只对模式进行匹配,TimeOfDay以获得小时,分钟和秒.

所以你可以这样做:

let TimeOfDay hours minutes seconds = timeToTimeOfDay (utctDayTime time)

您还可以使用todMin和todSec函数分别获取分钟和秒TimeOfDay.