功能难以获得所需的输出文件类型

debugcn 发表于 Dev

丹

在学习了“学习Haskell”几章之后，我想动手做一些事情，并决定实现Sudoku求解器。我试图从此处实现B2函数：http：//www.cse.chalmers .se / edu / year / 2013 / course / TDA555 / lab3.html

这是我的代码：

data Sudoku = Sudoku { getSudoku :: [[Maybe Int]] } deriving (Show, Eq)

printSudoku :: Sudoku -> IO ()
printSudoku s = do
putStrLn . unlines . map (map (maybe '.' (head . show))) $ rows s

stringToSudoku :: String -> [[Maybe Int]]
stringToSudoku [] = []
stringToSudoku s = (f x):stringToSudoku y
    where (x,y) = splitAt 9 s
        f = map (\x -> if (digitToInt x)==0 then Nothing else Just (digitToInt x))


readSudoku :: FilePath -> IO Sudoku
readSudoku path = do
    handle <- openFile path ReadMode
    contents <- hGetContents handle
    return $ Sudoku $ stringToSudoku contents

我能够获得所需的输出：

readSudoku "sudoku.txt" >>= printSudoku 
.......1.
4........
.2.......
....5.4.7
..8...3..
..1.9....
3..4..2..
.5.1.....
...8.6...

但是，我必须在readSudoku函数中将[[Maybe Int]]转换为Sudoku。应该可以在stringToSudoku函数中执行此操作，对不对？

sudoku.txt文件包含1行000000010400000000020000000000050407008000300001090000300400200050100000000806000

背风处

如果您想stringToSudoku返回Sudoku，可以执行以下操作：

stringToSudoku :: String -> Sudoku
stringToSudoku s = Sudoku $ stringToGrid s
    where stringToGrid [] = []
          stringToGrid s = let (x, y) = splitAt 9 s
                               f = map (\x -> if (digitToInt x)==0 then Nothing else Just (digitToInt x))
                           in (f x):stringToGrid y

本文收集自互联网，转载请注明来源。

如有侵权，请联系[email protected] 删除。