如果你摆脱了-
条目,你可以很快做到这一点作为
Prelude> (map (map read) . map words. lines $ "('a',3) ('b',4)\n('c',5)")::[[(Char,Int)]]
[[('a',3),('b',4)],[('c',5)]]
或者将其定义为功能
genericReadLines :: Read a => String -> [[a]]
genericReadLines = map (map read) . map words. lines
,你可以这样使用:
*Main> (genericReadLines "('a',3) ('b',4)\n('c',5)")::[[(Char,Int)]]
[[('a',3),('b',4)],[('c',5)]]
但你可能会发现它更容易做
readCharInts :: String -> [[(Char,Int)]]
readCharInts = genericReadLines
readInts :: String -> [[Int]]
readInts = genericReadLines
所以,你可以只输入
*Main> readInts "1 2 3\n4 5 6\n7 8 9"
[[1,2,3],[4,5,6],[7,8,9]]
*Main> readCharInts "('a',3) ('b',4)\n('c',5)"
[[('a',3),('b',4)],[('c',5)]]
但是关于保持-
什么?您必须使用Maybe数据类型来表示对列表中的某些点没有值;我们可以使用-
作为Nothing
和a
的简写,作为Just a
的简写。
read' :: Read a => String -> Maybe a
read' "-" = Nothing
read' xs = Just (read xs)
我要提醒你,代码是脆弱的,如果你的数据也可能会被'-'
,但也许它不能。
genericMaybeReadLines :: Read a => String -> [[Maybe a]]
genericMaybeReadLines = map (map read') . map words. lines
然后我们就可以有
readMaybeCharInts :: String -> [[Maybe (Char,Int)]]
readMaybeCharInts = genericMaybeReadLines
readMaybeInts :: String -> [[Maybe Int]]
readMaybeInts = genericMaybeReadLines
所以现在我们能做的
*Main> readMaybeCharInts "('a',3) ('b',4)\n- ('c',5)"
[[Just ('a',3),Just ('b',4)],[Nothing,Just ('c',5)]]
*Main> readMaybeInts "2 3 -\n4 - 2"
[[Just 2,Just 3,Nothing],[Just 4,Nothing,Just 2]]
其实,我想将其转换成[也许INT]]。 ' - '将被翻译为Nothing。 '3'将会是Char Char。但是一个字符串是相当一般的,它是未知的类型,只是知道参数是由一个空格或多个空格分隔的,而且它们被写入很多行(不是一行) – chipbk10
这个编辑使得它更清晰,谢谢。 – AndrewC
您可能对[这个问题]的答案感兴趣(http://stackoverflow.com/questions/13553794/read-instance-causes-parse-error/13554910#13554910) – AndrewC