Examples.Sudoku

Click Source on a function to see how it's implemented!

Documentation

txtToBoard :: [String] -> [[Set Int]]

Convert a textual board into a board containing sets of cells of possible numbers

boardToText :: [[Int]] -> String

Convert a board to a string.

easyBoard :: [[Set Int]]

An easy to solve sudoku board

hardestBoard :: [[Set Int]]

rowsOf :: [[a]] -> [[a]]

Get a list of all rows in a board

colsOf :: [[a]] -> [[a]]

Get a list of all columns in a board

blocksOf :: [[a]] -> [[a]]

Get a list of all square blocks in a board

linkBoardCells :: [[PVar Set Int]] -> Prop ()

Given a board of PVars, link the appropriate cells with disjoint constraints

constrainBoard :: [[Set Int]] -> Prop [[PVar Set Int]]

Given a sudoku board, apply the necessary constraints and return a result board of PVars. We wrap the result in Compose because solve requires a Functor over PVars

solvePuzzle :: [[Set Int]] -> IO ()

solveEasyPuzzle :: IO ()