| Copyright | (c) 2021 Xy Ren |
|---|---|
| License | BSD3 |
| Maintainer | xy.r@outlook.com |
| Stability | experimental |
| Portability | non-portable (GHC only) |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Cleff.Trace
Contents
Description
Synopsis
- data Trace :: Effect where
- trace :: Trace :> es => String -> Eff es ()
- runTraceHandle :: IOE :> es => Handle -> Eff (Trace ': es) a -> Eff es a
- runTraceStdout :: IOE :> es => Eff (Trace ': es) ~> Eff es
- runTraceStderr :: IOE :> es => Eff (Trace ': es) ~> Eff es
- ignoreTrace :: Eff (Trace ': es) ~> Eff es
- traceToOutput :: Eff (Trace ': es) ~> Eff (Output String ': es)
Effect
data Trace :: Effect where Source #
An effect capable of logging messages, mostly for debugging purposes.