Agda.TypeChecking.Monad.Constraints
currentProblem
stealConstraints
solvingProblem
solvingProblems
isProblemSolved
getConstraintsForProblem
getAwakeConstraints
wakeConstraints
partitionM
dropConstraints
putAllConstraintsToSleep
data ConstraintStatus
holdConstraints
takeAwakeConstraint
getAllConstraints
withConstraint
buildProblemConstraint
buildConstraint
addConstraint'
addAwakeConstraints
nowSolvingConstraints
isSolvingConstraints
mapAwakeConstraints
mapSleepingConstraints
modifyAwakeConstraints
modifySleepingConstraints