5

テキストを解析しようとしていますが、区切り文字で区切られた記号のリストを解析する方法がわかりません。これは、リストの最後にも発生する場合と発生しない場合があります。

例 (スペースで区切られた数字):

set A = 1 2 3 4 5;
set B =6 7 8 9;
set C = 10 11 12 ;

を使用すると、最後のスペースの後にエラーが発生しました。これは、リストの後にsepByも読み取ろうとしても、別の数字が必要であるためです。many whitespaceを使用するendByと、スペースが欠落しているときにエラーが発生しました。

import Text.ParserCombinators.Parsec

main :: IO ()
main = do
  let input = "set A = 1 2 3 4 5;\n" ++
              "set B =6 7 8 9;\n" ++
              "set C = 10 11 12 ;\n"
  case parse parseInput "(unknown)" input of
    Left msg ->
      print msg
    Right rss ->
      mapM_ (\(n, vs) -> putStrLn (n ++ " = " ++ show vs)) rss

whitespace :: GenParser Char st Char
whitespace = oneOf " \t"

parseInput :: GenParser Char st [(String, [Int])]
parseInput = parseRow `endBy` newline

parseRow :: GenParser Char st (String, [Int])
parseRow = do
  string "set"
  many1 whitespace
  name <- many1 alphaNum
  many whitespace
  string "="
  many whitespace
  values <- many1 digit `sepBy` many1 whitespace
  many whitespace
  string ";"
  return (name, map read values)
4

1 に答える 1

8

あなたが欲しいと思うコンビネータはsepEndBy. それを使用すると、

-- I'm using the type synonym
-- type Parser = GenParser Char ()
-- from Text.ParseCombinator.Parsec.Prim
parseRow :: Parser (String, [Int])
parseRow = do
  string "set" >> many1 whitespace
  name <- many1 alphaNum
  spaces >> char '=' >> spaces
  values <- many1 digit `sepEndBy` many1 whitespace
  char ';'
  return (name, map read values)
  where spaces = many whitespace
于 2013-06-07T18:06:01.387 に答える