MAKE (cobol_common.Cobol_common.Diagnostics

Parameters

module Set : sig ... end

module TYPES : sig ... end

include module type of TYPES with type 'a with_diags = 'a TYPES.with_diags

type 'a with_diags = 'a TYPES.with_diags = {

}

val result : ?diags:Set.t -> 'a -> 'a with_diags

val simple_result : 'a -> 'a with_diags

val some_result : ?diags:Set.t -> 'a -> 'a option with_diags

val no_result : diags:Set.t -> _ option with_diags

val with_diags : 'a -> Set.t -> 'a with_diags

val with_more_diags : diags:Set.t -> 'a with_diags -> 'a with_diags

val result_only : 'a with_diags -> 'a

val forget_result : _ with_diags -> Set.t

val more_result : f:('a -> 'b with_diags) -> 'a with_diags -> 'b with_diags

val map_result : f:('a -> 'b) -> 'a with_diags -> 'b with_diags

val map2_results : 
  f:('a -> 'b -> 'c with_diags as 'x) ->
  'a with_diags ->
  'b with_diags ->
  'x

val map_some_result : 
  f:('a -> 'b) ->
  'a option with_diags ->
  'b option with_diags

val merge_results : 
  f:('a -> 'b -> 'c) ->
  'a with_diags ->
  'b with_diags ->
  'c with_diags

val cons_option_result : 
  'a option with_diags ->
  'a list with_diags ->
  'a list with_diags

val translate_diags : 'a with_diags -> 'a Diagnostics.with_diags

val show_n_forget : 
  ?set_status:bool ->
  ?min_level:Diagnostics.severity ->
  ?ppf:Stdlib.Format.formatter ->
  'a with_diags ->
  'a

val sink_result : 
  ?set_status:bool ->
  ?ppf:Stdlib.Format.formatter ->
  _ with_diags ->
  unit