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

RDF.ATC_RDF

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): TurtleDocument Statement Prefix Base Triples Subject Predicate Object PredicateObjectList RDFLiteral Term Axiom RDFEntityType RDFEntity SymbItems SymbMapItems RawSymb Sign RDFMorphism

Orphan instances

Generic RDFEntity Source #
Instance details Associated Types type Rep RDFEntity :: Type -> Type Methods from :: RDFEntity -> Rep RDFEntity x to :: Rep RDFEntity x -> RDFEntity
Generic RDFEntityType Source #
Instance details Associated Types type Rep RDFEntityType :: Type -> Type Methods from :: RDFEntityType -> Rep RDFEntityType x to :: Rep RDFEntityType x -> RDFEntityType
Generic Axiom Source #
Instance details Associated Types type Rep Axiom :: Type -> Type Methods from :: Axiom -> Rep Axiom x to :: Rep Axiom x -> Axiom
Generic Term Source #
Instance details Associated Types type Rep Term :: Type -> Type Methods from :: Term -> Rep Term x to :: Rep Term x -> Term
Generic RDFLiteral Source #
Instance details Associated Types type Rep RDFLiteral :: Type -> Type Methods from :: RDFLiteral -> Rep RDFLiteral x to :: Rep RDFLiteral x -> RDFLiteral
Generic PredicateObjectList Source #
Instance details Associated Types type Rep PredicateObjectList :: Type -> Type Methods from :: PredicateObjectList -> Rep PredicateObjectList x to :: Rep PredicateObjectList x -> PredicateObjectList
Generic Object Source #
Instance details Associated Types type Rep Object :: Type -> Type Methods from :: Object -> Rep Object x to :: Rep Object x -> Object
Generic Predicate Source #
Instance details Associated Types type Rep Predicate :: Type -> Type Methods from :: Predicate -> Rep Predicate x to :: Rep Predicate x -> Predicate
Generic Subject Source #
Instance details Associated Types type Rep Subject :: Type -> Type Methods from :: Subject -> Rep Subject x to :: Rep Subject x -> Subject
Generic Triples Source #
Instance details Associated Types type Rep Triples :: Type -> Type Methods from :: Triples -> Rep Triples x to :: Rep Triples x -> Triples
Generic Base Source #
Instance details Associated Types type Rep Base :: Type -> Type Methods from :: Base -> Rep Base x to :: Rep Base x -> Base
Generic Prefix Source #
Instance details Associated Types type Rep Prefix :: Type -> Type Methods from :: Prefix -> Rep Prefix x to :: Rep Prefix x -> Prefix
Generic Statement Source #
Instance details Associated Types type Rep Statement :: Type -> Type Methods from :: Statement -> Rep Statement x to :: Rep Statement x -> Statement
Generic TurtleDocument Source #
Instance details Associated Types type Rep TurtleDocument :: Type -> Type Methods from :: TurtleDocument -> Rep TurtleDocument x to :: Rep TurtleDocument x -> TurtleDocument
Generic Sign Source #
Instance details Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
Generic RawSymb Source #
Instance details Associated Types type Rep RawSymb :: Type -> Type Methods from :: RawSymb -> Rep RawSymb x to :: Rep RawSymb x -> RawSymb
Generic SymbMapItems Source #
Instance details Associated Types type Rep SymbMapItems :: Type -> Type Methods from :: SymbMapItems -> Rep SymbMapItems x to :: Rep SymbMapItems x -> SymbMapItems
Generic SymbItems Source #
Instance details Associated Types type Rep SymbItems :: Type -> Type Methods from :: SymbItems -> Rep SymbItems x to :: Rep SymbItems x -> SymbItems
Generic RDFMorphism Source #
Instance details Associated Types type Rep RDFMorphism :: Type -> Type Methods from :: RDFMorphism -> Rep RDFMorphism x to :: Rep RDFMorphism x -> RDFMorphism
FromJSON RDFEntity Source #
Instance details Methods parseJSON :: Value -> Parser RDFEntity parseJSONList :: Value -> Parser [RDFEntity]
FromJSON RDFEntityType Source #
Instance details Methods parseJSON :: Value -> Parser RDFEntityType parseJSONList :: Value -> Parser [RDFEntityType]
FromJSON Axiom Source #
Instance details Methods parseJSON :: Value -> Parser Axiom parseJSONList :: Value -> Parser [Axiom]
FromJSON Term Source #
Instance details Methods parseJSON :: Value -> Parser Term parseJSONList :: Value -> Parser [Term]
FromJSON RDFLiteral Source #
Instance details Methods parseJSON :: Value -> Parser RDFLiteral parseJSONList :: Value -> Parser [RDFLiteral]
FromJSON PredicateObjectList Source #
Instance details Methods parseJSON :: Value -> Parser PredicateObjectList parseJSONList :: Value -> Parser [PredicateObjectList]
FromJSON Object Source #
Instance details Methods parseJSON :: Value -> Parser Object parseJSONList :: Value -> Parser [Object]
FromJSON Predicate Source #
Instance details Methods parseJSON :: Value -> Parser Predicate parseJSONList :: Value -> Parser [Predicate]
FromJSON Subject Source #
Instance details Methods parseJSON :: Value -> Parser Subject parseJSONList :: Value -> Parser [Subject]
FromJSON Triples Source #
Instance details Methods parseJSON :: Value -> Parser Triples parseJSONList :: Value -> Parser [Triples]
FromJSON Base Source #
Instance details Methods parseJSON :: Value -> Parser Base parseJSONList :: Value -> Parser [Base]
FromJSON Prefix Source #
Instance details Methods parseJSON :: Value -> Parser Prefix parseJSONList :: Value -> Parser [Prefix]
FromJSON Statement Source #
Instance details Methods parseJSON :: Value -> Parser Statement parseJSONList :: Value -> Parser [Statement]
FromJSON TurtleDocument Source #
Instance details Methods parseJSON :: Value -> Parser TurtleDocument parseJSONList :: Value -> Parser [TurtleDocument]
FromJSON Sign Source #
Instance details Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
FromJSON RawSymb Source #
Instance details Methods parseJSON :: Value -> Parser RawSymb parseJSONList :: Value -> Parser [RawSymb]
FromJSON SymbMapItems Source #
Instance details Methods parseJSON :: Value -> Parser SymbMapItems parseJSONList :: Value -> Parser [SymbMapItems]
FromJSON SymbItems Source #
Instance details Methods parseJSON :: Value -> Parser SymbItems parseJSONList :: Value -> Parser [SymbItems]
FromJSON RDFMorphism Source #
Instance details Methods parseJSON :: Value -> Parser RDFMorphism parseJSONList :: Value -> Parser [RDFMorphism]
ToJSON RDFEntity Source #
Instance details Methods toJSON :: RDFEntity -> Value toEncoding :: RDFEntity -> Encoding toJSONList :: [RDFEntity] -> Value toEncodingList :: [RDFEntity] -> Encoding
ToJSON RDFEntityType Source #
Instance details Methods toJSON :: RDFEntityType -> Value toEncoding :: RDFEntityType -> Encoding toJSONList :: [RDFEntityType] -> Value toEncodingList :: [RDFEntityType] -> Encoding
ToJSON Axiom Source #
Instance details Methods toJSON :: Axiom -> Value toEncoding :: Axiom -> Encoding toJSONList :: [Axiom] -> Value toEncodingList :: [Axiom] -> Encoding
ToJSON Term Source #
Instance details Methods toJSON :: Term -> Value toEncoding :: Term -> Encoding toJSONList :: [Term] -> Value toEncodingList :: [Term] -> Encoding
ToJSON RDFLiteral Source #
Instance details Methods toJSON :: RDFLiteral -> Value toEncoding :: RDFLiteral -> Encoding toJSONList :: [RDFLiteral] -> Value toEncodingList :: [RDFLiteral] -> Encoding
ToJSON PredicateObjectList Source #
Instance details Methods toJSON :: PredicateObjectList -> Value toEncoding :: PredicateObjectList -> Encoding toJSONList :: [PredicateObjectList] -> Value toEncodingList :: [PredicateObjectList] -> Encoding
ToJSON Object Source #
Instance details Methods toJSON :: Object -> Value toEncoding :: Object -> Encoding toJSONList :: [Object] -> Value toEncodingList :: [Object] -> Encoding
ToJSON Predicate Source #
Instance details Methods toJSON :: Predicate -> Value toEncoding :: Predicate -> Encoding toJSONList :: [Predicate] -> Value toEncodingList :: [Predicate] -> Encoding
ToJSON Subject Source #
Instance details Methods toJSON :: Subject -> Value toEncoding :: Subject -> Encoding toJSONList :: [Subject] -> Value toEncodingList :: [Subject] -> Encoding
ToJSON Triples Source #
Instance details Methods toJSON :: Triples -> Value toEncoding :: Triples -> Encoding toJSONList :: [Triples] -> Value toEncodingList :: [Triples] -> Encoding
ToJSON Base Source #
Instance details Methods toJSON :: Base -> Value toEncoding :: Base -> Encoding toJSONList :: [Base] -> Value toEncodingList :: [Base] -> Encoding
ToJSON Prefix Source #
Instance details Methods toJSON :: Prefix -> Value toEncoding :: Prefix -> Encoding toJSONList :: [Prefix] -> Value toEncodingList :: [Prefix] -> Encoding
ToJSON Statement Source #
Instance details Methods toJSON :: Statement -> Value toEncoding :: Statement -> Encoding toJSONList :: [Statement] -> Value toEncodingList :: [Statement] -> Encoding
ToJSON TurtleDocument Source #
Instance details Methods toJSON :: TurtleDocument -> Value toEncoding :: TurtleDocument -> Encoding toJSONList :: [TurtleDocument] -> Value toEncodingList :: [TurtleDocument] -> Encoding
ToJSON Sign Source #
Instance details Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> Encoding
ToJSON RawSymb Source #
Instance details Methods toJSON :: RawSymb -> Value toEncoding :: RawSymb -> Encoding toJSONList :: [RawSymb] -> Value toEncodingList :: [RawSymb] -> Encoding
ToJSON SymbMapItems Source #
Instance details Methods toJSON :: SymbMapItems -> Value toEncoding :: SymbMapItems -> Encoding toJSONList :: [SymbMapItems] -> Value toEncodingList :: [SymbMapItems] -> Encoding
ToJSON SymbItems Source #
Instance details Methods toJSON :: SymbItems -> Value toEncoding :: SymbItems -> Encoding toJSONList :: [SymbItems] -> Value toEncodingList :: [SymbItems] -> Encoding
ToJSON RDFMorphism Source #
Instance details Methods toJSON :: RDFMorphism -> Value toEncoding :: RDFMorphism -> Encoding toJSONList :: [RDFMorphism] -> Value toEncodingList :: [RDFMorphism] -> Encoding
ShATermConvertible RDFEntity Source #
Instance details Methods toShATermAux :: ATermTable -> RDFEntity -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RDFEntity] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RDFEntity) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RDFEntity])
ShATermConvertible RDFEntityType Source #
Instance details Methods toShATermAux :: ATermTable -> RDFEntityType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RDFEntityType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RDFEntityType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RDFEntityType])
ShATermConvertible Axiom Source #
Instance details Methods toShATermAux :: ATermTable -> Axiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Axiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Axiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Axiom])
ShATermConvertible Term Source #
Instance details Methods toShATermAux :: ATermTable -> Term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Term])
ShATermConvertible RDFLiteral Source #
Instance details Methods toShATermAux :: ATermTable -> RDFLiteral -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RDFLiteral] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RDFLiteral) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RDFLiteral])
ShATermConvertible PredicateObjectList Source #
Instance details Methods toShATermAux :: ATermTable -> PredicateObjectList -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PredicateObjectList] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PredicateObjectList) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PredicateObjectList])
ShATermConvertible Object Source #
Instance details Methods toShATermAux :: ATermTable -> Object -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Object] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Object) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Object])
ShATermConvertible Predicate Source #
Instance details Methods toShATermAux :: ATermTable -> Predicate -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Predicate] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Predicate) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Predicate])
ShATermConvertible Subject Source #
Instance details Methods toShATermAux :: ATermTable -> Subject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Subject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Subject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Subject])
ShATermConvertible Triples Source #
Instance details Methods toShATermAux :: ATermTable -> Triples -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Triples] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Triples) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Triples])
ShATermConvertible Base Source #
Instance details Methods toShATermAux :: ATermTable -> Base -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Base] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Base) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Base])
ShATermConvertible Prefix Source #
Instance details Methods toShATermAux :: ATermTable -> Prefix -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Prefix] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Prefix) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Prefix])
ShATermConvertible Statement Source #
Instance details Methods toShATermAux :: ATermTable -> Statement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Statement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Statement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Statement])
ShATermConvertible TurtleDocument Source #
Instance details Methods toShATermAux :: ATermTable -> TurtleDocument -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TurtleDocument] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TurtleDocument) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TurtleDocument])
ShATermConvertible Sign Source #
Instance details Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])
ShATermConvertible RawSymb Source #
Instance details Methods toShATermAux :: ATermTable -> RawSymb -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RawSymb] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RawSymb) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RawSymb])
ShATermConvertible SymbMapItems Source #
Instance details Methods toShATermAux :: ATermTable -> SymbMapItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbMapItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbMapItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbMapItems])
ShATermConvertible SymbItems Source #
Instance details Methods toShATermAux :: ATermTable -> SymbItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbItems])
ShATermConvertible RDFMorphism Source #
Instance details Methods toShATermAux :: ATermTable -> RDFMorphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RDFMorphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RDFMorphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RDFMorphism])