Haskell日期解析和格式化

Question

我一直在使用Haskell的Date.Time模塊來解析日期，如12-4-1999或1-31-1999。我想：

parseDay :: String -> Day 
parseDay s = readTime defaultTimeLocale "%m%d%Y" s 

而且我覺得它想要我的月份和日期有恰好爲兩個數字，而不是1個或2 ...

什麼是做到這一點的正確方法？

另外，我想用這種格式打印我的日期：12/4/1999 Haskell的方式是什麼？

感謝您的幫助。

Answer 1

這裏是包含兩種類型的國產日期的一些舊代碼，只有年月日，沒有時間或時區，日期等

它顯示瞭如何解析字符串轉換爲使用readDec日期。請參閱parseDate函數。用readDec,讀取這個數字，關於前導空格（因爲filter）或前導零並不重要，並且解析停在第一個非數字上。然後使用tail（跳過非數字）到達日期的下一個數字字段。

它顯示了輸出格式的幾種方式，但最靈活的方法是使用Text.printf。見instance Show LtDate。有了printf，任何事情都是可能的！

import Char 
import Numeric 
import Data.Time.Calendar 
import Data.Time.Clock 
import Text.Printf 
-- ================================================================ 
--      LtDate 
-- ================================================================ 
type Date=(Int,Int,Int) 
data LtDate = LtDate 
    { ltYear :: Int, 
    ltMonth:: Int, 
    ltDay :: Int 
    } 
instance Show LtDate 
    where show d = printf "%4d-%02d-%02d" (ltYear d) (ltMonth d) (ltDay d) 

toLtDate :: Date -> LtDate 
toLtDate (y,m,d)= LtDate y m d 

-- ============================================================= 
--       Date 
-- ============================================================= 
-- | Parse a String mm/dd/yy into tuple (y,m,d) 
-- accepted formats 
-- 
-- @ 
-- 12\/01\/2004 
-- 12\/ 1\' 4 
-- 12-01-99 
-- @ 
parseDate :: String -> Date 
parseDate s = (y,m,d) 
    where [(m,rest) ] = readDec (filter (not . isSpace) s) 
      [(d,rest1)] = readDec (tail rest) 
      [(y, _) ] = parseDate' rest1 

-- | parse the various year formats used by Quicken dates 
parseDate':: String -> [(Int,String)] 
parseDate' (y:ys) = 
    let [(iy,rest)] = readDec ys 
     year=case y of '\''  -> iy + 2000 
        _ -> 
         if iy < 1900 then iy + 1900 else iy 
    in [(year,rest)] 

-- | Note some functions sort by this format 
-- | So be careful when changing it. 
showDate::(Int, Int, Int) -> String 
showDate (y,m,d)= yy ++ '-':mm ++ '-':dd 
    where dd=zpad (show d) 
      mm = zpad (show m) 
      yy = show y 
      zpad ds@(_:ds') 
      | ds'==[] = '0':ds 
      | otherwise = ds 


-- | from LtDate to Date 
fromLtDate :: LtDate -> Date 
fromLtDate lt = (ltYear lt, ltMonth lt, ltDay lt) 

一旦你有（Y，M，d），可以很容易地轉換成一個Haskell庫類型的數據操作。完成HS庫之後，可以使用Text.printf來格式化顯示日期。

Answer 2

因爲最近，我會建議您使用strptime包來滿足您所有的日期/時間解析需求。

Answer 3

您可以使用Data.Time.Format中的函數來讀取日期。我在下面列出了一個簡單的程序，它以一種格式讀取日期，並以兩種不同的格式寫出日期。要讀取單位數月或數天，請在％和格式說明符之間放置一個連字符（ - ）。

import Locale 
import Data.Time 
import Data.Time.Format 

main = 
    do 
    let dateString = "26 Jan 2012 10:54 AM" 
    let timeFromString = readTime defaultTimeLocale "%d %b %Y %l:%M %p" dateString :: UTCTime 
    -- Format YYYY/MM/DD HH:MM 
    print $ formatTime defaultTimeLocale "%Y/%m/%d %H:%M" timeFromString 
    -- Format MM/DD/YYYY hh:MM AM/PM 
    print $ formatTime defaultTimeLocale "%m/%d/%Y %I:%M %p" timeFromString 

輸出看起來是這樣的：

"2012/01/26 10:54" 
"01/26/2012 10:54 AM" 

Data.Time.Format可從 「時間」 包。如果您需要解析一位數的月份或日期，換言之，像9-9-2012這樣的日期，那麼在％和格式字符之間包含一個連字符。因此，要解析「9-9-2012」，您需要格式字符串「％-d - ％ - m-％Y」。

截至2014年8月，語言環境現在最好從「System.Locale」包而不是Haskell 1998「Locale」包中獲得。考慮到這一點，從現在上面的代碼示例如下：

import System.Locale 
import Data.Time 
import Data.Time.Format 

main = 
    do 
    let dateString = "26 Jan 2012 10:54 AM" 
    let timeFromString = readTime defaultTimeLocale "%d %b %Y %l:%M %p" dateString :: UTCTime 
    -- Format YYYY/MM/DD HH:MM 
    print $ formatTime defaultTimeLocale "%Y/%m/%d %H:%M" timeFromString 
    -- Format MM/DD/YYYY hh:MM AM/PM 
    print $ formatTime defaultTimeLocale "%m/%d/%Y %I:%M %p" timeFromString 

    -- now for a string with single digit months and days: 
    let dateString = "9-8-2012 10:54 AM" 
    let timeFromString = readTime defaultTimeLocale "%-d-%-m-%Y %l:%M %p" dateString :: UTCTime 
    -- Format YYYY/MM/DD HH:MM 
    print $ formatTime defaultTimeLocale "%Y/%m/%d %H:%M" timeFromString 

輸出現在看起來像這樣：

"2012/01/26 10:54" 
"01/26/2012 10:54 AM" 
"2012/08/09 10:54" 

隨着2017年7月的，上面的代碼使用現在已經過時分析時。鼓勵您現在使用parseTimeOrError。代碼變爲：

import Data.Time 

main = 
    do 
    let dateString = "26 Jan 2012 10:54 AM" 
    let timeFromString = parseTimeOrError True defaultTimeLocale "%d %b %Y %l:%M %p" dateString :: UTCTime 
    -- Format YYYY/MM/DD HH:MM 
    print $ formatTime defaultTimeLocale "%Y/%m/%d %H:%M" timeFromString 
    -- Format MM/DD/YYYY hh:MM AM/PM 
    print $ formatTime defaultTimeLocale "%m/%d/%Y %I:%M %p" timeFromString 

    -- now for a string with single digit months and days: 
    let dateString = "9-8-2012 10:54 AM" 
    let timeFromString = parseTimeOrError True defaultTimeLocale "%-d-%-m-%Y %l:%M %p" dateString :: UTCTime 
    -- Format YYYY/MM/DD HH:MM 
    print $ formatTime defaultTimeLocale "%Y/%m/%d %H:%M" timeFromString 

的從.cabal文件版本： 集結取決於：基礎> = 4.9 & & < 4.10，時間> = 1.6.0.1

這就是說，這個答案越來越在哈斯克爾軟件包發展速度方面有點長久。現在可能是尋找更好解決方案的時候了。

Answer 4

使用％D和％-m代替％d和％m表示單數位日/月是確定的，即

parseDay :: String -> Day 
parseDay s = readTime defaultTimeLocale "%-m%-d%Y" s 

這可能是什麼sclv意思，但他的評論有點太對我來說很神祕。