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