LibRISCV.Effects.Logging.Default.Interpreter

Provides the default interpretation for the logging effect.

Documentation

defaultLogging :: forall (m :: Type -> Type). MonadIO m => LogInstructionFetch ~> m

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.

noLogging :: forall (m :: Type -> Type). Monad m => LogInstructionFetch ~> m

A stub implementation of an effectful interpreter which ignores any logging effects entirely. Should be used when no debugging output is desired.