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.Sign
Description
Documentation
Constructors
RuleDef | |
Fields
|
Instances
Eq RuleDef Source # | |
Data RuleDef Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RuleDef -> c RuleDef gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RuleDef dataTypeOf :: RuleDef -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RuleDef) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RuleDef) gmapT :: (forall b. Data b => b -> b) -> RuleDef -> RuleDef gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RuleDef -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RuleDef -> r gmapQ :: (forall d. Data d => d -> u) -> RuleDef -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RuleDef -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RuleDef -> m RuleDef gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleDef -> m RuleDef gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleDef -> m RuleDef | |
Ord RuleDef Source # | |
Show RuleDef Source # | |
Pretty RuleDef Source # | |
Constructors
Sign | |
Fields
|
Instances
Instances
data RelationSen Source #
Constructors
RelationSen | |
Fields
|
Instances
Eq RelationSen Source # | |
Data RelationSen Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RelationSen -> c RelationSen gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RelationSen toConstr :: RelationSen -> Constr dataTypeOf :: RelationSen -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RelationSen) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RelationSen) gmapT :: (forall b. Data b => b -> b) -> RelationSen -> RelationSen gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RelationSen -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RelationSen -> r gmapQ :: (forall d. Data d => d -> u) -> RelationSen -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RelationSen -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RelationSen -> m RelationSen gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RelationSen -> m RelationSen gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RelationSen -> m RelationSen | |
Ord RelationSen Source # | |
Methods compare :: RelationSen -> RelationSen -> Ordering (<) :: RelationSen -> RelationSen -> Bool (<=) :: RelationSen -> RelationSen -> Bool (>) :: RelationSen -> RelationSen -> Bool (>=) :: RelationSen -> RelationSen -> Bool max :: RelationSen -> RelationSen -> RelationSen min :: RelationSen -> RelationSen -> RelationSen | |
Show RelationSen Source # | |
Methods showsPrec :: Int -> RelationSen -> ShowS show :: RelationSen -> String showList :: [RelationSen] -> ShowS | |
GetRange RelationSen Source # | |
Pretty RelationSen Source # | |
Constructors
Pattern | |
Instances
Eq Pattern Source # | |
Data Pattern Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pattern -> c Pattern gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pattern dataTypeOf :: Pattern -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Pattern) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pattern) gmapT :: (forall b. Data b => b -> b) -> Pattern -> Pattern gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pattern -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pattern -> r gmapQ :: (forall d. Data d => d -> u) -> Pattern -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Pattern -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pattern -> m Pattern gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pattern -> m Pattern gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pattern -> m Pattern | |
Ord Pattern Source # | |
Show Pattern Source # | |
GetRange Pattern Source # | |
Pretty Pattern Source # | |