Language.Fixpoint.Solver.GradualSolution

Create Initial Solution

init :: Config -> SInfo a -> HashSet KVar -> GSolution

Initial Gradual Solution (from Qualifiers and WF constraints) -------------

Update Solution

update :: Sol a QBind -> [KVar] -> [(KVar, EQual)] -> (Bool, Sol a QBind)

Update Solution -----------------------------------------------------------

Lookup Solution

lhsPred :: SolEnv -> GSolution -> SimpC a -> [([(KVar, QBind)], Expr)]

Predicate corresponding to LHS of constraint in current solution