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

Eq Table Source # 

Methods

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

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

Show Table Source # 

Methods

showsPrec :: Int -> Table -> ShowS

show :: Table -> String

showList :: [Table] -> ShowS

data Table_Attrs Source #

Constructors

Table_Attrs 

Instances

Eq Table_Attrs Source # 

Methods

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

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

Show Table_Attrs Source # 

Methods

showsPrec :: Int -> Table_Attrs -> ShowS

show :: Table_Attrs -> String

showList :: [Table_Attrs] -> ShowS

newtype Models Source #

Constructors

Models [Model] 

Instances

Eq Models Source # 

Methods

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

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

Show Models Source # 

Methods

showsPrec :: Int -> Models -> ShowS

show :: Models -> String

showList :: [Models] -> ShowS

data Cmptabentry Source #

Instances

Eq Cmptabentry Source # 

Methods

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

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

Show Cmptabentry Source # 

Methods

showsPrec :: Int -> Cmptabentry -> ShowS

show :: Cmptabentry -> String

showList :: [Cmptabentry] -> ShowS

data Contabentry Source #

Instances

Eq Contabentry Source # 

Methods

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

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

Show Contabentry Source # 

Methods

showsPrec :: Int -> Contabentry -> ShowS

show :: Contabentry -> String

showList :: [Contabentry] -> ShowS

data Reftabentry Source #

Instances

Eq Reftabentry Source # 

Methods

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

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

Show Reftabentry Source # 

Methods

showsPrec :: Int -> Reftabentry -> ShowS

show :: Reftabentry -> String

showList :: [Reftabentry] -> ShowS

data Model Source #

Constructors

Model 

Fields

Instances

Eq Model Source # 

Methods

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

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

Show Model Source # 

Methods

showsPrec :: Int -> Model -> ShowS

show :: Model -> String

showList :: [Model] -> ShowS

newtype Baserel Source #

Constructors

Baserel 

Fields

Instances

Eq Baserel Source # 

Methods

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

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

Ord Baserel Source # 

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 # 

Methods

showsPrec :: Int -> Baserel -> ShowS

show :: Baserel -> String

showList :: [Baserel] -> ShowS