Copyright	(c) DFKI GmbH 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(derive Typeable instances)
Safe Haskell	None

RelationalScheme.ATC_RelationalScheme

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): RSRelType RSQualId RSRel RSRelationships RSScheme RSDatatype RSSymbol RSSymbolKind RSColumn RSTable RSTables RSTMap RSMorphism

Orphan instances

ShATermConvertible RSMorphism Source #
Methods toShATermAux :: ATermTable -> RSMorphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSMorphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSMorphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSMorphism])
ShATermConvertible RSTMap Source #
Methods toShATermAux :: ATermTable -> RSTMap -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSTMap] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSTMap) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSTMap])
ShATermConvertible RSTables Source #
Methods toShATermAux :: ATermTable -> RSTables -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSTables] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSTables) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSTables])
ShATermConvertible RSTable Source #
Methods toShATermAux :: ATermTable -> RSTable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSTable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSTable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSTable])
ShATermConvertible RSColumn Source #
Methods toShATermAux :: ATermTable -> RSColumn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSColumn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSColumn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSColumn])
ShATermConvertible RSSymbolKind Source #
Methods toShATermAux :: ATermTable -> RSSymbolKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSSymbolKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSSymbolKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSSymbolKind])
ShATermConvertible RSSymbol Source #
Methods toShATermAux :: ATermTable -> RSSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSSymbol])
ShATermConvertible RSDatatype Source #
Methods toShATermAux :: ATermTable -> RSDatatype -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSDatatype] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSDatatype) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSDatatype])
ShATermConvertible RSScheme Source #
Methods toShATermAux :: ATermTable -> RSScheme -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSScheme] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSScheme) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSScheme])
ShATermConvertible RSRelationships Source #
Methods toShATermAux :: ATermTable -> RSRelationships -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSRelationships] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSRelationships) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSRelationships])
ShATermConvertible RSRel Source #
Methods toShATermAux :: ATermTable -> RSRel -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSRel] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSRel) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSRel])
ShATermConvertible RSQualId Source #
Methods toShATermAux :: ATermTable -> RSQualId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSQualId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSQualId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSQualId])
ShATermConvertible RSRelType Source #
Methods toShATermAux :: ATermTable -> RSRelType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSRelType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSRelType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSRelType])