Belirli zaman bileşenlerini UTCTime'dan nasıl çıkarabilirim?

Question

Bu kodu varsa:

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

nasıl UTCTime dışarı dakika ve saniye bileşenleri çıkarabilir?

Answer 1

UTCTime'un iki bileşeni vardır: bir gün ve DiffTime. kullanarak veya desen eşleştirmesiyle DiffTime'u alabilirsiniz. Buradan, timeToTimeOfDay kullanarak TimeOfDay'a dönüştürebilirsiniz. Daha sonra saat, dakika ve saniye almak için TimeOfDay ile eşleştirebilirsiniz.

Yani bunun yapabileceğini: Ayrıca TimeOfDay üzerinden sırasıyla dakika ve saniye olsun todMin ve todSec işlevlerini kullanabilirsiniz

let TimeOfDay hours minutes seconds = timeToTimeOfDay (utctDayTime time) 

.

Answer 2

time-lens paketini kullanarak zaman ve tarih işlemlerini çok daha kolay hale getirebilirsiniz. Örneğin.

> let time = read "2013-02-03 17:00:07.687" :: UTCTime 
> getL seconds time 
7.687000000000 

Eğer Data.Lens.Common aktarırsanız , ayrıca getL bir infix versiyonu var: bunun için

> time ^. minutes 
0