Add till'

Data/Attoparsec/ByteString.hs

@@ -89,6 +89,8 @@ module Data.Attoparsec.ByteString
     , sepBy1'
     , skipMany
     , skipMany1
+    , skipTill
+    , skipTill'
     , eitherP
     , I.match
     -- * State observation and manipulation functions

Data/Attoparsec/ByteString/Char8.hs

@@ -120,6 +120,8 @@ module Data.Attoparsec.ByteString.Char8
     , sepBy1'
     , skipMany
     , skipMany1
+    , skipTill
+    , skipTill'
     , eitherP
     , I.match
     -- * State observation and manipulation functions

Data/Attoparsec/Combinator.hs

@@ -31,6 +31,8 @@ module Data.Attoparsec.Combinator
     , sepBy1'
     , skipMany
     , skipMany1
+    , skipTill
+    , skipTill'
     , eitherP
     , feed
     , satisfyElem
@@ -229,6 +231,34 @@ skipMany1 p = p *> skipMany p
 {-# SPECIALIZE skipMany1 :: Parser Text a -> Parser Text () #-}
 {-# SPECIALIZE skipMany1 :: Z.Parser a -> Z.Parser () #-}
 
+-- | @skipTill p end@ applies action @p@ /zero/ or more times until
+-- action @end@ succeeds, and returns the value returned by @end@.
+-- This complements @manyTill@ and can be used to find a specific
+-- pattern in a text.
+--
+-- The value returned by @p@ is forced to WHNF.
+skipTill :: Alternative f => f a -> f b -> f b
+skipTill p end = scan
+    where scan = end <|> (p *> scan)
+{-# SPECIALIZE skipTill :: Parser ByteString a -> Parser ByteString b
+                        -> Parser ByteString b #-}
+{-# SPECIALIZE skipTill :: Parser Text a -> Parser Text b -> Parser Text b #-}
+{-# SPECIALIZE skipTill :: Z.Parser a -> Z.Parser b -> Z.Parser b #-}
+
+-- | @skipTill' p end@ applies action @p@ /zero/ or more times until
+-- action @end@ succeeds, and returns the value returned by @end@.
+-- This complements @manyTill'@ and can be used to find a specific
+-- pattern in a text.
+--
+-- The value returned by @p@ is forced to WHNF.
+skipTill' :: (MonadPlus m) => m a -> m b -> m b
+skipTill' p end = scan
+    where scan = end `mplus` (p *> scan)
+{-# SPECIALIZE skipTill' :: Parser ByteString a -> Parser ByteString b
+                         -> Parser ByteString b #-}
+{-# SPECIALIZE skipTill' :: Parser Text a -> Parser Text b -> Parser Text b #-}
+{-# SPECIALIZE skipTill' :: Z.Parser a -> Z.Parser b -> Z.Parser b #-}
+
 -- | Apply the given action repeatedly, returning every result.
 count :: Monad m => Int -> m a -> m [a]
 count n p = sequence (replicate n p)

Data/Attoparsec/Text.hs

@@ -119,6 +119,8 @@ module Data.Attoparsec.Text
     , sepBy1'
     , skipMany
     , skipMany1
+    , skipTill
+    , skipTill'
     , eitherP
     , I.match
     -- * State observation and manipulation functions