TicTacToe - 0.1.0

Logic.Symbol

Description

This module defines the Symbol type and some helper functions.

Definitions

type SymbolSource#

A symbol represents a token that can be placed in a square

Constructors

| O

The circle token

| X

The cross token

instance eqSymbolI : Eq SymbolSource#

switch (sym : Symbol) : SymbolSource#

Turns O into X and X into O

showSymbol (sym : Symbol) : StringSource#

Textual representation of a Symbol