TicTacToe - 0.1.0

Logic.Board

Description

Definitions

open import Logic.Square public

open import Logic.Symbol public

type BoardSource#

A 3x3 grid of Squares

Constructors

| board : List (List Square) → Board

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 : List Square → StringSource#

Textual representation of a List Square

showBoard : Board → StringSource#