-
Petr Pudlak authored
This monads wraps the writer monad. It allows a computation to emit multiple errors messages and deal with them at the end. This will be used for configuration verification, as well as for other verification purposes such as verification of JSON input. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
6f4035cd