| Safe Haskell | None |
|---|
Language.Clafer.Intermediate.Resolver
- resolveModule :: ClaferArgs -> IModule -> Resolve (IModule, GEnv)
- nameModule :: Bool -> IModule -> (IModule, GEnv)
- nameElement :: MonadState GEnv m => Bool -> IElement -> m IElement
- nameClafer :: MonadState GEnv m => Bool -> 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
nameModule :: Bool -> IModule -> (IModule, GEnv)Source
Name resolver
nameElement :: MonadState GEnv m => Bool -> IElement -> m IElementSource
nameClafer :: MonadState GEnv m => Bool -> IClafer -> m IClaferSource
resolveNamesModule :: ClaferArgs -> (IModule, GEnv) -> Resolve (IModule, GEnv)Source