| 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.Sign
Description
Signature for Relational Schemes
- type RSIsKey = Bool
- data RSDatatype
- type RSRawSymbol = Id
- data RSColumn = RSColumn {}
- data RSTable = RSTable {
- t_name :: Id
- columns :: [RSColumn]
- rsannos :: [Annotation]
- t_keys :: Set (Id, RSDatatype)
- data RSTables = RSTables {}
- type Sign = RSTables
- data RSMorphism = RSMorphism {}
- data RSTMap = RSTMap {}
- emptyRSSign :: RSTables
- isRSSubsig :: RSTables -> RSTables -> Bool
- idMor :: RSTables -> RSMorphism
- rsInclusion :: RSTables -> RSTables -> Result RSMorphism
- uniteSig :: Monad m => RSTables -> RSTables -> m RSTables
- comp_rst_mor :: RSMorphism -> RSMorphism -> Result RSMorphism
- data RSSymbol
Documentation
data RSDatatype
type RSRawSymbol = Id
data RSColumn
data RSTable
data RSTables
Instances
| Eq RSTables | |
| Data RSTables | |
| Ord RSTables | |
| Show RSTables | |
| ShATermConvertible RSTables | |
| Monoid RSTables | |
| GetRange RSTables | |
| Pretty RSTables | |
| Typeable * RSTables | |
| Category Sign RSMorphism | Instance of Category for Rel |
| Sentences RelScheme Sentence Sign RSMorphism RSSymbol | Instance of Sentences for Rel |
| StaticAnalysis RelScheme RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol | Static Analysis for Rel |
| Logic RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () | Instance of Logic for Relational Schemes |
| Comorphism RelScheme2CASL RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree |
data RSMorphism
Constructors
| RSMorphism | |
Instances
| Eq RSMorphism | |
| Data RSMorphism | |
| Ord RSMorphism | |
| Show RSMorphism | |
| ShATermConvertible RSMorphism | |
| Pretty RSMorphism | |
| Typeable * RSMorphism | |
| Category Sign RSMorphism | Instance of Category for Rel |
| Sentences RelScheme Sentence Sign RSMorphism RSSymbol | Instance of Sentences for Rel |
| StaticAnalysis RelScheme RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol | Static Analysis for Rel |
| Logic RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () | Instance of Logic for Relational Schemes |
| Comorphism RelScheme2CASL RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree |
data RSTMap
id-morphism for RS
isRSSubsig :: RSTables -> RSTables -> Bool
idMor :: RSTables -> RSMorphism
rsInclusion :: RSTables -> RSTables -> Result RSMorphism
comp_rst_mor :: RSMorphism -> RSMorphism -> Result RSMorphism
data RSSymbol
Instances
| Eq RSSymbol | |
| Data RSSymbol | |
| Ord RSSymbol | |
| Show RSSymbol | |
| ShATermConvertible RSSymbol | |
| GetRange RSSymbol | |
| Pretty RSSymbol | |
| Typeable * RSSymbol | |
| Sentences RelScheme Sentence Sign RSMorphism RSSymbol | Instance of Sentences for Rel |
| Syntax RelScheme RSScheme RSSymbol () () | Syntax of Rel |
| StaticAnalysis RelScheme RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol | Static Analysis for Rel |
| Logic RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () | Instance of Logic for Relational Schemes |
| Comorphism RelScheme2CASL RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree |