サーチ…


構文

  • addDays :: Integer - > Day - > Day

  • diffDays :: Day - > Day - > Integer

  • fromGregorian ::整数 - > Int - > Int - > Day

     convert from proleptic Gregorian calendar. First argument is year, second month number (1-12), third day (1-31). Invalid values will be clipped to the correct range, month first, then day.
    
  • getCurrentTime :: IO UTCTime

備考

timeパッケージData.Timeモジュールは、日付と時刻の値の取得と操作をサポートしています。

今日の日付を見つける

現在の日付と時刻はgetCurrentTimeで確認できます:

import Data.Time

print =<< getCurrentTime
-- 2016-08-02 12:05:08.937169 UTC

代わりに、日付はfromGregorian返されfromGregorian

fromGregorian 1984 11 17  -- yields a Day

日の追加、減算、比較

1 Dayを指定すると、次のような単純な算術と比較を実行できます。

import Data.Time

addDays 1 (fromGregorian 2000 1 1)
-- 2000-01-02
addDays 1 (fromGregorian 2000 12 31)
-- 2001-01-01

減算:

addDays (-1) (fromGregorian 2000 1 1)
-- 1999-12-31

addDays (-1) (fromGregorian 0 1 1)
-- -0001-12-31
-- wat

違いを見つけることさえできます:

diffDays (fromGregorian 2000 12 31) (fromGregorian 2000 1 1)
365

注文が重要であることに注意してください。

diffDays (fromGregorian 2000 1 1) (fromGregorian 2000 12 31)
-365


Modified text is an extract of the original Stack Overflow Documentation
ライセンスを受けた CC BY-SA 3.0
所属していない Stack Overflow