ghcide-2.7.0.0: The core of an IDE
Safe HaskellSafe-Inferred
LanguageGHC2021

Development.IDE.Core.ProgressReporting

Synopsis

Documentation

delayedProgressReporting Source #

Arguments

:: Seconds

Grace period before starting

-> Seconds

sampling delay

-> Maybe (LanguageContextEnv c) 
-> ProgressReportingStyle 
-> IO ProgressReporting 

A ProgressReporting that enqueues Begin and End notifications in a new thread, with a grace period (nothing will be sent if KickCompleted arrives before the end of the grace period).

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 #

data InProgressState Source #

Data structure to track progress across the project

Constructors

InProgressState 

Fields