| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Development.IDE.Core.ProgressReporting
Synopsis
- data ProgressEvent
- data ProgressReporting = ProgressReporting {
- progressUpdate :: ProgressEvent -> IO ()
- inProgress :: forall a. NormalizedFilePath -> Action a -> Action a
- progressStop :: IO ()
- noProgressReporting :: IO ProgressReporting
- progressReporting :: Maybe (LanguageContextEnv c) -> ProgressReportingStyle -> IO ProgressReporting
- mRunLspT :: Applicative m => Maybe (LanguageContextEnv c) -> LspT c m () -> m ()
- mRunLspTCallback :: Monad m => Maybe (LanguageContextEnv c) -> (LspT c m a -> LspT c m a) -> m a -> m a
- recordProgress :: InProgressState -> NormalizedFilePath -> (Int -> Int) -> IO ()
- data InProgressState = InProgressState {
- todoVar :: TVar Int
- doneVar :: TVar Int
- currentVar :: Map NormalizedFilePath Int
Documentation
data ProgressEvent Source #
Constructors
| KickStarted | |
| KickCompleted |
data ProgressReporting Source #
Constructors
| ProgressReporting | |
Fields
| |
progressReporting :: Maybe (LanguageContextEnv c) -> ProgressReportingStyle -> IO ProgressReporting Source #
mRunLspT :: Applicative m => Maybe (LanguageContextEnv c) -> LspT c m () -> m () Source #
mRunLspTCallback :: Monad m => Maybe (LanguageContextEnv c) -> (LspT c m a -> LspT c m a) -> m a -> m a Source #
recordProgress :: InProgressState -> NormalizedFilePath -> (Int -> Int) -> IO () Source #
data InProgressState Source #
Data structure to track progress across the project
Constructors
| InProgressState | |
Fields
| |