camfort-0.904: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Units

Synopsis

Documentation

checkUnits :: UnitOpts -> ProgramFile Annotation -> Report Source #

Check units-of-measure for a program

inferUnits :: UnitOpts -> 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

synthesiseUnits :: UnitOpts -> Char -> ProgramFile Annotation -> (Report, ProgramFile Annotation) Source #

Synthesis unspecified units for a program (after checking)

inferCriticalVariables :: UnitOpts -> ProgramFile Annotation -> (Report, Int) Source #

Infer one possible set of critical variables for a program

chooseImplicitNames :: [(VV, UnitInfo)] -> [(VV, UnitInfo)] Source #

Create unique names for all of the inferred implicit polymorphic unit variables.