Copyright	(c) Christian Maeder DFKI GmbH 2010
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

Common.Parsec

Contents

monad shortcuts
parsec shortcuts

Description

frequently useful shortcuts mainly for character parsers

Synopsis

(<<) :: Monad m => m a -> m b -> m a
forget :: Monad m => m a -> m ()
pair :: Monad m => m a -> m b -> m (a, b)
(<:>) :: Monad m => m a -> m [a] -> m [a]
(<++>) :: Monad m => m [a] -> m [a] -> m [a]
(>->) :: Monad m => m a -> (a -> b) -> m b
single :: Monad m => m a -> m [a]
flat :: Monad m => m [[a]] -> m [a]
enclosedBy :: Monad m => m [a] -> m a -> m [a]
optionL :: GenParser tok st [a] -> GenParser tok st [a]
tryString :: String -> CharParser st String
nestedComment :: String -> String -> CharParser st String
quotedLit :: Char -> CharParser st String
stringLit :: CharParser st String
sQuoted :: CharParser st String
plainBlock :: String -> String -> CharParser st String
reserved :: [String] -> CharParser st String -> CharParser st String
sneakAhead :: CharParser st a -> CharParser st (Either ParseError a)

monad shortcuts

(<<) :: Monad m => m a -> m b -> m a infixl 1 Source #

forget :: Monad m => m a -> m () Source #

pair :: Monad m => m a -> m b -> m (a, b) Source #

(<:>) :: Monad m => m a -> m [a] -> m [a] infixr 5 Source #

(<++>) :: Monad m => m [a] -> m [a] -> m [a] infixr 5 Source #

(>->) :: Monad m => m a -> (a -> b) -> m b infixl 4 Source #

single :: Monad m => m a -> m [a] Source #

flat :: Monad m => m [[a]] -> m [a] Source #

enclosedBy :: Monad m => m [a] -> m a -> m [a] Source #

parsec shortcuts

optionL :: GenParser tok st [a] -> GenParser tok st [a] Source #

parse an optional list

tryString :: String -> CharParser st String Source #

shortcut for try . string

nestedComment :: String -> String -> CharParser st String Source #

nested comments, open and closing strings must have at least one char

quotedLit :: Char -> CharParser st String Source #

a literal enclosed in quotes and a backslash as escape character

stringLit :: CharParser st String Source #

text in double quotes

sQuoted :: CharParser st String Source #

text in single quotes

plainBlock :: String -> String -> CharParser st String Source #

non-nested block

reserved :: [String] -> CharParser st String -> CharParser st String Source #

reject keywords

sneakAhead :: CharParser st a -> CharParser st (Either ParseError a) Source #

Similar to lookAhead, but runs the parser in an isolated sandbox. The function is monadic but in a read-only manner. Useful if lookAhead taints error messages.