Module Error_check.Toggle


module Toggle: sig .. end
Module for 'toggle' error checking. This simply means multiple failures in a row do not call fail_alert multiple times. success_alert is called upon return from a failed state to a successful one.

type (-'a, +'b) t 
val sexp_of_t : 'a -> 'b -> ('c, 'd) t -> Std_internal.Sexp.t
val create : assertion:('a -> bool) ->
fail_alert:('a -> 'b) ->
success_alert:('a -> 'b) -> ('a, 'b) t
val check : ('a, 'b) t -> 'a -> 'b option
val state : ('a, 'b) t -> bool