| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Units
- checkUnits :: UnitOpts -> (Filename, ProgramFile Annotation) -> Report
- inferUnits :: UnitOpts -> (Filename, ProgramFile Annotation) -> Report
- compileUnits :: UnitOpts -> [FileProgram] -> (String, [(Filename, ByteString)])
- synthesiseUnits :: UnitOpts -> Char -> (Filename, ProgramFile Annotation) -> (Report, (Filename, ProgramFile Annotation))
- inferCriticalVariables :: UnitOpts -> (Filename, ProgramFile Annotation) -> (Report, Int)
- chooseImplicitNames :: [(VV, UnitInfo)] -> [(VV, UnitInfo)]
Documentation
checkUnits :: UnitOpts -> (Filename, ProgramFile Annotation) -> Report Source #
Check units-of-measure for a program
inferUnits :: UnitOpts -> (Filename, 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 -> (Filename, ProgramFile Annotation) -> (Report, (Filename, ProgramFile Annotation)) Source #
Synthesis unspecified units for a program (after checking)
inferCriticalVariables :: UnitOpts -> (Filename, ProgramFile Annotation) -> (Report, Int) Source #
Infer one possible set of critical variables for a program