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

OWL2.ATC_OWL2

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 OntologyDocument Source # 

Methods

toShATermAux :: ATermTable -> OntologyDocument -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OntologyDocument] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OntologyDocument)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OntologyDocument])

ShATermConvertible Ontology Source # 

Methods

toShATermAux :: ATermTable -> Ontology -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Ontology] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Ontology)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Ontology])

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 Frame Source # 

Methods

toShATermAux :: ATermTable -> Frame -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Frame] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Frame)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Frame])

ShATermConvertible FrameBit Source # 

Methods

toShATermAux :: ATermTable -> FrameBit -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [FrameBit] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, FrameBit)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [FrameBit])

ShATermConvertible Fact Source # 

Methods

toShATermAux :: ATermTable -> Fact -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Fact] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Fact)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Fact])

ShATermConvertible AnnFrameBit Source # 

Methods

toShATermAux :: ATermTable -> AnnFrameBit -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [AnnFrameBit] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, AnnFrameBit)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnnFrameBit])

ShATermConvertible AnnoType Source # 

Methods

toShATermAux :: ATermTable -> AnnoType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [AnnoType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, AnnoType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnnoType])

ShATermConvertible ListFrameBit Source # 

Methods

toShATermAux :: ATermTable -> ListFrameBit -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ListFrameBit] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ListFrameBit)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ListFrameBit])

ShATermConvertible Extended Source # 

Methods

toShATermAux :: ATermTable -> Extended -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Extended] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Extended)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Extended])

ShATermConvertible Profiles Source # 

Methods

toShATermAux :: ATermTable -> Profiles -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Profiles] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Profiles)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Profiles])

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 ExtEntityType Source # 

Methods

toShATermAux :: ATermTable -> ExtEntityType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ExtEntityType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ExtEntityType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ExtEntityType])

ShATermConvertible DesKind Source # 

Methods

toShATermAux :: ATermTable -> DesKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [DesKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, DesKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [DesKind])

ShATermConvertible RoleType Source # 

Methods

toShATermAux :: ATermTable -> RoleType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RoleType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RoleType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RoleType])

ShATermConvertible RoleKind Source # 

Methods

toShATermAux :: ATermTable -> RoleKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RoleKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RoleKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RoleKind])

ShATermConvertible SignAxiom Source # 

Methods

toShATermAux :: ATermTable -> SignAxiom -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SignAxiom] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SignAxiom)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SignAxiom])

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 OWLMorphism Source # 

Methods

toShATermAux :: ATermTable -> OWLMorphism -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OWLMorphism] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OWLMorphism)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OWLMorphism])

ShATermConvertible OWLSub Source # 

Methods

toShATermAux :: ATermTable -> OWLSub -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OWLSub] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OWLSub)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OWLSub])

ShATermConvertible NumberRestrictions Source # 

Methods

toShATermAux :: ATermTable -> NumberRestrictions -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [NumberRestrictions] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, NumberRestrictions)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [NumberRestrictions])

ShATermConvertible ProfSub Source # 

Methods

toShATermAux :: ATermTable -> ProfSub -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ProfSub] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ProfSub)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProfSub])

ShATermConvertible a => ShATermConvertible (DomainOrRangeOrFunc a) Source # 

Methods

toShATermAux :: ATermTable -> DomainOrRangeOrFunc a -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [DomainOrRangeOrFunc a] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, DomainOrRangeOrFunc a)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [DomainOrRangeOrFunc a])

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