Copyright | (c) Chris Penner 2019 |
---|---|
License | BSD3 |
Safe Haskell | None |
Language | Haskell2010 |
Click Source
on a function to see how it's implemented!
Synopsis
- txtToBoard :: [String] -> [[Set Int]]
- boardToText :: [[Int]] -> String
- easyBoard :: [[Set Int]]
- hardestBoard :: [[Set Int]]
- rowsOf :: [[a]] -> [[a]]
- colsOf :: [[a]] -> [[a]]
- blocksOf :: [[a]] -> [[a]]
- linkBoardCells :: [[PVar Set Int]] -> Prop ()
- constrainBoard :: [[Set Int]] -> Prop [[PVar Set Int]]
- solvePuzzle :: [[Set Int]] -> IO ()
- solveEasyPuzzle :: IO ()
Documentation
txtToBoard :: [String] -> [[Set Int]] Source #
Convert a textual board into a board containing sets of cells of possible numbers
boardToText :: [[Int]] -> String Source #
Convert a board to a string.
hardestBoard :: [[Set Int]] Source #
solveEasyPuzzle :: IO () Source #