TicTacToe - 0.1.0

Logic.Board

Description

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

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

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

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

showRow (xs : List Square) : StringSource#

Textual representation of a List Square

showBoard (board : Board) : StringSource#