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

RDF.ATC_RDF

Contents

Description

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