Haskell Parsec Parser for Encountering [...]

Question

I'm attempting to write a parser in Haskell using Parsec. Currently I have a program that can parse

test x [1,2,3] end

The code that does this is given as follows

testParser = do { 
  reserved "test"; 
  v <- identifier; 
  symbol "["; 
  l <- sepBy natural commaSep;
  symbol "]";
  p <- pParser;
  return $ Test v (List l) p
 } <?> "end"

where commaSep is defined as

commaSep        = skipMany1 (space <|> char ',')

Now is there some way for me to parse a similar statement, specifically:

test x [1...3] end

Being new to Haskell, and Parsec for that matter, I'm sure there's some nice concise way of doing this that I'm just not aware of. Any help would be appreciated.

Thanks again.

Should the number of periods be constant or variable? Are spaces allowed between the numbers and periods, and between the periods? By the way, your first parser matches test x [1 , ,2, ,,3] end; maybe that's not what you want. — dflemstr
The number of periods should be constant, i.e. [1...3] should consist of exactly 3 periods for any case. Whitespace in between such as [ 1 ... 3 ] should be ignored. Hopefully that clarifies what I'm after a bit more. — Vincent Russo

dflemstr dflemstr · Accepted Answer · 2012-07-17T15:47:53

I'll be using some functions from Control.Applicative like (*>). These functions are useful if you want to avoid the monadic interface of Parsec and prefer the applicative interface, because the parsers become easier to read that way in my opinion.

If you aren't familiar with the basic applicative functions, leave a comment and I'll explain them. You can look them up on Hoogle if you are unsure.

As I've understood your problem, you want a parser for some data structure like this:

data Test = Test String Numbers
data Numbers = List [Int] | Range Int Int

A parser that can parse such a data structure would look like this (I've not compiled the code, but it should work):

-- parses "test <identifier> [<numbers>] end"
testParser :: Parser Test
testParser =
  Test <$> reserved "test" *> identifier
       <*> symbol "[" *> numbersParser <* symbol "]"
       <*  reserved "end"
       <?> "test"

numbersParser :: Parser Numbers
numbersParser = try listParser <|> rangeParser

-- parses "<natural>, <natural>, <natural>" etc
listParser :: Parser Numbers
listParser =
  List <$> sepBy natural (symbol ",")
       <?> "list"

-- parses "<natural> ... <natural>"
rangeParser :: Parser Numbers
rangeParser =
  Range <$> natural <* symbol "..."
        <*> natural
        <?> "range"

Haskell Parsec Parser for Encountering [...]

1 Answers