現在の日付をレコードにDay型としてのみ格納する方法はありますか？

Question

現在の日付をレコードの中にDayの形式で保存するにはどうすればよいですか？これは正しい方法ですか？アプリケーションで日付を操作できるだけでなく、OpaleyeまたはEsqueletoを使用してデータベースに格納することもできます。

import Data.Time 
import Data.Time.Format 

data User = User 
    { userId :: Int 
    , name  :: Text 
    , loginDate :: Day 
    } deriving (Eq, Show) 


currentDay :: Day 
currentDay = utctDay <$> getCurrentTime ??? 

users :: [User] 
users = [ User 1 "A" currentDay 
     , User 2 "B" currentDay 
     ] 

しかしcurrentDayのタイプはIO Dayです：

は、私はこれを持っています。どうすれば Dayとして入手できますか？タイプの安全を壊さずには不可能だと思いますが、わかりません。

私はIO DayにloginDateの種類を変えることができるが、その後、私はEqとShowを導出することができるので、サーバントを使用している間deriveJSONを使用することができませんではないでしょう。 currentDayのタイプをIO DayとusersからIO [User]に変更すると、私はServantタイプを使用できません。

Answer 1

currentDay（同様にgetCurrentTime）はIO作用である。現在の日を取得するには、IOモナドでそれを実行する必要があります。

あなたのコードは次のようになります。

currentDay :: IO Day 
currentDay = utctDay <$> getCurrentTime 

createUsers :: IO [User] 
createUsers = do 
    today <- currentDay 
    return [ User 1 "A" today, User 2 "B" today ]