正確な入力を再構築できるパーサーを作成する方法は確立されていますか？

Question

言語でファイルを解析したいとします。X。本当に、私はその中の情報のほんの一部にしか関心がありません。その目的のためにHaskellの多くのeDSL（例えばMegaparsec）にパーサを書くのは簡単です。容易に機能getFoo :: Text -> Maybe Fooを生じさせる

data Foo = Foo Int -- the information I'm after. 

parseFoo :: Parsec Text Foo 
parseFoo = ... 

。

しかし、今、私も同じように変更しますFoo情報のソースは、つまりは基本的に私はそれをすることによってそれを行うことが可能です

changeFoo id ≡ id 
getFoo . changeFoo f ≡ fmap f . getFoo 

性質を持つ

changeFoo :: (Foo -> Foo) -> Text -> Text 

を実装したいですパーサーの結果をレンズのようなものに変更する

parseFoo :: Parsec Text (Foo, Foo -> Text) 
parseFoo = ... 

しかし、定義がもっと煩雑になる–私はただ無関係の情報を光沢させることはできませんが、すべてのstringサブパルスのマッチを保存し、手動で再構成する必要があります。

これは、文字列再構成をパーサーモナドの周囲にあるStateTレイヤーに保つことによっていくらか自動化できますが、既存のプリミティブパーサーを使用することはできません。

この問題の既存の解決策はありますか？

Answer 1

ソリューションはHaskellで実装されていますか？私は1つを知らない。彼らは存在するかもしれない。

一般に、収集されたトークンに「書式」情報を格納することによって、元のプログラムに合った正当なバージョンを再生するのに十分な情報を格納できます。制限内で、フォーマット情報はトークンの元の文字列です。それを近似すると、正確に答えが少なくなります。

パーズツリー内に明示的なトークンとして空白を残しておけば、それを再生成することもできます。それが役に立つかどうかは、アプリケーションによって異なります。一般に、私はこれが過度のものだと思う。キャプチャする方法と、再生成する方法を何/上

詳細は私のSOの回答で見つけることができます：Compiling an AST back to source code

Answer 2

これは、「双方向変換」の場合ですか？例えば、特定の、「可逆構文の説明：統一解析とプリティプリントする」のhttp://ceur-ws.org/Vol-1571/

Rendelとオスターマンによって http://dblp.org/rec/conf/haskell/RendelO10、Haskellのシンポジウム2010ライブラリの解析（参照http://lambda-the-ultimate.org/node/4191）