問題タブ [hxt]

HXTを使用して、6行のXML入力からいくつかのデータを抽出しようとしています。Curlが統合されていて、後で数千行のXMLファイルが他にもあるので、HXTも保持したいと思います。

私のXMLは次のようになります。

そして、私はそれを解析する方法をまとめようとしてきました。残念ながら、HXTのWikiページは大きな助けにはなりませんでした（または私はただ見落としていました）。

私がいつも得ているのは

したがって、クエリからXMLをチェックして正しく取得したので、解析はひどく間違っているに違いないと思います。

文字列からHTMLを読み取り、それを処理して、HXTを使用して変更されたドキュメントを文字列として返したい。この操作はIOを必要としないので、私はよりrunLAもでArrowを実行したいと思いrunXます。

コードは次のようになります（簡単にするために処理を省略しています）。

ただし、結果には周囲のhtmlタグがありません。

代わりに次のようにrunXを使用すると：

期待どおりの結果が得られます。

それはなぜですか、どうすれば修正できますか？

おそらく私はこれを間違った方法で行っていますが、HXTを使用して、HOpenGLの配列で使用したいいくつかの頂点データを読み込みます。頂点配列は、newArrayを呼び出して作成されたPtrである必要があります。残念ながら、newArrayはIO Ptrを返すため、Arrow内でそれを使用する方法がわかりません。IO a-> Arrow aに似た型宣言を持つものが必要だと思いますか？

私の質問は次のとおりです。解析するこのxmlファイルがあります：

次の出力が必要です。

しかし、以下のコードは私に与えます:

XML を 1 回だけ解析して、「ERRORS ラベル」と ERR を取得したいと考えています。

私の問題は機能にあると思いますerrToLabが、明らかな解決策はありません。

ご協力いただきありがとうございます。

ここにコードがあります

Andrew Birkett のブログApplicative arrows for XML &&& return to pureで、矢印と applicative functor を混在させることができると読みました。

私は自分でそれを試しましたが、私は期待したものを持っていません。私はこの結果が欲しい：

しかし、私は代わりにこれを取得します:

コードにねじれがあると思いますが、どこを検索すればよいかわかりません。

誰かが助けを提案できる場合、以下は私のコードです。

私は Haskell で Arrows を学習しようとしているので、XML 用の矢印ベースの HXT ライブラリーを使用して単純なアプリケーションを作成しています。HXT wiki とチュートリアルの例では、関数型のシグネチャが省略されています。しかし、私は型がとても好きで、それらをどのように使用するかを考え出そうとしています. ここで、つまずきに出会いました。これらの関数が与えられた場合:

次の署名を割り当てる必要があると思います。

私は矢印構文を使用してこれらを一緒にフックしようとしています:

しかし、もし私の型署名が正しければ (GHC は文句を言っていない)、モナド構文とアロー構文を組み合わせて からXmlTree出て に戻る方法が必要になるだろうIO。

進め方がわからない。誰にも洞察がありますか？

hxt を問題なく使用していますが、最初から問題がありました。次のコードを想像してみてください

私は多くのドキュメントを解析するためにそのように使用してきましたが、古典的なプログラミングの問題である抽象化の欠如の前に私はそれを使用しました。

この例のように、解析するファイルが 4 つ (およびさらに増える予定) あります。2 つの属性を持っているものもあれば、5 を持っているものもあれば、1 を持っているものもあります。私のファイルが持っている属性の量に応じて、異なるバージョンの liftKeys を書くことはできません。問題は、矢印や何をしているのかを本当に理解していないということです uu より単純なコードを書くには、いくつかの折り畳みまたは何かが必要です。

これのより良い使い方を知っていますか？

xml ファイルからタグを抽出し、属性に基づいて個別のファイルにそれぞれを書き込もうとしています。

抽出部分はそれほど難しくありません。

2 番目のエントリに writeDocument をマップしようとしましたが、成功しませんでした。どうにかしてIOモナドに戻さなければならないことは理解していますが、これを達成する方法がわかりません。

テスト目的で、結果からこれらの XmlTree を抽出しました。

x次のように矢印を実行できます。

しかし、ファイルに書き込もうとすると、IO Monadeにいないことを示すエラーメッセージが表示されます(私は思います):

に変更runLAしrunIOSLAても役に立ちません：

それは私が得ることができる限りです。

アップデート

Travis Brown が指摘しているように、これは 1 つの矢印で行うことができます。

サンプルの xml ファイルがあるとします。

tageveryを別のタグに置き換えて、別のファイルを取得するにはどうすればよいですか。

ドキュメント[1]はフィルターを使用しているようですが、矢印だけでこれを達成する方法はありますか?

アップデート

私は今、次のようにノードを置き換えることができるポイントにいます:

しかし、属性を正​​しく取得する方法がわかりません。

[1] http://www.haskell.org/haskellwiki/HXT#Transform_external_references_into_absolute_reference

haskellでXMLファイルを解析するためのHXTに関するフレンドリーなチュートリアルチュートリアルを開始しました。

チュートリアルの最初のページでは、xmlファイルからゲストを取得しようとします。そのために次の機能があります。

しかし、インタプリタにファイルを読み込もうとしたときghci。私はまだこのエラーが発生します：

式の演算子->に解析エラーがあるという事実を指摘してproc x -> do、私は助けなしに多くの変更を試みました。このすべてを一行で書くようなものです

誰かが私が見逃したものを理解するのを手伝ってくれますか？

返信ありがとうございます！