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, Json 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 AnnotationAxiom AnnotationSubject Axiom ClassAxiom ObjectPropertyAxiom SubObjectPropertyExpression DataPropertyAxiom Assertion Rule IndividualArg DataArg UnknownArg Atom DGAtom DGNodeAssertion DGEdgeAssertion OntologySyntaxType OntologyMetadata OntologyDocument PrefixDeclaration Ontology ExtEntityType SymbItems SymbMapItems RawSymb Sign SignAxiom RoleKind RoleType DesKind DomainOrRangeOrFunc OWLMorphism ProfSub NumberRestrictions OWLSub Profiles

Orphan instances

Generic Ontology Source #
Instance details Associated Types type Rep Ontology :: Type -> Type Methods from :: Ontology -> Rep Ontology x to :: Rep Ontology x -> Ontology
Generic PrefixDeclaration Source #
Instance details Associated Types type Rep PrefixDeclaration :: Type -> Type Methods from :: PrefixDeclaration -> Rep PrefixDeclaration x to :: Rep PrefixDeclaration x -> PrefixDeclaration
Generic OntologyDocument Source #
Instance details Associated Types type Rep OntologyDocument :: Type -> Type Methods from :: OntologyDocument -> Rep OntologyDocument x to :: Rep OntologyDocument x -> OntologyDocument
Generic OntologyMetadata Source #
Instance details Associated Types type Rep OntologyMetadata :: Type -> Type Methods from :: OntologyMetadata -> Rep OntologyMetadata x to :: Rep OntologyMetadata x -> OntologyMetadata
Generic OntologySyntaxType Source #
Instance details Associated Types type Rep OntologySyntaxType :: Type -> Type Methods from :: OntologySyntaxType -> Rep OntologySyntaxType x to :: Rep OntologySyntaxType x -> OntologySyntaxType
Generic DGEdgeAssertion Source #
Instance details Associated Types type Rep DGEdgeAssertion :: Type -> Type Methods from :: DGEdgeAssertion -> Rep DGEdgeAssertion x to :: Rep DGEdgeAssertion x -> DGEdgeAssertion
Generic DGNodeAssertion Source #
Instance details Associated Types type Rep DGNodeAssertion :: Type -> Type Methods from :: DGNodeAssertion -> Rep DGNodeAssertion x to :: Rep DGNodeAssertion x -> DGNodeAssertion
Generic DGAtom Source #
Instance details Associated Types type Rep DGAtom :: Type -> Type Methods from :: DGAtom -> Rep DGAtom x to :: Rep DGAtom x -> DGAtom
Generic Atom Source #
Instance details Associated Types type Rep Atom :: Type -> Type Methods from :: Atom -> Rep Atom x to :: Rep Atom x -> Atom
Generic UnknownArg Source #
Instance details Associated Types type Rep UnknownArg :: Type -> Type Methods from :: UnknownArg -> Rep UnknownArg x to :: Rep UnknownArg x -> UnknownArg
Generic DataArg Source #
Instance details Associated Types type Rep DataArg :: Type -> Type Methods from :: DataArg -> Rep DataArg x to :: Rep DataArg x -> DataArg
Generic IndividualArg Source #
Instance details Associated Types type Rep IndividualArg :: Type -> Type Methods from :: IndividualArg -> Rep IndividualArg x to :: Rep IndividualArg x -> IndividualArg
Generic Rule Source #
Instance details Associated Types type Rep Rule :: Type -> Type Methods from :: Rule -> Rep Rule x to :: Rep Rule x -> Rule
Generic Assertion Source #
Instance details Associated Types type Rep Assertion :: Type -> Type Methods from :: Assertion -> Rep Assertion x to :: Rep Assertion x -> Assertion
Generic DataPropertyAxiom Source #
Instance details Associated Types type Rep DataPropertyAxiom :: Type -> Type Methods from :: DataPropertyAxiom -> Rep DataPropertyAxiom x to :: Rep DataPropertyAxiom x -> DataPropertyAxiom
Generic SubObjectPropertyExpression Source #
Instance details Associated Types type Rep SubObjectPropertyExpression :: Type -> Type Methods from :: SubObjectPropertyExpression -> Rep SubObjectPropertyExpression x to :: Rep SubObjectPropertyExpression x -> SubObjectPropertyExpression
Generic ObjectPropertyAxiom Source #
Instance details Associated Types type Rep ObjectPropertyAxiom :: Type -> Type Methods from :: ObjectPropertyAxiom -> Rep ObjectPropertyAxiom x to :: Rep ObjectPropertyAxiom x -> ObjectPropertyAxiom
Generic ClassAxiom Source #
Instance details Associated Types type Rep ClassAxiom :: Type -> Type Methods from :: ClassAxiom -> Rep ClassAxiom x to :: Rep ClassAxiom x -> ClassAxiom
Generic Axiom Source #
Instance details Associated Types type Rep Axiom :: Type -> Type Methods from :: Axiom -> Rep Axiom x to :: Rep Axiom x -> Axiom
Generic AnnotationSubject Source #
Instance details Associated Types type Rep AnnotationSubject :: Type -> Type Methods from :: AnnotationSubject -> Rep AnnotationSubject x to :: Rep AnnotationSubject x -> AnnotationSubject
Generic AnnotationAxiom Source #
Instance details Associated Types type Rep AnnotationAxiom :: Type -> Type Methods from :: AnnotationAxiom -> Rep AnnotationAxiom x to :: Rep AnnotationAxiom x -> AnnotationAxiom
Generic AnnotationValue Source #
Instance details Associated Types type Rep AnnotationValue :: Type -> Type Methods from :: AnnotationValue -> Rep AnnotationValue x to :: Rep AnnotationValue x -> AnnotationValue
Generic Annotation Source #
Instance details Associated Types type Rep Annotation :: Type -> Type Methods from :: Annotation -> Rep Annotation x to :: Rep Annotation x -> Annotation
Generic ClassExpression Source #
Instance details Associated Types type Rep ClassExpression :: Type -> Type Methods from :: ClassExpression -> Rep ClassExpression x to :: Rep ClassExpression x -> ClassExpression
Generic DataRange Source #
Instance details Associated Types type Rep DataRange :: Type -> Type Methods from :: DataRange -> Rep DataRange x to :: Rep DataRange x -> DataRange
Generic ObjectPropertyExpression Source #
Instance details Associated Types type Rep ObjectPropertyExpression :: Type -> Type Methods from :: ObjectPropertyExpression -> Rep ObjectPropertyExpression x to :: Rep ObjectPropertyExpression x -> ObjectPropertyExpression
Generic FloatLit Source #
Instance details Associated Types type Rep FloatLit :: Type -> Type Methods from :: FloatLit -> Rep FloatLit x to :: Rep FloatLit x -> FloatLit
Generic DecLit Source #
Instance details Associated Types type Rep DecLit :: Type -> Type Methods from :: DecLit -> Rep DecLit x to :: Rep DecLit x -> DecLit
Generic IntLit Source #
Instance details Associated Types type Rep IntLit :: Type -> Type Methods from :: IntLit -> Rep IntLit x to :: Rep IntLit x -> IntLit
Generic NNInt Source #
Instance details Associated Types type Rep NNInt :: Type -> Type Methods from :: NNInt -> Rep NNInt x to :: Rep NNInt x -> NNInt
Generic Literal Source #
Instance details Associated Types type Rep Literal :: Type -> Type Methods from :: Literal -> Rep Literal x to :: Rep Literal x -> Literal
Generic TypedOrUntyped Source #
Instance details Associated Types type Rep TypedOrUntyped :: Type -> Type Methods from :: TypedOrUntyped -> Rep TypedOrUntyped x to :: Rep TypedOrUntyped x -> TypedOrUntyped
Generic EntityType Source #
Instance details Associated Types type Rep EntityType :: Type -> Type Methods from :: EntityType -> Rep EntityType x to :: Rep EntityType x -> EntityType
Generic Entity Source #
Instance details Associated Types type Rep Entity :: Type -> Type Methods from :: Entity -> Rep Entity x to :: Rep Entity x -> Entity
Generic JunctionType Source #
Instance details Associated Types type Rep JunctionType :: Type -> Type Methods from :: JunctionType -> Rep JunctionType x to :: Rep JunctionType x -> JunctionType
Generic CardinalityType Source #
Instance details Associated Types type Rep CardinalityType :: Type -> Type Methods from :: CardinalityType -> Rep CardinalityType x to :: Rep CardinalityType x -> CardinalityType
Generic DatatypeCat Source #
Instance details Associated Types type Rep DatatypeCat :: Type -> Type Methods from :: DatatypeCat -> Rep DatatypeCat x to :: Rep DatatypeCat x -> DatatypeCat
Generic QuantifierType Source #
Instance details Associated Types type Rep QuantifierType :: Type -> Type Methods from :: QuantifierType -> Rep QuantifierType x to :: Rep QuantifierType x -> QuantifierType
Generic PositiveOrNegative Source #
Instance details Associated Types type Rep PositiveOrNegative :: Type -> Type Methods from :: PositiveOrNegative -> Rep PositiveOrNegative x to :: Rep PositiveOrNegative x -> PositiveOrNegative
Generic Character Source #
Instance details Associated Types type Rep Character :: Type -> Type Methods from :: Character -> Rep Character x to :: Rep Character x -> Character
Generic Relation Source #
Instance details Associated Types type Rep Relation :: Type -> Type Methods from :: Relation -> Rep Relation x to :: Rep Relation x -> Relation
Generic SameOrDifferent Source #
Instance details Associated Types type Rep SameOrDifferent :: Type -> Type Methods from :: SameOrDifferent -> Rep SameOrDifferent x to :: Rep SameOrDifferent x -> SameOrDifferent
Generic DomainOrRange Source #
Instance details Associated Types type Rep DomainOrRange :: Type -> Type Methods from :: DomainOrRange -> Rep DomainOrRange x to :: Rep DomainOrRange x -> DomainOrRange
Generic EquivOrDisjoint Source #
Instance details Associated Types type Rep EquivOrDisjoint :: Type -> Type Methods from :: EquivOrDisjoint -> Rep EquivOrDisjoint x to :: Rep EquivOrDisjoint x -> EquivOrDisjoint
Generic Profiles Source #
Instance details Associated Types type Rep Profiles :: Type -> Type Methods from :: Profiles -> Rep Profiles x to :: Rep Profiles x -> Profiles
Generic DesKind Source #
Instance details Associated Types type Rep DesKind :: Type -> Type Methods from :: DesKind -> Rep DesKind x to :: Rep DesKind x -> DesKind
Generic RoleType Source #
Instance details Associated Types type Rep RoleType :: Type -> Type Methods from :: RoleType -> Rep RoleType x to :: Rep RoleType x -> RoleType
Generic RoleKind Source #
Instance details Associated Types type Rep RoleKind :: Type -> Type Methods from :: RoleKind -> Rep RoleKind x to :: Rep RoleKind x -> RoleKind
Generic SignAxiom Source #
Instance details Associated Types type Rep SignAxiom :: Type -> Type Methods from :: SignAxiom -> Rep SignAxiom x to :: Rep SignAxiom x -> SignAxiom
Generic Sign Source #
Instance details Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
Generic RawSymb Source #
Instance details Associated Types type Rep RawSymb :: Type -> Type Methods from :: RawSymb -> Rep RawSymb x to :: Rep RawSymb x -> RawSymb
Generic SymbMapItems Source #
Instance details Associated Types type Rep SymbMapItems :: Type -> Type Methods from :: SymbMapItems -> Rep SymbMapItems x to :: Rep SymbMapItems x -> SymbMapItems
Generic SymbItems Source #
Instance details Associated Types type Rep SymbItems :: Type -> Type Methods from :: SymbItems -> Rep SymbItems x to :: Rep SymbItems x -> SymbItems
Generic ExtEntityType Source #
Instance details Associated Types type Rep ExtEntityType :: Type -> Type Methods from :: ExtEntityType -> Rep ExtEntityType x to :: Rep ExtEntityType x -> ExtEntityType
Generic OWLMorphism Source #
Instance details Associated Types type Rep OWLMorphism :: Type -> Type Methods from :: OWLMorphism -> Rep OWLMorphism x to :: Rep OWLMorphism x -> OWLMorphism
Generic OWLSub Source #
Instance details Associated Types type Rep OWLSub :: Type -> Type Methods from :: OWLSub -> Rep OWLSub x to :: Rep OWLSub x -> OWLSub
Generic NumberRestrictions Source #
Instance details Associated Types type Rep NumberRestrictions :: Type -> Type Methods from :: NumberRestrictions -> Rep NumberRestrictions x to :: Rep NumberRestrictions x -> NumberRestrictions
Generic ProfSub Source #
Instance details Associated Types type Rep ProfSub :: Type -> Type Methods from :: ProfSub -> Rep ProfSub x to :: Rep ProfSub x -> ProfSub
FromJSON Ontology Source #
Instance details Methods parseJSON :: Value -> Parser Ontology parseJSONList :: Value -> Parser [Ontology]
FromJSON PrefixDeclaration Source #
Instance details Methods parseJSON :: Value -> Parser PrefixDeclaration parseJSONList :: Value -> Parser [PrefixDeclaration]
FromJSON OntologyDocument Source #
Instance details Methods parseJSON :: Value -> Parser OntologyDocument parseJSONList :: Value -> Parser [OntologyDocument]
FromJSON OntologyMetadata Source #
Instance details Methods parseJSON :: Value -> Parser OntologyMetadata parseJSONList :: Value -> Parser [OntologyMetadata]
FromJSON OntologySyntaxType Source #
Instance details Methods parseJSON :: Value -> Parser OntologySyntaxType parseJSONList :: Value -> Parser [OntologySyntaxType]
FromJSON DGEdgeAssertion Source #
Instance details Methods parseJSON :: Value -> Parser DGEdgeAssertion parseJSONList :: Value -> Parser [DGEdgeAssertion]
FromJSON DGNodeAssertion Source #
Instance details Methods parseJSON :: Value -> Parser DGNodeAssertion parseJSONList :: Value -> Parser [DGNodeAssertion]
FromJSON DGAtom Source #
Instance details Methods parseJSON :: Value -> Parser DGAtom parseJSONList :: Value -> Parser [DGAtom]
FromJSON Atom Source #
Instance details Methods parseJSON :: Value -> Parser Atom parseJSONList :: Value -> Parser [Atom]
FromJSON UnknownArg Source #
Instance details Methods parseJSON :: Value -> Parser UnknownArg parseJSONList :: Value -> Parser [UnknownArg]
FromJSON DataArg Source #
Instance details Methods parseJSON :: Value -> Parser DataArg parseJSONList :: Value -> Parser [DataArg]
FromJSON IndividualArg Source #
Instance details Methods parseJSON :: Value -> Parser IndividualArg parseJSONList :: Value -> Parser [IndividualArg]
FromJSON Rule Source #
Instance details Methods parseJSON :: Value -> Parser Rule parseJSONList :: Value -> Parser [Rule]
FromJSON Assertion Source #
Instance details Methods parseJSON :: Value -> Parser Assertion parseJSONList :: Value -> Parser [Assertion]
FromJSON DataPropertyAxiom Source #
Instance details Methods parseJSON :: Value -> Parser DataPropertyAxiom parseJSONList :: Value -> Parser [DataPropertyAxiom]
FromJSON SubObjectPropertyExpression Source #
Instance details Methods parseJSON :: Value -> Parser SubObjectPropertyExpression parseJSONList :: Value -> Parser [SubObjectPropertyExpression]
FromJSON ObjectPropertyAxiom Source #
Instance details Methods parseJSON :: Value -> Parser ObjectPropertyAxiom parseJSONList :: Value -> Parser [ObjectPropertyAxiom]
FromJSON ClassAxiom Source #
Instance details Methods parseJSON :: Value -> Parser ClassAxiom parseJSONList :: Value -> Parser [ClassAxiom]
FromJSON Axiom Source #
Instance details Methods parseJSON :: Value -> Parser Axiom parseJSONList :: Value -> Parser [Axiom]
FromJSON AnnotationSubject Source #
Instance details Methods parseJSON :: Value -> Parser AnnotationSubject parseJSONList :: Value -> Parser [AnnotationSubject]
FromJSON AnnotationAxiom Source #
Instance details Methods parseJSON :: Value -> Parser AnnotationAxiom parseJSONList :: Value -> Parser [AnnotationAxiom]
FromJSON AnnotationValue Source #
Instance details Methods parseJSON :: Value -> Parser AnnotationValue parseJSONList :: Value -> Parser [AnnotationValue]
FromJSON Annotation Source #
Instance details Methods parseJSON :: Value -> Parser Annotation parseJSONList :: Value -> Parser [Annotation]
FromJSON ClassExpression Source #
Instance details Methods parseJSON :: Value -> Parser ClassExpression parseJSONList :: Value -> Parser [ClassExpression]
FromJSON DataRange Source #
Instance details Methods parseJSON :: Value -> Parser DataRange parseJSONList :: Value -> Parser [DataRange]
FromJSON ObjectPropertyExpression Source #
Instance details Methods parseJSON :: Value -> Parser ObjectPropertyExpression parseJSONList :: Value -> Parser [ObjectPropertyExpression]
FromJSON FloatLit Source #
Instance details Methods parseJSON :: Value -> Parser FloatLit parseJSONList :: Value -> Parser [FloatLit]
FromJSON DecLit Source #
Instance details Methods parseJSON :: Value -> Parser DecLit parseJSONList :: Value -> Parser [DecLit]
FromJSON IntLit Source #
Instance details Methods parseJSON :: Value -> Parser IntLit parseJSONList :: Value -> Parser [IntLit]
FromJSON NNInt Source #
Instance details Methods parseJSON :: Value -> Parser NNInt parseJSONList :: Value -> Parser [NNInt]
FromJSON Literal Source #
Instance details Methods parseJSON :: Value -> Parser Literal parseJSONList :: Value -> Parser [Literal]
FromJSON TypedOrUntyped Source #
Instance details Methods parseJSON :: Value -> Parser TypedOrUntyped parseJSONList :: Value -> Parser [TypedOrUntyped]
FromJSON EntityType Source #
Instance details Methods parseJSON :: Value -> Parser EntityType parseJSONList :: Value -> Parser [EntityType]
FromJSON Entity Source #
Instance details Methods parseJSON :: Value -> Parser Entity parseJSONList :: Value -> Parser [Entity]
FromJSON JunctionType Source #
Instance details Methods parseJSON :: Value -> Parser JunctionType parseJSONList :: Value -> Parser [JunctionType]
FromJSON CardinalityType Source #
Instance details Methods parseJSON :: Value -> Parser CardinalityType parseJSONList :: Value -> Parser [CardinalityType]
FromJSON DatatypeCat Source #
Instance details Methods parseJSON :: Value -> Parser DatatypeCat parseJSONList :: Value -> Parser [DatatypeCat]
FromJSON QuantifierType Source #
Instance details Methods parseJSON :: Value -> Parser QuantifierType parseJSONList :: Value -> Parser [QuantifierType]
FromJSON PositiveOrNegative Source #
Instance details Methods parseJSON :: Value -> Parser PositiveOrNegative parseJSONList :: Value -> Parser [PositiveOrNegative]
FromJSON Character Source #
Instance details Methods parseJSON :: Value -> Parser Character parseJSONList :: Value -> Parser [Character]
FromJSON Relation Source #
Instance details Methods parseJSON :: Value -> Parser Relation parseJSONList :: Value -> Parser [Relation]
FromJSON SameOrDifferent Source #
Instance details Methods parseJSON :: Value -> Parser SameOrDifferent parseJSONList :: Value -> Parser [SameOrDifferent]
FromJSON DomainOrRange Source #
Instance details Methods parseJSON :: Value -> Parser DomainOrRange parseJSONList :: Value -> Parser [DomainOrRange]
FromJSON EquivOrDisjoint Source #
Instance details Methods parseJSON :: Value -> Parser EquivOrDisjoint parseJSONList :: Value -> Parser [EquivOrDisjoint]
FromJSON Profiles Source #
Instance details Methods parseJSON :: Value -> Parser Profiles parseJSONList :: Value -> Parser [Profiles]
FromJSON DesKind Source #
Instance details Methods parseJSON :: Value -> Parser DesKind parseJSONList :: Value -> Parser [DesKind]
FromJSON RoleType Source #
Instance details Methods parseJSON :: Value -> Parser RoleType parseJSONList :: Value -> Parser [RoleType]
FromJSON RoleKind Source #
Instance details Methods parseJSON :: Value -> Parser RoleKind parseJSONList :: Value -> Parser [RoleKind]
FromJSON SignAxiom Source #
Instance details Methods parseJSON :: Value -> Parser SignAxiom parseJSONList :: Value -> Parser [SignAxiom]
FromJSON Sign Source #
Instance details Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
FromJSON RawSymb Source #
Instance details Methods parseJSON :: Value -> Parser RawSymb parseJSONList :: Value -> Parser [RawSymb]
FromJSON SymbMapItems Source #
Instance details Methods parseJSON :: Value -> Parser SymbMapItems parseJSONList :: Value -> Parser [SymbMapItems]
FromJSON SymbItems Source #
Instance details Methods parseJSON :: Value -> Parser SymbItems parseJSONList :: Value -> Parser [SymbItems]
FromJSON ExtEntityType Source #
Instance details Methods parseJSON :: Value -> Parser ExtEntityType parseJSONList :: Value -> Parser [ExtEntityType]
FromJSON OWLMorphism Source #
Instance details Methods parseJSON :: Value -> Parser OWLMorphism parseJSONList :: Value -> Parser [OWLMorphism]
FromJSON OWLSub Source #
Instance details Methods parseJSON :: Value -> Parser OWLSub parseJSONList :: Value -> Parser [OWLSub]
FromJSON NumberRestrictions Source #
Instance details Methods parseJSON :: Value -> Parser NumberRestrictions parseJSONList :: Value -> Parser [NumberRestrictions]
FromJSON ProfSub Source #
Instance details Methods parseJSON :: Value -> Parser ProfSub parseJSONList :: Value -> Parser [ProfSub]
ToJSON Ontology Source #
Instance details Methods toJSON :: Ontology -> Value toEncoding :: Ontology -> Encoding toJSONList :: [Ontology] -> Value toEncodingList :: [Ontology] -> Encoding
ToJSON PrefixDeclaration Source #
Instance details Methods toJSON :: PrefixDeclaration -> Value toEncoding :: PrefixDeclaration -> Encoding toJSONList :: [PrefixDeclaration] -> Value toEncodingList :: [PrefixDeclaration] -> Encoding
ToJSON OntologyDocument Source #
Instance details Methods toJSON :: OntologyDocument -> Value toEncoding :: OntologyDocument -> Encoding toJSONList :: [OntologyDocument] -> Value toEncodingList :: [OntologyDocument] -> Encoding
ToJSON OntologyMetadata Source #
Instance details Methods toJSON :: OntologyMetadata -> Value toEncoding :: OntologyMetadata -> Encoding toJSONList :: [OntologyMetadata] -> Value toEncodingList :: [OntologyMetadata] -> Encoding
ToJSON OntologySyntaxType Source #
Instance details Methods toJSON :: OntologySyntaxType -> Value toEncoding :: OntologySyntaxType -> Encoding toJSONList :: [OntologySyntaxType] -> Value toEncodingList :: [OntologySyntaxType] -> Encoding
ToJSON DGEdgeAssertion Source #
Instance details Methods toJSON :: DGEdgeAssertion -> Value toEncoding :: DGEdgeAssertion -> Encoding toJSONList :: [DGEdgeAssertion] -> Value toEncodingList :: [DGEdgeAssertion] -> Encoding
ToJSON DGNodeAssertion Source #
Instance details Methods toJSON :: DGNodeAssertion -> Value toEncoding :: DGNodeAssertion -> Encoding toJSONList :: [DGNodeAssertion] -> Value toEncodingList :: [DGNodeAssertion] -> Encoding
ToJSON DGAtom Source #
Instance details Methods toJSON :: DGAtom -> Value toEncoding :: DGAtom -> Encoding toJSONList :: [DGAtom] -> Value toEncodingList :: [DGAtom] -> Encoding
ToJSON Atom Source #
Instance details Methods toJSON :: Atom -> Value toEncoding :: Atom -> Encoding toJSONList :: [Atom] -> Value toEncodingList :: [Atom] -> Encoding
ToJSON UnknownArg Source #
Instance details Methods toJSON :: UnknownArg -> Value toEncoding :: UnknownArg -> Encoding toJSONList :: [UnknownArg] -> Value toEncodingList :: [UnknownArg] -> Encoding
ToJSON DataArg Source #
Instance details Methods toJSON :: DataArg -> Value toEncoding :: DataArg -> Encoding toJSONList :: [DataArg] -> Value toEncodingList :: [DataArg] -> Encoding
ToJSON IndividualArg Source #
Instance details Methods toJSON :: IndividualArg -> Value toEncoding :: IndividualArg -> Encoding toJSONList :: [IndividualArg] -> Value toEncodingList :: [IndividualArg] -> Encoding
ToJSON Rule Source #
Instance details Methods toJSON :: Rule -> Value toEncoding :: Rule -> Encoding toJSONList :: [Rule] -> Value toEncodingList :: [Rule] -> Encoding
ToJSON Assertion Source #
Instance details Methods toJSON :: Assertion -> Value toEncoding :: Assertion -> Encoding toJSONList :: [Assertion] -> Value toEncodingList :: [Assertion] -> Encoding
ToJSON DataPropertyAxiom Source #
Instance details Methods toJSON :: DataPropertyAxiom -> Value toEncoding :: DataPropertyAxiom -> Encoding toJSONList :: [DataPropertyAxiom] -> Value toEncodingList :: [DataPropertyAxiom] -> Encoding
ToJSON SubObjectPropertyExpression Source #
Instance details Methods toJSON :: SubObjectPropertyExpression -> Value toEncoding :: SubObjectPropertyExpression -> Encoding toJSONList :: [SubObjectPropertyExpression] -> Value toEncodingList :: [SubObjectPropertyExpression] -> Encoding
ToJSON ObjectPropertyAxiom Source #
Instance details Methods toJSON :: ObjectPropertyAxiom -> Value toEncoding :: ObjectPropertyAxiom -> Encoding toJSONList :: [ObjectPropertyAxiom] -> Value toEncodingList :: [ObjectPropertyAxiom] -> Encoding
ToJSON ClassAxiom Source #
Instance details Methods toJSON :: ClassAxiom -> Value toEncoding :: ClassAxiom -> Encoding toJSONList :: [ClassAxiom] -> Value toEncodingList :: [ClassAxiom] -> Encoding
ToJSON Axiom Source #
Instance details Methods toJSON :: Axiom -> Value toEncoding :: Axiom -> Encoding toJSONList :: [Axiom] -> Value toEncodingList :: [Axiom] -> Encoding
ToJSON AnnotationSubject Source #
Instance details Methods toJSON :: AnnotationSubject -> Value toEncoding :: AnnotationSubject -> Encoding toJSONList :: [AnnotationSubject] -> Value toEncodingList :: [AnnotationSubject] -> Encoding
ToJSON AnnotationAxiom Source #
Instance details Methods toJSON :: AnnotationAxiom -> Value toEncoding :: AnnotationAxiom -> Encoding toJSONList :: [AnnotationAxiom] -> Value toEncodingList :: [AnnotationAxiom] -> Encoding
ToJSON AnnotationValue Source #
Instance details Methods toJSON :: AnnotationValue -> Value toEncoding :: AnnotationValue -> Encoding toJSONList :: [AnnotationValue] -> Value toEncodingList :: [AnnotationValue] -> Encoding
ToJSON Annotation Source #
Instance details Methods toJSON :: Annotation -> Value toEncoding :: Annotation -> Encoding toJSONList :: [Annotation] -> Value toEncodingList :: [Annotation] -> Encoding
ToJSON ClassExpression Source #
Instance details Methods toJSON :: ClassExpression -> Value toEncoding :: ClassExpression -> Encoding toJSONList :: [ClassExpression] -> Value toEncodingList :: [ClassExpression] -> Encoding
ToJSON DataRange Source #
Instance details Methods toJSON :: DataRange -> Value toEncoding :: DataRange -> Encoding toJSONList :: [DataRange] -> Value toEncodingList :: [DataRange] -> Encoding
ToJSON ObjectPropertyExpression Source #
Instance details Methods toJSON :: ObjectPropertyExpression -> Value toEncoding :: ObjectPropertyExpression -> Encoding toJSONList :: [ObjectPropertyExpression] -> Value toEncodingList :: [ObjectPropertyExpression] -> Encoding
ToJSON FloatLit Source #
Instance details Methods toJSON :: FloatLit -> Value toEncoding :: FloatLit -> Encoding toJSONList :: [FloatLit] -> Value toEncodingList :: [FloatLit] -> Encoding
ToJSON DecLit Source #
Instance details Methods toJSON :: DecLit -> Value toEncoding :: DecLit -> Encoding toJSONList :: [DecLit] -> Value toEncodingList :: [DecLit] -> Encoding
ToJSON IntLit Source #
Instance details Methods toJSON :: IntLit -> Value toEncoding :: IntLit -> Encoding toJSONList :: [IntLit] -> Value toEncodingList :: [IntLit] -> Encoding
ToJSON NNInt Source #
Instance details Methods toJSON :: NNInt -> Value toEncoding :: NNInt -> Encoding toJSONList :: [NNInt] -> Value toEncodingList :: [NNInt] -> Encoding
ToJSON Literal Source #
Instance details Methods toJSON :: Literal -> Value toEncoding :: Literal -> Encoding toJSONList :: [Literal] -> Value toEncodingList :: [Literal] -> Encoding
ToJSON TypedOrUntyped Source #
Instance details Methods toJSON :: TypedOrUntyped -> Value toEncoding :: TypedOrUntyped -> Encoding toJSONList :: [TypedOrUntyped] -> Value toEncodingList :: [TypedOrUntyped] -> Encoding
ToJSON EntityType Source #
Instance details Methods toJSON :: EntityType -> Value toEncoding :: EntityType -> Encoding toJSONList :: [EntityType] -> Value toEncodingList :: [EntityType] -> Encoding
ToJSON Entity Source #
Instance details Methods toJSON :: Entity -> Value toEncoding :: Entity -> Encoding toJSONList :: [Entity] -> Value toEncodingList :: [Entity] -> Encoding
ToJSON JunctionType Source #
Instance details Methods toJSON :: JunctionType -> Value toEncoding :: JunctionType -> Encoding toJSONList :: [JunctionType] -> Value toEncodingList :: [JunctionType] -> Encoding
ToJSON CardinalityType Source #
Instance details Methods toJSON :: CardinalityType -> Value toEncoding :: CardinalityType -> Encoding toJSONList :: [CardinalityType] -> Value toEncodingList :: [CardinalityType] -> Encoding
ToJSON DatatypeCat Source #
Instance details Methods toJSON :: DatatypeCat -> Value toEncoding :: DatatypeCat -> Encoding toJSONList :: [DatatypeCat] -> Value toEncodingList :: [DatatypeCat] -> Encoding
ToJSON QuantifierType Source #
Instance details Methods toJSON :: QuantifierType -> Value toEncoding :: QuantifierType -> Encoding toJSONList :: [QuantifierType] -> Value toEncodingList :: [QuantifierType] -> Encoding
ToJSON PositiveOrNegative Source #
Instance details Methods toJSON :: PositiveOrNegative -> Value toEncoding :: PositiveOrNegative -> Encoding toJSONList :: [PositiveOrNegative] -> Value toEncodingList :: [PositiveOrNegative] -> Encoding
ToJSON Character Source #
Instance details Methods toJSON :: Character -> Value toEncoding :: Character -> Encoding toJSONList :: [Character] -> Value toEncodingList :: [Character] -> Encoding
ToJSON Relation Source #
Instance details Methods toJSON :: Relation -> Value toEncoding :: Relation -> Encoding toJSONList :: [Relation] -> Value toEncodingList :: [Relation] -> Encoding
ToJSON SameOrDifferent Source #
Instance details Methods toJSON :: SameOrDifferent -> Value toEncoding :: SameOrDifferent -> Encoding toJSONList :: [SameOrDifferent] -> Value toEncodingList :: [SameOrDifferent] -> Encoding
ToJSON DomainOrRange Source #
Instance details Methods toJSON :: DomainOrRange -> Value toEncoding :: DomainOrRange -> Encoding toJSONList :: [DomainOrRange] -> Value toEncodingList :: [DomainOrRange] -> Encoding
ToJSON EquivOrDisjoint Source #
Instance details Methods toJSON :: EquivOrDisjoint -> Value toEncoding :: EquivOrDisjoint -> Encoding toJSONList :: [EquivOrDisjoint] -> Value toEncodingList :: [EquivOrDisjoint] -> Encoding
ToJSON Profiles Source #
Instance details Methods toJSON :: Profiles -> Value toEncoding :: Profiles -> Encoding toJSONList :: [Profiles] -> Value toEncodingList :: [Profiles] -> Encoding
ToJSON DesKind Source #
Instance details Methods toJSON :: DesKind -> Value toEncoding :: DesKind -> Encoding toJSONList :: [DesKind] -> Value toEncodingList :: [DesKind] -> Encoding
ToJSON RoleType Source #
Instance details Methods toJSON :: RoleType -> Value toEncoding :: RoleType -> Encoding toJSONList :: [RoleType] -> Value toEncodingList :: [RoleType] -> Encoding
ToJSON RoleKind Source #
Instance details Methods toJSON :: RoleKind -> Value toEncoding :: RoleKind -> Encoding toJSONList :: [RoleKind] -> Value toEncodingList :: [RoleKind] -> Encoding
ToJSON SignAxiom Source #
Instance details Methods toJSON :: SignAxiom -> Value toEncoding :: SignAxiom -> Encoding toJSONList :: [SignAxiom] -> Value toEncodingList :: [SignAxiom] -> Encoding
ToJSON Sign Source #
Instance details Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> Encoding
ToJSON RawSymb Source #
Instance details Methods toJSON :: RawSymb -> Value toEncoding :: RawSymb -> Encoding toJSONList :: [RawSymb] -> Value toEncodingList :: [RawSymb] -> Encoding
ToJSON SymbMapItems Source #
Instance details Methods toJSON :: SymbMapItems -> Value toEncoding :: SymbMapItems -> Encoding toJSONList :: [SymbMapItems] -> Value toEncodingList :: [SymbMapItems] -> Encoding
ToJSON SymbItems Source #
Instance details Methods toJSON :: SymbItems -> Value toEncoding :: SymbItems -> Encoding toJSONList :: [SymbItems] -> Value toEncodingList :: [SymbItems] -> Encoding
ToJSON ExtEntityType Source #
Instance details Methods toJSON :: ExtEntityType -> Value toEncoding :: ExtEntityType -> Encoding toJSONList :: [ExtEntityType] -> Value toEncodingList :: [ExtEntityType] -> Encoding
ToJSON OWLMorphism Source #
Instance details Methods toJSON :: OWLMorphism -> Value toEncoding :: OWLMorphism -> Encoding toJSONList :: [OWLMorphism] -> Value toEncodingList :: [OWLMorphism] -> Encoding
ToJSON OWLSub Source #
Instance details Methods toJSON :: OWLSub -> Value toEncoding :: OWLSub -> Encoding toJSONList :: [OWLSub] -> Value toEncodingList :: [OWLSub] -> Encoding
ToJSON NumberRestrictions Source #
Instance details Methods toJSON :: NumberRestrictions -> Value toEncoding :: NumberRestrictions -> Encoding toJSONList :: [NumberRestrictions] -> Value toEncodingList :: [NumberRestrictions] -> Encoding
ToJSON ProfSub Source #
Instance details Methods toJSON :: ProfSub -> Value toEncoding :: ProfSub -> Encoding toJSONList :: [ProfSub] -> Value toEncodingList :: [ProfSub] -> Encoding
ShATermConvertible Ontology Source #
Instance details Methods toShATermAux :: ATermTable -> Ontology -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Ontology] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Ontology) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Ontology])
ShATermConvertible PrefixDeclaration Source #
Instance details Methods toShATermAux :: ATermTable -> PrefixDeclaration -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PrefixDeclaration] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PrefixDeclaration) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PrefixDeclaration])
ShATermConvertible OntologyDocument Source #
Instance details Methods toShATermAux :: ATermTable -> OntologyDocument -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OntologyDocument] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OntologyDocument) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OntologyDocument])
ShATermConvertible OntologyMetadata Source #
Instance details Methods toShATermAux :: ATermTable -> OntologyMetadata -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OntologyMetadata] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OntologyMetadata) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OntologyMetadata])
ShATermConvertible OntologySyntaxType Source #
Instance details Methods toShATermAux :: ATermTable -> OntologySyntaxType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OntologySyntaxType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OntologySyntaxType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OntologySyntaxType])
ShATermConvertible DGEdgeAssertion Source #
Instance details Methods toShATermAux :: ATermTable -> DGEdgeAssertion -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DGEdgeAssertion] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DGEdgeAssertion) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DGEdgeAssertion])
ShATermConvertible DGNodeAssertion Source #
Instance details Methods toShATermAux :: ATermTable -> DGNodeAssertion -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DGNodeAssertion] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DGNodeAssertion) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DGNodeAssertion])
ShATermConvertible DGAtom Source #
Instance details Methods toShATermAux :: ATermTable -> DGAtom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DGAtom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DGAtom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DGAtom])
ShATermConvertible Atom Source #
Instance details Methods toShATermAux :: ATermTable -> Atom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Atom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Atom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Atom])
ShATermConvertible UnknownArg Source #
Instance details Methods toShATermAux :: ATermTable -> UnknownArg -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [UnknownArg] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, UnknownArg) fromShATermList' :: Int -> ATermTable -> (ATermTable, [UnknownArg])
ShATermConvertible DataArg Source #
Instance details Methods toShATermAux :: ATermTable -> DataArg -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DataArg] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DataArg) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DataArg])
ShATermConvertible IndividualArg Source #
Instance details Methods toShATermAux :: ATermTable -> IndividualArg -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [IndividualArg] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, IndividualArg) fromShATermList' :: Int -> ATermTable -> (ATermTable, [IndividualArg])
ShATermConvertible Rule Source #
Instance details Methods toShATermAux :: ATermTable -> Rule -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Rule] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Rule) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Rule])
ShATermConvertible Assertion Source #
Instance details Methods toShATermAux :: ATermTable -> Assertion -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Assertion] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Assertion) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Assertion])
ShATermConvertible DataPropertyAxiom Source #
Instance details Methods toShATermAux :: ATermTable -> DataPropertyAxiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DataPropertyAxiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DataPropertyAxiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DataPropertyAxiom])
ShATermConvertible SubObjectPropertyExpression Source #
Instance details Methods toShATermAux :: ATermTable -> SubObjectPropertyExpression -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SubObjectPropertyExpression] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SubObjectPropertyExpression) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SubObjectPropertyExpression])
ShATermConvertible ObjectPropertyAxiom Source #
Instance details Methods toShATermAux :: ATermTable -> ObjectPropertyAxiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ObjectPropertyAxiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ObjectPropertyAxiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ObjectPropertyAxiom])
ShATermConvertible ClassAxiom Source #
Instance details Methods toShATermAux :: ATermTable -> ClassAxiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ClassAxiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ClassAxiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClassAxiom])
ShATermConvertible Axiom Source #
Instance details Methods toShATermAux :: ATermTable -> Axiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Axiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Axiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Axiom])
ShATermConvertible AnnotationSubject Source #
Instance details Methods toShATermAux :: ATermTable -> AnnotationSubject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AnnotationSubject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AnnotationSubject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnnotationSubject])
ShATermConvertible AnnotationAxiom Source #
Instance details Methods toShATermAux :: ATermTable -> AnnotationAxiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AnnotationAxiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AnnotationAxiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnnotationAxiom])
ShATermConvertible AnnotationValue Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> EquivOrDisjoint -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EquivOrDisjoint] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EquivOrDisjoint) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EquivOrDisjoint])
ShATermConvertible Profiles Source #
Instance details Methods toShATermAux :: ATermTable -> Profiles -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Profiles] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Profiles) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Profiles])
ShATermConvertible DesKind Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])
ShATermConvertible RawSymb Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> ExtEntityType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ExtEntityType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ExtEntityType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ExtEntityType])
ShATermConvertible OWLMorphism Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> ProfSub -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ProfSub] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ProfSub) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProfSub])
Generic (DomainOrRangeOrFunc a) Source #
Instance details Associated Types type Rep (DomainOrRangeOrFunc a) :: Type -> Type Methods from :: DomainOrRangeOrFunc a -> Rep (DomainOrRangeOrFunc a) x to :: Rep (DomainOrRangeOrFunc a) x -> DomainOrRangeOrFunc a
FromJSON a => FromJSON (DomainOrRangeOrFunc a) Source #
Instance details Methods parseJSON :: Value -> Parser (DomainOrRangeOrFunc a) parseJSONList :: Value -> Parser [DomainOrRangeOrFunc a]
ToJSON a => ToJSON (DomainOrRangeOrFunc a) Source #
Instance details Methods toJSON :: DomainOrRangeOrFunc a -> Value toEncoding :: DomainOrRangeOrFunc a -> Encoding toJSONList :: [DomainOrRangeOrFunc a] -> Value toEncodingList :: [DomainOrRangeOrFunc a] -> Encoding
ShATermConvertible a => ShATermConvertible (DomainOrRangeOrFunc a) Source #
Instance details 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])
Generic (Cardinality a b) Source #
Instance details Associated Types type Rep (Cardinality a b) :: Type -> Type Methods from :: Cardinality a b -> Rep (Cardinality a b) x to :: Rep (Cardinality a b) x -> Cardinality a b
(FromJSON a, FromJSON b) => FromJSON (Cardinality a b) Source #
Instance details Methods parseJSON :: Value -> Parser (Cardinality a b) parseJSONList :: Value -> Parser [Cardinality a b]
(ToJSON a, ToJSON b) => ToJSON (Cardinality a b) Source #
Instance details Methods toJSON :: Cardinality a b -> Value toEncoding :: Cardinality a b -> Encoding toJSONList :: [Cardinality a b] -> Value toEncodingList :: [Cardinality a b] -> Encoding
(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (Cardinality a b) Source #
Instance details 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])