Haskell Aeson 解构泛型解析

Question

我有一个格式为的 JSON 请求

{"command":"get","params":{"something":"something else"}}

以及来自 Yesod book 的代码片段

{-# LANGUAGE OverloadedStrings #-}
import Network.Wai (Response, responseLBS, Application, requestBody)
import Network.HTTP.Types (status200, status400)
import Network.Wai.Handler.Warp (run)
import Data.Aeson.Parser (json)
import Data.Conduit.Attoparsec (sinkParser)
import Control.Monad.IO.Class (liftIO)
import Data.Aeson (Value(..), encode, object, (.=))
import Control.Exception (SomeException)
import Data.ByteString (ByteString)
import Data.Conduit (ResourceT, ($$))
import Control.Exception.Lifted (handle)

main :: IO ()
main = run 3000 app

app :: Application
app req = handle invalidJson $ do
    value <- requestBody req $$ sinkParser json
    newValue <- liftIO $ modValue value
    return $ responseLBS
        status200
        [("Content-Type", "application/json")]
        $ encode newValue

invalidJson :: SomeException -> ResourceT IO Response
invalidJson ex = return $ responseLBS
    status400
    [("Content-Type", "application/json")]
    $ encode $ object
        [ ("message" .= show ex)
        ]

-- Application-specific logic would go here.
modValue :: Value -> IO Value
modValue (Object o) 
    | -- key "command" corresponds to value "get"
    | otherwise = fail "Invalid command"

但是我无法理解如何解构生成的值数据结构。我如何获取键的值等。我意识到我可以解析为显式定义的数据结构，但这会给我的用例带来其他类型的问题。

在 modValue 中，我在不知道该写什么的地方添加了一条注释。我尝试将其视为 Map，因为这就是它在 Aeson 内部的实现方式，但这显然不会进行类型检查。

编辑:

将 Data.HashMap 添加到导入并使用该行

    | M.lookup "command" o == Just "get" = return $ object [("result" .= (String "YAY"))]

给出以下错误消息。

main.hs:39:26:
Couldn't match expected type `M.Map k0 a0'
            with actual type `aeson-0.6.0.2:Data.Aeson.Types.Internal.Object'
In the second argument of `M.lookup', namely `o'
In the first argument of `(==)', namely `M.lookup "command" o'
In the expression: M.lookup "command" o == Just "get"

编辑2:

突然的预感，我找到了之前收到的一条涉及“无序容器”的错误消息。这是 Aeson 使用的软件包。但我意识到我还安装了 hashmap 包，它作为 Data.HashMap 导入。来自无序容器的 HashMap 作为 Data.HashMap.Strict 或 Lazy 导入!

将行importqualifiedData.HashMapasM更改为importqualifiedData.HashMap.StrictasM修复了它。现在给出的答案有效!

Answer 1

自 aeson JSON object is a Hashmap ，您可以使用Hasmap interface ，在本例中查找。

import qualified Data.HashMap.Strict as M

M.lookup "command" o == Just "get"