Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

RelationalScheme.ATC_RelationalScheme

Contents

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])