8
私はこのコードを持っている場合：私はUTCTimeのうち、分、秒成分を抽出するにはどうすればよいUTCTimeから特定の時間コンポーネントを抽出するにはどうすればよいですか？
let time = read "2013-02-03 17:00:07.687" :: UTCTime
を？
A
答えて
11
UTCTimeは、1日とDiffTimeの2つの成分を有する。 DiffTimeはutctDayTimeを使用するか、パターンマッチングで取得できます。そこからtimeToTimeOfDayを使用してTimeOfDayに変換することができます。 TimeOfDayとのパターンマッチングを行い、時間、分、秒を取得することができます。
だから、これを行うことができます：あなたはまた、TimeOfDayのうち、それぞれ分と秒を取得するためにtodMinとtodSec機能を使用することができます
let TimeOfDay hours minutes seconds = timeToTimeOfDay (utctDayTime time)
。
2
time-lensパッケージを使用すると、時間と日付の操作がはるかに簡単になります。例えば。
> let time = read "2013-02-03 17:00:07.687" :: UTCTime
> getL seconds time
7.687000000000
あなたがData.Lens.Commonをインポートする場合、getLの中置版もあります：
> time ^. minutes
0
このためおかげで、私は前にこのパッケージを思っていたが、それは存在していた知りませんでした！ – singpolyma