haskell - Parsecを使用して、foo2で終了し、すべてドットで区切られた0個以上のfoo1を解析するにはどうすればよいですか？

Question

私がやろうとしていることはかなり単純に思えますが、私はパーセクのHaskell初心者なので、解決策は私にはわかりません。

私には2つのパーサーがあります。たとえば、中間項を解析し、終了項を解析できる場所foo1を考えてみましょう。用語は記号で区切られます。foo2foo1foo2"."

解析する必要のある文は

等々。

私の当初の考えは

do k <- sepBy foo1 (char'.')
   j <- foo2

しかし、それは唯一のケースを捕らえることはできませんfoo2。

score 4 · Accepted Answer

あなたがしたいendBy、ではありませんsepBy。

foo = do k <- foo1 `endBy` char '.'
         j <- foo2
         ...

これにより、が出現するたびに区切り文字が強制的に表示されますfoo1。

もちろん、endByはで簡単に置き換えるmanyことができ、より明確になる可能性があります。

foo = do k <- many $ foo1 <* char '.' 
         j <- foo2
         ...

または、なしControl.Applicative:

foo = do k <- many $ do x <- foo1; char '.'; return x
         j <- foo2
         ...

score 2 · Accepted Answer

endByまず、代わりに次のものが必要ですsepBy。

do k <- endBy foo1 (char'.')
   j <- foo2

第二に、それは

just foo2 ケースをキャッチ

endBy p sepで区切られたの0 回以上の出現を解析します。によって返される値のリストを返します。psepp

score 0 · Accepted Answer

次のようなものを試してください

many (foo1 >>= (\v -> char '.' >> return v)) >>= \v1 ->
  foo2 >>= \v2 ->
  -- ...
  -- combine v1 & v2 somehow

（もちろん、スケッチだけです。）

一般に、manyコンビネータはパーセクのクリーネ閉包に相当します。また、既存のパーサーに末尾のドットのような単純なものを追加する場合は、>>/を使用すると、表記>>=を使用するよりも実際にはクリーンで単純になる可能性があります。do

score 0 · Accepted Answer

確かに、それは foo2 ケースをキャッチします。foo1 に使用すると、ライデンの言葉:

let a = sepBy word (char '.')
parseTest a "foo.bar.baz"
parseTest a "foo"
parseTest a ".baz"

4 に答える 4