Camfort.Specification.Units.Analysis.Infer

Documentation

data InferenceReport

Report from unit inference.

Constructors

InferenceReport (ProgramFile UA) [(VV, UnitInfo)]

Instances

Show InferenceReport

Defined in Camfort.Specification.Units.Analysis.Infer

Methods

showsPrec :: Int -> InferenceReport -> ShowS

show :: InferenceReport -> String

showList :: [InferenceReport] -> ShowS

NFData InferenceReport

Defined in Camfort.Specification.Units.Analysis.Infer

Methods

rnf :: InferenceReport -> ()

Describe InferenceReport

Defined in Camfort.Specification.Units.Analysis.Infer

Methods

describe :: InferenceReport -> Text

describeBuilder :: InferenceReport -> Builder

data InferenceResult

Constructors

Inferred InferenceReport

InfInconsistent ConsistencyError

Instances

Show InferenceResult

Defined in Camfort.Specification.Units.Analysis.Infer

Methods

showsPrec :: Int -> InferenceResult -> ShowS

show :: InferenceResult -> String

showList :: [InferenceResult] -> ShowS

NFData InferenceResult

Defined in Camfort.Specification.Units.Analysis.Infer

Methods

rnf :: InferenceResult -> ()

Describe InferenceResult

Defined in Camfort.Specification.Units.Analysis.Infer

Methods

describe :: InferenceResult -> Text

describeBuilder :: InferenceResult -> Builder

ExitCodeOfReport InferenceResult

Defined in Camfort.Specification.Units.Analysis.Infer

Methods

exitCodeOf :: InferenceResult -> Int

exitCodeOfSet :: [InferenceResult] -> Int

getInferred :: InferenceReport -> [(VV, UnitInfo)]

inferUnits :: UnitAnalysis InferenceResult

Check and infer units-of-measure for a program

This produces an output of all the unit information for a program.