Ответ 1
Я не вижу никакой ранее существовавшей функции для этого, но вы можете легко сделать это с помощью Data.Time.Format.formatTime
:
import System.Locale (defaultTimeLocale)
import Data.Time.Format (formatTime)
iso8601 :: UTCTime -> String
iso8601 = formatTime defaultTimeLocale "%FT%T%QZ"
(Вам нужно преобразовать время в UTCTime
, прежде чем передавать его этой функции, чтобы он фактически отображал фактическое время UTC.)