Camfort.Specification.Units

Documentation

checkUnits :: UnitOpts -> (Filename, ProgramFile Annotation) -> Report

Check units-of-measure for a program

inferUnits :: UnitOpts -> (Filename, ProgramFile Annotation) -> Report

Check and infer units-of-measure for a program This produces an output of all the unit information for a program

compileUnits :: UnitOpts -> [FileProgram] -> (String, [(Filename, ByteString)])

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

Synthesis unspecified units for a program (after checking)

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

Infer one possible set of critical variables for a program

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

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