| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
LibRISCV.Effects.Logging.Default.Interpreter
Description
Provides the default interpretation for the logging effect.
Synopsis
- defaultLogging :: MonadIO m => LogInstructionFetch ~> m
- noLogging :: Monad m => LogInstructionFetch ~> m
Documentation
defaultLogging :: MonadIO m => LogInstructionFetch ~> m Source #
The default effectful logging interpreter which writes the
InstructionType of a fetched instruction
to standard output, before executing it. This is particularly useful for
debugging but is quite verbose in the common case.