Copyright | (c) Felix Gabriel Mance |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | f.mance@jacobs-university.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
OWL2.Symbols
Contents
Description
Symbol items for Hets
Synopsis
- data ExtEntityType
- data SymbItems = SymbItems ExtEntityType [IRI]
- symbItemsName :: SymbItems -> [String]
- data SymbMapItems = SymbMapItems ExtEntityType [(IRI, Maybe IRI)]
- data RawSymb
- idToRaw :: Id -> RawSymb
SYMBOL ITEMS FOR HETS
data ExtEntityType Source #
Constructors
AnyEntity | |
PrefixO | |
EntityType EntityType |
Instances
Eq ExtEntityType Source # | |
Data ExtEntityType Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExtEntityType -> c ExtEntityType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExtEntityType toConstr :: ExtEntityType -> Constr dataTypeOf :: ExtEntityType -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ExtEntityType) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExtEntityType) gmapT :: (forall b. Data b => b -> b) -> ExtEntityType -> ExtEntityType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExtEntityType -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExtEntityType -> r gmapQ :: (forall d. Data d => d -> u) -> ExtEntityType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ExtEntityType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExtEntityType -> m ExtEntityType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtEntityType -> m ExtEntityType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtEntityType -> m ExtEntityType | |
Ord ExtEntityType Source # | |
Methods compare :: ExtEntityType -> ExtEntityType -> Ordering (<) :: ExtEntityType -> ExtEntityType -> Bool (<=) :: ExtEntityType -> ExtEntityType -> Bool (>) :: ExtEntityType -> ExtEntityType -> Bool (>=) :: ExtEntityType -> ExtEntityType -> Bool max :: ExtEntityType -> ExtEntityType -> ExtEntityType min :: ExtEntityType -> ExtEntityType -> ExtEntityType | |
Show ExtEntityType Source # | |
Methods showsPrec :: Int -> ExtEntityType -> ShowS show :: ExtEntityType -> String showList :: [ExtEntityType] -> ShowS |
Constructors
SymbItems ExtEntityType [IRI] |
Instances
symbItemsName :: SymbItems -> [String] Source #
data SymbMapItems Source #
Constructors
SymbMapItems ExtEntityType [(IRI, Maybe IRI)] |
Instances
raw symbols
Instances