Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class (Functor m, Applicative m, Monad m) => MonadDebug m where
- reportS :: (HasOptions m, MonadDebug m) => VerboseKey -> Int -> String -> m ()
- reportSLn :: (HasOptions m, MonadDebug m) => VerboseKey -> Int -> String -> m ()
- reportSDoc :: (HasOptions m, MonadDebug m) => VerboseKey -> Int -> TCM Doc -> m ()
- traceSLn :: (HasOptions m, MonadDebug m) => VerboseKey -> Int -> String -> m a -> m a
- traceSDoc :: (HasOptions m, MonadDebug m) => VerboseKey -> Int -> TCM Doc -> m a -> m a
- verboseBracket :: (HasOptions m, MonadDebug m, MonadError err m) => VerboseKey -> Int -> String -> m a -> m a
Documentation
class (Functor m, Applicative m, Monad m) => MonadDebug m where Source #
displayDebugMessage :: Int -> String -> m () Source #
traceDebugMessage :: Int -> String -> m a -> m a Source #
formatDebugMessage :: VerboseKey -> Int -> TCM Doc -> m String Source #
MonadDebug TerM Source # | |
MonadDebug m => MonadDebug (MaybeT m) Source # | |
MonadDebug m => MonadDebug (ListT m) Source # | |
MonadIO m => MonadDebug (TCMT m) Source # | |
MonadDebug m => MonadDebug (ExceptT e m) Source # | |
MonadDebug m => MonadDebug (StateT s m) Source # | |
(MonadDebug m, Monoid w) => MonadDebug (WriterT w m) Source # | |
MonadDebug m => MonadDebug (ReaderT * r m) Source # | |
reportS :: (HasOptions m, MonadDebug m) => VerboseKey -> Int -> String -> m () Source #
Conditionally print debug string.
reportSLn :: (HasOptions m, MonadDebug m) => VerboseKey -> Int -> String -> m () Source #
Conditionally println debug string.
reportSDoc :: (HasOptions m, MonadDebug m) => VerboseKey -> Int -> TCM Doc -> m () Source #
Conditionally render debug Doc
and print it.
traceSLn :: (HasOptions m, MonadDebug m) => VerboseKey -> Int -> String -> m a -> m a Source #
traceSDoc :: (HasOptions m, MonadDebug m) => VerboseKey -> Int -> TCM Doc -> m a -> m a Source #
Conditionally render debug Doc
, print it, and then continue.
verboseBracket :: (HasOptions m, MonadDebug m, MonadError err m) => VerboseKey -> Int -> String -> m a -> m a Source #
Print brackets around debug messages issued by a computation.