mad-props-0.2.1.0: Monadic DSL for building constraint solvers using basic propagators.

Index

Backtrack 
1 (Type/Class)Props.Internal.Backtracking
2 (Data Constructor)Props.Internal.Backtracking
blocksOfExamples.Sudoku
boardToTextExamples.Sudoku
bsMinTrackerProps.Internal.Backtracking
BState 
1 (Type/Class)Props.Internal.Backtracking
2 (Data Constructor)Props.Internal.Backtracking
colsOfExamples.Sudoku
constrainProps.Internal.PropT, Props
constrainBoardExamples.Sudoku
constrainQueensExamples.NQueens
CoordExamples.NQueens
DChoiceProps.Internal.Graph
DFilterProps.Internal.Graph
disjointProps.Internal.Links, Props
easyBoardExamples.Sudoku
edgeBetweenProps.Internal.Graph
edgesProps.Internal.Graph
edgesFromProps.Internal.Graph
emptyProps.Internal.MinTracker
emptyGraphProps.Internal.Graph
entropyOfQProps.Internal.Graph
equalProps.Internal.Links, Props
forceDynProps.Internal.Graph
fromListProps.Internal.MinTracker
GraphProps.Internal.Graph
graphProps.Internal.Backtracking
hardestBoardExamples.Sudoku
HasMinTrackerProps.Internal.MinTracker
imAsListProps.Internal.Graph
linkBoardCellsExamples.Sudoku
minQueueProps.Internal.MinTracker
MinTracker 
1 (Type/Class)Props.Internal.MinTracker
2 (Data Constructor)Props.Internal.MinTracker
minTrackerProps.Internal.MinTracker
newPVarProps.Internal.PropT, Props
nQueensExamples.NQueens
nQueensAllExamples.NQueens
ObservedProps.Internal.Graph
optionsProps.Internal.Graph
overlappingExamples.NQueens
popMinNodeProps.Internal.MinTracker
PropProps.Internal.PropT, Props
PropTProps.Internal.PropT, Props
PVarProps.Internal.PropT, Props
Quantum 
1 (Type/Class)Props.Internal.Graph
2 (Data Constructor)Props.Internal.Graph
readPVarProps.Internal.PropT
requireProps.Internal.Links, Props
rowsOfExamples.Sudoku
rselectProps.Internal.Backtracking
runBacktrackProps.Internal.Backtracking
runBacktrackAllProps.Internal.Backtracking
selectProps.Internal.Backtracking
setNodeEntropyProps.Internal.MinTracker
showSolutionExamples.NQueens
solve 
1 (Function)Props.Internal.Props
2 (Function)Props.Internal.PropT, Props
solveAll 
1 (Function)Props.Internal.Props
2 (Function)Props.Internal.PropT, Props
solveAllTProps.Internal.PropT, Props
solveEasyPuzzleExamples.Sudoku
solvePuzzleExamples.Sudoku
solveTProps.Internal.PropT, Props
SuperPosProps.Internal.Graph
superPosProps.Internal.Graph
txtToBoardExamples.Sudoku
UnknownProps.Internal.Graph
valueAtProps.Internal.Graph
valuesProps.Internal.Graph
Vertex 
1 (Type/Class)Props.Internal.Graph
2 (Data Constructor)Props.Internal.Graph
vertexCountProps.Internal.Graph
verticesProps.Internal.Graph
_bsMinTrackerProps.Internal.Backtracking
_graphProps.Internal.Backtracking
_minQueueProps.Internal.MinTracker
_ObservedProps.Internal.Graph
_UnknownProps.Internal.Graph