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