| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
HsDev.Tools.Ghc.Check
- checkFiles :: (MonadLog m, GhcMonad m) => [String] -> PackageDbStack -> [FilePath] -> Maybe Project -> m [Note OutputMessage]
- check :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> Maybe String -> m [Note OutputMessage]
- checkFile :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> m [Note OutputMessage]
- checkSource :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> String -> m [Note OutputMessage]
- data Ghc a :: * -> *
- module HsDev.Tools.Types
- module HsDev.Symbols.Types
- data PackageDb
- newtype PackageDbStack = PackageDbStack {
- _packageDbStack :: [PackageDb]
- data Project = Project {}
- recalcNotesTabs :: [Note OutputMessage] -> IO [Note OutputMessage]
- module Control.Monad.Except
Documentation
checkFiles :: (MonadLog m, GhcMonad m) => [String] -> PackageDbStack -> [FilePath] -> Maybe Project -> m [Note OutputMessage] Source
Check files and collect warnings and errors
check :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> Maybe String -> m [Note OutputMessage] Source
Check module source
checkFile :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> m [Note OutputMessage] Source
Check module and collect warnings and errors
checkSource :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> String -> m [Note OutputMessage] Source
Check module and collect warnings and errors
data Ghc a :: * -> *
module HsDev.Tools.Types
module HsDev.Symbols.Types
newtype PackageDbStack Source
Stack of PackageDb in reverse order
Constructors
| PackageDbStack | |
Fields
| |
Cabal project
Constructors
| Project | |
Fields | |
recalcNotesTabs :: [Note OutputMessage] -> IO [Note OutputMessage] Source
module Control.Monad.Except