Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder DFKI GmbH
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.ShipSyntax

Description

different pretty printing for the SHIP tool

Synopsis

Documentation

data Concept Source #

Constructors

CName String 
NominalC String 
NotC Concept 
JoinedC (Maybe JunctionType) [Concept] 
Quant (Either QuantifierType (CardinalityType, Int)) Role Concept 

Instances

Eq Concept Source # 

Methods

(==) :: Concept -> Concept -> Bool

(/=) :: Concept -> Concept -> Bool

Ord Concept Source # 

Methods

compare :: Concept -> Concept -> Ordering

(<) :: Concept -> Concept -> Bool

(<=) :: Concept -> Concept -> Bool

(>) :: Concept -> Concept -> Bool

(>=) :: Concept -> Concept -> Bool

max :: Concept -> Concept -> Concept

min :: Concept -> Concept -> Concept

Show Concept Source # 

Methods

showsPrec :: Int -> Concept -> ShowS

show :: Concept -> String

showList :: [Concept] -> ShowS

data Role Source #

Constructors

RName String 
NominalR String String 
UnOp NotOrInverse Role 
JoinedR (Maybe JunctionType) [Role] 

Instances

Eq Role Source # 

Methods

(==) :: Role -> Role -> Bool

(/=) :: Role -> Role -> Bool

Ord Role Source # 

Methods

compare :: Role -> Role -> Ordering

(<) :: Role -> Role -> Bool

(<=) :: Role -> Role -> Bool

(>) :: Role -> Role -> Bool

(>=) :: Role -> Role -> Bool

max :: Role -> Role -> Role

min :: Role -> Role -> Role

Show Role Source # 

Methods

showsPrec :: Int -> Role -> ShowS

show :: Role -> String

showList :: [Role] -> ShowS

ppJunction :: Bool -> Maybe JunctionType -> Doc Source #

pppConcept :: Bool -> Maybe JunctionType -> Concept -> Doc Source #

skip :: CharParser st () Source #

myLetter :: CharParser st Char Source #

nominal :: CharParser st String Source #

key :: String -> CharParser st () Source #

skipKey :: String -> CharParser st () Source #

quant :: CharParser st QuantifierType Source #

card :: CharParser st CardinalityType Source #

quantOrCard :: CharParser st (Either QuantifierType (CardinalityType, Int)) Source #

skipChar :: Char -> CharParser st () Source #

commaP :: CharParser st () Source #

colonP :: CharParser st () Source #

equalP :: CharParser st () Source #

bulletP :: CharParser st () Source #

primConcept :: CharParser st Concept Source #

braced :: CharParser st a -> CharParser st a Source #

parent :: CharParser st a -> CharParser st a Source #

binPP :: ([a] -> a) -> CharParser st sep -> CharParser st a -> CharParser st a Source #

binP :: ([a] -> a) -> String -> CharParser st a -> CharParser st a Source #

binC :: ([a] -> a) -> Char -> CharParser st a -> CharParser st a Source #

andConcept :: CharParser st Concept Source #

plus :: CharParser st () Source #

orConcept :: CharParser st Concept Source #

concept :: CharParser st Concept Source #

notOrInv :: CharParser st NotOrInverse Source #

nomPair :: (String -> String -> a) -> CharParser st a Source #

primRole :: CharParser st Role Source #

compRole :: CharParser st Role Source #

andRole :: CharParser st Role Source #

role :: CharParser st Role Source #

data EqOrLess Source #

Constructors

Eq 
Less 

Instances

Eq EqOrLess Source # 

Methods

(==) :: EqOrLess -> EqOrLess -> Bool

(/=) :: EqOrLess -> EqOrLess -> Bool

Ord EqOrLess Source # 

Methods

compare :: EqOrLess -> EqOrLess -> Ordering

(<) :: EqOrLess -> EqOrLess -> Bool

(<=) :: EqOrLess -> EqOrLess -> Bool

(>) :: EqOrLess -> EqOrLess -> Bool

(>=) :: EqOrLess -> EqOrLess -> Bool

max :: EqOrLess -> EqOrLess -> EqOrLess

min :: EqOrLess -> EqOrLess -> EqOrLess

Show EqOrLess Source # 

Methods

showsPrec :: Int -> EqOrLess -> ShowS

show :: EqOrLess -> String

showList :: [EqOrLess] -> ShowS

data RoleType Source #

Constructors

RoleType Concept Concept 

Instances

Eq RoleType Source # 

Methods

(==) :: RoleType -> RoleType -> Bool

(/=) :: RoleType -> RoleType -> Bool

Ord RoleType Source # 

Methods

compare :: RoleType -> RoleType -> Ordering

(<) :: RoleType -> RoleType -> Bool

(<=) :: RoleType -> RoleType -> Bool

(>) :: RoleType -> RoleType -> Bool

(>=) :: RoleType -> RoleType -> Bool

max :: RoleType -> RoleType -> RoleType

min :: RoleType -> RoleType -> RoleType

