RoRo-0.1: Lupupu Cube Stage SolverContentsIndex
Game.LupupuCube.XML
Description
Read stages from XML files, and write solutions to XML files.
Synopsis
data Statistics = Statistics {
statElapsed :: !NominalDiffTime
statTestedStates :: !Int
}
readStage :: IOSArrow XmlTree Stage
writeSolution :: IOSArrow (Stage, (Maybe Solution, Maybe Statistics)) XmlTree
Documentation
data Statistics
Statistics for a process of stage solving.
Constructors
Statistics
statElapsed :: !NominalDiffTimeThe number of seconds spent to find solutions or to prove unexistence of any.
statTestedStates :: !IntThe number of states examined to find solutions or to prove unexistence of any.
show/hide Instances
readStage :: IOSArrow XmlTree Stage

Validates and reads a Stage from XmlTree.

Example of input XML
See example/simple.xml
The RelaxNG schema
See schemas/lupu-stage-1.0.rng
writeSolution :: IOSArrow (Stage, (Maybe Solution, Maybe Statistics)) XmlTree

Writes a Stage, Solution and Statistics to XmlTree.

Example of output XML
Run roro example/simple.xml and see what appears to the stdout.
Produced by Haddock version 2.1.0