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

CASL.CompositionTable.CompositionTable

Description

composition tables

Documentation

data Table Source #

Instances

Instances details
Eq Table Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

(==) :: Table -> Table -> Bool

(/=) :: Table -> Table -> Bool

Show Table Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

showsPrec :: Int -> Table -> ShowS

show :: Table -> String

showList :: [Table] -> ShowS

data Table_Attrs Source #

Constructors

Table_Attrs 

Instances

Instances details
Eq Table_Attrs Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

(==) :: Table_Attrs -> Table_Attrs -> Bool

(/=) :: Table_Attrs -> Table_Attrs -> Bool

Show Table_Attrs Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

showsPrec :: Int -> Table_Attrs -> ShowS

show :: Table_Attrs -> String

showList :: [Table_Attrs] -> ShowS

newtype Compositiontable Source #

Instances

Instances details
Eq Compositiontable Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Show Compositiontable Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

showsPrec :: Int -> Compositiontable -> ShowS

show :: Compositiontable -> String

showList :: [Compositiontable] -> ShowS

data Conversetable Source #

Instances

Instances details
Eq Conversetable Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Show Conversetable Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

showsPrec :: Int -> Conversetable -> ShowS

show :: Conversetable -> String

showList :: [Conversetable] -> ShowS

data Reflectiontable Source #

Instances

Instances details
Eq Reflectiontable Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Show Reflectiontable Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

showsPrec :: Int -> Reflectiontable -> ShowS

show :: Reflectiontable -> String

showList :: [Reflectiontable] -> ShowS

newtype Models Source #

Constructors

Models [Model] 

Instances

Instances details
Eq Models Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

(==) :: Models -> Models -> Bool

(/=) :: Models -> Models -> Bool

Show Models Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

showsPrec :: Int -> Models -> ShowS

show :: Models -> String

showList :: [Models] -> ShowS

data Cmptabentry Source #

Instances

Instances details
Eq Cmptabentry Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

(==) :: Cmptabentry -> Cmptabentry -> Bool

(/=) :: Cmptabentry -> Cmptabentry -> Bool

Show Cmptabentry Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

showsPrec :: Int -> Cmptabentry -> ShowS

show :: Cmptabentry -> String

showList :: [Cmptabentry] -> ShowS

data Contabentry Source #

Instances

Instances details
Eq Contabentry Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

(==) :: Contabentry -> Contabentry -> Bool

(/=) :: Contabentry -> Contabentry -> Bool

Show Contabentry Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

showsPrec :: Int -> Contabentry -> ShowS

show :: Contabentry -> String

showList :: [Contabentry] -> ShowS

data Reftabentry Source #

Instances

Instances details
Eq Reftabentry Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

(==) :: Reftabentry -> Reftabentry -> Bool

(/=) :: Reftabentry -> Reftabentry -> Bool

Show Reftabentry Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

showsPrec :: Int -> Reftabentry -> ShowS

show :: Reftabentry -> String

showList :: [Reftabentry] -> ShowS

data Model Source #

Constructors

Model 

Fields

Instances

Instances details
Eq Model Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

(==) :: Model -> Model -> Bool

(/=) :: Model -> Model -> Bool

Show Model Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

showsPrec :: Int -> Model -> ShowS

show :: Model -> String

showList :: [Model] -> ShowS

newtype Baserel Source #

Constructors

Baserel 

Fields

Instances

Instances details
Eq Baserel Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

(==) :: Baserel -> Baserel -> Bool

(/=) :: Baserel -> Baserel -> Bool

Ord Baserel Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

compare :: Baserel -> Baserel -> Ordering

(<) :: Baserel -> Baserel -> Bool

(<=) :: Baserel -> Baserel -> Bool

(>) :: Baserel -> Baserel -> Bool

(>=) :: Baserel -> Baserel -> Bool

max :: Baserel -> Baserel -> Baserel

min :: Baserel -> Baserel -> Baserel

Show Baserel Source # 
Instance details

Defined in CASL.CompositionTable.CompositionTable

Methods

showsPrec :: Int -> Baserel -> ShowS

show :: Baserel -> String

showList :: [Baserel] -> ShowS