Safe Haskell	Safe-Inferred

Game

Synopsis

Documentation

data Player Source

Le type des données des joueur

Constructors

Adam
Eve

Instances

Eq Player
Ord Player
Show Player

type Moves a = [a]Source

Le type des données des coups

class Game a whereSource

un jeu est identifié à l'enesmble de ses positions (le type a) avec les methodes de la classe Game

Methods

initial :: aSource

la position intiale du jeu a

player :: a -> Player Source

le joueur qui doit choisir un coup, dans une position donnée

moves :: a -> Moves aSource

les coups possibles, à partir d'une position donnée

Instances

Game Nim

flipPlayer :: Player -> Player Source

l'autre joueur

type Solution a = [(a, Player)]Source

le type des solution. Une solution est une fonction (partielle) qui associe à chaque position le joueur qui possède une stratégie gagnante depuis cette position ici, une telle fonction partielle est realisée come une liste associative

solve :: (Game a, Ord a) => a -> Solution aSource

resoure un jeu

play :: (Game a, Ord a, Show a) => a -> IO ()Source

joueur une jeu