Sudoku.Types

data Cell a

A type representing each cell on a Sudoku board. The first Int in the Cell constructor means an index of a cell. The type parameter a means content of a cell, which is usually Int for deterministic boards or Maybe Int for nondeterministic ones.

Constructors

• Cell Int a

Instances

• Eq (Cell Int)
• Functor Cell
• Show (Cell (Maybe Int))
• Show (Cell Int)

newtype Row

A type representing a row.

Constructors

• Row Int

Instances

• Eq Row

newtype Col

A type representing a column.

Constructors

• Col Int

Instances

• Eq Col

newtype Board a

A type representing a board. It has a type parameter a meaning the content of its cells.

Constructors

• Board (Array (Cell a))

Instances

• Eq (Board Int)
• Functor Board
• (Show (Cell a)) => Show (Board a)

data Section

A type representing a section. A section in Sudoku is a 3x3 area, 9 of which exist on a board, from Section 0 0 to Section 2 2.

Constructors

• Section Int Int

type Difficulty = Int

A type alias for Int representing difficulty of a game. Specifically, it means the number of holes to fill in.

data Game

A type representing a Sudoku game. It contains its difficulty, question board and answer board. A game can usually be generated by generateGame.

Constructors

• Game Difficulty (Board (Maybe Int)) (Board Int)

Instances

• Show Game