수색…


통사론

  • addDays :: 정수 -> 일 -> 주

  • 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 1984 11 17  -- yields a Day

일 추가, 뺄셈 및 비교

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