rzk-0.7.4: An experimental proof assistant for synthetic ∞-categories

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Rzk.VSCode.Logging

Synopsis

logDebug :: MonadLsp c m => String -> m ()
logInfo :: MonadLsp c m => String -> m ()
logWarning :: MonadLsp c m => String -> m ()
logError :: MonadLsp c m => String -> m ()

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`