Copyright	(c) Heng Jiang Uni Bremen 2005-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

OWL2.Print

Contents

Orphan instances

Description

Pretty printing for the Manchester Syntax of OWL 2.

Documentation

printCharact :: String -> Doc Source #

printIRI :: IRI -> Doc Source #

printDataIRI :: IRI -> Doc Source #

cardinalityType :: CardinalityType -> Doc Source #

quantifierType :: QuantifierType -> Doc Source #

printRelation :: Relation -> Doc Source #

printEquivOrDisjointClasses :: EquivOrDisjoint -> Doc Source #

printEquivOrDisjointProp :: EquivOrDisjoint -> Doc Source #

printPositiveOrNegative :: PositiveOrNegative -> Doc Source #

printSameOrDifferentInd :: SameOrDifferent -> Doc Source #

printObjPropExp :: ObjectPropertyExpression -> Doc Source #

printFV :: (ConstrainingFacet, RestrictionValue) -> Doc Source #

fromCF :: ConstrainingFacet -> String Source #

printDataRange :: DataRange -> Doc Source #

printPrimary :: ClassExpression -> Doc Source #

printNegatedPrimary :: ClassExpression -> Doc Source #

printAnnotation :: Annotation -> Doc Source #

printAnnotations :: Annotations -> Doc Source #

printAnnotatedList :: Pretty a => AnnotatedList a -> Doc Source #

Orphan instances

GetRange RawSymb Source #
Instance details Methods getRange :: RawSymb -> Range Source # rangeSpan :: RawSymb -> [Pos] Source #
Pretty DatatypeFacet Source #
Instance details Methods pretty :: DatatypeFacet -> Doc Source # pretties :: [DatatypeFacet] -> Doc Source #
Pretty AnnotationValue Source #	annotations printing
Instance details Methods pretty :: AnnotationValue -> Doc Source # pretties :: [AnnotationValue] -> Doc Source #
Pretty Annotation Source #
Instance details Methods pretty :: Annotation -> Doc Source # pretties :: [Annotation] -> Doc Source #
Pretty ClassExpression Source #	Printing the ClassExpression
Instance details Methods pretty :: ClassExpression -> Doc Source # pretties :: [ClassExpression] -> Doc Source #
Pretty DataRange Source #	Printing the DataRange
Instance details Methods pretty :: DataRange -> Doc Source # pretties :: [DataRange] -> Doc Source #
Pretty ObjectPropertyExpression Source #
Instance details Methods pretty :: ObjectPropertyExpression -> Doc Source # pretties :: [ObjectPropertyExpression] -> Doc Source #
Pretty Literal Source #
Instance details Methods pretty :: Literal -> Doc Source # pretties :: [Literal] -> Doc Source #
Pretty Entity Source #
Instance details Methods pretty :: Entity -> Doc Source # pretties :: [Entity] -> Doc Source #
Pretty Character Source #
Instance details Methods pretty :: Character -> Doc Source # pretties :: [Character] -> Doc Source #
Pretty RawSymb Source #
Instance details Methods pretty :: RawSymb -> Doc Source # pretties :: [RawSymb] -> Doc Source #
Pretty SymbMapItems Source #
Instance details Methods pretty :: SymbMapItems -> Doc Source # pretties :: [SymbMapItems] -> Doc Source #
Pretty SymbItems Source #
Instance details Methods pretty :: SymbItems -> Doc Source # pretties :: [SymbItems] -> Doc Source #
Pretty ExtEntityType Source #	Symbols printing
Instance details Methods pretty :: ExtEntityType -> Doc Source # pretties :: [ExtEntityType] -> Doc Source #