BishBosh.Search.TranspositionValue

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Defines an entry in the transposition-table.

Types

Type-synonyms

type IsOptimal = Bool

Whether the recorded move-sequence is known to be optimal.

type FindFitness move weightedMean = Value move -> weightedMean

• The type of a function which can find the fitness of the game resulting from the recorded sequence of moves.
• CAVEAT: the fitness this function returns should be from the perspective of the player to make the first move.

Data-types

data Value move

The type of the values in the transposition-table.

Functions

inferSearchDepth :: Value move -> NPlies

Infer the search-depth from the length of the move-sequence.

Constructor

mkValue :: IsOptimal -> NPlies -> [move] -> Value move

Smart constructor.

Predicates

isBetter

Arguments

:: Ord weightedMean

=> FindFitness move weightedMean

-> Value move

The proposed value.

-> Value move

The incumbent value.

-> Bool

• Whether a proposed value is better than the incumbent.
• CAVEAT: this is a narrower concept than addressed by Ord, which implies Eq.