Accumulator (cobol_parser.Cobol_parser.Diagnostics.Accumulator)

include sig ... end

module TYPES : sig ... end

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

result : 'a;
diags : diagnostics;

}

val result : ?diags:diagnostics -> 'a -> 'a with_diags

val simple_result : 'a -> 'a with_diags

val some_result : ?diags:diagnostics -> 'a -> 'a option with_diags

val no_result : diags:diagnostics -> 'a option with_diags

val with_diags : 'a -> diagnostics -> 'a with_diags

val with_more_diags : diags:diagnostics -> 'a with_diags -> 'a with_diags

val result_only : 'a with_diags -> 'a

val forget_result : 'a with_diags -> diagnostics

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) ->
  'a with_diags ->
  'b with_diags ->
  'c with_diags

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 Cobol_common.Diagnostics.with_diags

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

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