Copyright	(c) Uni Bremen 2005
License	GPLv2 or higher, see LICENSE.txt
Maintainer	till@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

CASL.CompositionTable.CompositionTable

Description

composition tables

Documentation

data Table Source #

Constructors

Table Table_Attrs Compositiontable Conversetable Reflectiontable Models

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
Fields tableName :: String tableIdentity :: Baserel baseRelations :: [Baserel]

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 #

Constructors

Compositiontable [Cmptabentry]

Instances

Instances details

Eq Compositiontable Source #
Instance details Defined in CASL.CompositionTable.CompositionTable Methods (==) :: Compositiontable -> Compositiontable -> Bool (/=) :: Compositiontable -> Compositiontable -> Bool
Show Compositiontable Source #
Instance details Defined in CASL.CompositionTable.CompositionTable Methods showsPrec :: Int -> Compositiontable -> ShowS show :: Compositiontable -> String showList :: [Compositiontable] -> ShowS

data Conversetable Source #

Constructors

Conversetable [Contabentry]
Conversetable_Ternary
Fields inverse, shortcut, homing :: [Contabentry_Ternary]

Instances

Instances details

Eq Conversetable Source #
Instance details Defined in CASL.CompositionTable.CompositionTable Methods (==) :: Conversetable -> Conversetable -> Bool (/=) :: Conversetable -> Conversetable -> Bool
Show Conversetable Source #
Instance details Defined in CASL.CompositionTable.CompositionTable Methods showsPrec :: Int -> Conversetable -> ShowS show :: Conversetable -> String showList :: [Conversetable] -> ShowS

data Reflectiontable Source #

Constructors

Reflectiontable [Reftabentry]

Instances

Instances details

Eq Reflectiontable Source #
Instance details Defined in CASL.CompositionTable.CompositionTable Methods (==) :: Reflectiontable -> Reflectiontable -> Bool (/=) :: Reflectiontable -> Reflectiontable -> Bool
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 #

Constructors

Cmptabentry Cmptabentry_Attrs [Baserel]

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 Cmptabentry_Attrs Source #

Constructors

Cmptabentry_Attrs
Fields cmptabentryArgBaserel1 :: Baserel cmptabentryArgBaserel2 :: Baserel

Instances

Instances details

Eq Cmptabentry_Attrs Source #
Instance details Defined in CASL.CompositionTable.CompositionTable Methods (==) :: Cmptabentry_Attrs -> Cmptabentry_Attrs -> Bool (/=) :: Cmptabentry_Attrs -> Cmptabentry_Attrs -> Bool
Show Cmptabentry_Attrs Source #
Instance details Defined in CASL.CompositionTable.CompositionTable Methods showsPrec :: Int -> Cmptabentry_Attrs -> ShowS show :: Cmptabentry_Attrs -> String showList :: [Cmptabentry_Attrs] -> ShowS

data Contabentry Source #

Constructors

Contabentry
Fields contabentryArgBaseRel :: Baserel contabentryConverseBaseRel :: [Baserel]

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 Contabentry_Ternary Source #

Constructors

Contabentry_Ternary
Fields contabentry_TernaryArgBaseRel :: Baserel contabentry_TernaryConverseBaseRels :: [Baserel]

Instances

Instances details

Eq Contabentry_Ternary Source #
Instance details Defined in CASL.CompositionTable.CompositionTable Methods (==) :: Contabentry_Ternary -> Contabentry_Ternary -> Bool (/=) :: Contabentry_Ternary -> Contabentry_Ternary -> Bool
Show Contabentry_Ternary Source #
Instance details Defined in CASL.CompositionTable.CompositionTable Methods showsPrec :: Int -> Contabentry_Ternary -> ShowS show :: Contabentry_Ternary -> String showList :: [Contabentry_Ternary] -> ShowS

data Reftabentry Source #

Constructors

Reftabentry
Fields reftabentryArgBaseRel :: Baserel reftabentryReflectiveBaseRel :: Baserel

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 modelString1 :: String modelString2 :: String

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 baserelBaserel :: String

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