UTCTimeとDay

UTCTime

UTC(Coodinated Universal Time)です、気をつけください。

日を加える(または引く)

NominalDiffTimeは、 \(10^ {-12}\) 秒の精度の時間の長さ

Prelude > :m Data.Time
Prelude Data.Time> now <- getCurrentTime
Prelude Data.Time> addUTCTime ((fromIntegral 86400*1)::NominalDiffTime) now
2021-01-29 19:33:51.379542967 UTC
Prelude Data.Time> addUTCTime ((fromIntegral 86400*(-1))::NominalDiffTime) now
2021-01-27 19:33:51.379542967 UTC

Day

UTCTimeは日と時間部分をもつ

Prelude > :m Data.Time
Prelude Data.Time> now <- getCurrentTime
Prelude Data.Time> utctDay now
2021-01-28
Prelude Data.Time> utctDayTime now
70431.379542967s

Posted on 2021-01-29 04:56:54

はじめまして

お茶の国静岡で、焼酎のお茶割なんか罰当たりで飲んだことはありません、常に一番搾りを嗜む静岡極東のBBQerです、最近まわりのエンジニアの方々がお料理を上手にやっている姿を恨めしそうに横目に見ながら、軟骨ピリ辛チクワを食べています、みなさんよろしく。

Posted

Amazon

tags

日本酒池 広井酒店 やがら やっぱた 刺身 丸干し 東京マラソン fpm php82 servant thread spawn Rust Oracle Linux 8 microcode firmware linux openzfs zfs gitea 麒麟 真野鶴 金鶴 日本酒 docker oracle pod podman cli virtualbox VirtualBox epub mobi calibre mask lens ワンライナー php redmine Linux Oracle Map OMap omap map BBQ カテゴリ管理 カテゴリ timestamp date oracle database string 麦焼酎 ダービー process 磨き蒸留 広井酒店、日本酒 芋焼酎 焼酎 ゆるキャン 広井酒店、日本酒池 spring framework java persistent spring session session spring hdbc-odbc persistent-odbc odbc day utctime スィート レマンの森 elm初期化 elm バイク xlr80 esqueleto database xl2tpd strongswan vpn l2tp ipsec 正月 ゲーム grub nginx systemctl portage 豚骨 圧力鍋 yesod-auth-hashdb yesod-auth yesod