मैं UTCTime से विशिष्ट समय घटकों को कैसे निकाल सकता हूं?

Question

अगर मैं इस कोड है:

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

मैं मिनट और UTCTime से बाहर सेकंड घटकों कैसे निकाल सकते हैं?

Answer 1

ए UTCTime में दो घटक हैं: एक दिन और DiffTime। आप utctDayTime या पैटर्न मिलान से प्राप्त कर सकते हैं। वहां से, आप इसे पर timeToTimeOfDay का उपयोग करके परिवर्तित कर सकते हैं। आप घंटे, मिनट और सेकंड प्राप्त करने के लिए बस TimeOfDay के खिलाफ पैटर्न मिलान कर सकते हैं।

तो तुम ऐसा कर सकता है:

let TimeOfDay hours minutes seconds = timeToTimeOfDay (utctDayTime time) 

तुम भी todMin और todSec कार्यों का उपयोग कर सकते हैं TimeOfDay से बाहर क्रमशः मिनट और सेकंड मिलता है।

Answer 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