Logic.Board

Contents

import Logic.Square open public

import Logic.Symbol open public

type BoardSource#

A 3x3 grid of Squares

Constructors

possibleMoves : List Square → List NatSource#

Returns the list of numbers corresponding to the empty Squares

full : List Square → BoolSource#

true if all the Squares in the list are equal

diagonals : List (List Square) → List (List Square)Source#

columns : List (List Square) → List (List Square)Source#

rows : List (List Square) → List (List Square)Source#

showRow (xs : List Square) : StringSource#

Textual representation of a List Square

showBoard : Board → StringSource#