-
Petr Pudlak authored
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 <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
d92ce368