我有一個看起來像這樣的 Jsonl 檔案：
{"mood": "Good", "when": "2022-10-09 Sun 11:51"}
我正在使用 Aeson 和 Relude 作為替代前奏，我試圖將它決議為 UTCTime 作為更大資料結構的一部分。但由于 UTCTime 由日期時間組成，而不是日期、日期、時間。
我認為我的決議器因此而失敗。因此，我試圖弄清楚如何以慣用的方式將其過濾掉，因此我可以將其決議為 UTCTime 或至少縮小問題范圍。
我不知道是否有慣用的方法來獲取 byteString 并將其轉換為其他內容，例如文本，以便我可以在其上使用過濾器，然后回傳 byteString 用于輸入 fromJSON 函式。
或者，如果有更好的方法，例如使用鏡頭包裝中的某些東西，我隱約知道。我沒有仔細看過它。
因此，在這里詢問擺脫那個“太陽”的慣用方式是什么？任何建議謝謝。
uj5u.com熱心網友回復：
您可以不時使用parseTimeM為您決議：
ghci> parseTimeM False defaultTimeLocale "%Y-%m-%d %a %H:%M" "2022-10-09 Sun 11:51" :: Maybe UTCTime
Just 2022-10-09 11:51:00 UTC
大多數格式都記錄在formatTime
轉載請註明出處，本文鏈接：https://www.uj5u.com/caozuo/530202.html
標籤：哈斯克尔过滤爱生
上一篇：無法將型別“b”與Int匹配