| Safe Haskell | None |
|---|---|
| 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 :: [Type -> Type]). Member LogInstructionFetch effs => InstructionType -> Eff effs () Source #