haskell - 在 fromJson 中插入默认时间戳

Question

我有一个 ajax 调用将 json 发送到 Yesod 中的路由，我希望路由解析 json 并将其直接插入数据库。在我的模型文件中，我有

createtime UTCTime default=now()

这会阻止解析 json，因为客户端没有发送创建时间。我尝试为日志条目编写自己的 parseJson，但由于 getCurrentTime 在 IO monad 中返回一个值，因此我无法插入 UTCTime 默认值。如果可能的话，我希望数据库设置该值。

此时我唯一能想到的就是创建一个像 LogEntryWithoutTime 这样的类型，将 JSON 解析为该类型并转换为 LogEntry。有没有更简单的方法？

编辑:
我展示了将 getCurrentTime 添加到 JSON 解析的三种不同失败。首先，目的是解析创建时间(如果可用)，默认为服务器上的 getCurrentTime。无论如何这是不对的，因为我们不应该依赖客户的时间。

instance FromJSON Log where
    parseJSON (Object o) = Log
        <$> o .: "userid"
        ...
        <*> o .:? "createtime" .!= liftIO getCurrentTime

错误是

Model.hs:58:32:
Couldn't match expected type ‘UTCTime’
            with actual type ‘m0 UTCTime’
In the second argument of ‘(.!=)’, namely ‘liftIO getCurrentTime’
In the second argument of ‘(<*>)’, namely
  ‘o .:? "createtime" .!= liftIO getCurrentTime’

其次，我尝试获取当前时间。

<*> liftIO getCurrentTime

我得到了错误

Model.hs:58:9:
No instance for (MonadIO
                   aeson-0.7.0.6:Data.Aeson.Types.Internal.Parser)
  arising from a use of ‘liftIO’
In the second argument of ‘(<*>)’, namely ‘liftIO getCurrentTime’

如果我将线路更改为

<*> getCurrentTime

然后我得到

Model.hs:58:9:
Couldn't match type ‘IO’
              with ‘aeson-0.7.0.6:Data.Aeson.Types.Internal.Parser’
Expected type: aeson-0.7.0.6:Data.Aeson.Types.Internal.Parser
                 UTCTime
  Actual type: IO UTCTime

Answer 1

default 的事情模型中定义的属性是在持久化实体时仍然需要定义所有值。据我所知，默认值仅用于自动迁移和模式定义。

尝试解除getCurrentTime来自 IO monad(带有 liftIO )。