| Copyright | (c) 2017 Dominic Orchard Andrew Rice Mistral Contrastin Matthew Danish |
|---|---|
| License | Apache-2.0 |
| Maintainer | dom.orchard@gmail.com |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Camfort.Specification.Units.ModFile
Description
Synopsis
- genUnitsModFile :: ProgramFile UA -> CompiledUnits -> ModFile
- initializeModFiles :: UnitSolver ()
- runCompileUnits :: UnitSolver CompiledUnits
- dumpModFileCompiledUnits :: ModFile -> Maybe String
Documentation
genUnitsModFile :: ProgramFile UA -> CompiledUnits -> ModFile Source #
Generate a new ModFile containing Units information.
initializeModFiles :: UnitSolver () Source #
Initialize units-relevant ModFile information.
runCompileUnits :: UnitSolver CompiledUnits Source #
Produce information for a "units-mod" file.
dumpModFileCompiledUnits :: ModFile -> Maybe String Source #
Return information about compiled units for debugging purposes