У меня есть запрос JSON в стиле
{"command":"get","params":{"something":"something else"}}
и этот фрагмент кода из книги Yesod
{-# 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"
Но я не могу понять, как бы я деструктурировал сгенерированную структуру данных Value. Как мне получить значения ключей и т. Д. Я понимаю, что могу выполнить синтаксический анализ до явно определенной структуры данных, но это принесет другие проблемы в мой вариант использования.
В 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"
РЕДАКТИРОВАТЬ2:
Внезапно я обнаружил сообщение об ошибке, которое я получил ранее, связанное с «unordered-container». Это пакет, который использует Aeson. Но я понял, что у меня также установлен пакет hashmap, который импортируется как Data.HashMap. Хэш-карты из неупорядоченных контейнеров импортируются как Data.HashMap.Strict или Lazy!
Изменение строки import qualified Data.HashMap as M
на import qualified Data.HashMap.Strict as M
все равно исправило это. Теперь данный ответ работает!