HXT解析に状態を追加します

Question

HXTを使用してXMLの解析から番号付き要素を生成する矢印を書き込もうとしています。州のモナドのように、州の矢印で行うべきだと思われますが、HXTパッケージと状態にアクセスする方法で見つけることができるすべての例（xmlState）iostatearrowを使用すると、テストプロセスをStatearrowで簡素化するために純粋に保ちます。そのようなバリアントは存在しますか？そうでない場合、IOで矢印を実行することに頼ることなく、どのように状態をHXTの解析に追加しますか？

Answer 1

使用できます 矢印 のインスタンス SLA そのために。例：すべての第2レベルのテキスト要素を連結する必要があると仮定します。

Prelude Text.XML.HXT.Core> fst $ runSLA (xread >>> getChildren >>> getChildren >>> isText >>> getText >>> changeState (++)) "" "<xml><item>a</item><item>b</item></xml>" 
"ab"

使用できないことに注意してください IO 内側 SLA inがないので ArrowIO 実例。

それはあなたが必要とするものです。