| 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.Analysis.Infer
Description
Synopsis
- data InferenceReport = InferenceReport (ProgramFile UA) [(VV, UnitInfo)]
- data InferenceResult
- getInferred :: InferenceReport -> [(VV, UnitInfo)]
- inferUnits :: UnitAnalysis InferenceResult
Documentation
data InferenceReport Source #
Report from unit inference.
Constructors
| InferenceReport (ProgramFile UA) [(VV, UnitInfo)] |
Instances
| Show InferenceReport Source # | |
Defined in Camfort.Specification.Units.Analysis.Infer Methods showsPrec :: Int -> InferenceReport -> ShowS # show :: InferenceReport -> String # showList :: [InferenceReport] -> ShowS # | |
| NFData InferenceReport Source # | |
Defined in Camfort.Specification.Units.Analysis.Infer Methods rnf :: InferenceReport -> () # | |
| Describe InferenceReport Source # | |
Defined in Camfort.Specification.Units.Analysis.Infer Methods describe :: InferenceReport -> Text Source # | |
data InferenceResult Source #
Constructors
| Inferred InferenceReport | |
| InfInconsistent ConsistencyError |
Instances
| Show InferenceResult Source # | |
Defined in Camfort.Specification.Units.Analysis.Infer Methods showsPrec :: Int -> InferenceResult -> ShowS # show :: InferenceResult -> String # showList :: [InferenceResult] -> ShowS # | |
| NFData InferenceResult Source # | |
Defined in Camfort.Specification.Units.Analysis.Infer Methods rnf :: InferenceResult -> () # | |
| Describe InferenceResult Source # | |
Defined in Camfort.Specification.Units.Analysis.Infer Methods describe :: InferenceResult -> Text Source # | |
| ExitCodeOfReport InferenceResult Source # | |
Defined in Camfort.Specification.Units.Analysis.Infer Methods exitCodeOf :: InferenceResult -> Int Source # exitCodeOfSet :: [InferenceResult] -> Int Source # | |
getInferred :: InferenceReport -> [(VV, UnitInfo)] Source #
inferUnits :: UnitAnalysis InferenceResult Source #
Check and infer units-of-measure for a program
This produces an output of all the unit information for a program.