4

次のスタイルの 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 では、何を入れればよいか分からないところにコメントを入れました。それが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"

EDIT2：

突然の予感で、「unordered-containers」に関する以前に表示されたエラー メッセージを突き止めました。これは、Aeson が使用するパッケージです。しかし、Data.HashMap としてインポートされるパッケージ hashmap もインストールされていることに気付きました。unordered-containers からのハッシュマップは、Data.HashMap.Strict または Lazy! としてインポートされます。

とにかくそれを修正するために行を変更しimport qualified Data.HashMap as Mます。import qualified Data.HashMap.Strict as M与えられた答えが機能するようになりました！

4

1 に答える 1

5

aeson JSONオブジェクトはHashmapであるため、この場合はHasmapインターフェースを使用できますlookup。

import qualified Data.HashMap.Strict as M

M.lookup "command" o == Just "get"
于 2012-11-08T11:21:42.257 に答える