We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
makeDefaultHandleRecorder
1 parent 059237b commit d3a5ee1Copy full SHA for d3a5ee1
ghcide/src/Development/IDE/Types/Logger.hs
@@ -19,6 +19,7 @@ module Development.IDE.Types.Logger
19
, cfilter
20
, withDefaultRecorder
21
, makeDefaultStderrRecorder
22
+ , makeDefaultHandleRecorder
23
, priorityToHsLoggerPriority
24
, LoggingColumn(..)
25
, cmapWithPrio
0 commit comments