| Copyright | (c) Christian Maeder, Uni Bremen 2004 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | till@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
Common.Amalgamate
Description
Data types for amalgamability options and analysis
- data CASLAmalgOpt
- data Amalgamates
- defaultDontKnow :: Amalgamates
- readShowAux :: [(String, a)] -> ReadS a
- readShow :: Show a => [a] -> ReadS a
- caslAmalgOpts :: [CASLAmalgOpt]
Documentation
data CASLAmalgOpt
CASLAmalgOpt describes the options for CASL amalgamability analysis
algorithms
Constructors
| Sharing | perform the sharing checks |
| ColimitThinness | perform colimit thinness check (implies Sharing) |
| Cell | perform cell condition check (implies Sharing) |
| NoAnalysis | dummy option to indicate empty option string |
Instances
data Amalgamates
Amalgamability analysis might be undecidable, so we need a special type for the result of ensures_amalgamability
Constructors
| Amalgamates | |
| NoAmalgamation String | failure description |
| DontKnow String | the reason for unknown status
The default value for |
readShowAux :: [(String, a)] -> ReadS a
test all possible values, ignore leading space
caslAmalgOpts :: [CASLAmalgOpt]
possible CASL amalgamability options