« Previous | Next » 

Revision d92ce368

IDd92ce3685b0398d72281a6425bfc54e5259b1800
Parent bd5b2991
Child deb9ff16

Added by Petr Pudlak almost 10 years ago

Add a pure implementation of MonadLog

The log messages are kept in internal 'WriterT' monad and can be
extracted after a computation is run.

This can be used to log in a pure piece code, or when logging output
needs to be delayed in a critical part.

Signed-off-by: Petr Pudlak <>
Reviewed-by: Klaus Aehlig <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences