4 -- |This is an auxiliary parser utilities. You usually don't have to
5 -- use this module directly.
6 module Network.HTTP.Lucu.Parser
15 import Control.Applicative
16 import Control.Applicative.Unicode
17 import Control.Monad.Unicode
18 import Data.Attoparsec.Char8
19 import Prelude.Unicode
21 -- |@'atMost' n v@ is like @'P.many' v@ but accumulates @v@ at most
23 atMost ∷ Alternative f ⇒ Int → f α → f [α]
24 {-# INLINEABLE atMost #-}
26 atMost n v = ( (:) <$> v ⊛ atMost (n-1) v )
30 -- |@'finishOff' p@ is equivalent to @p '>>=' \\a -> 'endOfInput' '>>'
32 finishOff ∷ Parser α → Parser α
33 {-# INLINE finishOff #-}
34 finishOff = ((endOfInput *>) ∘ return =≪)
36 -- |Similar to 'manyTill' but discards the result.
37 skipManyTill ∷ Alternative f ⇒ f α → f β → f ()
38 {-# INLINEABLE skipManyTill #-}
39 skipManyTill p end = go
41 go = (end *> pure ()) <|> (p *> go)
43 -- |Similar to 'skipWhile' but consumes at least one character.
44 skipWhile1 ∷ (Char → Bool) → Parser ()
45 {-# INLINE skipWhile1 #-}
46 skipWhile1 p = takeWhile1 p *> pure ()
48 -- |Similar to 'skipSpace' but consumes at least one whitespace.
49 skipSpace1 ∷ Parser ()
50 {-# INLINE skipSpace1 #-}
51 skipSpace1 = skipMany1 space
53 -- |@'isAlphaNum' c@ returns 'True' iff @'isDigit' c ||
54 -- 'isAlpha_ascii' c@.
55 isAlphaNum ∷ Char → Bool
56 {-# INLINE isAlphaNum #-}
57 isAlphaNum c = isDigit c ∨ isAlpha_ascii c