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