1

satisfyParsec のような機能を探しています。何かのようなもの:

--The parser satisfy f succeeds for any character for which the supplied
--function f returns True.
--Returns the character that is actually parsed.
satisfy :: (Char -> Bool) -> Parser Char

私が見つけた唯一のものは、 as 引数を必要とするpSatisfyです。Insertionなぜこれが必要なのかわかりません...述語が満たされない場合にパーサーが失敗するようにしたいだけです!

どうすればこれを達成できますか?

4

1 に答える 1