rzk-0.7.5: An experimental proof assistant for synthetic ∞-categories
Safe HaskellNone
LanguageHaskell2010

Language.Rzk.VSCode.Logging

Synopsis

Documentation

logDebug :: MonadLsp c m => String -> m () Source #

logInfo :: MonadLsp c m => String -> m () Source #

logWarning :: MonadLsp c m => String -> m () Source #

logError :: MonadLsp c m => String -> m () Source #

Error logs will also be shown to the user via `window/showMessage`