Game.Mastermind

Documentation

data Eval

Constructors

Eval Int Int

Instances

Eq Eval

Defined in Game.Mastermind

Methods

(==) :: Eval -> Eval -> Bool

(/=) :: Eval -> Eval -> Bool

Ord Eval

Defined in Game.Mastermind

Methods

compare :: Eval -> Eval -> Ordering

(<) :: Eval -> Eval -> Bool

(<=) :: Eval -> Eval -> Bool

(>) :: Eval -> Eval -> Bool

(>=) :: Eval -> Eval -> Bool

max :: Eval -> Eval -> Eval

min :: Eval -> Eval -> Eval

Show Eval

Defined in Game.Mastermind

Methods

showsPrec :: Int -> Eval -> ShowS

show :: Eval -> String

showList :: [Eval] -> ShowS

evaluate :: Ord a => [a] -> [a] -> Eval

Given the code and a guess, compute the evaluation.

matching :: (C set, Ord a) => Set a -> [a] -> Eval -> set a

Given a code and an according evaluation, compute the set of possible codes.

The Game.Mastermind game consists of collecting pairs of codes and their evaluations. The searched code is in the intersection of all corresponding code sets.

matchingSimple :: Ord a => Set a -> [a] -> Int -> [[Set a]]

A variant of the game: It is only possible to specify number of symbols at right places.

The results of matching and matchingSimple cannot be compared.

mixedRandomizedAttempt :: (C set, RandomGen g, Ord a) => Int -> set a -> StateT g Maybe [a]

In the beginning we simply choose a random code from the set of possible codes. In the end, when the set becomes small, then we compare different alternatives.

partitionSizes :: Ord a => Set a -> [a] -> [(Eval, Integer)]

mainSimple :: T Char -> Int -> IO ()

mainRandom :: T Char -> Int -> IO ()

main :: IO ()

propBestSeparatingCode :: (C set, Ord a) => Int -> set a -> [[a]] -> Bool