Logic.GameState
Contents
Definitions
Constructors
| | noError : Error | no error occurred |
| | continue : String → Error | a non-fatal error occurred |
| | terminate : String → Error | a fatal occurred |
open Error using {noError; continue; terminate} public
Constructors
| mkGameState@{ board : Board; player : Symbol; error : Error; } |
open GameState using {mkGameState} public
showGameState (state : GameState) : StringSource#
Textual representation of a GameState
