datetime - UTCTimeから秒とミリ秒のコンポーネントを取得するにはどうすればよいですか？

Question

言い換えれば、Pythonのdatetime.utcnow（）に相当するものを探しています。

また、ミリ秒（またはマイクロ秒）までの年、月などを含むnタプルでも問題ありません。

値を使っshowて解析するStringことを考えていましたが、もっと便利なものがあると思います。

Answer 1

文字列の再解析は非常にハスケル的ではありません。確かにそれは望ましくありません。

私は、からData.Time.LocalTime、を使用します

todSec . localTimeOfDay . utcToLocalTime utc  ::  UTCTime -> Data.Fixed.Pico

これにより、ピコ秒の解像度で数秒が得られます。