Использование пакета Haskell hxt для меня все еще немного удивительно. Особенно нотация Arrow и результирующие типы - это волшебство.
Я до сих пор не мог справиться со следующим: я хочу обработать файл XML, который состоит в основном из двух частей. Один сохраняет определение объектов, второй - использование/назначение объектов. Сначала я хочу написать некоторую обработку hxt, чтобы получить структуры данных Haskell в части 1, после этого обработать часть 2 и, наконец, объединить обе структуры данных, прочитанные в реальной логике программы.
Обработка файла теперь в целом проходит нормально благодаря руководству по стрелкам. Но я хотел бы иметь теперь одну нотацию do, выполняющую три шага: прочитать документ (ленивый), обработать полученную структуру один раз с помощью первого процессора, а затем снова обработать ту же структуру с помощью второго процессора. Чего я не хочу, так это дважды вызывать «readDocument», как в следующем примере.
import Text.XML.HXT.Core
import Data.Char(toUpper)
import Data.Tree.NTree.TypeDefs
play filename = do
results <- runX (getAllAddresses filename)
results2 <- runX (getAllAddressesUsages filename)
print results
print results2
getAllAddresses :: FilePath -> IOSArrow XmlTree [(String,NTree XNode)]
getAllAddresses filename =
readDocument [withValidate no] filename >>>
getChildren >>>
isElem >>> hasName "main" >>>
getChildren >>>
isElem >>> hasName "part1" >>>
getChildren >>>
isElem >>> hasName "address" >>>
listA(getAddress) -- create a list for each variable, so use listA
getAddress :: IOSArrow XmlTree (String,NTree XNode)
getAddress =
getChildren >>>
isElem >>>
(
neg ( hasName "location") >>> -- all elements being no "location"
getName &&& (getChildren) -- get the name and the value for each element
)
<+>
(
hasName "location" >>> -- work on all nodes within the "location" subcontainer
getChildren >>>
isElem >>>
( getName &&& (getChildren) ) -- get the name and the value for each element
)
getAllAddressesUsages :: FilePath -> IOSArrow XmlTree [(String,NTree XNode)]
getAllAddressesUsages filename =
readDocument [withValidate no] filename >>>
getChildren >>>
isElem >>> hasName "main" >>>
getChildren >>>
isElem >>> hasName "part2" >>>
getChildren >>>
listA(getAddressUsagePurpose2) -- create a list for each variable, so use listA
getAddressUsagePurpose2 :: IOSArrow XmlTree (String,NTree XNode)
getAddressUsagePurpose2 =
hasName "use_obj-names_for_purpose_2" >>> -- work on all nodes with usage 2
( getName &&& (getChildren) ) -- get the name and the value for each element
Пример данных:
<main>
<part1>
<address>
<obj-name>one</obj-name>
<name>peter 1</name>
<street>streetname 1</street>
<location>
<country>Germany</country>
<state>Baden Wuerttemberg</state>
</location>
</address>
<address>
<obj-name>two</obj-name>
<name>peter 2</name>
<street>streetname 2</street>
<location>
<country>Germany</country>
<state>Nordrhein Westfalen</state>
</location>
</address>
</part1>
<part2>
<use_obj-names_for_purpose_1>
<obj-name>two</obj-name>
</use_obj-names_for_purpose_1>
<use_obj-names_for_purpose_2>
<obj-name>two</obj-name>
</use_obj-names_for_purpose_2>
</part2>
</main>
Итак, формальный вопрос:
Как должна выглядеть монада в функции play, чтобы получить что-то вроде этого:
readXmlDocument :: String -> IOSArrow XmlTree (NTree XNode)
readXmlDocument filename = readDocument [withValidate no] filename
play filename = do
document <- readXmlDocument filename
allAddresses <- getAllAddresses document
allPurposes <- getAllAddressesUsages document
result <- processLogics allAddresses allPurposes
print result
Как мне перейти от монад к стрелкам, обратно к монадам, далее к простым данным и обратно к монадам.
И почему я делаю это как?
