| 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 |
Common.Amalgamate
Description
Data types for amalgamability options and analysis
Synopsis
- data CASLAmalgOpt
- data Amalgamates
- = Amalgamates
- | NoAmalgamation String
- | DontKnow String
- defaultDontKnow :: Amalgamates
- readShowAux :: [(String, a)] -> ReadS a
- readShow :: Show a => [a] -> ReadS a
- caslAmalgOpts :: [CASLAmalgOpt]
Documentation
data CASLAmalgOpt Source #
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
| Read CASLAmalgOpt Source # | |
Defined in Common.Amalgamate Methods readsPrec :: Int -> ReadS CASLAmalgOpt readList :: ReadS [CASLAmalgOpt] readPrec :: ReadPrec CASLAmalgOpt readListPrec :: ReadPrec [CASLAmalgOpt] | |
| Show CASLAmalgOpt Source # | |
Defined in Common.Amalgamate Methods showsPrec :: Int -> CASLAmalgOpt -> ShowS show :: CASLAmalgOpt -> String showList :: [CASLAmalgOpt] -> ShowS | |
data Amalgamates Source #
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 Source #
test all possible values, ignore leading space
caslAmalgOpts :: [CASLAmalgOpt] Source #
possible CASL amalgamability options