Question

使用aeson-lens，我写了这个程序，让我非常接近我想要实现的目标：

{-# LANGUAGE OverloadedStrings #-}

import Network.HTTP.Conduit ( simpleHttp )
import Data.Aeson           ( decode
                            , Value
                            )
import Data.Maybe           ( fromJust )
import Control.Lens         ( (^.) )
import Data.Aeson.Lens      ( key, nth )

main :: IO ()
main = do
  pageContents <- simpleHttp "http://127.0.0.1:28017/baseball/team/"
  let v = decode pageContents :: Maybe Value
  let totalRowsVal = v ^. key "total_rows" :: Maybe Int
      oidVal       = v ^. key "rows" . nth 0 ^. key "_id" ^. key "$oid" :: Maybe String
  print totalRowsVal
  print oidVal
  return ()

JSON内容为：

{
  "total_rows": 2,
  "rows": [
    {
      "_id": { "$oid": "5548ed2671eab385baadf0a7" },
      "abc": 123
    },
    {
      "_id": { "$oid": "5548ed5171eab385baadf0a8" },
      "def": 456
    }
  ],
  "query": {},
  "offset": 0,
  "millis": 0
}

输出结果为：

Just 2
Just "5548ed2671eab385baadf0a7"

我想达到输出为：

的程度

Just 2
Just [("abc",123),("def",456)]

换句话说，我想从rows键下的值中提取有用的内容，而不事先知道该JSON数组的元素中的键是什么。我还希望该程序向用户发出信号，query键下的值是一个空的JSON对象。

Answer 1

首先使用lens-aeson而不是aeson-lens。 aeson-lens暂时没有更新，我不认为它的所有镜头都是守法的。由于他们共享Data.Aeson.Lens，您必须运行ghc-pkg unregister aeson-lens（或cabal sandbox hc-pkg unregister aeson-lens如果您使用的是沙箱）。

你还没有确切地描述你如何知道“有用的内容”是什么，所以我假设它没有被称为"_id"并且指向一个整数。在aeson-lens数组的每个对象都是HashMap，所以首先我们将对这些对象进行遍历：

rows :: Traversal' Value (HM.HashMap Text Value)
rows = key "rows" . _Array . each . _Object
-- or  key "rows" . values

对于行值，我们可以使用索引遍历，其中索引是Text的{{1}}。然后，我们可以使用HashMap通过检查索引不是ifiltered来过滤内容。我们还使用"_id"来指向_Integer。

Integer

从这里可以很容易地得到你想要的清单：

nonIds :: IndexedTraversal' Text (HM.HashMap Text Value)  Integer
nonIds = itraversed . ifiltered (\i _ -> i /= "_id") . _Integer
-- or    members . ifiltered (\i _ -> i /= "_id") . _Integer

（> v ^@.. rows . nonIds [("abc",123),("def",456)]）返回索引遍历的列表及其索引。

要检查“查询”是一个空对象，您可以使用^@..：

nullOf

这是一个工作示例（我将json文件保存到“json.json”：

emptyQuery = nullOf (key "query" . _Object . each) v

给出输出

{-# LANGUAGE OverloadedStrings #-}

import Data.Aeson
import Data.Aeson.Lens
import qualified Data.ByteString.Lazy as LB
import Control.Lens

main :: IO ()
main = do
  contents <- LB.readFile "json.json"
  let Just v = decode contents :: Maybe Value
  let totalRows  = v ^? key "total_rows" . _Integer
      rows       = key "rows" . values
      nonIds     = members . ifiltered (\i _ -> i /= "_id") . _Integer
      vals       = v ^@.. rows . nonIds
      emptyQuery = nullOf (key "query" . members) v
  print totalRows
  print vals
  print emptyQuery

（您可以在此等效地使用Just 2 [("abc",123),("def",456)] True或traverse代替traversed，它们都遍历each;我认为Vector读得更好。）

使用Data.Aeson.Lens进行转换

1 个答案: