Safe Haskell | None |
---|---|
Language | Haskell2010 |
AUTHOR
- Dr. Alistair Ward
DESCRIPTION
- Defines CECP-features.
Synopsis
- type Feature = (Key, Value)
- data CECPFeatures
- tag :: String
- featureTag :: String
- analyseTag :: Key
- coloursTag :: Key
- drawTag :: Key
- icsTag :: Key
- nameTag :: Key
- npsTag :: Key
- optionTag :: Key
- pauseTag :: Key
- pingTag :: Key
- playotherTag :: Key
- setboardTag :: Key
- timeTag :: Key
- usermoveTag :: Key
- resolution :: Int
- inputWidget :: String
- sliderWidget :: String
- mkCECPFeatures :: [Feature] -> Bool -> CECPFeatures
- prependFeature :: Feature -> Transformation
- deleteFeature :: Feature -> Transformation
- updateFeature :: Feature -> Transformation
- isFeatureDisabled :: Key -> CECPFeatures -> Bool
Types
Type-synonyms
Data-types
data CECPFeatures Source #
Defines CECP-features.
Instances
Eq CECPFeatures Source # | |
Defined in BishBosh.Input.CECPFeatures (==) :: CECPFeatures -> CECPFeatures -> Bool # (/=) :: CECPFeatures -> CECPFeatures -> Bool # | |
Show CECPFeatures Source # | |
Defined in BishBosh.Input.CECPFeatures showsPrec :: Int -> CECPFeatures -> ShowS # show :: CECPFeatures -> String # showList :: [CECPFeatures] -> ShowS # | |
Default CECPFeatures Source # | |
Defined in BishBosh.Input.CECPFeatures def :: CECPFeatures # | |
NFData CECPFeatures Source # | |
Defined in BishBosh.Input.CECPFeatures rnf :: CECPFeatures -> () # | |
XmlPickler CECPFeatures Source # | |
Defined in BishBosh.Input.CECPFeatures xpickle :: PU CECPFeatures # |
Constants
featureTag :: String Source #
Used to qualify XML.
analyseTag :: Key Source #
Tags the feature which defines whether the GUI may request "analyse" mode.
coloursTag :: Key Source #
Tags the feature which defines whether the GUI may request that a specific player move next.
Tag the feature which defines whether the GUI should inform the engine whether it's on a chess-server.
Tags the feature which defines whether the GUI can tell the engine the opponent's name.
Tags the feature which defines whether the GUI can limit thinking-time to a number of nodes searched.
Tags the feature which defines whether the GUI may send the "pause" command.
playotherTag :: Key Source #
Tags the feature which defines whether the GUI may send the "playother" command.
setboardTag :: Key Source #
Tags the feature which defines whether the GUI may send the "setboard" command.
Tags the feature which defines whether the GUI may adjust the engine's move-timer.
usermoveTag :: Key Source #
Tags the feature which defines whether the GUI should prefix move-commands to facilitate identification.
resolution :: Int Source #
The resolution of sliders depicted in the GUI.
inputWidget :: String Source #
The string sent to xboard, to request an input widget.
sliderWidget :: String Source #
The string sent to xboard, to request a slider-widget.
Functions
Constructors
mkCECPFeatures :: [Feature] -> Bool -> CECPFeatures Source #
Smart constructor.
Mutators
prependFeature :: Feature -> Transformation Source #
- Prepends the specified feature.
- CAVEAT: this may create a duplicate key.
deleteFeature :: Feature -> Transformation Source #
Deletes the specified feature.
updateFeature :: Feature -> Transformation Source #
- Prepends the specified feature.
- CAVEAT: deletes all similarly named features.
Predicates
isFeatureDisabled :: Key -> CECPFeatures -> Bool Source #
Predicate.