Copyright	(c) C. Maeder DFKI GmbH 2010
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(Logic)
Safe Haskell	None

Proofs.ConsistencyCheck

Description

devGraph rule that calls consistency checker for specific logics

Documentation

Constructors

Instances details

Eq SType Source #
Instance details Defined in Proofs.ConsistencyCheck Methods (==) :: SType -> SType -> Bool (/=) :: SType -> SType -> Bool
Ord SType Source #
Instance details Defined in Proofs.ConsistencyCheck Methods compare :: SType -> SType -> Ordering (<) :: SType -> SType -> Bool (<=) :: SType -> SType -> Bool (>) :: SType -> SType -> Bool (>=) :: SType -> SType -> Bool max :: SType -> SType -> SType min :: SType -> SType -> SType
Show SType Source #
Instance details Defined in Proofs.ConsistencyCheck Methods showsPrec :: Int -> SType -> ShowS show :: SType -> String showList :: [SType] -> ShowS

Constructors

ConsistencyStatus
Fields sType :: SType sMessage :: String

Instances details

Eq ConsistencyStatus Source #
Instance details Defined in Proofs.ConsistencyCheck Methods (==) :: ConsistencyStatus -> ConsistencyStatus -> Bool (/=) :: ConsistencyStatus -> ConsistencyStatus -> Bool
Ord ConsistencyStatus Source #
Instance details Defined in Proofs.ConsistencyCheck Methods compare :: ConsistencyStatus -> ConsistencyStatus -> Ordering (<) :: ConsistencyStatus -> ConsistencyStatus -> Bool (<=) :: ConsistencyStatus -> ConsistencyStatus -> Bool (>) :: ConsistencyStatus -> ConsistencyStatus -> Bool (>=) :: ConsistencyStatus -> ConsistencyStatus -> Bool max :: ConsistencyStatus -> ConsistencyStatus -> ConsistencyStatus min :: ConsistencyStatus -> ConsistencyStatus -> ConsistencyStatus
Show ConsistencyStatus Source #
Instance details Defined in Proofs.ConsistencyCheck Methods showsPrec :: Int -> ConsistencyStatus -> ShowS show :: ConsistencyStatus -> String showList :: [ConsistencyStatus] -> ShowS