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

OWL2.ATC_OWL2

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): EquivOrDisjoint DomainOrRange SameOrDifferent Relation Character PositiveOrNegative QuantifierType DatatypeCat CardinalityType Cardinality JunctionType Entity EntityType TypedOrUntyped Literal NNInt IntLit DecLit FloatLit ObjectPropertyExpression DataRange ClassExpression Annotation AnnotationValue ExtEntityType SymbItems SymbMapItems RawSymb Sign SignAxiom RoleKind RoleType DesKind DomainOrRangeOrFunc Extended ListFrameBit AnnoType AnnFrameBit Fact FrameBit Frame Axiom Ontology OntologyDocument OWLMorphism ProfSub NumberRestrictions OWLSub Profiles 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 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])