TicTacToe - 0.1.0

Logic.Board

Definitions

import Logic.Square open public

import Logic.Symbol open public

type BoardSource#

A 3x3 grid of Squares

Constructors

mkBoard@{ squares : List (List Square); }

possibleMoves : (list : List Square) -> List NatSource#

Returns the list of numbers corresponding to the empty Squares

full (list : List Square) : BoolSource#

true if all the Squares in the list are equal

showRow (xs : List Square) : StringSource#

Textual representation of a List Square