Safe Haskell | None |
---|---|
Language | Haskell98 |
Create and Update Solution
update :: Solution -> [KVar] -> [(KVar, EQual)] -> (Bool, Solution) Source
Expanded or Instantiated Qualifier ----------------------------------------
Update Solution -----------------------------------------------------------
Lookup Solution
lhsPred :: BindEnv -> Solution -> SimpC a -> Expr Source
Predicate corresponding to LHS of constraint in current solution
Debug
solutionGraph :: Solution -> KVGraph Source