| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
LibRISCV.Effects.Logging.Language
Description
Implements the logging effect for instruction tracing. This effect is primarly intended to be used for debugging.
Documentation
data LogInstructionFetch r where Source #
Constructors
| LogFetched :: InstructionType -> LogInstructionFetch () |
logFetched :: forall effs. Member LogInstructionFetch effs => InstructionType -> Eff effs () Source #