Vì vậy, thiết lập là tôi có thời gian, tính bằng giây, kể từ thời đại và tôi muốn biến điều này thành một ngày mà tôi thực sự có thể hiểu được. Làm cách nào để thực hiện điều này trong Haskell? Nếu có thể, làm thế nào tôi có thể trích xuất ngày/giờ/phút ra khỏi mã hóa mới này?Làm cách nào để chuyển đổi từ unixtime sang ngày/giờ trong Haskell?
5
A
Trả lời
8
Data.Time.Clock.POSIX có posixSecondsToUTCTime
(bạn có thể chuyển đổi một loại số khác thành đầu vào mong đợi POSIXTime
với realToFrac
).
Data.Time.Calendar có rất nhiều thứ bạn cần để trích xuất ngày, tháng, v.v ... từ Day
tạo thành một phần của UTCTime
, phần còn lại của gói có các tiện ích hữu ích khác.
2
Sử dụng time thư viện được cài đặt theo mặc định:
import Data.Time.Clock.POSIX
import Data.Time.Format
import System.Locale
main = print $ formatTime defaultTimeLocale "%c" $ posixSecondsToUTCTime 10
Thư viện có hàng loạt các chức năng thao tác cập nhật (ví dụ ngày trừ, nhận được các thành phần như ngày tháng vv). Nếu bạn muốn trích xuất các thành phần chỉ để chuyển đổi chúng thành chuỗi, bạn có thể sử dụng formatTime
.
Các vấn đề liên quan
- 1. ngày chuyển đổi thành unixtime php
- 2. Haskell - chuyển đổi từ Danh sách sang Data.Vector
- 3. Chuyển đổi Có thể Int sang Int trong Haskell
- 4. có cách nào để chuyển đổi từ Double sang BigInteger?
- 5. Làm cách nào để chuyển đổi mili giây sang TDateTime?
- 6. Cách chuyển đổi từ markdown sang pdf
- 7. Làm cách nào để chuyển đổi HTML sang Dệt may?
- 8. Làm cách nào để chuyển đổi từ SID sang tên tài khoản trong C#
- 9. Làm cách nào để chuyển đổi từ BLOB sang TEXT trong MySQL?
- 10. Làm cách nào để chuyển đổi từ kết quả Java sang truy vấn ColdFusion trong Railo?
- 11. Làm cách nào để chuyển đổi từ Lịch Gregorian sang Thời gian Unix, trong Java?
- 12. Làm cách nào để chuyển đổi XLS sang RESX?
- 13. Làm cách nào để chuyển từ Java sang Clojure?
- 14. Làm cách nào để dịch lớp loại Haskell sang F #?
- 15. Làm cách nào để chuyển boolean từ javascript sang python?
- 16. Lấy "unixtime" trong Java
- 17. Cách chuyển đổi từ varbinary sang char/varchar trong mysql
- 18. không thể chuyển đổi từ đôi sang phao
- 19. Cách chuyển đổi từ EBCDIC sang ASCII trong C# .net
- 20. Làm cách nào để chuyển đổi một trang web từ Prototype sang jQuery
- 21. Làm thế nào để chuyển đổi BigInteger sang BigDecimal?
- 22. Chuyển đổi Integer để đôi trong Haskell
- 23. Cách chuyển đổi từ [] byte sang int trong Lập trình
- 24. Làm cách nào để chuyển đổi định dạng của tệp từ Unicode sang ASCII bằng Python?
- 25. Làm thế nào để chuyển đổi CFStringRef sang NSString?
- 26. Làm cách nào để chuyển đổi WAV từ âm thanh stereo sang mono bằng Python?
- 27. Làm cách nào để chuyển đổi từ điển sang tra cứu?
- 28. Làm cách nào để chuyển đổi từ điển Python sang danh sách các bộ dữ liệu?
- 29. Làm cách nào để chuyển đổi từ DWORD RGBA sang int?
- 30. Làm thế nào để chuyển đổi từ điển <> sang Hashtable trong C#?
Lưu ý, điều này thường được gọi là [unixtime] (http://en.wikipedia.org/wiki/Unixtime) – galaxyAbstractor