Свернуть все arrow

Question

У меня возникли проблемы с HXT, хотя я подозреваю, что это просто что-то, что мне не хватает в стрелках.

У меня есть структура XML как

<str name="field1">value</str> 
<lst name="field2"><str>value2</str><str>value3</str></lst> 

и внутренней структуры, как

data XmlData = XmlStr String | XmlList XmlData 

Есть ли способ, чтобы собрать на шаг в стрелке элементы?

getXmlData :: IOSArrow XmlTree (String, XmlData) 
getXmlData = (getAttrl >>> getChildren >>> getText) &&& 
     ((filterByType "str" >>> getText >>> arr (\x -> XmlStr x)) 
     <+> (filterByType "lst" >>> getXmlData)) 
    where filterByType t = isElem >>> hasName t >>> getChildren 

Рекурсивный вызов getXmlData должен собрать это ответ и завернуть в конструкторе XMLList, но я не знаю, как собрать термины. В настоящее время я выполняю это с некоторой пост-обработкой на выходе (собирая одноименное имя), но я бы хотел получить лучшее решение.

Answer 1

Для этого вы можете использовать listA от Control.Arrow.ArrowList. Он имеет тип (ArrowList a) => a b c -> a b [c] и является

комбинатор для преобразования стрелки в determinstic версии со всеми результатов, собранных в одном элементе списке.

(см моих ответов here и here для конкретного примера.)

В данном конкретном случае вы можете использовать >. комбинатор с XmlList конструктору в качестве второго аргумента, чтобы выполнить то же самое более лаконично.