Camfort.Specification.Units.Analysis.Consistent

Documentation

data ConsistencyError

Instances

Show ConsistencyError

Defined in Camfort.Specification.Units.Analysis.Consistent

Methods

showsPrec :: Int -> ConsistencyError -> ShowS

show :: ConsistencyError -> String

showList :: [ConsistencyError] -> ShowS

Describe ConsistencyError

Defined in Camfort.Specification.Units.Analysis.Consistent

Methods

describe :: ConsistencyError -> Text

describeBuilder :: ConsistencyError -> Builder

data ConsistencyReport

A report that summarises unit consistency.

Constructors

forall a. Consistent (ProgramFile a) Int

All units were consistent.

Inconsistent ConsistencyError

An inconsistency was found in units of the program.

Instances

Show ConsistencyReport

Defined in Camfort.Specification.Units.Analysis.Consistent

Methods

showsPrec :: Int -> ConsistencyReport -> ShowS

show :: ConsistencyReport -> String

showList :: [ConsistencyReport] -> ShowS

NFData ConsistencyReport

Defined in Camfort.Specification.Units.Analysis.Consistent

Methods

rnf :: ConsistencyReport -> ()

Describe ConsistencyReport

Defined in Camfort.Specification.Units.Analysis.Consistent

Methods

describe :: ConsistencyReport -> Text

describeBuilder :: ConsistencyReport -> Builder

ExitCodeOfReport ConsistencyReport

Defined in Camfort.Specification.Units.Analysis.Consistent

Methods

exitCodeOf :: ConsistencyReport -> Int

exitCodeOfSet :: [ConsistencyReport] -> Int

checkUnits :: UnitAnalysis ConsistencyReport

Check units-of-measure for a program