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