Copyright | (c) Klaus Luettich Uni Bremen 2004 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | luecke@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
CASL_DL.Sign
Description
Signatures for DL logics, as extension of CASL signatures.
Documentation
data CASL_DLSign Source #
Constructors
CASL_DLSign | |
Fields
|
Instances
data PropertyType Source #
Constructors
AnnoProperty | |
OntoProperty |
Instances
Eq PropertyType Source # | |
Data PropertyType Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PropertyType -> c PropertyType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PropertyType toConstr :: PropertyType -> Constr dataTypeOf :: PropertyType -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PropertyType) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PropertyType) gmapT :: (forall b. Data b => b -> b) -> PropertyType -> PropertyType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PropertyType -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PropertyType -> r gmapQ :: (forall d. Data d => d -> u) -> PropertyType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PropertyType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PropertyType -> m PropertyType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PropertyType -> m PropertyType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PropertyType -> m PropertyType | |
Ord PropertyType Source # | |
Methods compare :: PropertyType -> PropertyType -> Ordering (<) :: PropertyType -> PropertyType -> Bool (<=) :: PropertyType -> PropertyType -> Bool (>) :: PropertyType -> PropertyType -> Bool (>=) :: PropertyType -> PropertyType -> Bool max :: PropertyType -> PropertyType -> PropertyType min :: PropertyType -> PropertyType -> PropertyType | |
Show PropertyType Source # | |
Methods showsPrec :: Int -> PropertyType -> ShowS show :: PropertyType -> String showList :: [PropertyType] -> ShowS |
Constructors
AnnoAppl SIMPLE_ID Id AnnoLiteral |
Instances
Eq AnnoAppl Source # | |
Data AnnoAppl Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnoAppl -> c AnnoAppl gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnoAppl toConstr :: AnnoAppl -> Constr dataTypeOf :: AnnoAppl -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c AnnoAppl) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnoAppl) gmapT :: (forall b. Data b => b -> b) -> AnnoAppl -> AnnoAppl gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnoAppl -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnoAppl -> r gmapQ :: (forall d. Data d => d -> u) -> AnnoAppl -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnoAppl -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnoAppl -> m AnnoAppl gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoAppl -> m AnnoAppl gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoAppl -> m AnnoAppl | |
Ord AnnoAppl Source # | |
Show AnnoAppl Source # | |
Pretty AnnoAppl Source # | |
data AnnoLiteral Source #
Constructors
AL_Term (TERM DL_FORMULA) | |
AL_Id Id |
Instances
Eq AnnoLiteral Source # | |
Data AnnoLiteral Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnoLiteral -> c AnnoLiteral gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnoLiteral toConstr :: AnnoLiteral -> Constr dataTypeOf :: AnnoLiteral -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c AnnoLiteral) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnoLiteral) gmapT :: (forall b. Data b => b -> b) -> AnnoLiteral -> AnnoLiteral gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnoLiteral -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnoLiteral -> r gmapQ :: (forall d. Data d => d -> u) -> AnnoLiteral -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnoLiteral -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnoLiteral -> m AnnoLiteral gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoLiteral -> m AnnoLiteral gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoLiteral -> m AnnoLiteral | |
Ord AnnoLiteral Source # | |
Methods compare :: AnnoLiteral -> AnnoLiteral -> Ordering (<) :: AnnoLiteral -> AnnoLiteral -> Bool (<=) :: AnnoLiteral -> AnnoLiteral -> Bool (>) :: AnnoLiteral -> AnnoLiteral -> Bool (>=) :: AnnoLiteral -> AnnoLiteral -> Bool max :: AnnoLiteral -> AnnoLiteral -> AnnoLiteral min :: AnnoLiteral -> AnnoLiteral -> AnnoLiteral | |
Show AnnoLiteral Source # | |
Methods showsPrec :: Int -> AnnoLiteral -> ShowS show :: AnnoLiteral -> String showList :: [AnnoLiteral] -> ShowS | |
Pretty AnnoLiteral Source # | |
addCASL_DLSign :: CASL_DLSign -> CASL_DLSign -> CASL_DLSign Source #
throwAnnoError :: String -> SIMPLE_ID -> PropertyType -> PropertyType -> PropertyType Source #
diffCASL_DLSign :: CASL_DLSign -> CASL_DLSign -> CASL_DLSign Source #
isSubCASL_DLSign :: CASL_DLSign -> CASL_DLSign -> Bool Source #
isSublistOf :: Eq a => [a] -> [a] -> Bool Source #