| Copyright | (c) 2017 Dominic Orchard Andrew Rice Mistral Contrastin Matthew Danish |
|---|---|
| License | Apache-2.0 |
| Maintainer | dom.orchard@gmail.com |
| Stability | experimental |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Camfort.Specification.Units.Analysis
Contents
Description
Synopsis
- type UnitAnalysis = ReaderT UnitEnv (AnalysisT () () IO)
- compileUnits :: UnitOpts -> ModFiles -> ProgramFile Annotation -> IO ModFile
- initInference :: UnitSolver ()
- runInference :: UnitSolver a -> UnitAnalysis (a, UnitState)
- runUnitAnalysis :: UnitEnv -> UnitAnalysis a -> AnalysisT () () IO a
- puName :: ProgramUnit UA -> Name
- puSrcName :: ProgramUnit UA -> Name
Documentation
type UnitAnalysis = ReaderT UnitEnv (AnalysisT () () IO) Source #
Analysis with access to UnitEnv information.
compileUnits :: UnitOpts -> ModFiles -> ProgramFile Annotation -> IO ModFile Source #
Compile a program to a ModFile containing units information.
initInference :: UnitSolver () Source #
Prepare to run an inference function.
runInference :: UnitSolver a -> UnitAnalysis (a, UnitState) Source #
Run a UnitSolver analysis within a UnitsAnalysis.
runUnitAnalysis :: UnitEnv -> UnitAnalysis a -> AnalysisT () () IO a Source #