Safe Haskell | None |
---|---|
Language | Haskell98 |
- data FInfo a = FI (HashMap Integer (SubC a)) ![WfC a] !BindEnv !FEnv ![(Symbol, Sort)] Kuts ![Qualifier]
- solve :: Config -> FilePath -> [FilePath] -> FInfo a -> IO (FixResult (SubC a), HashMap Symbol Pred)
- solveFile :: Config -> IO ExitCode
- resultExit :: FixResult t -> ExitCode
- checkValid :: Hashable a => a -> [(Symbol, Sort)] -> Pred -> IO (FixResult a)
Containing Constraints
Invoke Solver on Set of Constraints
solve :: Config -> FilePath -> [FilePath] -> FInfo a -> IO (FixResult (SubC a), HashMap Symbol Pred) Source
Solve a system of horn-clause constraints ----------------------------
Function to determine outcome
resultExit :: FixResult t -> ExitCode Source