format

Author: soulomoon

ghcide/src/Development/IDE/Core/ProgressReporting.hs

@@ -53,25 +53,22 @@ data ProgressEvent
 data ProgressStateTrackingType = ProgressStateInsideTracking | ProgressStateOutsideTracking
 
 data ProgressReporting (a :: ProgressStateTrackingType) m where
+    -- ^ see Note [ProgressReporting API and InProgressState]
     ProgressReportingInSide ::
         { progressUpdateI :: ProgressEvent -> m (),
           inProgress     :: forall a. NormalizedFilePath -> m a -> m a,
-          -- ^ see Note [ProgressReporting API and InProgressState]
           progressStopI   :: IO ()
           -- ^ we are using IO here because creating and stopping the `ProgressReporting`
           -- is different from how we use it.
         } -> ProgressReporting 'ProgressStateInsideTracking m
     ProgressReportingOutSide ::
     -- since we are tracking progress externally, we don't need the `inProgress` function
         { progressUpdateO :: ProgressEvent -> m (),
-          -- ^ see Note [ProgressReporting API and InProgressState]
           progressStopO   :: IO ()
           -- ^ we are using IO here because creating and stopping the `ProgressReporting`
           -- is different from how we use it.
         } -> ProgressReporting 'ProgressStateOutsideTracking m
 
--- Note [ProgressReporting API and InProgressState]
-
 
 -- |
 -- DuplicatedRecordFields won't work here because of the GADT gives us different result types