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 for the type(s): TurtleDocument Statement Prefix Base Triples Subject Predicate Object PredicateObjectList RDFLiteral Term Axiom RDFEntityType RDFEntity EquivOrDisjoint DomainOrRange SameOrDifferent Relation Character PositiveOrNegative QuantifierType DatatypeCat CardinalityType Cardinality JunctionType Entity EntityType TypedOrUntyped Literal NNInt IntLit DecLit FloatLit ObjectPropertyExpression DataRange ClassExpression Annotation AnnotationValue SymbItems SymbMapItems RawSymb Sign RDFMorphism IRI IRIAuth

Orphan instances

ShATermConvertible IRIAuth Source #
Methods toShATermAux :: ATermTable -> IRIAuth -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [IRIAuth] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, IRIAuth) fromShATermList' :: Int -> ATermTable -> (ATermTable, [IRIAuth])
ShATermConvertible IRI Source #
Methods toShATermAux :: ATermTable -> IRI -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [IRI] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, IRI) fromShATermList' :: Int -> ATermTable -> (ATermTable, [IRI])
ShATermConvertible AnnotationValue Source #
Methods toShATermAux :: ATermTable -> AnnotationValue -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AnnotationValue] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AnnotationValue) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnnotationValue])
ShATermConvertible Annotation Source #
Methods toShATermAux :: ATermTable -> Annotation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Annotation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Annotation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Annotation])
ShATermConvertible ClassExpression Source #
Methods toShATermAux :: ATermTable -> ClassExpression -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ClassExpression] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ClassExpression) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClassExpression])
ShATermConvertible DataRange Source #
Methods toShATermAux :: ATermTable -> DataRange -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DataRange] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DataRange) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DataRange])
ShATermConvertible ObjectPropertyExpression Source #
Methods toShATermAux :: ATermTable -> ObjectPropertyExpression -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ObjectPropertyExpression] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ObjectPropertyExpression) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ObjectPropertyExpression])
ShATermConvertible FloatLit Source #
Methods toShATermAux :: ATermTable -> FloatLit -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FloatLit] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FloatLit) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FloatLit])
ShATermConvertible DecLit Source #
Methods toShATermAux :: ATermTable -> DecLit -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DecLit] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DecLit) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DecLit])
ShATermConvertible IntLit Source #
Methods toShATermAux :: ATermTable -> IntLit -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [IntLit] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, IntLit) fromShATermList' :: Int -> ATermTable -> (ATermTable, [IntLit])
ShATermConvertible NNInt Source #
Methods toShATermAux :: ATermTable -> NNInt -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [NNInt] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, NNInt) fromShATermList' :: Int -> ATermTable -> (ATermTable, [NNInt])
ShATermConvertible Literal Source #
Methods toShATermAux :: ATermTable -> Literal -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Literal] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Literal) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Literal])
ShATermConvertible TypedOrUntyped Source #
Methods toShATermAux :: ATermTable -> TypedOrUntyped -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypedOrUntyped] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypedOrUntyped) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypedOrUntyped])
ShATermConvertible EntityType Source #
Methods toShATermAux :: ATermTable -> EntityType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EntityType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EntityType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EntityType])
ShATermConvertible Entity Source #
Methods toShATermAux :: ATermTable -> Entity -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Entity] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Entity) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Entity])
ShATermConvertible JunctionType Source #
Methods toShATermAux :: ATermTable -> JunctionType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [JunctionType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, JunctionType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [JunctionType])
ShATermConvertible CardinalityType Source #
Methods toShATermAux :: ATermTable -> CardinalityType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CardinalityType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CardinalityType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CardinalityType])
ShATermConvertible DatatypeCat Source #
Methods toShATermAux :: ATermTable -> DatatypeCat -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DatatypeCat] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DatatypeCat) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DatatypeCat])
ShATermConvertible QuantifierType Source #
Methods toShATermAux :: ATermTable -> QuantifierType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [QuantifierType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, QuantifierType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [QuantifierType])
ShATermConvertible PositiveOrNegative Source #
Methods toShATermAux :: ATermTable -> PositiveOrNegative -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PositiveOrNegative] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PositiveOrNegative) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PositiveOrNegative])
ShATermConvertible Character Source #
Methods toShATermAux :: ATermTable -> Character -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Character] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Character) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Character])
ShATermConvertible Relation Source #
Methods toShATermAux :: ATermTable -> Relation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Relation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Relation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Relation])
ShATermConvertible SameOrDifferent Source #
Methods toShATermAux :: ATermTable -> SameOrDifferent -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SameOrDifferent] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SameOrDifferent) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SameOrDifferent])
ShATermConvertible DomainOrRange Source #
Methods toShATermAux :: ATermTable -> DomainOrRange -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DomainOrRange] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DomainOrRange) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DomainOrRange])
ShATermConvertible EquivOrDisjoint Source #
Methods toShATermAux :: ATermTable -> EquivOrDisjoint -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EquivOrDisjoint] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EquivOrDisjoint) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EquivOrDisjoint])
ShATermConvertible RDFEntity Source #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
Methods toShATermAux :: ATermTable -> TurtleDocument -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TurtleDocument] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TurtleDocument) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TurtleDocument])
ShATermConvertible RawSymb Source #
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 #
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 #
Methods toShATermAux :: ATermTable -> SymbItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbItems])
ShATermConvertible Sign Source #
Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])
ShATermConvertible RDFMorphism Source #
Methods toShATermAux :: ATermTable -> RDFMorphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RDFMorphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RDFMorphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RDFMorphism])
(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (Cardinality a b) Source #
Methods toShATermAux :: ATermTable -> Cardinality a b -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Cardinality a b] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Cardinality a b) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Cardinality a b])