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

| 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

showRow (xs : List Square) : StringSource#

Textual representation of a List Square