Safe Haskell | None |
---|---|
Language | Haskell98 |
Solutions and Results
Expanded or Instantiated Qualifier -----------------------------
Types with Template/KVars
Apply Solution -------------------------------------------------
Initial Solution
init :: Config -> FInfo a -> Solution Source
Initial Solution (from Qualifiers and WF constraints) ---------
Update Solution
update :: Solution -> [KVar] -> [(KVar, EQual)] -> (Bool, Solution) Source
Update Solution ---------------------------------------------------