| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Solver.Worklist
Contents
Worklist type is opaque
Worklist ------------------------------------------------------------------
Initialize
init :: SolverInfo a b -> Worklist a Source #
Initialize worklist and slice out irrelevant constraints ------------------
Pop off a constraint
Add a constraint and all its dependencies
Constraints with Concrete RHS
unsatCandidates :: Worklist a -> [SimpC a] Source #
Candidate Constraints to be checked AFTER computing Fixpoint ---------