<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Agda.TypeChecking.Monad.Constraints</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Agda.TypeChecking.Monad.Constraints</p></div><div id="interface"><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:currentProblem" target="main">currentProblem</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:stealConstraints" target="main">stealConstraints</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:solvingProblem" target="main">solvingProblem</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:isProblemSolved" target="main">isProblemSolved</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:getConstraintsForProblem" target="main">getConstraintsForProblem</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:getAwakeConstraints" target="main">getAwakeConstraints</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:wakeConstraints" target="main">wakeConstraints</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:dropConstraints" target="main">dropConstraints</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:putAllConstraintsToSleep" target="main">putAllConstraintsToSleep</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:takeAwakeConstraint" target="main">takeAwakeConstraint</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:getAllConstraints" target="main">getAllConstraints</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:withConstraint" target="main">withConstraint</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:buildProblemConstraint" target="main">buildProblemConstraint</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:buildConstraint" target="main">buildConstraint</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:addConstraint-39-" target="main">addConstraint'</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:addAwakeConstraints" target="main">addAwakeConstraints</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:nowSolvingConstraints" target="main">nowSolvingConstraints</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Constraints.html#v:isSolvingConstraints" target="main">isSolvingConstraints</a></p></div></div></body></html>
