From 264b950f39a18623964207d5fee6d1cfcf054e53 Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Thu, 7 Dec 2017 16:07:53 +0100 Subject: [PATCH] Export `Error_monad.fail_when` to the protocol --- lib_protocol_environment_sigs/v1/error_monad.mli | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lib_protocol_environment_sigs/v1/error_monad.mli b/lib_protocol_environment_sigs/v1/error_monad.mli index cd187ba86..d5fe16c7c 100644 --- a/lib_protocol_environment_sigs/v1/error_monad.mli +++ b/lib_protocol_environment_sigs/v1/error_monad.mli @@ -90,6 +90,9 @@ val trace : error -> 'b tzresult Lwt.t -> 'b tzresult Lwt.t (** Erroneous return on failed assertion *) val fail_unless : bool -> error -> unit tzresult Lwt.t +(** Erroneous return on successful assertion *) +val fail_when : bool -> error -> unit tzresult Lwt.t + (** {2 In-monad list iterators} **********************************************) (** A {!List.iter} in the monad *)