satisfy
Parsec のような機能を探しています。何かのようなもの:
--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
なぜこれが必要なのかわかりません...述語が満たされない場合にパーサーが失敗するようにしたいだけです!
どうすればこれを達成できますか?