Show RoleType Source # 

Methods

showsPrec :: Int -> RoleType -> ShowS

show :: RoleType -> String

showList :: [RoleType] -> ShowS

data ConceptRhs Source #

Instances

Eq ConceptRhs Source # 

Methods

(==) :: ConceptRhs -> ConceptRhs -> Bool

(/=) :: ConceptRhs -> ConceptRhs -> Bool

Ord ConceptRhs Source # 
Show ConceptRhs Source # 

Methods

showsPrec :: Int -> ConceptRhs -> ShowS

show :: ConceptRhs -> String

showList :: [ConceptRhs] -> ShowS

data TBoxCons Source #

Constructors

TBoxCons Concept [(Role, Concept)] 

Instances

Eq TBoxCons Source # 

Methods

(==) :: TBoxCons -> TBoxCons -> Bool

(/=) :: TBoxCons -> TBoxCons -> Bool

Ord TBoxCons Source # 

Methods

compare :: TBoxCons -> TBoxCons -> Ordering

(<) :: TBoxCons -> TBoxCons -> Bool

(<=) :: TBoxCons -> TBoxCons -> Bool

(>) :: TBoxCons -> TBoxCons -> Bool

(>=) :: TBoxCons -> TBoxCons -> Bool

max :: TBoxCons -> TBoxCons -> TBoxCons

min :: TBoxCons -> TBoxCons -> TBoxCons

Show TBoxCons Source # 

Methods

showsPrec :: Int -> TBoxCons -> ShowS

show :: TBoxCons -> String

showList :: [TBoxCons] -> ShowS

data TBox Source #

Instances

Eq TBox Source # 

Methods

(==) :: TBox -> TBox -> Bool

(/=) :: TBox -> TBox -> Bool

Ord TBox Source # 

Methods

compare :: TBox -> TBox -> Ordering

(<) :: TBox -> TBox -> Bool

(<=) :: TBox -> TBox -> Bool

(>) :: TBox -> TBox -> Bool

(>=) :: TBox -> TBox -> Bool

max :: TBox -> TBox -> TBox

min :: TBox -> TBox -> TBox

Show TBox Source # 

Methods

showsPrec :: Int -> TBox -> ShowS

show :: TBox -> String

showList :: [TBox] -> ShowS

data RBox Source #

Instances

Eq RBox Source # 

Methods

(==) :: RBox -> RBox -> Bool

(/=) :: RBox -> RBox -> Bool

Ord RBox Source # 

Methods

compare :: RBox -> RBox -> Ordering

(<) :: RBox -> RBox -> Bool

(<=) :: RBox -> RBox -> Bool

(>) :: RBox -> RBox -> Bool

(>=) :: RBox -> RBox -> Bool

max :: RBox -> RBox -> RBox

min :: RBox -> RBox -> RBox

Show RBox Source # 

Methods

showsPrec :: Int -> RBox -> ShowS

show :: RBox -> String

showList :: [RBox] -> ShowS

data ABox Source #

assertions

Constructors

AConcept String Concept 
ARole String String Role 
AIndividual String SameOrDifferent String 

Instances

Eq ABox Source # 

Methods

(==) :: ABox -> ABox -> Bool

(/=) :: ABox -> ABox -> Bool

Ord ABox Source # 

Methods

compare :: ABox -> ABox -> Ordering

(<) :: ABox -> ABox -> Bool

(<=) :: ABox -> ABox -> Bool

(>) :: ABox -> ABox -> Bool

(>=) :: ABox -> ABox -> Bool

max :: ABox -> ABox -> ABox

min :: ABox -> ABox -> ABox

Show ABox Source # 

Methods

showsPrec :: Int -> ABox -> ShowS

show :: ABox -> String

showList :: [ABox] -> ShowS

data Box Source #

Constructors

Box [TBox] [RBox] [ABox] 

Instances

Eq Box Source # 

Methods

(==) :: Box -> Box -> Bool

(/=) :: Box -> Box -> Bool

Ord Box Source # 

Methods

compare :: Box -> Box -> Ordering

(<) :: Box -> Box -> Bool

(<=) :: Box -> Box -> Bool

(>) :: Box -> Box -> Bool

(>=) :: Box -> Box -> Bool

max :: Box -> Box -> Box

min :: Box -> Box -> Box

Show Box Source # 

Methods

showsPrec :: Int -> Box -> ShowS

show :: Box -> String

showList :: [Box] -> ShowS

character :: CharParser st Character Source #

eqOrLess :: CharParser st EqOrLess Source #

tbox :: CharParser st TBox Source #

tboxCons :: CharParser st TBoxCons Source #

rbox :: CharParser st RBox Source #

abox :: CharParser st ABox Source #

pSame :: CharParser st SameOrDifferent Source #

box :: CharParser st Box Source #

imprts :: CharParser st () Source #

rename :: CharParser st () Source #

nmap :: GenParser Char st [()] Source #

ppp :: (a -> Doc) -> CharParser () a -> String -> String Source #