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