@@ -14,6 +14,8 @@ module Streamly.Internal.Unicode.Char.Parser
15 -- * Generic
15 -- * Generic
18 -- * Classes
20 -- * Classes
@@ -138,6 +140,18 @@ CHAR_PARSER(asciiLower,isAsciiLower)
138char :: MonadCatch m => Char -> Parser m Char Char
140char :: MonadCatch m => Char -> Parser m Char Char
139char c = Parser.satisfy (== c)
141char c = Parser.satisfy (== c)
143+--------------------------------------------------------------------------------
144+-- Character sequences
145+--------------------------------------------------------------------------------
147+-- | Drop /zero/ or more white space characters.
148+dropSpace :: MonadCatch m => Parser m Char ()
149+dropSpace = Parser.dropWhile Char.isSpace
151+-- | Drop /one/ or more white space characters.
152+dropSpace1 :: MonadCatch m => Parser m Char ()
153+dropSpace1 = Parser.takeWhile1 Char.isSpace Fold.drain
141--------------------------------------------------------------------------------
155--------------------------------------------------------------------------------
142-- Numeric parsers
156-- Numeric parsers
143--------------------------------------------------------------------------------
157--------------------------------------------------------------------------------