| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Units.InferenceFrontend
- initInference :: UnitSolver ()
- runCriticalVariables :: UnitSolver [UnitInfo]
- runInferVariables :: UnitSolver [(VV, UnitInfo)]
- runInconsistentConstraints :: UnitSolver (Maybe Constraints)
- getConstraint :: Annotated f => f UA -> Maybe Constraint
Documentation
initInference :: UnitSolver () Source #
Prepare to run an inference function.
runCriticalVariables :: UnitSolver [UnitInfo] Source #
Return a list of critical variables as UnitInfo list (most likely to be of the UnitVar constructor).
runInferVariables :: UnitSolver [(VV, UnitInfo)] Source #
Return a list of variable names mapped to their corresponding unit that was inferred.
runInconsistentConstraints :: UnitSolver (Maybe Constraints) Source #
Return a possible list of unsolvable constraints.
getConstraint :: Annotated f => f UA -> Maybe Constraint Source #
Extract the constraint from a given annotated piece of AST.