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

Lenses

mapAwakeConstraints

mapSleepingConstraints

modifyAwakeConstraints

modifySleepingConstraints