Ide.Logger

This is a compatibility module that abstracts over the concrete choice of logging framework so users can plug in whatever framework they want to.

Documentation

data Priority

Constructors

Debug

Verbose debug logging.

Info

Useful information in case an error has to be understood.

Warning

These error messages should not occur in a expected usage, and should be investigated.

Error

Such log messages must never occur in expected usage.

Instances

Bounded Priority

Defined in Ide.Logger

Methods

minBound :: Priority

maxBound :: Priority

Enum Priority

Defined in Ide.Logger

Methods

succ :: Priority -> Priority

pred :: Priority -> Priority

toEnum :: Int -> Priority

fromEnum :: Priority -> Int

enumFrom :: Priority -> [Priority]

enumFromThen :: Priority -> Priority -> [Priority]

enumFromTo :: Priority -> Priority -> [Priority]

enumFromThenTo :: Priority -> Priority -> Priority -> [Priority]

Read Priority

Defined in Ide.Logger

Methods

readsPrec :: Int -> ReadS Priority

readList :: ReadS [Priority]

readPrec :: ReadPrec Priority

readListPrec :: ReadPrec [Priority]

Show Priority

Defined in Ide.Logger

Methods

showsPrec :: Int -> Priority -> ShowS

show :: Priority -> String

showList :: [Priority] -> ShowS

Eq Priority

Defined in Ide.Logger

Methods

(==) :: Priority -> Priority -> Bool

(/=) :: Priority -> Priority -> Bool

Ord Priority

Defined in Ide.Logger

Methods

compare :: Priority -> Priority -> Ordering

(<) :: Priority -> Priority -> Bool

(<=) :: Priority -> Priority -> Bool

(>) :: Priority -> Priority -> Bool

(>=) :: Priority -> Priority -> Bool

max :: Priority -> Priority -> Priority

min :: Priority -> Priority -> Priority

newtype Logger

Note that this is logging actions _of the program_, not of the user. You shouldn't call warning/error if the user has caused an error, only if our code has gone wrong and is itself erroneous (e.g. we threw an exception).

Constructors

Logger

Fields

• logPriority :: Priority -> Text -> IO ()

Instances

Monoid Logger

Defined in Ide.Logger

Methods

mempty :: Logger

mappend :: Logger -> Logger -> Logger

mconcat :: [Logger] -> Logger

Semigroup Logger

Defined in Ide.Logger

Methods

(<>) :: Logger -> Logger -> Logger

sconcat :: NonEmpty Logger -> Logger

stimes :: Integral b => b -> Logger -> Logger

newtype Recorder msg

Note that this is logging actions _of the program_, not of the user. You shouldn't call warning/error if the user has caused an error, only if our code has gone wrong and is itself erroneous (e.g. we threw an exception).

Constructors

Recorder

Fields

• logger_ :: forall m. MonadIO m => msg -> m ()

Instances

Contravariant Recorder

Defined in Ide.Logger

Methods

contramap :: (a' -> a) -> Recorder a -> Recorder a'

(>$) :: b -> Recorder b -> Recorder a

Monoid (Recorder msg)

Defined in Ide.Logger

Methods

mempty :: Recorder msg

mappend :: Recorder msg -> Recorder msg -> Recorder msg

mconcat :: [Recorder msg] -> Recorder msg

Semigroup (Recorder msg)

Defined in Ide.Logger

Methods

(<>) :: Recorder msg -> Recorder msg -> Recorder msg

sconcat :: NonEmpty (Recorder msg) -> Recorder msg

stimes :: Integral b => b -> Recorder msg -> Recorder msg

logError :: Logger -> Text -> IO ()

logWarning :: Logger -> Text -> IO ()

logInfo :: Logger -> Text -> IO ()

logDebug :: Logger -> Text -> IO ()

noLogging :: Logger

data WithPriority a

Constructors

WithPriority

Fields

• priority :: Priority
• callStack_ :: CallStack
• payload :: a

Instances

Functor WithPriority

Defined in Ide.Logger

Methods

fmap :: (a -> b) -> WithPriority a -> WithPriority b

(<$) :: a -> WithPriority b -> WithPriority a

logWith :: (HasCallStack, MonadIO m) => Recorder (WithPriority msg) -> Priority -> msg -> m ()

cmap :: (a -> b) -> Recorder b -> Recorder a

cmapIO :: (a -> IO b) -> Recorder b -> Recorder a

cfilter :: (a -> Bool) -> Recorder a -> Recorder a

withFileRecorder

Arguments

:: MonadUnliftIO m

=> FilePath

Log file path.

-> Maybe [LoggingColumn]

logging columns to display. Nothing uses defaultLoggingColumns

-> (Either IOException (Recorder (WithPriority (Doc d))) -> m a)

action given a recorder, or the exception if we failed to open the file

-> m a

makeDefaultStderrRecorder :: MonadIO m => Maybe [LoggingColumn] -> m (Recorder (WithPriority (Doc a)))

makeDefaultHandleRecorder

Arguments

:: MonadIO m

=> Maybe [LoggingColumn]

built-in logging columns to display. Nothing uses the default

-> Lock

lock to take when outputting to handle

-> Handle

handle to output to

-> m (Recorder (WithPriority (Doc a)))

data LoggingColumn

Constructors

TimeColumn

ThreadIdColumn

PriorityColumn

DataColumn

SourceLocColumn

cmapWithPrio :: (a -> b) -> Recorder (WithPriority b) -> Recorder (WithPriority a)

withBacklog :: (v -> Recorder a) -> IO (Recorder a, v -> IO ())

Given a Recorder that requires an argument, produces a Recorder that queues up messages until the argument is provided using the callback, at which point it sends the backlog and begins functioning normally.

lspClientMessageRecorder :: LanguageContextEnv config -> Recorder (WithPriority Text)

Creates a recorder that sends logs to the LSP client via window/showMessage notifications.

lspClientLogRecorder :: LanguageContextEnv config -> Recorder (WithPriority Text)

Creates a recorder that sends logs to the LSP client via window/logMessage notifications.

module Prettyprinter

renderStrict :: SimpleDocStream ann -> Text

(renderStrict sdoc) takes the output sdoc from a rendering function and transforms it to strict text.

toCologActionWithPrio :: (MonadIO m, HasCallStack) => Recorder (WithPriority msg) -> LogAction m (WithSeverity msg)