Parsec（Haskell）を使ってキートークンに基づいて値を文字列に補間する方法はありますか？

Question

私は、構文解析の世界に新たなんだ、とかなり単純な-見せかけ問題を抱えている：

私は<<key-label>>のようにエンコードされている長い通常のテキストのChunk秒で構成される文字列、およびKey秒を持っています。

data Merge a = Chunk a 
      | Key a 
    deriving (Show) 

key :: Parser (Merge String) 
key = Key <$> between (string "<<") (string ">>") (many1 letter) 

chunk :: Parser (Merge String) 
chunk = Chunk <$> many1 anyChar 

prose = many1 $ key <|> chunk 

ex = parseTest prose "hi <<x>> ! Do you like <<y>>?" 

-- Returns: 
-- [Chunk "hi <<x>> ! Do you like <<y>>?"] 

-- I'd like: 
-- [Chunk "hi ", Key "x", Chunk " !", ...] 

私は値でそれらのキーを交換したいのですが、私は私のトークン、IE String -> [Merge]に文字列を解析することができるかどうかということ解決することができます。

私はレクシング/解析である無限の深さに飛び込んできましたが、最終的にこの問題を解決するためのガイダンスは今すぐには得られますか？私は別の字句/構文解析ステップを含むデータの上に別のパスを、試してみましたが、私は代わりに、より具体的な補間LIBのparsecを使用するようをいただきたいが、

これは、私の試みの最も単純なインスタンス化したものです。

Answer 1

notFollowedByを使用すると、キーでない限り、チャンクに 文字を含めることができます。 notFollowedByは の入力を消費しないので、proseはそれ自身のアイテムとして再度キーを解析するようになります。

chunk = Chunk <$> many1 (notFollowedBy key >> anyChar) 

これはaaa<<bbbbbbようにも物事がファイルの最後にすべての道を行くことによって、チャンクとして を解析されることを可能にする、それが鍵となっていてはならないことを決定し、閉じ >>が見つかりませんしたがって、チャンクの一部になることがあります。

あなたではなく、<<は常にキーの始まりであると、それが閉じていない 場合に失敗していたチャンクから<<を禁止したい場合：

chunk = Chunk <$> many1 (notFollowedBy (string "<<") >> anyChar)