在attoparsec中实现skipWhile1

Question

Attoparsec提供消耗至少一个字符的函数takeWhile1。

但是，skipWhile没有模拟。如何实现此功能skipWhile1？

注意：这个问题故意显示没有研究工作，因为答案是Q＆amp; A-Style。

Answer 1

另一种可能的实施方式：

import Control.Applicative

skipWhile1 p = skip p *> skipWhile p

这实际上可能比@Uli的答案更快，因为takeWhile构建了一个结果字符串，而skipWhile没有。懒惰可能使它们等效（即，如果你不使用它，也许takeWhile实际上不构建字符串）;我现在无法测试来验证这一点。

Answer 2

您可以将Control.Monad.void与takeWhile1一起使用，只是忽略结果：

import Data.Attoparsec.Char8
import Control.Monad (void)

skipWhile1 :: (Char -> Bool) -> Parser ()
skipWhile1 = void . takeWhile1