Hets - the Heterogeneous Tool Set

Copyright(c) Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.mance@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.Profiles

Description

OWL2 Profiles (EL, QL and RL)

References : http://www.w3.org/TR/owl2-profiles/

Documentation

data Profiles Source #

Constructors

Profiles 

Fields

  • el :: Bool
     
  • ql :: Bool
     
  • rl :: Bool
     

Instances

Eq Profiles Source # 

Methods

(==) :: Profiles -> Profiles -> Bool

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

Data Profiles Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Profiles -> c Profiles

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Profiles

toConstr :: Profiles -> Constr

dataTypeOf :: Profiles -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Profiles)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Profiles)

gmapT :: (forall b. Data b => b -> b) -> Profiles -> Profiles

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Profiles -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Profiles -> r

gmapQ :: (forall d. Data d => d -> u) -> Profiles -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Profiles -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Profiles -> m Profiles

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Profiles -> m Profiles

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Profiles -> m Profiles

Ord Profiles Source # 

Methods

compare :: Profiles -> Profiles -> Ordering

(<) :: Profiles -> Profiles -> Bool

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

(>) :: Profiles -> Profiles -> Bool

(>=) :: Profiles -> Profiles -> Bool

max :: Profiles -> Profiles -> Profiles

min :: Profiles -> Profiles -> Profiles

Show Profiles Source # 

Methods

showsPrec :: Int -> Profiles -> ShowS

show :: Profiles -> String

showList :: [Profiles] -> ShowS

andList :: (a -> Profiles) -> [a] -> Profiles Source #

char :: [Character] -> [Character] -> Bool Source #