Copyright | (c) Daniel Calegari Universidad de la Republica Uruguay 2013 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | dcalegar@fing.edu.uy |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
QVTR.As
Description
Documentation
data Transformation Source #
Constructors
Transformation | |
Fields
|
Instances
Constructors
Key | |
Fields
|
Instances
Eq Key Source # | |
Data Key Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Key -> c Key gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Key dataTypeOf :: Key -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Key) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Key) gmapT :: (forall b. Data b => b -> b) -> Key -> Key gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r gmapQ :: (forall d. Data d => d -> u) -> Key -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Key -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Key -> m Key gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key | |
Ord Key Source # | |
GetRange Key Source # | |
Constructors
SimpleProp | |
Fields
| |
OppositeProp | |
Fields
|
Instances
Eq PropKey Source # | |
Data PropKey Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PropKey -> c PropKey gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PropKey dataTypeOf :: PropKey -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PropKey) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PropKey) gmapT :: (forall b. Data b => b -> b) -> PropKey -> PropKey gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PropKey -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PropKey -> r gmapQ :: (forall d. Data d => d -> u) -> PropKey -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PropKey -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PropKey -> m PropKey gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PropKey -> m PropKey gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PropKey -> m PropKey | |
Ord PropKey Source # | |
GetRange PropKey Source # | |
Constructors
Relation | |
Fields
|
Instances
Eq Relation Source # | |
Data Relation Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Relation -> c Relation gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Relation toConstr :: Relation -> Constr dataTypeOf :: Relation -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Relation) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Relation) gmapT :: (forall b. Data b => b -> b) -> Relation -> Relation gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Relation -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Relation -> r gmapQ :: (forall d. Data d => d -> u) -> Relation -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Relation -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Relation -> m Relation gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Relation -> m Relation gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Relation -> m Relation | |
Ord Relation Source # | |
GetRange Relation Source # | |
Instances
Eq RelVar Source # | |
Data RelVar Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RelVar -> c RelVar gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RelVar dataTypeOf :: RelVar -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RelVar) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RelVar) gmapT :: (forall b. Data b => b -> b) -> RelVar -> RelVar gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RelVar -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RelVar -> r gmapQ :: (forall d. Data d => d -> u) -> RelVar -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RelVar -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RelVar -> m RelVar gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RelVar -> m RelVar gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RelVar -> m RelVar | |
Ord RelVar Source # | |
GetRange RelVar Source # | |
data PrimitiveDomain Source #
Constructors
PrimitiveDomain | |
Instances
Eq PrimitiveDomain Source # | |
Methods (==) :: PrimitiveDomain -> PrimitiveDomain -> Bool (/=) :: PrimitiveDomain -> PrimitiveDomain -> Bool | |
Data PrimitiveDomain Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrimitiveDomain -> c PrimitiveDomain gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrimitiveDomain toConstr :: PrimitiveDomain -> Constr dataTypeOf :: PrimitiveDomain -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PrimitiveDomain) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrimitiveDomain) gmapT :: (forall b. Data b => b -> b) -> PrimitiveDomain -> PrimitiveDomain gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrimitiveDomain -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrimitiveDomain -> r gmapQ :: (forall d. Data d => d -> u) -> PrimitiveDomain -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PrimitiveDomain -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrimitiveDomain -> m PrimitiveDomain gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimitiveDomain -> m PrimitiveDomain gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimitiveDomain -> m PrimitiveDomain | |
Ord PrimitiveDomain Source # | |
Methods compare :: PrimitiveDomain -> PrimitiveDomain -> Ordering (<) :: PrimitiveDomain -> PrimitiveDomain -> Bool (<=) :: PrimitiveDomain -> PrimitiveDomain -> Bool (>) :: PrimitiveDomain -> PrimitiveDomain -> Bool (>=) :: PrimitiveDomain -> PrimitiveDomain -> Bool max :: PrimitiveDomain -> PrimitiveDomain -> PrimitiveDomain min :: PrimitiveDomain -> PrimitiveDomain -> PrimitiveDomain | |
GetRange PrimitiveDomain Source # | |
Constructors
Domain | |
Fields
|
Instances
Eq Domain Source # | |
Data Domain Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Domain -> c Domain gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Domain dataTypeOf :: Domain -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Domain) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Domain) gmapT :: (forall b. Data b => b -> b) -> Domain -> Domain gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Domain -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Domain -> r gmapQ :: (forall d. Data d => d -> u) -> Domain -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Domain -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Domain -> m Domain gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Domain -> m Domain gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Domain -> m Domain | |
Ord Domain Source # | |
GetRange Domain Source # | |
data ObjectTemplate Source #
Constructors
ObjectTemplate | |
Fields
|
Instances
Eq ObjectTemplate Source # | |
Methods (==) :: ObjectTemplate -> ObjectTemplate -> Bool (/=) :: ObjectTemplate -> ObjectTemplate -> Bool | |
Data ObjectTemplate Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectTemplate -> c ObjectTemplate gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectTemplate toConstr :: ObjectTemplate -> Constr dataTypeOf :: ObjectTemplate -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ObjectTemplate) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectTemplate) gmapT :: (forall b. Data b => b -> b) -> ObjectTemplate -> ObjectTemplate gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectTemplate -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectTemplate -> r gmapQ :: (forall d. Data d => d -> u) -> ObjectTemplate -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectTemplate -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectTemplate -> m ObjectTemplate gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectTemplate -> m ObjectTemplate gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectTemplate -> m ObjectTemplate | |
Ord ObjectTemplate Source # | |
Methods compare :: ObjectTemplate -> ObjectTemplate -> Ordering (<) :: ObjectTemplate -> ObjectTemplate -> Bool (<=) :: ObjectTemplate -> ObjectTemplate -> Bool (>) :: ObjectTemplate -> ObjectTemplate -> Bool (>=) :: ObjectTemplate -> ObjectTemplate -> Bool max :: ObjectTemplate -> ObjectTemplate -> ObjectTemplate min :: ObjectTemplate -> ObjectTemplate -> ObjectTemplate | |
GetRange ObjectTemplate Source # | |
data PropertyTemplate Source #
Constructors
PropertyTemplate | |
Fields
|
Instances
Eq PropertyTemplate Source # | |
Methods (==) :: PropertyTemplate -> PropertyTemplate -> Bool (/=) :: PropertyTemplate -> PropertyTemplate -> Bool | |
Data PropertyTemplate Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PropertyTemplate -> c PropertyTemplate gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PropertyTemplate toConstr :: PropertyTemplate -> Constr dataTypeOf :: PropertyTemplate -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PropertyTemplate) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PropertyTemplate) gmapT :: (forall b. Data b => b -> b) -> PropertyTemplate -> PropertyTemplate gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PropertyTemplate -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PropertyTemplate -> r gmapQ :: (forall d. Data d => d -> u) -> PropertyTemplate -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PropertyTemplate -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PropertyTemplate -> m PropertyTemplate gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PropertyTemplate -> m PropertyTemplate gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PropertyTemplate -> m PropertyTemplate | |
Ord PropertyTemplate Source # | |
Methods compare :: PropertyTemplate -> PropertyTemplate -> Ordering (<) :: PropertyTemplate -> PropertyTemplate -> Bool (<=) :: PropertyTemplate -> PropertyTemplate -> Bool (>) :: PropertyTemplate -> PropertyTemplate -> Bool (>=) :: PropertyTemplate -> PropertyTemplate -> Bool max :: PropertyTemplate -> PropertyTemplate -> PropertyTemplate min :: PropertyTemplate -> PropertyTemplate -> PropertyTemplate | |
GetRange PropertyTemplate Source # | |
Methods getRange :: PropertyTemplate -> Range Source # rangeSpan :: PropertyTemplate -> [Pos] Source # |
Constructors
WhenWhere | |
Fields
|
Instances
Eq WhenWhere Source # | |
Data WhenWhere Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WhenWhere -> c WhenWhere gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WhenWhere toConstr :: WhenWhere -> Constr dataTypeOf :: WhenWhere -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c WhenWhere) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WhenWhere) gmapT :: (forall b. Data b => b -> b) -> WhenWhere -> WhenWhere gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WhenWhere -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WhenWhere -> r gmapQ :: (forall d. Data d => d -> u) -> WhenWhere -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> WhenWhere -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> WhenWhere -> m WhenWhere gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WhenWhere -> m WhenWhere gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WhenWhere -> m WhenWhere | |
Ord WhenWhere Source # | |
GetRange WhenWhere Source # | |
Instances
Eq RelInvok Source # | |
Data RelInvok Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RelInvok -> c RelInvok gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RelInvok toConstr :: RelInvok -> Constr dataTypeOf :: RelInvok -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RelInvok) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RelInvok) gmapT :: (forall b. Data b => b -> b) -> RelInvok -> RelInvok gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RelInvok -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RelInvok -> r gmapQ :: (forall d. Data d => d -> u) -> RelInvok -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RelInvok -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RelInvok -> m RelInvok gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RelInvok -> m RelInvok gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RelInvok -> m RelInvok | |
Ord RelInvok Source # | |
GetRange RelInvok Source # | |
Instances
Eq OCL Source # | |
Data OCL Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OCL -> c OCL gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OCL dataTypeOf :: OCL -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c OCL) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OCL) gmapT :: (forall b. Data b => b -> b) -> OCL -> OCL gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OCL -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OCL -> r gmapQ :: (forall d. Data d => d -> u) -> OCL -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> OCL -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> OCL -> m OCL gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OCL -> m OCL gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OCL -> m OCL | |
Ord OCL Source # | |
GetRange OCL Source # | |
Instances
Eq STRING Source # | |
Data STRING Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> STRING -> c STRING gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c STRING dataTypeOf :: STRING -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c STRING) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c STRING) gmapT :: (forall b. Data b => b -> b) -> STRING -> STRING gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> STRING -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> STRING -> r gmapQ :: (forall d. Data d => d -> u) -> STRING -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> STRING -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> STRING -> m STRING gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> STRING -> m STRING gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> STRING -> m STRING | |
Ord STRING Source # | |
GetRange STRING Source # | |