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, Json for the type(s): RSRelType RSQualId RSRel RSRelationships RSScheme RSDatatype RSSymbol RSSymbolKind RSColumn RSTable RSTables RSTMap RSMorphism

Orphan instances

Generic RSMorphism Source #
Instance details Associated Types type Rep RSMorphism :: Type -> Type Methods from :: RSMorphism -> Rep RSMorphism x to :: Rep RSMorphism x -> RSMorphism
Generic RSTMap Source #
Instance details Associated Types type Rep RSTMap :: Type -> Type Methods from :: RSTMap -> Rep RSTMap x to :: Rep RSTMap x -> RSTMap
Generic RSTables Source #
Instance details Associated Types type Rep RSTables :: Type -> Type Methods from :: RSTables -> Rep RSTables x to :: Rep RSTables x -> RSTables
Generic RSTable Source #
Instance details Associated Types type Rep RSTable :: Type -> Type Methods from :: RSTable -> Rep RSTable x to :: Rep RSTable x -> RSTable
Generic RSColumn Source #
Instance details Associated Types type Rep RSColumn :: Type -> Type Methods from :: RSColumn -> Rep RSColumn x to :: Rep RSColumn x -> RSColumn
Generic RSSymbolKind Source #
Instance details Associated Types type Rep RSSymbolKind :: Type -> Type Methods from :: RSSymbolKind -> Rep RSSymbolKind x to :: Rep RSSymbolKind x -> RSSymbolKind
Generic RSSymbol Source #
Instance details Associated Types type Rep RSSymbol :: Type -> Type Methods from :: RSSymbol -> Rep RSSymbol x to :: Rep RSSymbol x -> RSSymbol
Generic RSDatatype Source #
Instance details Associated Types type Rep RSDatatype :: Type -> Type Methods from :: RSDatatype -> Rep RSDatatype x to :: Rep RSDatatype x -> RSDatatype
Generic RSScheme Source #
Instance details Associated Types type Rep RSScheme :: Type -> Type Methods from :: RSScheme -> Rep RSScheme x to :: Rep RSScheme x -> RSScheme
Generic RSRelationships Source #
Instance details Associated Types type Rep RSRelationships :: Type -> Type Methods from :: RSRelationships -> Rep RSRelationships x to :: Rep RSRelationships x -> RSRelationships
Generic RSRel Source #
Instance details Associated Types type Rep RSRel :: Type -> Type Methods from :: RSRel -> Rep RSRel x to :: Rep RSRel x -> RSRel
Generic RSQualId Source #
Instance details Associated Types type Rep RSQualId :: Type -> Type Methods from :: RSQualId -> Rep RSQualId x to :: Rep RSQualId x -> RSQualId
Generic RSRelType Source #
Instance details Associated Types type Rep RSRelType :: Type -> Type Methods from :: RSRelType -> Rep RSRelType x to :: Rep RSRelType x -> RSRelType
FromJSON RSMorphism Source #
Instance details Methods parseJSON :: Value -> Parser RSMorphism parseJSONList :: Value -> Parser [RSMorphism]
FromJSON RSTMap Source #
Instance details Methods parseJSON :: Value -> Parser RSTMap parseJSONList :: Value -> Parser [RSTMap]
FromJSON RSTables Source #
Instance details Methods parseJSON :: Value -> Parser RSTables parseJSONList :: Value -> Parser [RSTables]
FromJSON RSTable Source #
Instance details Methods parseJSON :: Value -> Parser RSTable parseJSONList :: Value -> Parser [RSTable]
FromJSON RSColumn Source #
Instance details Methods parseJSON :: Value -> Parser RSColumn parseJSONList :: Value -> Parser [RSColumn]
FromJSON RSSymbolKind Source #
Instance details Methods parseJSON :: Value -> Parser RSSymbolKind parseJSONList :: Value -> Parser [RSSymbolKind]
FromJSON RSSymbol Source #
Instance details Methods parseJSON :: Value -> Parser RSSymbol parseJSONList :: Value -> Parser [RSSymbol]
FromJSON RSDatatype Source #
Instance details Methods parseJSON :: Value -> Parser RSDatatype parseJSONList :: Value -> Parser [RSDatatype]
FromJSON RSScheme Source #
Instance details Methods parseJSON :: Value -> Parser RSScheme parseJSONList :: Value -> Parser [RSScheme]
FromJSON RSRelationships Source #
Instance details Methods parseJSON :: Value -> Parser RSRelationships parseJSONList :: Value -> Parser [RSRelationships]
FromJSON RSRel Source #
Instance details Methods parseJSON :: Value -> Parser RSRel parseJSONList :: Value -> Parser [RSRel]
FromJSON RSQualId Source #
Instance details Methods parseJSON :: Value -> Parser RSQualId parseJSONList :: Value -> Parser [RSQualId]
FromJSON RSRelType Source #
Instance details Methods parseJSON :: Value -> Parser RSRelType parseJSONList :: Value -> Parser [RSRelType]
ToJSON RSMorphism Source #
Instance details Methods toJSON :: RSMorphism -> Value toEncoding :: RSMorphism -> Encoding toJSONList :: [RSMorphism] -> Value toEncodingList :: [RSMorphism] -> Encoding
ToJSON RSTMap Source #
Instance details Methods toJSON :: RSTMap -> Value toEncoding :: RSTMap -> Encoding toJSONList :: [RSTMap] -> Value toEncodingList :: [RSTMap] -> Encoding
ToJSON RSTables Source #
Instance details Methods toJSON :: RSTables -> Value toEncoding :: RSTables -> Encoding toJSONList :: [RSTables] -> Value toEncodingList :: [RSTables] -> Encoding
ToJSON RSTable Source #
Instance details Methods toJSON :: RSTable -> Value toEncoding :: RSTable -> Encoding toJSONList :: [RSTable] -> Value toEncodingList :: [RSTable] -> Encoding
ToJSON RSColumn Source #
Instance details Methods toJSON :: RSColumn -> Value toEncoding :: RSColumn -> Encoding toJSONList :: [RSColumn] -> Value toEncodingList :: [RSColumn] -> Encoding
ToJSON RSSymbolKind Source #
Instance details Methods toJSON :: RSSymbolKind -> Value toEncoding :: RSSymbolKind -> Encoding toJSONList :: [RSSymbolKind] -> Value toEncodingList :: [RSSymbolKind] -> Encoding
ToJSON RSSymbol Source #
Instance details Methods toJSON :: RSSymbol -> Value toEncoding :: RSSymbol -> Encoding toJSONList :: [RSSymbol] -> Value toEncodingList :: [RSSymbol] -> Encoding
ToJSON RSDatatype Source #
Instance details Methods toJSON :: RSDatatype -> Value toEncoding :: RSDatatype -> Encoding toJSONList :: [RSDatatype] -> Value toEncodingList :: [RSDatatype] -> Encoding
ToJSON RSScheme Source #
Instance details Methods toJSON :: RSScheme -> Value toEncoding :: RSScheme -> Encoding toJSONList :: [RSScheme] -> Value toEncodingList :: [RSScheme] -> Encoding
ToJSON RSRelationships Source #
Instance details Methods toJSON :: RSRelationships -> Value toEncoding :: RSRelationships -> Encoding toJSONList :: [RSRelationships] -> Value toEncodingList :: [RSRelationships] -> Encoding
ToJSON RSRel Source #
Instance details Methods toJSON :: RSRel -> Value toEncoding :: RSRel -> Encoding toJSONList :: [RSRel] -> Value toEncodingList :: [RSRel] -> Encoding
ToJSON RSQualId Source #
Instance details Methods toJSON :: RSQualId -> Value toEncoding :: RSQualId -> Encoding toJSONList :: [RSQualId] -> Value toEncodingList :: [RSQualId] -> Encoding
ToJSON RSRelType Source #
Instance details Methods toJSON :: RSRelType -> Value toEncoding :: RSRelType -> Encoding toJSONList :: [RSRelType] -> Value toEncodingList :: [RSRelType] -> Encoding
ShATermConvertible RSMorphism Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> RSRelType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RSRelType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RSRelType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RSRelType])