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