| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.Intermediate.Resolver
- resolveModule :: ClaferArgs -> IModule -> Resolve (IModule, GEnv)
- nameModule :: Bool -> IModule -> (IModule, GEnv)
- nameElement :: MonadState GEnv m => Bool -> UID -> IElement -> m IElement
- nameClafer :: MonadState GEnv m => Bool -> UID -> IClafer -> m IClafer
- namePExp :: MonadState GEnv m => PExp -> m PExp
- nameIExp :: MonadState GEnv m => IExp -> m IExp
- nameIDecl :: MonadState GEnv m => IDecl -> m IDecl
- resolveNamesModule :: ClaferArgs -> (IModule, GEnv) -> Resolve (IModule, GEnv)
Documentation
resolveModule :: ClaferArgs -> IModule -> Resolve (IModule, GEnv) Source #
Run the various resolvers
nameElement :: MonadState GEnv m => Bool -> UID -> IElement -> m IElement Source #
nameClafer :: MonadState GEnv m => Bool -> UID -> IClafer -> m IClafer Source #
resolveNamesModule :: ClaferArgs -> (IModule, GEnv) -> Resolve (IModule, GEnv) Source #