Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

Common.Amalgamate

Description

Data types for amalgamability options and analysis

Synopsis

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

Instances details
Read CASLAmalgOpt Source # 
Instance details

Defined in Common.Amalgamate

Methods

readsPrec :: Int -> ReadS CASLAmalgOpt

readList :: ReadS [CASLAmalgOpt]

readPrec :: ReadPrec CASLAmalgOpt

readListPrec :: ReadPrec [CASLAmalgOpt]

Show CASLAmalgOpt Source # 
Instance details

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 DontKnow amalgamability result

readShowAux :: [(String, a)] -> ReadS a Source #

test all possible values, ignore leading space

readShow :: Show a => [a] -> ReadS a Source #

input all possible values and read one as it is shown

caslAmalgOpts :: [CASLAmalgOpt] Source #

possible CASL amalgamability options