| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Units
Synopsis
- synthesiseUnits :: Char -> UnitAnalysis (Either ConsistencyError (InferenceReport, ProgramFile Annotation))
Documentation
synthesiseUnits :: Char -> UnitAnalysis (Either ConsistencyError (InferenceReport, ProgramFile Annotation)) Source #
Synthesis unspecified units for a program (after checking)