Copyright	(c) 2017 Dominic Orchard Andrew Rice Mistral Contrastin Matthew Danish
License	Apache-2.0
Maintainer	dom.orchard@gmail.com
Stability	experimental
Safe Haskell	Safe-Inferred
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 #
ExitCodeOfReport ConsistencyReport Source #
Instance details Defined in Camfort.Specification.Units.Analysis.Consistent Methods exitCodeOf :: ConsistencyReport -> Int Source # exitCodeOfSet :: [ConsistencyReport] -> Int Source #
Describe ConsistencyReport Source #
Instance details Defined in Camfort.Specification.Units.Analysis.Consistent Methods describe :: ConsistencyReport -> Text Source # describeBuilder :: ConsistencyReport -> Builder Source #
NFData ConsistencyReport Source #
Instance details Defined in Camfort.Specification.Units.Analysis.Consistent Methods rnf :: ConsistencyReport -> () #

Check units-of-measure for a program