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

Lenses

mapAwakeConstraints

mapSleepingConstraints

modifyAwakeConstraints

modifySleepingConstraints