| Safe Haskell | None |
|---|
Agda.TypeChecking.Monad.Constraints
- currentProblem :: TCM ProblemId
- stealConstraints :: ProblemId -> TCM ()
- solvingProblem :: ProblemId -> TCM a -> TCM a
- isProblemSolved :: ProblemId -> TCM Bool
- getConstraintsForProblem :: ProblemId -> TCM Constraints
- getAwakeConstraints :: TCM Constraints
- wakeConstraints :: (ProblemConstraint -> Bool) -> TCM ()
- dropConstraints :: (ProblemConstraint -> Bool) -> TCM ()
- putAllConstraintsToSleep :: TCM ()
- takeAwakeConstraint :: TCM (Maybe ProblemConstraint)
- getAllConstraints :: TCM Constraints
- withConstraint :: (Constraint -> TCM a) -> ProblemConstraint -> TCM a
- buildProblemConstraint :: ProblemId -> Constraint -> TCM ProblemConstraint
- buildConstraint :: Constraint -> TCM ProblemConstraint
- addConstraint' :: Constraint -> TCM ()
- addAwakeConstraints :: Constraints -> TCM ()
- nowSolvingConstraints :: TCM a -> TCM a
- isSolvingConstraints :: TCM Bool
Documentation
currentProblem :: TCM ProblemIdSource
Get the current problem
stealConstraints :: ProblemId -> TCM ()Source
Steal all constraints belonging to the given problem and add them to the current problem.
solvingProblem :: ProblemId -> TCM a -> TCM aSource
getAwakeConstraints :: TCM ConstraintsSource
Get the awake constraints
wakeConstraints :: (ProblemConstraint -> Bool) -> TCM ()Source
dropConstraints :: (ProblemConstraint -> Bool) -> TCM ()Source
withConstraint :: (Constraint -> TCM a) -> ProblemConstraint -> TCM aSource
addConstraint' :: Constraint -> TCM ()Source
Add new a constraint
addAwakeConstraints :: Constraints -> TCM ()Source
Add already awake constraints
nowSolvingConstraints :: TCM a -> TCM aSource
Start solving constraints