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