Copyright | Dominik Luecke Uni Bremen 2008 |
---|---|
License | GPLv2 or higher, see LICENSE.txt or LIZENZ.txt |
Maintainer | luecke@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
RelationalScheme.AS
Description
Abstract syntax for Relational Schemes
Synopsis
- data RSRelType
- data RSQualId = RSQualId {}
- data RSRel = RSRel {}
- data RSRelationships = RSRelationships [Annoted RSRel] Range
- data RSScheme = RSScheme RSTables RSRelationships Range
- type Sentence = RSRel
- map_rel :: RSMorphism -> RSRel -> Result RSRel
- getRels :: RSScheme -> [Annoted RSRel]
- getSignature :: RSScheme -> RSTables
Documentation
Constructors
RSone_to_one | |
RSone_to_many | |
RSmany_to_one | |
RSmany_to_many |
Instances
Eq RSRelType Source # | |
Data RSRelType Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RSRelType -> c RSRelType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RSRelType toConstr :: RSRelType -> Constr dataTypeOf :: RSRelType -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RSRelType) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RSRelType) gmapT :: (forall b. Data b => b -> b) -> RSRelType -> RSRelType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RSRelType -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RSRelType -> r gmapQ :: (forall d. Data d => d -> u) -> RSRelType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RSRelType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RSRelType -> m RSRelType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RSRelType -> m RSRelType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RSRelType -> m RSRelType | |
Ord RSRelType Source # | |
Show RSRelType Source # | |
GetRange RSRelType Source # | |
Instances
Eq RSQualId Source # | |
Data RSQualId Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RSQualId -> c RSQualId gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RSQualId toConstr :: RSQualId -> Constr dataTypeOf :: RSQualId -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RSQualId) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RSQualId) gmapT :: (forall b. Data b => b -> b) -> RSQualId -> RSQualId gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RSQualId -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RSQualId -> r gmapQ :: (forall d. Data d => d -> u) -> RSQualId -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RSQualId -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RSQualId -> m RSQualId gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RSQualId -> m RSQualId gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RSQualId -> m RSQualId | |
Ord RSQualId Source # | |
Show RSQualId Source # | |
GetRange RSQualId Source # | |
Pretty RSQualId Source # | |
Instances
data RSRelationships Source #
Constructors
RSRelationships [Annoted RSRel] Range |
Instances
Eq RSRelationships Source # | |
Methods (==) :: RSRelationships -> RSRelationships -> Bool (/=) :: RSRelationships -> RSRelationships -> Bool | |
Data RSRelationships Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RSRelationships -> c RSRelationships gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RSRelationships toConstr :: RSRelationships -> Constr dataTypeOf :: RSRelationships -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RSRelationships) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RSRelationships) gmapT :: (forall b. Data b => b -> b) -> RSRelationships -> RSRelationships gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RSRelationships -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RSRelationships -> r gmapQ :: (forall d. Data d => d -> u) -> RSRelationships -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RSRelationships -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RSRelationships -> m RSRelationships gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RSRelationships -> m RSRelationships gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RSRelationships -> m RSRelationships | |
Ord RSRelationships Source # | |
Methods compare :: RSRelationships -> RSRelationships -> Ordering (<) :: RSRelationships -> RSRelationships -> Bool (<=) :: RSRelationships -> RSRelationships -> Bool (>) :: RSRelationships -> RSRelationships -> Bool (>=) :: RSRelationships -> RSRelationships -> Bool max :: RSRelationships -> RSRelationships -> RSRelationships min :: RSRelationships -> RSRelationships -> RSRelationships | |
Show RSRelationships Source # | |
Methods showsPrec :: Int -> RSRelationships -> ShowS show :: RSRelationships -> String showList :: [RSRelationships] -> ShowS | |
GetRange RSRelationships Source # | |
Pretty RSRelationships Source # | |
Constructors
RSScheme RSTables RSRelationships Range |
Instances
getSignature :: RSScheme -> RSTables Source #