| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusTx.Compiler.Trace
Synopsis
- traceCompilationL ∷ (MonadReader (CompileContext uni fun) m, MonadState CompileState m, MonadError (WithContext (Text, Maybe RealSrcSpan) e) m) ⇒ Int → SDoc → Maybe RealSrcSpan → m a → m a
- traceCompilation ∷ (MonadReader (CompileContext uni fun) m, MonadState CompileState m, MonadError (WithContext (Text, Maybe RealSrcSpan) e) m) ⇒ Int → SDoc → m a → m a
- traceCompilationStep ∷ (MonadReader (CompileContext uni fun) m, MonadState CompileState m) ⇒ SDoc → m a → m a
Documentation
Arguments
| ∷ (MonadReader (CompileContext uni fun) m, MonadState CompileState m, MonadError (WithContext (Text, Maybe RealSrcSpan) e) m) | |
| ⇒ Int | Context level |
| → SDoc | The thing (expr, type, kind, etc.) being compiled |
| → Maybe RealSrcSpan | Source location |
| → m a | The compilation action |
| → m a |
A combination of withContextM and traceCompilationStep.
withContextM emits a stack trace when the compilation fails, and can be
turned on via `-fcontext-level=level`.
traceCompilationStep dumps the full compilation trace, and can be
turned on via `-fdump-compilation-trace`.
Arguments
| ∷ (MonadReader (CompileContext uni fun) m, MonadState CompileState m, MonadError (WithContext (Text, Maybe RealSrcSpan) e) m) | |
| ⇒ Int | Context level |
| → SDoc | The thing (expr, type, kind, etc.) being compiled |
| → m a | The compilation action |
| → m a |
Arguments
| ∷ (MonadReader (CompileContext uni fun) m, MonadState CompileState m) | |
| ⇒ SDoc | The thing (expr, type, kind, etc.) being compiled |
| → m a | The compilation action |
| → m a |