| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
HsDev.Inspect.Resolve
Contents
- loadEnv :: SessionMonad m => Maybe Path -> m (Environment, FixitiesTable)
- saveEnv :: SessionMonad m => Maybe Path -> Environment -> FixitiesTable -> m ()
- loadEnvironment :: SessionMonad m => Maybe Path -> m Environment
- loadFixities :: SessionMonad m => Maybe Path -> m FixitiesTable
- withEnv :: SessionMonad m => Maybe Path -> m a -> m a
- resolveModule :: MonadThrow m => Environment -> FixitiesTable -> Preloaded -> InspectM ModuleLocation ModuleTag m Resolved
- resolvePreloaded :: MonadThrow m => Environment -> Preloaded -> InspectM ModuleLocation ModuleTag m Resolved
- resolve :: Environment -> Module SrcSpanInfo -> Resolved
- updateResolved :: SessionMonad m => InspectedResolved -> m ()
- updateResolveds :: SessionMonad m => Maybe Path -> [InspectedResolved] -> m ()
Prepare
loadEnv :: SessionMonad m => Maybe Path -> m (Environment, FixitiesTable) Source #
Load environment and fixities from cache or sql
saveEnv :: SessionMonad m => Maybe Path -> Environment -> FixitiesTable -> m () Source #
Save environment and fixities to cache
loadEnvironment :: SessionMonad m => Maybe Path -> m Environment Source #
Load environment from sql
loadFixities :: SessionMonad m => Maybe Path -> m FixitiesTable Source #
Load fixities from sql
withEnv :: SessionMonad m => Maybe Path -> m a -> m a Source #
Run with temporary table for environment
Resolving
resolveModule :: MonadThrow m => Environment -> FixitiesTable -> Preloaded -> InspectM ModuleLocation ModuleTag m Resolved Source #
Try resolve module symbols
resolvePreloaded :: MonadThrow m => Environment -> Preloaded -> InspectM ModuleLocation ModuleTag m Resolved Source #
Resolve just preloaded part of module, this will give imports and scope
resolve :: Environment -> Module SrcSpanInfo -> Resolved Source #
Resolve parsed module
Saving results
updateResolved :: SessionMonad m => InspectedResolved -> m () Source #
Save results in sql, also updates temporary environment table
updateResolveds :: SessionMonad m => Maybe Path -> [InspectedResolved] -> m () Source #
Save results in sql, updated temporary env table