Game.Deterministic.GameEngine

Haskell library for creating simple deterministic games, such as tic-tac-toe. The engine requires a minimal set of actions related to the game, and then will run the game until a terminal state is reached.

Simple generic example below. See the specs for a more detailed example.

import GameEngine

game :: GameEngine Int Int
game = GameEngine gameActions initialState

gameActions :: GameActions Int Int
gameActions = GameActions {
   getPlayer  = -- find the next player from a game state,
   getMove    = -- find a move from the game state,
   getResult  = -- transitions from a state to another state,
   isTerminal = -- determines if the game is terminal,
   getScore   = -- get score from a terminal state
 }

initialState :: GameState Int
initialState = GameState 0

-- run the game engine until a terminal state is reached
playSimple game

Documentation

type Symbol = Char

data GameState a

Constructors

GameState a

Instances

Eq a => Eq (GameState a)

Show a => Show (GameState a)

data Player

Constructors

Player Symbol

Instances

Eq Player

Show Player

data Move a

Constructors

Move a

Instances

Eq a => Eq (Move a)

Show a => Show (Move a)

data GameActions m a b

Set of actions that defines how the game will be played

Constructors

GameActions

Fields

getPlayer :: GameState a -> m Player

Specifies which player has the move in the state

getMove :: GameState a -> m (Move b)

Returns a legal move in the state

getResult :: GameState a -> Move b -> m (GameState a)

The transition model, which determines the result of a move

isTerminal :: GameState a -> m Bool

True if game is over, False otherwise

getScore :: GameState a -> Player -> m Int

A utility function to determine the numeric value for a game that ends in a terminal state

data GameEngine m a b

Holds information about how the game is played, and the current state of the game.

Constructors

GameEngine

Fields

actions :: GameActions m a b

Defines how the game will be played

state :: GameState a

The current state of the game

type GameEngineSimple a b = GameEngine Identity a b

type GameEngineIO a b = GameEngine IO a b

play :: Monad m => GameEngine m a b -> m Int

Run the provided game engine under a monadic context until a terminal state is reached.

playSimple :: GameEngineSimple a b -> Int

Run the provided game engine without a context until a terminal state is reached.

playIO :: GameEngineIO a b -> IO Int

Run the provided game engine within an IO context until a terminal state is reached.