Copyright	(c) 2017 Dominic Orchard Andrew Rice Mistral Contrastin Matthew Danish
License	Apache-2.0
Maintainer	dom.orchard@gmail.com
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Units.Analysis.Consistent

Description

Synopsis

Documentation

Instances details

Show ConsistencyError Source #
Instance details Defined in Camfort.Specification.Units.Analysis.Consistent Methods showsPrec :: Int -> ConsistencyError -> ShowS # show :: ConsistencyError -> String # showList :: [ConsistencyError] -> ShowS #
Describe ConsistencyError Source #
Instance details Defined in Camfort.Specification.Units.Analysis.Consistent Methods describe :: ConsistencyError -> Text Source # describeBuilder :: ConsistencyError -> Builder Source #

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 details

Show ConsistencyReport Source #
Instance details Defined in Camfort.Specification.Units.Analysis.Consistent Methods showsPrec :: Int -> ConsistencyReport -> ShowS # show :: ConsistencyReport -> String # showList :: [ConsistencyReport] -> ShowS #
NFData ConsistencyReport Source #
Instance details Defined in Camfort.Specification.Units.Analysis.Consistent Methods rnf :: ConsistencyReport -> () #
Describe ConsistencyReport Source #
Instance details Defined in Camfort.Specification.Units.Analysis.Consistent Methods describe :: ConsistencyReport -> Text Source # describeBuilder :: ConsistencyReport -> Builder Source #
ExitCodeOfReport ConsistencyReport Source #
Instance details Defined in Camfort.Specification.Units.Analysis.Consistent Methods exitCodeOf :: ConsistencyReport -> Int Source # exitCodeOfSet :: [ConsistencyReport] -> Int Source #

Check units-of-measure for a program