| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Units
- checkUnits :: UnitOpts -> ProgramFile Annotation -> Report
- inferUnits :: UnitOpts -> ProgramFile Annotation -> Report
- compileUnits :: UnitOpts -> [FileProgram] -> (String, [(Filename, ByteString)])
- synthesiseUnits :: UnitOpts -> Char -> ProgramFile Annotation -> (Report, ProgramFile Annotation)
- inferCriticalVariables :: UnitOpts -> ProgramFile Annotation -> (Report, Int)
- chooseImplicitNames :: [(VV, UnitInfo)] -> [(VV, UnitInfo)]
Documentation
checkUnits :: UnitOpts -> ProgramFile Annotation -> Report Source #
Check units-of-measure for a program
inferUnits :: UnitOpts -> ProgramFile Annotation -> Report Source #
Check and infer units-of-measure for a program This produces an output of all the unit information for a program
compileUnits :: UnitOpts -> [FileProgram] -> (String, [(Filename, ByteString)]) Source #
synthesiseUnits :: UnitOpts -> Char -> ProgramFile Annotation -> (Report, ProgramFile Annotation) Source #
Synthesis unspecified units for a program (after checking)
inferCriticalVariables :: UnitOpts -> ProgramFile Annotation -> (Report, Int) Source #
Infer one possible set of critical variables for a program