秒差距CSV解析器解析額外的行

Question

我已經定義了follwing秒差距解析器解析CSV文件轉換成字符串的表，即[[String]]

--A csv parser is some rows seperated, and possibly ended, by a newline charater 
csvParser = sepEndBy row (char '\n') 
--A row is some cells seperated by a comma character 
row = sepBy cell (char ',') 
--A cell is either a quoted cell, or a normal cell 
cell = qcell <|> ncell 
--A normal cell is a series of charaters which are neither , or newline. It might also be an escape character 
ncell = many (escChar <|> noneOf ",\n") 
--A quoted cell is a " followd by some characters which either are escape charaters or normal characters except for " 
qcell = do 
    char '"' 
    res <- many (escChar <|> noneOf "\"") 
    char '"' 
    return res 
--An escape character is anything followed by a \. The \ will be discarded. 
escChar = char '\\' >> anyChar 

我真的不知道，如果意見是太多了，煩人，如果他們在幫助。作爲Parsec noob他們會幫助我，所以我想我會添加它們。

它工作的很好，但有一個問題。它會在表格中創建一個額外的空行。因此，例如，如果我有一個包含10行的csv文件（即只有10行，最後沒有空行 *），[[String]]結構的長度將爲11，而最後一列String將包含1個元素。一個空的String（至少這是使用show打印時的顯示方式）。

我的主要問題是：爲什麼這個額外的行出現，我能做些什麼來阻止它？

我注意到的另一件事是，如果在csv文件中的數據之後有空行，這些行將最終爲表中只包含空的String的行。我認爲使用sepEndBy而不是sepBy會使多餘的空行被忽略。這不是這種情況嗎？

*看着十六進制編輯器的文本文件後，它似乎的確實際上換行符結束，儘管VIM不顯示它...

Answer 1

如果你想每行有至少有一個單元格，您可以使用sepBy1而不是sepBy。這也應該停止空行被解析爲一行。 sepBy和sepBy1之間的差異與many和many1之間的差異相同：1版本僅解析至少一個元素的序列。所以row變成這樣：

row = sepBy1 cell (char ',') 

此外，一貫的作風是使用中綴sepBy1：cell `sepBy1` char ','。這更自然地閱讀：你有一個「用逗號分開的單元」，而不是「用逗號分隔」。

編輯：如果你不想接受空單元格，你必須指定ncell具有使用many1至少一個字符：

ncell = many1 (escChar <|> noneOf ",\n")