sig
module Toggle :
sig
type (-'a, +'b) t
val sexp_of_t :
'a -> 'b -> ('c, 'd) Error_check.Toggle.t -> Std_internal.Sexp.t
val create :
assertion:('a -> bool) ->
fail_alert:('a -> 'b) ->
success_alert:('a -> 'b) -> ('a, 'b) Error_check.Toggle.t
val check : ('a, 'b) Error_check.Toggle.t -> 'a -> 'b option
val state : ('a, 'b) Error_check.Toggle.t -> bool
end
module ToggleN :
sig
type (-'a, +'b) t
val sexp_of_t :
'a -> 'b -> ('c, 'd) Error_check.ToggleN.t -> Std_internal.Sexp.t
val create :
assertion:('a -> bool) ->
fail_alert:('a -> 'b) ->
final_fail_alert:('a -> 'b) ->
success_alert:('a -> 'b) ->
max_consecutive_fail_alerts:int -> ('a, 'b) Error_check.ToggleN.t
val check : ('a, 'b) Error_check.ToggleN.t -> 'a -> 'b option
val state : ('a, 'b) Error_check.ToggleN.t -> bool
end
module Timer :
sig
type (-'a, +'b) t
val sexp_of_t :
'a -> 'b -> ('c, 'd) Error_check.Timer.t -> Std_internal.Sexp.t
val create :
assertion:('a -> bool) ->
fail_alert:('a -> 'b) ->
success_alert:('a -> 'b) ->
min_alert_interval:Span.t -> ('a, 'b) Error_check.Timer.t
val check : ('a, 'b) Error_check.Timer.t -> 'a -> Time.t -> 'b option
val state : ('a, 'b) Error_check.Timer.t -> bool
end
module Step :
sig
type ('a, -'b, +'c) t
val sexp_of_t :
'a ->
'b -> 'c -> ('d, 'e, 'f) Error_check.Step.t -> Std_internal.Sexp.t
val create :
threshold:'a ->
adjust:('b -> threshold:'a -> 'a) ->
assertion:('b -> threshold:'a -> bool) ->
fail_alert:('b -> 'c) ->
success_alert:('b -> 'c) -> ('a, 'b, 'c) Error_check.Step.t
val check : ('a, 'b, 'c) Error_check.Step.t -> 'b -> 'c option
val state : ('a, 'b, 'c) Error_check.Step.t -> bool
end
module ReportAllFails :
sig
type (-'a, +'b) t
val sexp_of_t :
'a ->
'b -> ('c, 'd) Error_check.ReportAllFails.t -> Std_internal.Sexp.t
val create :
assertion:('a -> bool) ->
fail_alert:('a -> 'b) ->
success_alert:('a -> 'b) -> ('a, 'b) Error_check.ReportAllFails.t
val check : ('a, 'b) Error_check.ReportAllFails.t -> 'a -> 'b option
val state : ('a, 'b) Error_check.ReportAllFails.t -> bool
end
end