Copyright | (c) Kristina Sojakova DFKI Bremen 2009 |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | k.sojakova@jacobs-university.de |

Stability | experimental |

Portability | portable |

Safe Haskell | Safe |

# Documentation

Eq DEF Source # | |

Data DEF Source # | |

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DEF -> c DEF gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DEF dataTypeOf :: DEF -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DEF) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DEF) gmapT :: (forall b. Data b => b -> b) -> DEF -> DEF gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DEF -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DEF -> r gmapQ :: (forall d. Data d => d -> u) -> DEF -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> DEF -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> DEF -> m DEF gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DEF -> m DEF gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DEF -> m DEF | |

Ord DEF Source # | |

Show DEF Source # | |

Pretty DEF Source # | |

gen_module :: String Source #

getSymbols :: Sign -> Set Symbol Source #

getDeclaredSyms :: Sign -> Set Symbol Source #

getDefinedSyms :: Sign -> Set Symbol Source #

getLocalSyms :: Sign -> Set Symbol Source #

getLocalDefs :: Sign -> [DEF] Source #

getGlobalSyms :: Sign -> Set Symbol Source #

getGlobalDefs :: Sign -> [DEF] Source #

isConstant :: Symbol -> Sign -> Bool Source #

isDeclaredSym :: Symbol -> Sign -> Bool Source #

isDefinedSym :: Symbol -> Sign -> Bool Source #

isLocalSym :: Symbol -> Sign -> Bool Source #

isGlobalSym :: Symbol -> Sign -> Bool Source #

getFreeVars :: EXP -> Set VAR Source #

getConstants :: EXP -> Set Symbol Source #