Control.Monad.CSP

Overview

Building CSPs

mkDV

constraint1

constraint2

constraint

Solving CSPs

oneCSPSolution

allCSPSolutions

solveCSP

class CSPResult a

Low-level internal

csp

domain

demons

isBound

domainSize

localWriteIORef

binding

addConstraint

restrictDomain

Types

data DV r a

data DVContainer r

type Constraint r

data CSP r x