Хаскелл | Как получить значение из глубоко вложенной структуры данных?

Я новичок в Haskell, и я пытаюсь узнать больше о языке, выполняя базовый анализ.

У меня есть код, который анализирует файл XML и производит это

[ Element
    { elName = QName
        { qName = "title"
        , qURI = Nothing
        , qPrefix = Nothing
        }
    , elAttribs = []
    , elContent =
        [ Text
            ( CData
                { cdVerbatim = CDataText
                , cdData = "This string is what I want to obtain" -- string to view.
                , cdLine = Just 27
                }
            )
        ]
    , elLine = Just 27
    }
]

куда Element это просто тип данных библиотеки XML

Что я хочу сделать, это получить строку "This string is what I want to obtain"

Я не уверен, как это сделать, не разворачивая всю структуру данных. Я нашел этот путь действительно грязным и подверженным ошибкам.

Я провел общее исследование и нашел библиотеку Lens, и, хотя было несколько учебных пособий, я все еще пытаюсь разобрать структуру вложенных данных.

Это XML-файл, который я пытаюсь разобрать

<GoodreadsResponse>
    <Request>
        <authentication>true</authentication>
        <key>HOKCk4yYS8UjyducqmgRw</key>
        <method>search_search</method>
    </Request>
    <search>
        <query>fantasy</query>
        <results-start>1</results-start>
        <results-end>20</results-end>
        <total-results>35221</total-results>
        <source>Goodreads</source>
        <query-time-seconds>0.21</query-time-seconds>
        <results>
            <work>
                <id type="integer">2384</id>
                <books_count type="integer">51</books_count>
                <ratings_count type="integer">78825</ratings_count>
                <text_reviews_count type="integer">3357</text_reviews_count>
                <original_publication_year type="integer">2002</original_publication_year>
                <original_publication_month type="integer">2</original_publication_month>
                <original_publication_day type="integer">18</original_publication_day>
                <average_rating>4.17</average_rating>
                <best_book type="Book">
                    <id type="integer">84136</id>
                    <title>Fantasy Lover (Hunter Legends Series #1)</title>
                    <author>
                        <id type="integer">4430</id>
                        <name>Sherrilyn Kenyon</name>
                    </author>
                    <image_url>https://images.gr-assets.com/books/1348332807m/84136.jpg</image_url>
                    <small_image_url>https://images.gr-assets.com/books/1348332807s/84136.jpg</small_image_url>
                </best_book>
            </work>
            <work>
                <id type="integer">6734901</id>
                <books_count type="integer">42</books_count>
                <ratings_count type="integer">18358</ratings_count>
                <text_reviews_count type="integer">985</text_reviews_count>
                <original_publication_year type="integer">2010</original_publication_year>
                <original_publication_month type="integer" nil="true"/>
                <original_publication_day type="integer" nil="true"/>
                <average_rating>4.26</average_rating>
                <best_book type="Book">
                    <id type="integer">6542645</id>
                    <title>Fantasy in Death (In Death, #30)</title>
                    <author>
                        <id type="integer">17065</id>
                        <name>J.D. Robb</name>
                    </author>
                    <image_url>https://s.gr-assets.com/assets/nophoto/book/111x148-bcc042a9c91a29c1d680899eff700a03.png</image_url>
                    <small_image_url>https://s.gr-assets.com/assets/nophoto/book/50x75-a91bf249278a81aabab721ef782c4a74.png</small_image_url>
                </best_book>
            </work>
       ...
       ...
Источник

2 ответа

Решение

Использование списочных представлений и средств доступа к записям довольно ясно:

get :: [Element] -> [String]
get es = [cdData c | e <- es, Text c <- elContent e ]

Text c шаблон будет автоматически отфильтровывать любые Elem e или же CRef s значения в elContent e,

Как только вы узнаете, что для списков, =<< средства concatMapВы можете сохранить несколько символов с

get :: [Element] -> [String]
get es = [cdData c | Text c <- elContent =<< es]

Кроме того, если бы вы только хотели cdData когда cdVerbatim было CDataTextВы можете добавить это условие.

get :: [Element] -> [String]
get es = [cdData c | Text c <- elContent =<< es, cdVerbatim c == CDataText ]
Источник

Поскольку xml Сама оптика не определена, вам понадобится другой пакет, который это делает. @ Ли-Яося нашел один: lens-xml,

 #!/usr/bin/env cabal
 {- cabal:
 build-depends: base
              , xml
              , lens
              , lens-xml
 -}
 {-# LANGUAGE OverloadedStrings #-}

 import Control.Lens
 import Text.XML.Light.Types
 import Text.XML.Light.Lens

 x = [ Element
         { elName = QName
             { qName = "title"
             , qURI = Nothing
             , qPrefix = Nothing
             }
         , elAttribs = []
         , elContent =
             [ Text
                 ( CData
                     { cdVerbatim = CDataText
                     , cdData = "This string is what I want to obtain" -- string to view.
                     , cdLine = Just 27
                     }
                 )
             ]
         , elLine = Just 27
         }
     ]

 main :: IO ()
 main = print (x ^? ix 0 . elContentL . ix 0 . _Text . cdDataL)

Вы можете запустить это с последней версией cabal:

$ cabal new-run Main.hs
<<lots of build output snipped>>
Just "This string is what I want to obtain"

Отказ от ответственности: я не уверен, что согласился бы с идеей использования lens для этой задачи. Лично я склонялся бы сначала преобразовать XML в тип данных (с сообщениями об ошибках, когда XML не соответствует ожидаемой схеме), а затем работал над этим типом данных. Тем не менее, вы попросили lens решение на основе...

Источник
Другие вопросы по тегам