Safe Haskell | None |
---|

- activate :: Handle -> IO.IO ()
- deactivate :: IO.IO ()
- full :: (Eq a, Monoid a) => (a -> a) -> a -> a
- fullM :: (Monad m, Eq a, Monoid a) => (a -> m ()) -> a -> m ()
- trace :: (CallStack.Stack, Show a) => Text -> a -> a
- tracep :: (CallStack.Stack, Pretty.Pretty a) => Text -> a -> a
- traces :: (CallStack.Stack, Show b) => Text -> b -> a -> a
- tracesp :: (CallStack.Stack, Pretty.Pretty b) => Text -> b -> a -> a
- tracef :: (CallStack.Stack, Show b) => Text -> (a -> b) -> a -> a
- tracefp :: (CallStack.Stack, Pretty.Pretty b) => Text -> (a -> b) -> a -> a
- trace_ret :: (CallStack.Stack, Show a, Show b) => Text -> a -> b -> b
- trace_retp :: (CallStack.Stack, Pretty.Pretty a, Pretty.Pretty b) => Text -> a -> b -> b
- trace_str :: CallStack.Stack => Text -> a -> a
- traceM :: (CallStack.Stack, Show a, Monad m) => Text -> a -> m ()
- tracepM :: (CallStack.Stack, Pretty.Pretty a, Monad m) => Text -> a -> m ()
- tracesM :: (CallStack.Stack, Monad m) => Text -> m ()
- puts :: (CallStack.Stack, MonadIO m) => Text -> m ()
- put :: (CallStack.Stack, MonadIO m, Show a) => Text -> a -> m ()
- putp :: (CallStack.Stack, MonadIO m, Pretty.Pretty a) => Text -> a -> m ()

# Documentation

deactivate :: IO.IO () Source #

Suppress debug msgs.

full :: (Eq a, Monoid a) => (a -> a) -> a -> a Source #

Only apply the function if the val is non-mempty. Useful for the trace family.

fullM :: (Monad m, Eq a, Monoid a) => (a -> m ()) -> a -> m () Source #

Like `full`

but useful for the traceM and put family.

# forced by evaluation

tracep :: (CallStack.Stack, Pretty.Pretty a) => Text -> a -> a Source #

Pretty print a value en passant.

tracesp :: (CallStack.Stack, Pretty.Pretty b) => Text -> b -> a -> a Source #

Pretty print a value.

tracef :: (CallStack.Stack, Show b) => Text -> (a -> b) -> a -> a Source #

Print a value after applying a function to it.

tracefp :: (CallStack.Stack, Pretty.Pretty b) => Text -> (a -> b) -> a -> a Source #

trace_ret :: (CallStack.Stack, Show a, Show b) => Text -> a -> b -> b Source #

Trace input and output of a function.

trace_retp :: (CallStack.Stack, Pretty.Pretty a, Pretty.Pretty b) => Text -> a -> b -> b Source #

# forced by monad

traceM :: (CallStack.Stack, Show a, Monad m) => Text -> a -> m () Source #

Print a value in a monad. The monad will force it to be printed.

tracepM :: (CallStack.Stack, Pretty.Pretty a, Monad m) => Text -> a -> m () Source #

putp :: (CallStack.Stack, MonadIO m, Pretty.Pretty a) => Text -> a -> m () Source #